Trace number 3492031

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 279.584 277.412

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo
MD5SUMc96bd383c2d62b3ed6ae26490be2a1fe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark70.1653
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 constraints1863
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 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 765
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492031-1307910686.wbo
0.11/0.11	c reading problem ... 
0.48/0.31	c ... done. Wall clock time 0.202s.
0.48/0.31	c #vars     2094
0.48/0.31	c #constraints  2707
0.48/0.31	c constraints type 
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2601
0.48/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 5
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 83
0.48/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18
0.79/0.44	c SATISFIABLE
0.79/0.44	c OPTIMIZING...
0.79/0.44	c Got one! Elapsed wall clock time (in seconds):0.338
0.79/0.45	o 506
0.79/0.49	c Got one! Elapsed wall clock time (in seconds):0.383
0.79/0.49	o 416
1.07/0.52	c Got one! Elapsed wall clock time (in seconds):0.416
1.07/0.52	o 283
1.07/0.54	c Got one! Elapsed wall clock time (in seconds):0.435
1.07/0.54	o 243
1.07/0.56	c Got one! Elapsed wall clock time (in seconds):0.456
1.07/0.56	o 236
1.07/0.59	c Got one! Elapsed wall clock time (in seconds):0.479
1.07/0.59	o 220
1.35/0.60	c Got one! Elapsed wall clock time (in seconds):0.493
1.35/0.60	o 215
1.35/0.63	c Got one! Elapsed wall clock time (in seconds):0.525
1.35/0.63	o 205
1.49/0.71	c Got one! Elapsed wall clock time (in seconds):0.6
1.49/0.71	o 202
1.49/0.74	c Got one! Elapsed wall clock time (in seconds):0.632
1.49/0.74	o 135
1.60/0.83	c Got one! Elapsed wall clock time (in seconds):0.724
1.60/0.83	o 125
1.80/1.04	c Got one! Elapsed wall clock time (in seconds):0.934
1.80/1.04	o 118
1.80/1.08	c Got one! Elapsed wall clock time (in seconds):0.972
1.80/1.08	o 117
1.90/1.11	c Got one! Elapsed wall clock time (in seconds):1.0
1.90/1.11	o 112
2.00/1.22	c Got one! Elapsed wall clock time (in seconds):1.116
2.00/1.22	o 109
2.11/1.30	c Got one! Elapsed wall clock time (in seconds):1.192
2.11/1.30	o 105
2.30/1.56	c Got one! Elapsed wall clock time (in seconds):1.449
2.30/1.56	o 104
2.50/1.74	c Got one! Elapsed wall clock time (in seconds):1.632
2.50/1.74	o 85
2.61/1.82	c Got one! Elapsed wall clock time (in seconds):1.708
2.61/1.82	o 81
2.81/2.04	c Got one! Elapsed wall clock time (in seconds):1.932
2.81/2.04	o 78
3.04/2.26	c Got one! Elapsed wall clock time (in seconds):2.149
3.04/2.26	o 64
3.23/2.42	c Got one! Elapsed wall clock time (in seconds):2.309
3.23/2.42	o 61
3.53/2.72	c Got one! Elapsed wall clock time (in seconds):2.613
3.53/2.72	o 53
3.63/2.89	c cleaning 6876 clauses out of 13759 with flag 1000/13759
3.75/2.95	c Got one! Elapsed wall clock time (in seconds):2.839
3.75/2.95	o 42
3.95/3.20	c Got one! Elapsed wall clock time (in seconds):3.091
3.95/3.20	o 35
4.16/3.39	c Got one! Elapsed wall clock time (in seconds):3.288
4.16/3.39	o 26
4.45/3.67	c cleaning 6571 clauses out of 13158 with flag 2002/20034
4.56/3.76	c Got one! Elapsed wall clock time (in seconds):3.658
4.56/3.76	o 19
4.96/4.12	c Got one! Elapsed wall clock time (in seconds):4.011
4.96/4.12	o 14
5.16/4.37	c cleaning 6543 clauses out of 13095 with flag 2001/26542
5.61/4.79	c cleaning 6274 clauses out of 12551 with flag 8000/32541
6.01/5.13	c Got one! Elapsed wall clock time (in seconds):5.026
6.01/5.13	o 8
6.42/5.59	c cleaning 8373 clauses out of 16752 with flag 5004/43016
6.81/5.96	c Got one! Elapsed wall clock time (in seconds):5.855
6.81/5.96	o 4
7.31/6.47	c cleaning 9613 clauses out of 19236 with flag 5002/53873
7.72/6.88	c cleaning 7809 clauses out of 15621 with flag 11000/59871
8.12/7.28	c cleaning 7400 clauses out of 14814 with flag 18002/66873
8.62/7.73	c cleaning 7699 clauses out of 15413 with flag 26001/74872
9.12/8.20	c cleaning 8350 clauses out of 16713 with flag 35000/83871
9.62/8.75	c cleaning 9172 clauses out of 18365 with flag 45002/93873
10.22/9.30	c cleaning 9594 clauses out of 19192 with flag 55001/103872
10.73/9.87	c cleaning 9793 clauses out of 19597 with flag 65000/113871
11.32/10.47	c cleaning 9900 clauses out of 19805 with flag 75001/123872
11.93/11.06	c cleaning 9947 clauses out of 19905 with flag 85001/133872
12.52/11.60	c cleaning 9979 clauses out of 19964 with flag 95007/143878
13.03/12.14	c cleaning 9983 clauses out of 19978 with flag 105000/153871
13.52/12.67	c cleaning 9995 clauses out of 19998 with flag 115003/163874
14.13/13.21	c cleaning 9991 clauses out of 20000 with flag 125000/173871
14.63/13.75	c cleaning 9997 clauses out of 20011 with flag 135002/183873
15.23/14.32	c cleaning 10002 clauses out of 20013 with flag 145001/193872
15.83/14.97	c cleaning 9999 clauses out of 20011 with flag 155001/203872
16.43/15.55	c cleaning 9994 clauses out of 20011 with flag 165000/213871
16.73/15.90	c Got one! Elapsed wall clock time (in seconds):15.79
16.73/15.90	o 1
17.23/16.34	c cleaning 10867 clauses out of 21739 with flag 5003/225593
17.63/16.73	c cleaning 8428 clauses out of 16871 with flag 11002/231592
18.03/17.12	c cleaning 7715 clauses out of 15443 with flag 18002/238592
18.44/17.55	c cleaning 7849 clauses out of 15730 with flag 26004/246594
18.93/18.03	c cleaning 8434 clauses out of 16878 with flag 35001/255591
19.43/18.56	c cleaning 9215 clauses out of 18445 with flag 45002/265592
19.94/19.03	c cleaning 9609 clauses out of 19228 with flag 55000/275590
20.44/19.53	c cleaning 9807 clauses out of 19620 with flag 65001/285591
20.94/20.03	c cleaning 9900 clauses out of 19812 with flag 75000/295590
21.44/20.54	c cleaning 9952 clauses out of 19914 with flag 85002/305592
21.95/21.06	c cleaning 9976 clauses out of 19960 with flag 95000/315590
22.45/21.57	c cleaning 9988 clauses out of 19984 with flag 105000/325590
22.96/22.08	c cleaning 9992 clauses out of 19997 with flag 115001/335591
23.45/22.57	c cleaning 9999 clauses out of 20004 with flag 125000/345590
23.96/23.09	c cleaning 9993 clauses out of 20005 with flag 135000/355590
24.47/23.58	c cleaning 10002 clauses out of 20012 with flag 145000/365590
24.97/24.08	c cleaning 9998 clauses out of 20011 with flag 155001/375591
25.57/24.60	c cleaning 9997 clauses out of 20012 with flag 165000/385590
26.07/25.19	c cleaning 10001 clauses out of 20015 with flag 175000/395590
26.67/25.76	c cleaning 10000 clauses out of 20014 with flag 185000/405590
27.28/26.33	c cleaning 10007 clauses out of 20016 with flag 195002/415592
27.78/26.89	c cleaning 9999 clauses out of 20010 with flag 205003/425593
28.38/27.42	c cleaning 10002 clauses out of 20009 with flag 215001/435591
28.88/27.92	c cleaning 9997 clauses out of 20008 with flag 225002/445592
29.28/28.38	c cleaning 10004 clauses out of 20013 with flag 235004/455594
29.78/28.89	c cleaning 9999 clauses out of 20005 with flag 245000/465590
30.28/29.39	c cleaning 9998 clauses out of 20008 with flag 255002/475592
30.78/29.89	c cleaning 9997 clauses out of 20008 with flag 265000/485590
31.28/30.37	c cleaning 10002 clauses out of 20011 with flag 275000/495590
31.79/30.85	c cleaning 10002 clauses out of 20009 with flag 285000/505590
32.28/31.37	c cleaning 10001 clauses out of 20008 with flag 295001/515591
32.89/31.93	c cleaning 9998 clauses out of 20006 with flag 305000/525590
33.38/32.44	c cleaning 9999 clauses out of 20009 with flag 315001/535591
33.89/32.96	c cleaning 10000 clauses out of 20009 with flag 325000/545590
34.49/33.53	c cleaning 10002 clauses out of 20013 with flag 335004/555594
34.99/34.05	c cleaning 10001 clauses out of 20007 with flag 345000/565590
35.59/34.63	c cleaning 9990 clauses out of 20006 with flag 355000/575590
36.09/35.14	c cleaning 10006 clauses out of 20016 with flag 365000/585590
36.59/35.65	c cleaning 9998 clauses out of 20014 with flag 375004/595594
37.09/36.15	c cleaning 10001 clauses out of 20012 with flag 385000/605590
37.59/36.63	c cleaning 10003 clauses out of 20014 with flag 395003/615593
38.09/37.11	c cleaning 10002 clauses out of 20009 with flag 405001/625591
38.50/37.58	c cleaning 9994 clauses out of 20007 with flag 415001/635591
39.10/38.12	c cleaning 10002 clauses out of 20012 with flag 425000/645590
39.60/38.61	c cleaning 10001 clauses out of 20010 with flag 435000/655590
40.00/39.08	c cleaning 9997 clauses out of 20009 with flag 445000/665590
40.50/39.59	c cleaning 9996 clauses out of 20012 with flag 455000/675590
41.00/40.09	c cleaning 10005 clauses out of 20017 with flag 465001/685591
41.60/40.60	c cleaning 10000 clauses out of 20012 with flag 475001/695591
42.00/41.09	c cleaning 10001 clauses out of 20014 with flag 485003/705593
42.60/41.65	c cleaning 9994 clauses out of 20012 with flag 495002/715592
43.20/42.23	c cleaning 9995 clauses out of 20017 with flag 505001/725591
43.70/42.74	c cleaning 10000 clauses out of 20022 with flag 515001/735591
44.20/43.20	c cleaning 9998 clauses out of 20022 with flag 525001/745591
44.70/43.71	c cleaning 10007 clauses out of 20023 with flag 535000/755590
45.20/44.26	c cleaning 10006 clauses out of 20018 with flag 545002/765592
45.70/44.75	c cleaning 9996 clauses out of 20011 with flag 555001/775591
46.21/45.25	c cleaning 9998 clauses out of 20015 with flag 565001/785591
46.71/45.74	c cleaning 10006 clauses out of 20018 with flag 575002/795592
47.21/46.25	c cleaning 9986 clauses out of 20011 with flag 585001/805591
47.81/46.81	c cleaning 10006 clauses out of 20026 with flag 595002/815592
48.32/47.32	c cleaning 10004 clauses out of 20018 with flag 605000/825590
48.82/47.80	c cleaning 9999 clauses out of 20014 with flag 615000/835590
49.22/48.27	c cleaning 10004 clauses out of 20017 with flag 625002/845592
49.72/48.76	c cleaning 10000 clauses out of 20012 with flag 635001/855591
50.22/49.26	c cleaning 9999 clauses out of 20012 with flag 645001/865591
50.82/49.82	c cleaning 9998 clauses out of 20013 with flag 655001/875591
51.33/50.31	c cleaning 10001 clauses out of 20014 with flag 665000/885590
51.83/50.83	c cleaning 10000 clauses out of 20014 with flag 675001/895591
52.33/51.37	c cleaning 9999 clauses out of 20014 with flag 685001/905591
52.83/51.88	c cleaning 10006 clauses out of 20017 with flag 695003/915593
53.33/52.38	c cleaning 9999 clauses out of 20010 with flag 705002/925592
53.83/52.86	c cleaning 9997 clauses out of 20009 with flag 715000/935590
54.43/53.40	c cleaning 10002 clauses out of 20013 with flag 725001/945591
54.93/53.91	c cleaning 9997 clauses out of 20010 with flag 735000/955590
55.43/54.46	c cleaning 10002 clauses out of 20015 with flag 745002/965592
55.93/54.96	c cleaning 10001 clauses out of 20011 with flag 755000/975590
56.43/55.44	c cleaning 10001 clauses out of 20012 with flag 765002/985592
56.93/55.94	c cleaning 10002 clauses out of 20009 with flag 775000/995590
57.43/56.42	c cleaning 9994 clauses out of 20007 with flag 785000/1005590
57.93/56.93	c cleaning 9997 clauses out of 20013 with flag 795000/1015590
58.43/57.45	c cleaning 10003 clauses out of 20017 with flag 805001/1025591
58.94/57.99	c cleaning 10004 clauses out of 20014 with flag 815001/1035591
59.44/58.49	c cleaning 9995 clauses out of 20009 with flag 825000/1045590
59.94/58.97	c cleaning 10004 clauses out of 20015 with flag 835001/1055591
60.54/59.51	c cleaning 10000 clauses out of 20010 with flag 845000/1065590
61.04/60.05	c cleaning 9996 clauses out of 20011 with flag 855001/1075591
61.55/60.54	c cleaning 9992 clauses out of 20015 with flag 865001/1085591
62.04/61.07	c cleaning 10007 clauses out of 20025 with flag 875003/1095593
62.55/61.57	c cleaning 10004 clauses out of 20017 with flag 885002/1105592
63.14/62.10	c cleaning 9991 clauses out of 20012 with flag 895001/1115591
63.65/62.62	c cleaning 9994 clauses out of 20021 with flag 905001/1125591
64.14/63.16	c cleaning 10002 clauses out of 20027 with flag 915001/1135591
64.65/63.70	c cleaning 10001 clauses out of 20027 with flag 925003/1145593
65.25/64.24	c cleaning 10002 clauses out of 20024 with flag 935001/1155591
65.75/64.73	c cleaning 10004 clauses out of 20021 with flag 945000/1165590
66.25/65.29	c cleaning 10000 clauses out of 20017 with flag 955000/1175590
66.85/65.88	c cleaning 9999 clauses out of 20019 with flag 965002/1185592
67.55/66.50	c cleaning 9996 clauses out of 20018 with flag 975000/1195590
68.06/67.03	c cleaning 10001 clauses out of 20022 with flag 985000/1205590
68.56/67.56	c cleaning 10006 clauses out of 20022 with flag 995001/1215591
69.06/68.08	c cleaning 10001 clauses out of 20015 with flag 1005000/1225590
69.56/68.58	c cleaning 10003 clauses out of 20014 with flag 1015000/1235590
70.16/69.13	c cleaning 9993 clauses out of 20011 with flag 1025000/1245590
70.76/69.70	c cleaning 10003 clauses out of 20020 with flag 1035002/1255592
71.27/70.25	c cleaning 9998 clauses out of 20017 with flag 1045002/1265592
71.77/70.75	c cleaning 9997 clauses out of 20018 with flag 1055001/1275591
72.27/71.23	c cleaning 10003 clauses out of 20020 with flag 1065000/1285590
72.77/71.72	c cleaning 10006 clauses out of 20018 with flag 1075001/1295591
73.28/72.28	c cleaning 10000 clauses out of 20012 with flag 1085001/1305591
74.19/72.87	c cleaning 9997 clauses out of 20012 with flag 1095001/1315591
75.09/73.42	c cleaning 9999 clauses out of 20014 with flag 1105000/1325590
75.59/73.92	c cleaning 9996 clauses out of 20015 with flag 1115000/1335590
76.09/74.48	c cleaning 10003 clauses out of 20020 with flag 1125001/1345591
76.69/75.01	c cleaning 9998 clauses out of 20016 with flag 1135000/1355590
77.10/75.49	c cleaning 10005 clauses out of 20020 with flag 1145002/1365592
77.61/75.99	c cleaning 10004 clauses out of 20014 with flag 1155001/1375591
78.20/76.51	c cleaning 9991 clauses out of 20009 with flag 1165000/1385590
78.71/77.02	c cleaning 10004 clauses out of 20018 with flag 1175000/1395590
79.20/77.51	c cleaning 10005 clauses out of 20017 with flag 1185003/1405593
79.71/78.01	c cleaning 9992 clauses out of 20010 with flag 1195001/1415591
80.20/78.51	c cleaning 9999 clauses out of 20018 with flag 1205001/1425591
80.71/79.08	c cleaning 10003 clauses out of 20019 with flag 1215001/1435591
81.31/79.65	c cleaning 10001 clauses out of 20016 with flag 1225001/1445591
81.81/80.18	c cleaning 10000 clauses out of 20014 with flag 1235000/1455590
82.41/80.75	c cleaning 10002 clauses out of 20014 with flag 1245000/1465590
83.01/81.32	c cleaning 9998 clauses out of 20012 with flag 1255000/1475590
83.51/81.81	c cleaning 9999 clauses out of 20015 with flag 1265001/1485591
84.01/82.31	c cleaning 10001 clauses out of 20018 with flag 1275003/1495593
84.51/82.89	c cleaning 9993 clauses out of 20015 with flag 1285001/1505591
85.11/83.43	c cleaning 9991 clauses out of 20021 with flag 1295000/1515590
85.71/84.01	c cleaning 10011 clauses out of 20032 with flag 1305002/1525592
86.21/84.51	c cleaning 10006 clauses out of 20019 with flag 1315000/1535590
86.61/84.99	c cleaning 9998 clauses out of 20013 with flag 1325000/1545590
87.22/85.53	c cleaning 10000 clauses out of 20015 with flag 1335000/1555590
87.72/86.03	c cleaning 10005 clauses out of 20017 with flag 1345002/1565592
88.23/86.52	c cleaning 10003 clauses out of 20013 with flag 1355003/1575593
88.73/87.02	c cleaning 9998 clauses out of 20010 with flag 1365003/1585593
89.23/87.52	c cleaning 10000 clauses out of 20010 with flag 1375001/1595591
89.73/88.04	c cleaning 9998 clauses out of 20009 with flag 1385000/1605590
90.23/88.55	c cleaning 10000 clauses out of 20013 with flag 1395002/1615592
90.74/89.06	c cleaning 9998 clauses out of 20011 with flag 1405000/1625590
91.33/89.61	c cleaning 10000 clauses out of 20015 with flag 1415002/1635592
91.84/90.13	c cleaning 9998 clauses out of 20013 with flag 1425000/1645590
92.33/90.69	c cleaning 9998 clauses out of 20016 with flag 1435001/1655591
92.83/91.20	c cleaning 10000 clauses out of 20017 with flag 1445000/1665590
93.43/91.73	c cleaning 10006 clauses out of 20020 with flag 1455003/1675593
93.93/92.24	c cleaning 10000 clauses out of 20011 with flag 1465000/1685590
94.43/92.75	c cleaning 9999 clauses out of 20011 with flag 1475000/1695590
94.94/93.27	c cleaning 10000 clauses out of 20012 with flag 1485000/1705590
95.44/93.75	c cleaning 10001 clauses out of 20012 with flag 1495000/1715590
96.04/94.32	c cleaning 10001 clauses out of 20014 with flag 1505003/1725593
96.54/94.84	c cleaning 9991 clauses out of 20010 with flag 1515000/1735590
97.04/95.35	c cleaning 10006 clauses out of 20019 with flag 1525000/1745590
97.54/95.86	c cleaning 10000 clauses out of 20013 with flag 1535000/1755590
98.04/96.37	c cleaning 10001 clauses out of 20016 with flag 1545003/1765593
98.55/96.90	c cleaning 10002 clauses out of 20014 with flag 1555002/1775592
99.14/97.43	c cleaning 10002 clauses out of 20015 with flag 1565005/1785595
99.65/97.91	c cleaning 10000 clauses out of 20008 with flag 1575000/1795590
100.15/98.44	c cleaning 9997 clauses out of 20009 with flag 1585001/1805591
100.65/98.92	c cleaning 9998 clauses out of 20013 with flag 1595002/1815592
101.15/99.43	c cleaning 10004 clauses out of 20014 with flag 1605001/1825591
101.65/99.95	c cleaning 9994 clauses out of 20009 with flag 1615000/1835590
102.15/100.48	c cleaning 10003 clauses out of 20016 with flag 1625001/1845591
102.75/101.02	c cleaning 9998 clauses out of 20013 with flag 1635001/1855591
103.25/101.53	c cleaning 10004 clauses out of 20015 with flag 1645001/1865591
103.76/102.04	c cleaning 9997 clauses out of 20011 with flag 1655001/1875591
104.26/102.59	c cleaning 10004 clauses out of 20015 with flag 1665002/1885592
104.75/103.08	c cleaning 9997 clauses out of 20009 with flag 1675000/1895590
105.26/103.59	c cleaning 10000 clauses out of 20012 with flag 1685000/1905590
105.86/104.12	c cleaning 10001 clauses out of 20012 with flag 1695000/1915590
106.36/104.68	c cleaning 10000 clauses out of 20012 with flag 1705001/1925591
106.96/105.20	c cleaning 9996 clauses out of 20011 with flag 1715000/1935590
107.46/105.78	c cleaning 10002 clauses out of 20016 with flag 1725001/1945591
108.06/106.33	c cleaning 10002 clauses out of 20014 with flag 1735001/1955591
108.56/106.89	c cleaning 9997 clauses out of 20012 with flag 1745001/1965591
109.16/107.40	c cleaning 10001 clauses out of 20015 with flag 1755001/1975591
109.67/107.92	c cleaning 10000 clauses out of 20014 with flag 1765001/1985591
110.17/108.47	c cleaning 9998 clauses out of 20013 with flag 1775000/1995590
110.68/108.98	c cleaning 10005 clauses out of 20015 with flag 1785000/2005590
111.27/109.52	c cleaning 9996 clauses out of 20011 with flag 1795001/2015591
111.78/110.03	c cleaning 10002 clauses out of 20014 with flag 1805000/2025590
112.27/110.55	c cleaning 9997 clauses out of 20012 with flag 1815000/2035590
112.78/111.08	c cleaning 10002 clauses out of 20015 with flag 1825000/2045590
113.37/111.61	c cleaning 10000 clauses out of 20014 with flag 1835001/2055591
113.88/112.17	c cleaning 10002 clauses out of 20013 with flag 1845000/2065590
114.38/112.68	c cleaning 9992 clauses out of 20011 with flag 1855000/2075590
114.88/113.19	c cleaning 10003 clauses out of 20019 with flag 1865000/2085590
115.48/113.72	c cleaning 10004 clauses out of 20018 with flag 1875002/2095592
115.98/114.25	c cleaning 10001 clauses out of 20014 with flag 1885002/2105592
116.48/114.75	c cleaning 9996 clauses out of 20011 with flag 1895000/2115590
116.98/115.24	c cleaning 9998 clauses out of 20016 with flag 1905001/2125591
117.48/115.75	c cleaning 9998 clauses out of 20017 with flag 1915000/2135590
117.98/116.28	c cleaning 10005 clauses out of 20019 with flag 1925000/2145590
118.58/116.82	c cleaning 10002 clauses out of 20016 with flag 1935002/2155592
119.09/117.34	c cleaning 9999 clauses out of 20014 with flag 1945002/2165592
119.59/117.87	c cleaning 10003 clauses out of 20013 with flag 1955000/2175590
120.19/118.40	c cleaning 10000 clauses out of 20010 with flag 1965000/2185590
120.69/118.91	c cleaning 9999 clauses out of 20010 with flag 1975000/2195590
121.19/119.46	c cleaning 10000 clauses out of 20011 with flag 1985000/2205590
121.79/120.00	c cleaning 10001 clauses out of 20012 with flag 1995001/2215591
122.20/120.49	c cleaning 9996 clauses out of 20010 with flag 2005000/2225590
122.70/121.00	c cleaning 9999 clauses out of 20014 with flag 2015000/2235590
123.30/121.50	c cleaning 9997 clauses out of 20015 with flag 2025000/2245590
123.80/122.02	c cleaning 10005 clauses out of 20019 with flag 2035001/2255591
124.30/122.53	c cleaning 10000 clauses out of 20013 with flag 2045000/2265590
124.91/123.10	c cleaning 10002 clauses out of 20015 with flag 2055002/2275592
125.50/123.70	c cleaning 9996 clauses out of 20012 with flag 2065001/2285591
126.01/124.26	c cleaning 10000 clauses out of 20015 with flag 2075000/2295590
126.60/124.81	c cleaning 10002 clauses out of 20018 with flag 2085003/2305593
127.11/125.35	c cleaning 10001 clauses out of 20013 with flag 2095000/2315590
127.61/125.84	c cleaning 9996 clauses out of 20012 with flag 2105000/2325590
128.11/126.34	c cleaning 10000 clauses out of 20016 with flag 2115000/2335590
128.61/126.87	c cleaning 10003 clauses out of 20016 with flag 2125000/2345590
129.21/127.40	c cleaning 10003 clauses out of 20014 with flag 2135001/2355591
129.71/127.95	c cleaning 9997 clauses out of 20010 with flag 2145000/2365590
130.21/128.49	c cleaning 10001 clauses out of 20013 with flag 2155000/2375590
130.81/129.03	c cleaning 9997 clauses out of 20013 with flag 2165001/2385591
131.31/129.53	c cleaning 9999 clauses out of 20017 with flag 2175002/2395592
131.81/130.02	c cleaning 10001 clauses out of 20017 with flag 2185001/2405591
132.31/130.52	c cleaning 10000 clauses out of 20015 with flag 2195000/2415590
132.81/131.03	c cleaning 10004 clauses out of 20015 with flag 2205000/2425590
133.31/131.58	c cleaning 9997 clauses out of 20013 with flag 2215002/2435592
133.91/132.13	c cleaning 10002 clauses out of 20016 with flag 2225002/2445592
134.41/132.65	c cleaning 9993 clauses out of 20012 with flag 2235000/2455590
134.92/133.18	c cleaning 9998 clauses out of 20019 with flag 2245000/2465590
135.42/133.69	c cleaning 10007 clauses out of 20022 with flag 2255001/2475591
135.93/134.20	c cleaning 10005 clauses out of 20015 with flag 2265001/2485591
136.53/134.72	c cleaning 10003 clauses out of 20012 with flag 2275003/2495593
137.03/135.23	c cleaning 9999 clauses out of 20008 with flag 2285002/2505592
137.53/135.74	c cleaning 10000 clauses out of 20008 with flag 2295001/2515591
138.03/136.27	c cleaning 9997 clauses out of 20007 with flag 2305000/2525590
138.63/136.81	c cleaning 10000 clauses out of 20012 with flag 2315002/2535592
139.13/137.30	c cleaning 10000 clauses out of 20010 with flag 2325000/2545590
139.63/137.87	c cleaning 10001 clauses out of 20010 with flag 2335000/2555590
140.14/138.39	c cleaning 10000 clauses out of 20011 with flag 2345002/2565592
140.74/138.92	c cleaning 10001 clauses out of 20010 with flag 2355001/2575591
141.24/139.48	c cleaning 9992 clauses out of 20009 with flag 2365001/2585591
141.84/140.04	c cleaning 10005 clauses out of 20016 with flag 2375000/2595590
142.34/140.59	c cleaning 10002 clauses out of 20012 with flag 2385001/2605591
142.94/141.12	c cleaning 10003 clauses out of 20011 with flag 2395002/2615592
143.44/141.65	c cleaning 9992 clauses out of 20006 with flag 2405000/2625590
143.94/142.18	c cleaning 9998 clauses out of 20014 with flag 2415000/2635590
144.55/142.74	c cleaning 10003 clauses out of 20017 with flag 2425001/2645591
145.05/143.29	c cleaning 10005 clauses out of 20015 with flag 2435002/2655592
145.65/143.81	c cleaning 9998 clauses out of 20008 with flag 2445000/2665590
146.15/144.35	c cleaning 10001 clauses out of 20010 with flag 2455000/2675590
146.65/144.86	c cleaning 9998 clauses out of 20009 with flag 2465000/2685590
147.15/145.39	c cleaning 9995 clauses out of 20011 with flag 2475000/2695590
147.75/145.93	c cleaning 10004 clauses out of 20017 with flag 2485001/2705591
148.25/146.45	c cleaning 9998 clauses out of 20013 with flag 2495001/2715591
148.86/147.02	c cleaning 10000 clauses out of 20015 with flag 2505001/2725591
149.36/147.54	c cleaning 10003 clauses out of 20014 with flag 2515000/2735590
149.86/148.06	c cleaning 10000 clauses out of 20014 with flag 2525003/2745593
150.37/148.57	c cleaning 9999 clauses out of 20012 with flag 2535001/2755591
150.86/149.09	c cleaning 9999 clauses out of 20012 with flag 2545000/2765590
151.47/149.64	c cleaning 9993 clauses out of 20013 with flag 2555000/2775590
152.06/150.22	c cleaning 10003 clauses out of 20020 with flag 2565000/2785590
152.57/150.77	c cleaning 9999 clauses out of 20019 with flag 2575002/2795592
153.17/151.32	c cleaning 10002 clauses out of 20019 with flag 2585001/2805591
153.67/151.88	c cleaning 10000 clauses out of 20019 with flag 2595003/2815593
154.27/152.45	c cleaning 9995 clauses out of 20016 with flag 2605000/2825590
154.77/152.94	c cleaning 10008 clauses out of 20024 with flag 2615003/2835593
155.27/153.45	c cleaning 9999 clauses out of 20013 with flag 2625000/2845590
155.77/153.97	c cleaning 10001 clauses out of 20014 with flag 2635000/2855590
156.38/154.51	c cleaning 9998 clauses out of 20014 with flag 2645001/2865591
156.88/155.05	c cleaning 9996 clauses out of 20015 with flag 2655000/2875590
157.48/155.62	c cleaning 10003 clauses out of 20020 with flag 2665001/2885591
157.98/156.18	c cleaning 9997 clauses out of 20016 with flag 2675000/2895590
158.58/156.75	c cleaning 10004 clauses out of 20021 with flag 2685002/2905592
159.08/157.30	c cleaning 10003 clauses out of 20017 with flag 2695002/2915592
159.68/157.81	c cleaning 9997 clauses out of 20012 with flag 2705000/2925590
160.18/158.37	c cleaning 10003 clauses out of 20017 with flag 2715002/2935592
160.68/158.88	c cleaning 10002 clauses out of 20014 with flag 2725002/2945592
161.29/159.44	c cleaning 9993 clauses out of 20010 with flag 2735000/2955590
161.78/159.99	c cleaning 10002 clauses out of 20017 with flag 2745000/2965590
162.39/160.54	c cleaning 10001 clauses out of 20016 with flag 2755001/2975591
162.88/161.07	c cleaning 9998 clauses out of 20014 with flag 2765000/2985590
163.38/161.58	c cleaning 10005 clauses out of 20019 with flag 2775003/2995593
163.98/162.10	c cleaning 9993 clauses out of 20011 with flag 2785000/3005590
164.49/162.62	c cleaning 9997 clauses out of 20019 with flag 2795001/3015591
164.99/163.12	c cleaning 10006 clauses out of 20022 with flag 2805001/3025591
165.49/163.64	c cleaning 10007 clauses out of 20017 with flag 2815002/3035592
165.99/164.18	c cleaning 9994 clauses out of 20009 with flag 2825001/3045591
166.59/164.74	c cleaning 10004 clauses out of 20016 with flag 2835002/3055592
167.19/165.30	c cleaning 10002 clauses out of 20010 with flag 2845000/3065590
167.69/165.86	c cleaning 9997 clauses out of 20010 with flag 2855002/3075592
168.29/166.41	c cleaning 10006 clauses out of 20015 with flag 2865004/3085594
168.79/166.98	c cleaning 9991 clauses out of 20006 with flag 2875001/3095591
169.40/167.55	c cleaning 10002 clauses out of 20016 with flag 2885002/3105592
169.90/168.05	c cleaning 9999 clauses out of 20013 with flag 2895001/3115591
170.40/168.54	c cleaning 10003 clauses out of 20014 with flag 2905001/3125591
170.90/169.04	c cleaning 9999 clauses out of 20010 with flag 2915000/3135590
171.40/169.53	c cleaning 10000 clauses out of 20011 with flag 2925000/3145590
171.90/170.04	c cleaning 10000 clauses out of 20012 with flag 2935001/3155591
172.41/170.55	c cleaning 9995 clauses out of 20012 with flag 2945001/3165591
172.90/171.06	c cleaning 10003 clauses out of 20017 with flag 2955001/3175591
173.51/171.63	c cleaning 9999 clauses out of 20014 with flag 2965001/3185591
174.00/172.18	c cleaning 10000 clauses out of 20014 with flag 2975000/3195590
174.61/172.73	c cleaning 10000 clauses out of 20014 with flag 2985000/3205590
175.11/173.28	c cleaning 10000 clauses out of 20016 with flag 2995002/3215592
175.71/173.87	c cleaning 9999 clauses out of 20016 with flag 3005002/3225592
176.31/174.44	c cleaning 9999 clauses out of 20015 with flag 3015000/3235590
176.91/175.03	c cleaning 10002 clauses out of 20018 with flag 3025002/3245592
177.41/175.59	c cleaning 10003 clauses out of 20014 with flag 3035000/3255590
178.01/176.12	c cleaning 10003 clauses out of 20014 with flag 3045003/3265593
178.51/176.69	c cleaning 9996 clauses out of 20009 with flag 3055001/3275591
179.11/177.26	c cleaning 9999 clauses out of 20012 with flag 3065000/3285590
179.71/177.86	c cleaning 10000 clauses out of 20014 with flag 3075001/3295591
180.32/178.44	c cleaning 10002 clauses out of 20016 with flag 3085003/3305593
180.92/179.00	c cleaning 10001 clauses out of 20011 with flag 3095000/3315590
181.52/179.61	c cleaning 9998 clauses out of 20010 with flag 3105000/3325590
182.12/180.26	c cleaning 10000 clauses out of 20013 with flag 3115001/3335591
182.72/180.84	c cleaning 10000 clauses out of 20014 with flag 3125002/3345592
183.22/181.40	c cleaning 10006 clauses out of 20015 with flag 3135003/3355593
183.83/181.99	c cleaning 9994 clauses out of 20006 with flag 3145000/3365590
184.43/182.59	c cleaning 9998 clauses out of 20013 with flag 3155001/3375591
185.13/183.21	c cleaning 9999 clauses out of 20014 with flag 3165000/3385590
185.73/183.86	c cleaning 9995 clauses out of 20017 with flag 3175002/3395592
186.33/184.44	c cleaning 9998 clauses out of 20022 with flag 3185002/3405592
186.93/185.06	c cleaning 10006 clauses out of 20023 with flag 3195001/3415591
187.53/185.62	c cleaning 10004 clauses out of 20017 with flag 3205001/3425591
188.03/186.15	c cleaning 9995 clauses out of 20012 with flag 3215000/3435590
188.64/186.74	c cleaning 10001 clauses out of 20017 with flag 3225000/3445590
189.24/187.30	c cleaning 10006 clauses out of 20016 with flag 3235000/3455590
189.75/187.87	c cleaning 10001 clauses out of 20012 with flag 3245002/3465592
190.35/188.46	c cleaning 10000 clauses out of 20010 with flag 3255001/3475591
190.95/189.05	c cleaning 9999 clauses out of 20010 with flag 3265001/3485591
191.55/189.64	c cleaning 9999 clauses out of 20011 with flag 3275001/3495591
192.15/190.24	c cleaning 9999 clauses out of 20011 with flag 3285000/3505590
192.65/190.79	c cleaning 9998 clauses out of 20012 with flag 3295000/3515590
193.26/191.34	c cleaning 10000 clauses out of 20014 with flag 3305000/3525590
193.85/191.95	c cleaning 10002 clauses out of 20014 with flag 3315000/3535590
194.46/192.54	c cleaning 9998 clauses out of 20012 with flag 3325000/3545590
195.06/193.15	c cleaning 9993 clauses out of 20014 with flag 3335000/3555590
195.66/193.72	c cleaning 10000 clauses out of 20021 with flag 3345000/3565590
196.26/194.30	c cleaning 10004 clauses out of 20023 with flag 3355002/3575592
196.76/194.88	c cleaning 9995 clauses out of 20017 with flag 3365000/3585590
197.36/195.44	c cleaning 10006 clauses out of 20022 with flag 3375000/3595590
197.86/195.99	c cleaning 10001 clauses out of 20016 with flag 3385000/3605590
198.56/196.61	c cleaning 9998 clauses out of 20015 with flag 3395000/3615590
199.06/197.19	c cleaning 10004 clauses out of 20017 with flag 3405000/3625590
199.66/197.77	c cleaning 9997 clauses out of 20014 with flag 3415001/3635591
200.26/198.33	c cleaning 10006 clauses out of 20018 with flag 3425002/3645592
200.86/198.91	c cleaning 9995 clauses out of 20011 with flag 3435001/3655591
201.47/199.54	c cleaning 10004 clauses out of 20017 with flag 3445002/3665592
201.97/200.07	c cleaning 9999 clauses out of 20013 with flag 3455002/3675592
202.57/200.66	c cleaning 10000 clauses out of 20012 with flag 3465000/3685590
203.17/201.22	c cleaning 9995 clauses out of 20012 with flag 3475000/3695590
203.67/201.79	c cleaning 10001 clauses out of 20018 with flag 3485001/3705591
204.38/202.49	c cleaning 10000 clauses out of 20016 with flag 3495000/3715590
205.07/203.10	c cleaning 9997 clauses out of 20016 with flag 3505000/3725590
205.57/203.67	c cleaning 10002 clauses out of 20020 with flag 3515001/3735591
206.18/204.21	c cleaning 10005 clauses out of 20018 with flag 3525001/3745591
206.68/204.79	c cleaning 9998 clauses out of 20012 with flag 3535000/3755590
207.28/205.31	c cleaning 9998 clauses out of 20015 with flag 3545001/3765591
207.78/205.86	c cleaning 10003 clauses out of 20017 with flag 3555001/3775591
208.38/206.45	c cleaning 10003 clauses out of 20015 with flag 3565002/3785592
208.98/207.01	c cleaning 10002 clauses out of 20012 with flag 3575002/3795592
209.48/207.55	c cleaning 9998 clauses out of 20008 with flag 3585000/3805590
209.98/208.08	c cleaning 9996 clauses out of 20010 with flag 3595000/3815590
210.59/208.63	c cleaning 10001 clauses out of 20014 with flag 3605000/3825590
211.19/209.21	c cleaning 10000 clauses out of 20013 with flag 3615000/3835590
211.69/209.76	c cleaning 9997 clauses out of 20014 with flag 3625001/3845591
212.29/210.35	c cleaning 10001 clauses out of 20016 with flag 3635000/3855590
212.89/210.94	c cleaning 10001 clauses out of 20017 with flag 3645002/3865592
213.49/211.53	c cleaning 10002 clauses out of 20014 with flag 3655000/3875590
213.99/212.06	c cleaning 10003 clauses out of 20013 with flag 3665001/3885591
214.59/212.65	c cleaning 10000 clauses out of 20011 with flag 3675002/3895592
215.19/213.23	c cleaning 9989 clauses out of 20010 with flag 3685001/3905591
215.69/213.80	c cleaning 10003 clauses out of 20021 with flag 3695001/3915591
216.29/214.38	c cleaning 10003 clauses out of 20018 with flag 3705001/3925591
216.89/214.99	c cleaning 9994 clauses out of 20014 with flag 3715000/3935590
217.60/215.64	c cleaning 10008 clauses out of 20021 with flag 3725001/3945591
218.19/216.22	c cleaning 10000 clauses out of 20012 with flag 3735000/3955590
218.70/216.77	c cleaning 10002 clauses out of 20013 with flag 3745001/3965591
219.29/217.34	c cleaning 9999 clauses out of 20010 with flag 3755000/3975590
220.00/218.02	c cleaning 9995 clauses out of 20014 with flag 3765003/3985593
220.60/218.67	c cleaning 10001 clauses out of 20017 with flag 3775001/3995591
221.20/219.27	c cleaning 10003 clauses out of 20015 with flag 3785000/4005590
221.80/219.81	c cleaning 10002 clauses out of 20013 with flag 3795001/4015591
222.30/220.37	c cleaning 9995 clauses out of 20012 with flag 3805002/4025592
222.90/220.97	c cleaning 10002 clauses out of 20016 with flag 3815001/4035591
223.51/221.55	c cleaning 9996 clauses out of 20013 with flag 3825000/4045590
224.11/222.20	c cleaning 9999 clauses out of 20017 with flag 3835000/4055590
224.81/222.85	c cleaning 10006 clauses out of 20024 with flag 3845006/4065596
225.41/223.46	c cleaning 9999 clauses out of 20012 with flag 3855000/4075590
226.01/224.03	c cleaning 9995 clauses out of 20013 with flag 3865000/4085590
226.61/224.62	c cleaning 10002 clauses out of 20019 with flag 3875001/4095591
227.21/225.21	c cleaning 10003 clauses out of 20016 with flag 3885000/4105590
227.81/225.85	c cleaning 9998 clauses out of 20015 with flag 3895002/4115592
228.41/226.42	c cleaning 10000 clauses out of 20016 with flag 3905001/4125591
229.01/227.08	c cleaning 10003 clauses out of 20016 with flag 3915001/4135591
229.63/227.68	c cleaning 10002 clauses out of 20012 with flag 3925000/4145590
230.23/228.28	c cleaning 10001 clauses out of 20012 with flag 3935002/4155592
230.83/228.85	c cleaning 9998 clauses out of 20010 with flag 3945001/4165591
231.43/229.46	c cleaning 9999 clauses out of 20011 with flag 3955000/4175590
232.03/230.04	c cleaning 9995 clauses out of 20015 with flag 3965003/4185593
232.63/230.66	c cleaning 9994 clauses out of 20017 with flag 3975000/4195590
233.33/231.31	c cleaning 10004 clauses out of 20023 with flag 3985000/4205590
233.94/231.95	c cleaning 9997 clauses out of 20019 with flag 3995000/4215590
234.54/232.56	c cleaning 10003 clauses out of 20023 with flag 4005001/4225591
235.14/233.14	c cleaning 10004 clauses out of 20019 with flag 4015000/4235590
235.64/233.69	c cleaning 10002 clauses out of 20018 with flag 4025003/4245593
236.35/234.32	c cleaning 9999 clauses out of 20015 with flag 4035002/4255592
236.94/234.95	c cleaning 9996 clauses out of 20015 with flag 4045001/4265591
237.54/235.59	c cleaning 9998 clauses out of 20018 with flag 4055000/4275590
238.24/236.29	c cleaning 10002 clauses out of 20023 with flag 4065003/4285593
238.94/236.92	c cleaning 9997 clauses out of 20018 with flag 4075000/4295590
239.55/237.60	c cleaning 10000 clauses out of 20023 with flag 4085002/4305592
240.25/238.25	c cleaning 9999 clauses out of 20021 with flag 4095000/4315590
240.85/238.88	c cleaning 10003 clauses out of 20022 with flag 4105000/4325590
241.55/239.57	c cleaning 9996 clauses out of 20022 with flag 4115003/4335593
242.15/240.17	c cleaning 9998 clauses out of 20023 with flag 4125000/4345590
242.86/240.88	c cleaning 10000 clauses out of 20029 with flag 4135004/4355594
243.65/241.66	c cleaning 9995 clauses out of 20025 with flag 4145000/4365590
244.26/242.23	c cleaning 10008 clauses out of 20030 with flag 4155000/4375590
244.86/242.83	c cleaning 10000 clauses out of 20022 with flag 4165000/4385590
245.46/243.43	c cleaning 10001 clauses out of 20022 with flag 4175000/4395590
246.06/244.01	c cleaning 10008 clauses out of 20022 with flag 4185001/4405591
246.56/244.58	c cleaning 10001 clauses out of 20017 with flag 4195004/4415594
247.16/245.17	c cleaning 9994 clauses out of 20012 with flag 4205000/4425590
247.76/245.77	c cleaning 10006 clauses out of 20018 with flag 4215000/4435590
248.37/246.34	c cleaning 9999 clauses out of 20012 with flag 4225000/4445590
248.97/246.96	c cleaning 10001 clauses out of 20013 with flag 4235000/4455590
249.67/247.63	c cleaning 10000 clauses out of 20012 with flag 4245000/4465590
250.27/248.25	c cleaning 9997 clauses out of 20012 with flag 4255000/4475590
250.97/248.94	c cleaning 10004 clauses out of 20016 with flag 4265001/4485591
251.57/249.56	c cleaning 9996 clauses out of 20011 with flag 4275000/4495590
252.17/250.14	c cleaning 10001 clauses out of 20015 with flag 4285000/4505590
252.78/250.72	c cleaning 10000 clauses out of 20014 with flag 4295000/4515590
253.27/251.27	c cleaning 10002 clauses out of 20014 with flag 4305000/4525590
253.88/251.87	c cleaning 10001 clauses out of 20015 with flag 4315003/4535593
254.48/252.46	c cleaning 10003 clauses out of 20012 with flag 4325001/4545591
255.09/253.07	c cleaning 9997 clauses out of 20010 with flag 4335002/4555592
255.78/253.71	c cleaning 10005 clauses out of 20016 with flag 4345005/4565595
256.38/254.32	c cleaning 9998 clauses out of 20007 with flag 4355001/4575591
256.88/254.87	c cleaning 9996 clauses out of 20008 with flag 4365000/4585590
257.48/255.42	c cleaning 10002 clauses out of 20012 with flag 4375000/4595590
257.98/255.96	c cleaning 10003 clauses out of 20012 with flag 4385002/4605592
258.59/256.52	c cleaning 10002 clauses out of 20008 with flag 4395001/4615591
259.18/257.13	c cleaning 9998 clauses out of 20005 with flag 4405000/4625590
259.79/257.72	c cleaning 10000 clauses out of 20009 with flag 4415002/4635592
260.29/258.29	c cleaning 10001 clauses out of 20007 with flag 4425000/4645590
260.89/258.83	c cleaning 9995 clauses out of 20006 with flag 4435000/4655590
261.49/259.41	c cleaning 10000 clauses out of 20012 with flag 4445001/4665591
262.09/260.04	c cleaning 10000 clauses out of 20011 with flag 4455000/4675590
262.70/260.63	c cleaning 10000 clauses out of 20013 with flag 4465002/4685592
263.19/261.17	c cleaning 9998 clauses out of 20011 with flag 4475000/4695590
263.80/261.72	c cleaning 10005 clauses out of 20015 with flag 4485002/4705592
264.29/262.24	c cleaning 9998 clauses out of 20009 with flag 4495001/4715591
264.90/262.84	c cleaning 9994 clauses out of 20010 with flag 4505000/4725590
265.50/263.48	c cleaning 9994 clauses out of 20016 with flag 4515000/4735590
266.10/264.05	c cleaning 10010 clauses out of 20025 with flag 4525003/4745593
266.70/264.64	c cleaning 10002 clauses out of 20013 with flag 4535001/4755591
267.30/265.29	c cleaning 10000 clauses out of 20013 with flag 4545003/4765593
267.90/265.88	c cleaning 9999 clauses out of 20010 with flag 4555000/4775590
268.50/266.41	c cleaning 10000 clauses out of 20011 with flag 4565000/4785590
269.11/267.03	c cleaning 10001 clauses out of 20011 with flag 4575000/4795590
269.71/267.63	c cleaning 9997 clauses out of 20011 with flag 4585001/4805591
270.31/268.28	c cleaning 9998 clauses out of 20013 with flag 4595000/4815590
271.01/268.92	c cleaning 10002 clauses out of 20017 with flag 4605002/4825592
271.61/269.54	c cleaning 10000 clauses out of 20015 with flag 4615002/4835592
272.21/270.18	c cleaning 10000 clauses out of 20014 with flag 4625001/4845591
272.81/270.76	c cleaning 9997 clauses out of 20014 with flag 4635001/4855591
273.41/271.36	c cleaning 10004 clauses out of 20018 with flag 4645002/4865592
274.11/272.00	c cleaning 10002 clauses out of 20013 with flag 4655001/4875591
274.71/272.63	c cleaning 10005 clauses out of 20015 with flag 4665005/4885595
275.31/273.29	c cleaning 9999 clauses out of 20005 with flag 4675000/4895590
275.93/273.88	c cleaning 9995 clauses out of 20007 with flag 4685001/4905591
276.62/274.56	c cleaning 10000 clauses out of 20011 with flag 4695000/4915590
277.36/275.23	c cleaning 10002 clauses out of 20014 with flag 4705003/4925593
277.96/275.86	c cleaning 9997 clauses out of 20011 with flag 4715002/4935592
278.66/276.52	c cleaning 9998 clauses out of 20012 with flag 4725001/4945591
279.37/277.26	c cleaning 10000 clauses out of 20012 with flag 4735001/4955591
279.57/277.40	c starts		: 303
279.57/277.40	c conflicts		: 4957436
279.57/277.40	c decisions		: 7581984
279.57/277.40	c propagations		: 254666872
279.57/277.40	c inspects		: 2548535611
279.57/277.40	c shortcuts		: 0
279.57/277.40	c learnt literals	: 8
279.57/277.40	c learnt binary clauses	: 37
279.57/277.40	c learnt ternary clauses	: 946
279.57/277.40	c learnt constraints	: 4957427
279.57/277.40	c ignored constraints	: 0
279.57/277.40	c root simplifications	: 0
279.57/277.40	c removed literals (reason simplification)	: 24914145
279.57/277.40	c reason swapping (by a shorter reason)	: 0
279.57/277.40	c Calls to reduceDB	: 498
279.57/277.40	c number of reductions to clauses (during analyze)	: 0
279.57/277.40	c number of learned constraints concerned by reduction	: 0
279.57/277.40	c number of learning phase by resolution	: 0
279.57/277.40	c number of learning phase by cutting planes	: 0
279.57/277.40	c speed (assignments/second)	: 973858.3190250208
279.57/277.40	c non guided choices	4083
279.57/277.40	c learnt constraints type 
279.57/277.40	c constraints type 
279.57/277.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2601
279.57/277.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 5
279.57/277.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 83
279.57/277.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18
279.57/277.40	s OPTIMUM FOUND
279.57/277.40	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 
279.57/277.40	c objective function=1
279.57/277.40	c Total wall clock time (in seconds): 277.296

Verifier Data 

OK	1

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-3492031-1307910686/watcher-3492031-1307910686 -o /var/tmp/evaluation-result-3492031-1307910686/solver-3492031-1307910686 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492031-1307910686.wbo 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.04 2.03 1.91 2/195 5796
/proc/meminfo: memFree=1079624/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/5796/stat : 5796 (java) R 5794 5796 2916 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 635259830 23580672 695 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268655699432 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5796/statm: 5757 695 512 9 0 124 0

[startup+0.083156 s]
/proc/loadavg: 2.04 2.03 1.91 2/195 5796
/proc/meminfo: memFree=1079624/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10604320 CPUtime=0.06 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 12069 0 1 0 5 1 0 0 25 0 18 0 635259830 10858823680 11765 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2638713 11766 1755 9 0 2629447 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10604320

[startup+0.101182 s]
/proc/loadavg: 2.04 2.03 1.91 2/195 5796
/proc/meminfo: memFree=1079624/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10539372 CPUtime=0.11 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 13108 0 1 0 9 2 0 0 25 0 18 0 635259830 10792316928 12785 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2634843 12785 2093 9 0 2625577 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539372

[startup+0.301092 s]
/proc/loadavg: 2.04 2.03 1.91 2/195 5796
/proc/meminfo: memFree=1079624/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10539372 CPUtime=0.48 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 16688 0 1 0 46 2 0 0 25 0 18 0 635259830 10792316928 15541 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2634843 15541 2202 9 0 2625577 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10539372

[startup+0.701035 s]
/proc/loadavg: 2.04 2.03 1.91 2/195 5796
/proc/meminfo: memFree=1079624/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10542236 CPUtime=1.49 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 20850 0 1 0 146 3 0 0 25 0 19 0 635259830 10795249664 18203 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2635559 18203 2226 9 0 2626293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10542236

[startup+1.50088 s]
/proc/loadavg: 2.04 2.03 1.91 3/214 5815
/proc/meminfo: memFree=1013716/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10542236 CPUtime=2.3 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 22610 0 1 0 226 4 0 0 25 0 19 0 635259830 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2635559 19962 2228 9 0 2626293 0
[pid=5796/tid=5798] ppid=5794 vsize=10542236 CPUtime=1.48 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) R 5794 5796 2916 0 -1 4202560 16565 0 1 0 146 2 0 0 20 0 19 0 635259830 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 46912505778703 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5796/tid=5799] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259832 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5800] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259832 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5801] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259832 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5802] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259832 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5803] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259832 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5804] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259832 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5805] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259832 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5806] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259832 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5807] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5796 2916 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 635259833 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 0 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5808] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5796 2916 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 635259833 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5809] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5796 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635259833 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5810] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672485809 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5811] ppid=5794 vsize=10542236 CPUtime=0.42 cores=0,2,4,6
/proc/5796/task/5811/stat : 5811 (java) S 5794 5796 2916 0 -1 4202560 3075 0 0 0 42 0 0 0 16 0 19 0 635259836 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5812] ppid=5794 vsize=10542236 CPUtime=0.37 cores=0,2,4,6
/proc/5796/task/5812/stat : 5812 (java) S 5794 5796 2916 0 -1 4202560 1809 0 0 0 37 0 0 0 16 0 19 0 635259836 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5813] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5813/stat : 5813 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5814] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5814/stat : 5814 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635259836 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5815] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5815/stat : 5815 (java) S 5794 5796 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635259863 10795249664 19962 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10542236

[startup+3.10159 s]
/proc/loadavg: 2.03 2.03 1.91 3/214 5815
/proc/meminfo: memFree=1005656/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10542236 CPUtime=3.95 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 26301 0 1 0 391 4 0 0 25 0 19 0 635259830 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2635559 23646 2254 9 0 2626293 0
[pid=5796/tid=5798] ppid=5794 vsize=10542236 CPUtime=3.06 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) R 5794 5796 2916 0 -1 4202560 18497 0 1 0 303 3 0 0 25 0 19 0 635259830 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 46912505716464 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5796/tid=5799] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5796 2916 0 -1 4202560 426 0 0 0 0 0 0 0 18 0 19 0 635259832 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5800] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5796 2916 0 -1 4202560 262 0 0 0 0 0 0 0 18 0 19 0 635259832 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5801] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5796 2916 0 -1 4202560 190 0 0 0 0 0 0 0 18 0 19 0 635259832 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5802] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 635259832 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5803] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 635259832 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5804] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 635259832 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5805] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 635259832 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5806] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 635259832 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5807] ppid=5794 vsize=10542236 CPUtime=0.01 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5796 2916 0 -1 4202560 868 0 0 0 1 0 0 0 17 0 19 0 635259833 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 0 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5808] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5796 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635259833 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5809] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5796 2916 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 635259833 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5810] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672485809 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5811] ppid=5794 vsize=10542236 CPUtime=0.46 cores=0,2,4,6
/proc/5796/task/5811/stat : 5811 (java) S 5794 5796 2916 0 -1 4202560 3086 0 0 0 46 0 0 0 15 0 19 0 635259836 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5812] ppid=5794 vsize=10542236 CPUtime=0.39 cores=0,2,4,6
/proc/5796/task/5812/stat : 5812 (java) S 5794 5796 2916 0 -1 4202560 1816 0 0 0 39 0 0 0 15 0 19 0 635259836 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5813] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5813/stat : 5813 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5814] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5814/stat : 5814 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635259836 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5815] ppid=5794 vsize=10542236 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5815/stat : 5815 (java) S 5794 5796 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635259863 10795249664 23646 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 10542236

[startup+6.30105 s]
/proc/loadavg: 2.03 2.03 1.91 3/214 5816
/proc/meminfo: memFree=992644/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10542272 CPUtime=7.21 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 27159 0 1 0 716 5 0 0 25 0 19 0 635259830 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2635568 24213 2254 9 0 2626302 0
[pid=5796/tid=5798] ppid=5794 vsize=10542272 CPUtime=6.18 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) R 5794 5796 2916 0 -1 4202560 18499 0 1 0 615 3 0 0 20 0 19 0 635259830 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 46912505716150 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5796/tid=5799] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5796 2916 0 -1 4202560 473 0 0 0 0 0 0 0 15 0 19 0 635259832 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5800] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5796 2916 0 -1 4202560 373 0 0 0 0 0 0 0 15 0 19 0 635259832 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5801] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5796 2916 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 19 0 635259832 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5802] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635259832 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5803] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5796 2916 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 635259832 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5804] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5796 2916 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 635259832 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5805] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5796 2916 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 635259832 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5806] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5796 2916 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 19 0 635259832 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5807] ppid=5794 vsize=10542272 CPUtime=0.07 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5796 2916 0 -1 4202560 1134 0 0 0 7 0 0 0 16 0 19 0 635259833 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 0 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5808] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5796 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635259833 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5809] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5796 2916 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 635259833 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5810] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672485809 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5811] ppid=5794 vsize=10542272 CPUtime=0.46 cores=0,2,4,6
/proc/5796/task/5811/stat : 5811 (java) S 5794 5796 2916 0 -1 4202560 3086 0 0 0 46 0 0 0 15 0 19 0 635259836 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5812] ppid=5794 vsize=10542272 CPUtime=0.44 cores=0,2,4,6
/proc/5796/task/5812/stat : 5812 (java) S 5794 5796 2916 0 -1 4202560 2074 0 0 0 44 0 0 0 15 0 19 0 635259836 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5813] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5813/stat : 5813 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5814] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5814/stat : 5814 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635259836 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5815] ppid=5794 vsize=10542272 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5815/stat : 5815 (java) S 5794 5796 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635259863 10795286528 24213 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 10542272

[startup+12.7009 s]

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

/proc/5796/task/5799/stat : 5799 (java) S 5794 5796 2916 0 -1 4202560 486 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5800] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5796 2916 0 -1 4202560 406 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5801] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5796 2916 0 -1 4202560 207 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5802] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5796 2916 0 -1 4202560 33 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5803] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5796 2916 0 -1 4202560 40 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5804] ppid=5794 vsize=10553360 CPUtime=0.14 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5796 2916 0 -1 4202560 35 0 0 0 14 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5805] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5796 2916 0 -1 4202560 25 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5806] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5796 2916 0 -1 4202560 177 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5807] ppid=5794 vsize=10553360 CPUtime=8.29 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5796 2916 0 -1 4202560 1704 0 0 0 823 6 0 0 15 0 19 0 635259833 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 0 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5808] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5796 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635259833 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5809] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5796 2916 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 635259833 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5810] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672485809 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5811] ppid=5794 vsize=10553360 CPUtime=0.5 cores=0,2,4,6
/proc/5796/task/5811/stat : 5811 (java) S 5794 5796 2916 0 -1 4202560 3104 0 0 0 50 0 0 0 15 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5812] ppid=5794 vsize=10553360 CPUtime=1.1 cores=0,2,4,6
/proc/5796/task/5812/stat : 5812 (java) S 5794 5796 2916 0 -1 4202560 9959 0 0 0 109 1 0 0 15 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5813] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5813/stat : 5813 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5814] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5814/stat : 5814 (java) S 5794 5796 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5815] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5815/stat : 5815 (java) S 5794 5796 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635259863 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 278.87
Current children cumulated vsize (KiB) 10553360

[startup+277.101 s]
/proc/loadavg: 2.02 2.02 1.91 3/214 5823
/proc/meminfo: memFree=976184/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10553360 CPUtime=279.27 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 36334 0 1 0 27911 16 0 0 25 0 19 0 635259830 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2638340 27781 2256 9 0 2629074 0
[pid=5796/tid=5798] ppid=5794 vsize=10553360 CPUtime=268.03 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) R 5794 5796 2916 0 -1 4202560 18991 0 1 0 26799 4 0 0 25 0 19 0 635259830 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 46912505329167 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5796/tid=5799] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5796 2916 0 -1 4202560 486 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5800] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5796 2916 0 -1 4202560 406 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5801] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5796 2916 0 -1 4202560 207 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5802] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5796 2916 0 -1 4202560 33 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5803] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5796 2916 0 -1 4202560 40 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5804] ppid=5794 vsize=10553360 CPUtime=0.14 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5796 2916 0 -1 4202560 35 0 0 0 14 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5805] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5796 2916 0 -1 4202560 25 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5806] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5796 2916 0 -1 4202560 177 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5807] ppid=5794 vsize=10553360 CPUtime=8.29 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5796 2916 0 -1 4202560 1704 0 0 0 823 6 0 0 15 0 19 0 635259833 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 0 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5808] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5796 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635259833 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5809] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5796 2916 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 635259833 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5810] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672485809 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5811] ppid=5794 vsize=10553360 CPUtime=0.5 cores=0,2,4,6
/proc/5796/task/5811/stat : 5811 (java) S 5794 5796 2916 0 -1 4202560 3104 0 0 0 50 0 0 0 15 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5812] ppid=5794 vsize=10553360 CPUtime=1.1 cores=0,2,4,6
/proc/5796/task/5812/stat : 5812 (java) S 5794 5796 2916 0 -1 4202560 9959 0 0 0 109 1 0 0 15 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5813] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5813/stat : 5813 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5814] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5814/stat : 5814 (java) S 5794 5796 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635259836 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5815] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5815/stat : 5815 (java) S 5794 5796 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635259863 10806640640 27781 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 279.27
Current children cumulated vsize (KiB) 10553360

[startup+277.301 s]
/proc/loadavg: 2.02 2.02 1.91 3/214 5823
/proc/meminfo: memFree=976184/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10553360 CPUtime=279.47 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 36346 0 1 0 27931 16 0 0 25 0 19 0 635259830 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2638340 27792 2256 9 0 2629074 0
[pid=5796/tid=5798] ppid=5794 vsize=10553360 CPUtime=268.2 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) R 5794 5796 2916 0 -1 4202560 18992 0 1 0 26816 4 0 0 25 0 19 0 635259830 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 46912505778656 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5796/tid=5799] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5796 2916 0 -1 4202560 486 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5800] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5796 2916 0 -1 4202560 406 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5801] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5796 2916 0 -1 4202560 207 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5802] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5796 2916 0 -1 4202560 36 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5803] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5796 2916 0 -1 4202560 40 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5804] ppid=5794 vsize=10553360 CPUtime=0.14 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5796 2916 0 -1 4202560 35 0 0 0 14 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5805] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5796 2916 0 -1 4202560 25 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5806] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5796 2916 0 -1 4202560 177 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5807] ppid=5794 vsize=10553360 CPUtime=8.31 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5796 2916 0 -1 4202560 1712 0 0 0 825 6 0 0 15 0 19 0 635259833 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 0 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5808] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5796 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635259833 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5809] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5796 2916 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 635259833 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5810] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672485809 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5811] ppid=5794 vsize=10553360 CPUtime=0.5 cores=0,2,4,6
/proc/5796/task/5811/stat : 5811 (java) S 5794 5796 2916 0 -1 4202560 3104 0 0 0 50 0 0 0 15 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5812] ppid=5794 vsize=10553360 CPUtime=1.1 cores=0,2,4,6
/proc/5796/task/5812/stat : 5812 (java) S 5794 5796 2916 0 -1 4202560 9959 0 0 0 109 1 0 0 15 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5813] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5813/stat : 5813 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5814] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5814/stat : 5814 (java) S 5794 5796 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5815] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5815/stat : 5815 (java) S 5794 5796 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635259863 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 279.47
Current children cumulated vsize (KiB) 10553360

[startup+277.401 s]
/proc/loadavg: 2.02 2.02 1.91 3/214 5823
/proc/meminfo: memFree=976184/32951124 swapFree=67055716/67111528
[pid=5796] ppid=5794 vsize=10553360 CPUtime=279.57 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5796 2916 0 -1 4202496 36346 0 1 0 27941 16 0 0 25 0 19 0 635259830 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5796/statm: 2638340 27792 2256 9 0 2629074 0
[pid=5796/tid=5798] ppid=5794 vsize=10553360 CPUtime=268.3 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) R 5794 5796 2916 0 -1 4202560 18992 0 1 0 26826 4 0 0 25 0 19 0 635259830 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 46912505977889 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5796/tid=5799] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5796 2916 0 -1 4202560 486 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5800] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5796 2916 0 -1 4202560 406 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5801] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5796 2916 0 -1 4202560 207 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5802] ppid=5794 vsize=10553360 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5796 2916 0 -1 4202560 36 0 0 0 15 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5803] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5796 2916 0 -1 4202560 40 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5804] ppid=5794 vsize=10553360 CPUtime=0.14 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5796 2916 0 -1 4202560 35 0 0 0 14 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
[pid=5796/tid=5805] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5796 2916 0 -1 4202560 25 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 0 0 0 0
[pid=5796/tid=5806] ppid=5794 vsize=10553360 CPUtime=0.16 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5796 2916 0 -1 4202560 177 0 0 0 16 0 0 0 15 0 19 0 635259832 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5807] ppid=5794 vsize=10553360 CPUtime=8.31 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5796 2916 0 -1 4202560 1712 0 0 0 825 6 0 0 15 0 19 0 635259833 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 0 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5808] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5796 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635259833 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5809] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5796 2916 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 635259833 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5810] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672485809 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5811] ppid=5794 vsize=10553360 CPUtime=0.5 cores=0,2,4,6
/proc/5796/task/5811/stat : 5811 (java) S 5794 5796 2916 0 -1 4202560 3104 0 0 0 50 0 0 0 15 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 2 0 0 0
[pid=5796/tid=5812] ppid=5794 vsize=10553360 CPUtime=1.1 cores=0,2,4,6
/proc/5796/task/5812/stat : 5812 (java) R 5794 5796 2916 0 -1 4202560 9959 0 0 0 109 1 0 0 15 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672488117 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5796/tid=5813] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5813/stat : 5813 (java) S 5794 5796 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478105 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5814] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5814/stat : 5814 (java) S 5794 5796 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635259836 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 4 0 0 0
[pid=5796/tid=5815] ppid=5794 vsize=10553360 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5815/stat : 5815 (java) S 5794 5796 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635259863 10806640640 27792 33554432000 1073741824 1073778376 140733322495696 18446744073709551615 268672478720 0 4 0 16800975 18446604450456523712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 279.57
Current children cumulated vsize (KiB) 10553360

Child status: 30
Real time (s): 277.412
CPU time (s): 279.584
CPU user time (s): 279.419
CPU system time (s): 0.165974
CPU usage (%): 100.783
Max. virtual memory (cumulated for all children) (KiB): 10604320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 279.419
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36371
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= 18968
involuntary context switches= 8514

runsolver used 0.487925 second user time and 1.05884 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-12 22:31:26
IDJOB=3492031
IDBENCH=78996
IDSOLVER=1982
FILE ID=node107/3492031-1307910686
RUNJOBID= node107-1307908886-4788
PBS_JOBID= 13559596
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.1900562192--soft-33-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-3492031-1307910686/watcher-3492031-1307910686 -o /var/tmp/evaluation-result-3492031-1307910686/solver-3492031-1307910686 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492031-1307910686.wbo

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

MD5SUM BENCH= c96bd383c2d62b3ed6ae26490be2a1fe
RANDOM SEED=1493972149

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1080060 kB
Buffers:         62020 kB
Cached:       30724188 kB
SwapCached:      20072 kB
Active:       15721488 kB
Inactive:     15186584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1080060 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:             484 kB
Writeback:           0 kB
AnonPages:      119948 kB
Mapped:          21092 kB
Slab:           896616 kB
PageTables:       5036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10549396 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= 2892 MiB
End job on node107 at 2011-06-12 22:36:03