Trace number 3492035

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 268.068 266.434

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
MD5SUM6afd7eef78419a10c166bbe4bb320384
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark115.464
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135280
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135279
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 711
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.1.v20110525
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.18-164.el5
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		9996466904
0.01/0.08	c Max memory 		10048897024
0.01/0.08	c Total memory 		10048897024
0.01/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3492035-1307911238.wbo
0.11/0.10	c reading problem ... 
0.49/0.31	c ... done. Wall clock time 0.21s.
0.49/0.31	c #vars     2938
0.49/0.31	c #constraints  2707
0.49/0.31	c constraints type 
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.49/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.09/0.52	c SATISFIABLE
1.09/0.52	c OPTIMIZING...
1.09/0.52	c Got one! Elapsed wall clock time (in seconds):0.416
1.09/0.52	o 336
1.09/0.55	c Got one! Elapsed wall clock time (in seconds):0.45
1.09/0.55	o 316
1.09/0.58	c Got one! Elapsed wall clock time (in seconds):0.477
1.09/0.58	o 288
1.34/0.61	c Got one! Elapsed wall clock time (in seconds):0.503
1.34/0.61	o 275
1.34/0.63	c Got one! Elapsed wall clock time (in seconds):0.523
1.34/0.63	o 255
1.34/0.65	c Got one! Elapsed wall clock time (in seconds):0.549
1.34/0.65	o 243
1.34/0.68	c Got one! Elapsed wall clock time (in seconds):0.574
1.34/0.68	o 240
1.56/0.70	c Got one! Elapsed wall clock time (in seconds):0.593
1.56/0.70	o 229
1.56/0.72	c Got one! Elapsed wall clock time (in seconds):0.615
1.56/0.72	o 204
1.56/0.77	c Got one! Elapsed wall clock time (in seconds):0.665
1.56/0.77	o 202
1.56/0.79	c Got one! Elapsed wall clock time (in seconds):0.685
1.56/0.79	o 182
1.66/0.81	c Got one! Elapsed wall clock time (in seconds):0.705
1.66/0.81	o 105
1.87/1.04	c Got one! Elapsed wall clock time (in seconds):0.939
1.87/1.04	o 92
1.87/1.10	c Got one! Elapsed wall clock time (in seconds):0.995
1.87/1.10	o 91
1.97/1.12	c Got one! Elapsed wall clock time (in seconds):1.013
1.97/1.12	o 83
1.97/1.14	c Got one! Elapsed wall clock time (in seconds):1.033
1.97/1.14	o 79
2.07/1.23	c Got one! Elapsed wall clock time (in seconds):1.127
2.07/1.23	o 60
2.17/1.32	c Got one! Elapsed wall clock time (in seconds):1.211
2.17/1.32	o 47
2.27/1.46	c Got one! Elapsed wall clock time (in seconds):1.351
2.27/1.46	o 43
2.37/1.56	c Got one! Elapsed wall clock time (in seconds):1.451
2.37/1.56	o 33
2.47/1.68	c Got one! Elapsed wall clock time (in seconds):1.572
2.47/1.68	o 32
3.40/2.50	c Got one! Elapsed wall clock time (in seconds):2.398
3.40/2.50	o 28
3.69/2.87	c cleaning 6563 clauses out of 13127 with flag 2002/13127
3.84/2.99	c Got one! Elapsed wall clock time (in seconds):2.887
3.84/2.99	o 26
4.15/3.24	c Got one! Elapsed wall clock time (in seconds):3.131
4.15/3.24	o 24
4.25/3.32	c Got one! Elapsed wall clock time (in seconds):3.213
4.25/3.32	o 18
4.34/3.40	c Got one! Elapsed wall clock time (in seconds):3.299
4.34/3.40	o 11
4.64/3.70	c cleaning 7400 clauses out of 14807 with flag 3001/21370
5.05/4.12	c cleaning 6702 clauses out of 13408 with flag 9002/27371
5.20/4.21	c Got one! Elapsed wall clock time (in seconds):4.104
5.20/4.21	o 8
5.40/4.47	c cleaning 6075 clauses out of 12152 with flag 4001/32817
5.80/4.82	c Got one! Elapsed wall clock time (in seconds):4.72
5.80/4.82	o 5
6.20/5.27	c cleaning 8472 clauses out of 16952 with flag 5001/43692
6.60/5.63	c cleaning 7235 clauses out of 14480 with flag 11001/49692
7.00/6.00	c cleaning 7116 clauses out of 14246 with flag 18002/56693
7.40/6.41	c cleaning 7557 clauses out of 15128 with flag 26000/64691
7.80/6.86	c cleaning 8277 clauses out of 16572 with flag 35001/73692
8.30/7.37	c cleaning 9142 clauses out of 18294 with flag 45000/83691
8.81/7.85	c Got one! Elapsed wall clock time (in seconds):7.75
8.81/7.85	o 4
9.21/8.25	c cleaning 12043 clauses out of 24093 with flag 5000/98632
9.52/8.58	c cleaning 9021 clauses out of 18051 with flag 11001/104633
9.63/8.62	c Got one! Elapsed wall clock time (in seconds):8.514
9.63/8.62	o 2
9.92/8.92	c cleaning 7235 clauses out of 14486 with flag 5001/110089
10.22/9.23	c cleaning 6619 clauses out of 13251 with flag 11001/116089
10.62/9.61	c cleaning 6805 clauses out of 13631 with flag 18000/123088
10.93/9.99	c cleaning 7411 clauses out of 14827 with flag 26001/131089
11.33/10.39	c cleaning 8203 clauses out of 16415 with flag 35000/140088
11.83/10.86	c cleaning 9103 clauses out of 18214 with flag 45002/150090
12.33/11.38	c cleaning 9547 clauses out of 19112 with flag 55003/160091
12.83/11.86	c cleaning 9776 clauses out of 19563 with flag 65001/170089
13.33/12.35	c cleaning 9889 clauses out of 19788 with flag 75002/180090
13.83/12.86	c cleaning 9946 clauses out of 19897 with flag 85000/190088
14.33/13.35	c cleaning 9969 clauses out of 19953 with flag 95002/200090
14.83/13.83	c cleaning 9983 clauses out of 19982 with flag 105000/210088
15.34/14.31	c cleaning 9994 clauses out of 20001 with flag 115002/220090
15.74/14.79	c cleaning 10000 clauses out of 20006 with flag 125001/230089
16.24/15.27	c cleaning 10001 clauses out of 20005 with flag 135000/240088
16.74/15.74	c cleaning 9996 clauses out of 20004 with flag 145000/250088
17.24/16.21	c cleaning 9999 clauses out of 20008 with flag 155000/260088
17.74/16.70	c cleaning 9999 clauses out of 20009 with flag 165000/270088
18.14/17.18	c cleaning 9998 clauses out of 20012 with flag 175002/280090
18.65/17.66	c cleaning 10000 clauses out of 20012 with flag 185000/290088
19.14/18.12	c cleaning 9994 clauses out of 20012 with flag 195000/300088
19.55/18.60	c cleaning 10002 clauses out of 20018 with flag 205000/310088
20.06/19.08	c cleaning 10002 clauses out of 20016 with flag 215000/320088
20.56/19.53	c cleaning 9999 clauses out of 20016 with flag 225002/330090
20.96/19.99	c cleaning 10006 clauses out of 20020 with flag 235005/340093
21.46/20.48	c cleaning 9995 clauses out of 20009 with flag 245000/350088
21.97/20.93	c cleaning 10002 clauses out of 20014 with flag 255000/360088
22.46/21.41	c cleaning 10000 clauses out of 20012 with flag 265000/370088
22.99/21.92	c cleaning 10003 clauses out of 20015 with flag 275003/380091
23.48/22.44	c cleaning 10003 clauses out of 20014 with flag 285005/390093
23.98/22.95	c cleaning 9998 clauses out of 20007 with flag 295001/400089
24.49/23.48	c cleaning 9997 clauses out of 20009 with flag 305001/410089
24.99/23.96	c cleaning 9998 clauses out of 20011 with flag 315000/420088
25.49/24.48	c cleaning 9999 clauses out of 20013 with flag 325000/430088
25.99/24.94	c cleaning 9997 clauses out of 20014 with flag 335000/440088
26.49/25.45	c cleaning 10005 clauses out of 20017 with flag 345000/450088
26.99/25.93	c cleaning 10002 clauses out of 20012 with flag 355000/460088
27.39/26.39	c cleaning 9994 clauses out of 20010 with flag 365000/470088
27.89/26.87	c cleaning 9997 clauses out of 20017 with flag 375001/480089
28.39/27.33	c cleaning 10002 clauses out of 20019 with flag 385000/490088
28.89/27.84	c cleaning 9998 clauses out of 20018 with flag 395001/500089
29.29/28.29	c cleaning 10008 clauses out of 20021 with flag 405002/510090
29.79/28.78	c cleaning 10002 clauses out of 20011 with flag 415000/520088
30.29/29.28	c cleaning 10001 clauses out of 20009 with flag 425000/530088
30.80/29.79	c cleaning 9998 clauses out of 20010 with flag 435002/540090
31.29/30.27	c cleaning 10001 clauses out of 20012 with flag 445002/550090
31.80/30.74	c cleaning 9992 clauses out of 20010 with flag 455001/560089
32.30/31.25	c cleaning 9999 clauses out of 20017 with flag 465000/570088
32.80/31.77	c cleaning 10006 clauses out of 20021 with flag 475003/580091
33.30/32.27	c cleaning 10001 clauses out of 20013 with flag 485001/590089
33.91/32.84	c cleaning 9998 clauses out of 20012 with flag 495001/600089
34.41/33.39	c cleaning 10002 clauses out of 20013 with flag 505000/610088
34.91/33.88	c cleaning 10004 clauses out of 20011 with flag 515000/620088
35.41/34.33	c cleaning 9999 clauses out of 20009 with flag 525002/630090
35.91/34.82	c cleaning 9997 clauses out of 20009 with flag 535001/640089
36.32/35.29	c cleaning 10001 clauses out of 20011 with flag 545000/650088
36.81/35.77	c cleaning 9999 clauses out of 20010 with flag 555000/660088
37.32/36.26	c cleaning 9998 clauses out of 20013 with flag 565002/670090
37.81/36.76	c cleaning 10002 clauses out of 20015 with flag 575002/680090
38.31/37.27	c cleaning 10003 clauses out of 20012 with flag 585001/690089
38.81/37.73	c cleaning 10002 clauses out of 20010 with flag 595002/700090
39.31/38.25	c cleaning 9997 clauses out of 20006 with flag 605000/710088
39.81/38.72	c cleaning 10001 clauses out of 20009 with flag 615000/720088
40.31/39.20	c cleaning 9998 clauses out of 20008 with flag 625000/730088
40.81/39.71	c cleaning 10000 clauses out of 20011 with flag 635001/740089
41.21/40.16	c cleaning 9998 clauses out of 20010 with flag 645000/750088
41.61/40.58	c cleaning 10000 clauses out of 20014 with flag 655002/760090
42.11/41.05	c cleaning 9997 clauses out of 20016 with flag 665004/770092
42.61/41.50	c cleaning 10001 clauses out of 20016 with flag 675001/780089
43.11/42.01	c cleaning 10004 clauses out of 20016 with flag 685002/790090
43.52/42.45	c cleaning 10003 clauses out of 20011 with flag 695001/800089
44.02/42.91	c cleaning 9998 clauses out of 20010 with flag 705003/810091
44.52/43.40	c cleaning 9999 clauses out of 20009 with flag 715000/820088
44.92/43.86	c cleaning 10004 clauses out of 20011 with flag 725001/830089
45.42/44.35	c cleaning 9997 clauses out of 20006 with flag 735000/840088
45.92/44.81	c cleaning 9994 clauses out of 20010 with flag 745001/850089
46.32/45.30	c cleaning 10003 clauses out of 20016 with flag 755001/860089
46.82/45.77	c cleaning 10003 clauses out of 20013 with flag 765001/870089
47.33/46.27	c cleaning 9999 clauses out of 20010 with flag 775001/880089
47.82/46.75	c cleaning 9996 clauses out of 20010 with flag 785000/890088
48.33/47.21	c cleaning 10004 clauses out of 20017 with flag 795003/900091
48.72/47.68	c cleaning 9996 clauses out of 20011 with flag 805001/910089
49.22/48.15	c cleaning 10003 clauses out of 20017 with flag 815003/920091
49.72/48.61	c cleaning 10002 clauses out of 20013 with flag 825002/930090
50.13/49.06	c cleaning 9996 clauses out of 20009 with flag 835000/940088
50.64/49.52	c cleaning 10002 clauses out of 20013 with flag 845000/950088
51.14/50.00	c cleaning 10000 clauses out of 20013 with flag 855002/960090
51.54/50.50	c cleaning 10004 clauses out of 20012 with flag 865001/970089
52.04/50.99	c cleaning 9997 clauses out of 20008 with flag 875001/980089
52.54/51.46	c cleaning 9998 clauses out of 20010 with flag 885000/990088
53.04/51.96	c cleaning 10000 clauses out of 20015 with flag 895003/1000091
53.54/52.41	c cleaning 10000 clauses out of 20012 with flag 905000/1010088
53.94/52.89	c cleaning 9998 clauses out of 20013 with flag 915001/1020089
54.44/53.35	c cleaning 9997 clauses out of 20014 with flag 925000/1030088
54.94/53.82	c cleaning 10002 clauses out of 20019 with flag 935002/1040090
55.34/54.29	c cleaning 10004 clauses out of 20019 with flag 945004/1050092
55.84/54.73	c cleaning 9998 clauses out of 20011 with flag 955000/1060088
56.34/55.22	c cleaning 10002 clauses out of 20014 with flag 965001/1070089
56.84/55.70	c cleaning 10000 clauses out of 20012 with flag 975001/1080089
57.24/56.16	c cleaning 10000 clauses out of 20012 with flag 985001/1090089
57.74/56.63	c cleaning 10000 clauses out of 20012 with flag 995001/1100089
58.25/57.15	c cleaning 9999 clauses out of 20012 with flag 1005001/1110089
58.75/57.61	c cleaning 10000 clauses out of 20012 with flag 1015000/1120088
59.15/58.09	c cleaning 10001 clauses out of 20014 with flag 1025002/1130090
59.65/58.54	c cleaning 9999 clauses out of 20012 with flag 1035001/1140089
60.15/59.01	c cleaning 10004 clauses out of 20014 with flag 1045002/1150090
60.56/59.47	c cleaning 9996 clauses out of 20011 with flag 1055003/1160091
61.05/59.94	c cleaning 10001 clauses out of 20012 with flag 1065000/1170088
61.56/60.40	c cleaning 9999 clauses out of 20012 with flag 1075001/1180089
61.96/60.89	c cleaning 10005 clauses out of 20013 with flag 1085001/1190089
62.56/61.41	c cleaning 10004 clauses out of 20011 with flag 1095004/1200092
63.06/61.93	c cleaning 9997 clauses out of 20003 with flag 1105000/1210088
63.56/62.42	c cleaning 9997 clauses out of 20007 with flag 1115001/1220089
64.06/62.92	c cleaning 9996 clauses out of 20010 with flag 1125001/1230089
64.56/63.47	c cleaning 9998 clauses out of 20013 with flag 1135000/1240088
65.06/63.95	c cleaning 10006 clauses out of 20017 with flag 1145002/1250090
65.56/64.44	c cleaning 9999 clauses out of 20009 with flag 1155000/1260088
66.06/64.91	c cleaning 10001 clauses out of 20012 with flag 1165002/1270090
66.46/65.37	c cleaning 10001 clauses out of 20010 with flag 1175001/1280089
66.96/65.89	c cleaning 9999 clauses out of 20011 with flag 1185003/1290091
67.56/66.40	c cleaning 9992 clauses out of 20012 with flag 1195003/1300091
68.06/66.93	c cleaning 10004 clauses out of 20017 with flag 1205000/1310088
68.56/67.45	c cleaning 9994 clauses out of 20013 with flag 1215000/1320088
69.06/67.99	c cleaning 10001 clauses out of 20019 with flag 1225000/1330088
69.57/68.49	c cleaning 10008 clauses out of 20019 with flag 1235001/1340089
70.07/68.94	c cleaning 9999 clauses out of 20010 with flag 1245000/1350088
70.57/69.44	c cleaning 9997 clauses out of 20011 with flag 1255000/1360088
71.07/69.93	c cleaning 10003 clauses out of 20014 with flag 1265000/1370088
71.58/70.42	c cleaning 10004 clauses out of 20013 with flag 1275002/1380090
71.98/70.89	c cleaning 9997 clauses out of 20008 with flag 1285001/1390089
72.48/71.36	c cleaning 10002 clauses out of 20010 with flag 1295000/1400088
72.98/71.82	c cleaning 9998 clauses out of 20008 with flag 1305000/1410088
73.38/72.27	c cleaning 10000 clauses out of 20011 with flag 1315001/1420089
73.88/72.75	c cleaning 9999 clauses out of 20012 with flag 1325002/1430090
74.38/73.20	c cleaning 10003 clauses out of 20013 with flag 1335002/1440090
74.79/73.67	c cleaning 10000 clauses out of 20010 with flag 1345002/1450090
75.28/74.15	c cleaning 10001 clauses out of 20008 with flag 1355000/1460088
75.78/74.62	c cleaning 9999 clauses out of 20010 with flag 1365003/1470091
76.29/75.12	c cleaning 9998 clauses out of 20009 with flag 1375001/1480089
76.69/75.59	c cleaning 9997 clauses out of 20010 with flag 1385000/1490088
77.29/76.10	c cleaning 10004 clauses out of 20015 with flag 1395002/1500090
77.79/76.63	c cleaning 10000 clauses out of 20009 with flag 1405000/1510088
78.19/77.10	c cleaning 9996 clauses out of 20010 with flag 1415001/1520089
78.79/77.61	c cleaning 10002 clauses out of 20018 with flag 1425005/1530093
79.19/78.06	c cleaning 9998 clauses out of 20012 with flag 1435001/1540089
79.69/78.52	c cleaning 10003 clauses out of 20013 with flag 1445000/1550088
80.19/79.00	c cleaning 10003 clauses out of 20010 with flag 1455000/1560088
80.69/79.50	c cleaning 9998 clauses out of 20009 with flag 1465002/1570090
81.19/80.02	c cleaning 10000 clauses out of 20009 with flag 1475000/1580088
81.69/80.55	c cleaning 10002 clauses out of 20009 with flag 1485000/1590088
82.19/81.02	c cleaning 9998 clauses out of 20007 with flag 1495000/1600088
82.60/81.46	c cleaning 10000 clauses out of 20010 with flag 1505001/1610089
83.10/81.95	c cleaning 9998 clauses out of 20009 with flag 1515000/1620088
83.60/82.43	c cleaning 9998 clauses out of 20011 with flag 1525000/1630088
84.10/82.91	c cleaning 9996 clauses out of 20013 with flag 1535000/1640088
84.50/83.39	c cleaning 10004 clauses out of 20017 with flag 1545000/1650088
85.10/83.92	c cleaning 9999 clauses out of 20014 with flag 1555001/1660089
85.60/84.41	c cleaning 10000 clauses out of 20014 with flag 1565000/1670088
86.00/84.89	c cleaning 10001 clauses out of 20015 with flag 1575001/1680089
86.50/85.39	c cleaning 10004 clauses out of 20015 with flag 1585002/1690090
87.10/85.90	c cleaning 9999 clauses out of 20009 with flag 1595000/1700088
87.51/86.39	c cleaning 9999 clauses out of 20014 with flag 1605004/1710092
88.12/86.94	c cleaning 10002 clauses out of 20011 with flag 1615000/1720088
88.61/87.44	c cleaning 9999 clauses out of 20009 with flag 1625000/1730088
89.12/87.95	c cleaning 9999 clauses out of 20011 with flag 1635001/1740089
89.61/88.50	c cleaning 9996 clauses out of 20011 with flag 1645000/1750088
90.11/89.00	c cleaning 10004 clauses out of 20017 with flag 1655002/1760090
90.62/89.46	c cleaning 10002 clauses out of 20016 with flag 1665005/1770093
91.12/89.91	c cleaning 10001 clauses out of 20012 with flag 1675003/1780091
91.62/90.40	c cleaning 9999 clauses out of 20008 with flag 1685000/1790088
92.02/90.88	c cleaning 10002 clauses out of 20009 with flag 1695000/1800088
92.52/91.36	c cleaning 9998 clauses out of 20009 with flag 1705002/1810090
93.02/91.85	c cleaning 9997 clauses out of 20009 with flag 1715000/1820088
93.52/92.33	c cleaning 10000 clauses out of 20012 with flag 1725000/1830088
94.02/92.80	c cleaning 10003 clauses out of 20015 with flag 1735003/1840091
94.52/93.31	c cleaning 10000 clauses out of 20012 with flag 1745003/1850091
95.02/93.82	c cleaning 10000 clauses out of 20009 with flag 1755000/1860088
95.42/94.29	c cleaning 10001 clauses out of 20010 with flag 1765001/1870089
95.92/94.78	c cleaning 9998 clauses out of 20009 with flag 1775001/1880089
96.42/95.26	c cleaning 9998 clauses out of 20010 with flag 1785000/1890088
96.93/95.77	c cleaning 10001 clauses out of 20012 with flag 1795000/1900088
97.43/96.25	c cleaning 9999 clauses out of 20012 with flag 1805001/1910089
97.93/96.75	c cleaning 9993 clauses out of 20012 with flag 1815000/1920088
98.43/97.28	c cleaning 10006 clauses out of 20019 with flag 1825000/1930088
99.03/97.82	c cleaning 10002 clauses out of 20014 with flag 1835001/1940089
99.53/98.30	c cleaning 10001 clauses out of 20016 with flag 1845005/1950093
100.03/98.82	c cleaning 9997 clauses out of 20010 with flag 1855000/1960088
100.53/99.32	c cleaning 10005 clauses out of 20017 with flag 1865004/1970092
101.04/99.85	c cleaning 9995 clauses out of 20008 with flag 1875000/1980088
101.64/100.44	c cleaning 9993 clauses out of 20013 with flag 1885000/1990088
101.74/100.58	c Got one! Elapsed wall clock time (in seconds):100.472
101.74/100.58	o 1
101.94/100.76	c cleaning 7838 clauses out of 15683 with flag 3003/1995751
102.34/101.12	c cleaning 6910 clauses out of 13843 with flag 9001/2001749
102.74/101.51	c cleaning 6964 clauses out of 13933 with flag 16001/2008749
103.14/101.94	c cleaning 7474 clauses out of 14968 with flag 24000/2016748
103.64/102.44	c cleaning 8238 clauses out of 16494 with flag 33000/2025748
104.14/102.95	c cleaning 9120 clauses out of 18256 with flag 43000/2035748
104.74/103.52	c cleaning 9566 clauses out of 19136 with flag 53000/2045748
105.24/104.06	c cleaning 9770 clauses out of 19572 with flag 63002/2055750
105.75/104.57	c cleaning 9896 clauses out of 19801 with flag 73001/2065749
106.35/105.12	c cleaning 9945 clauses out of 19905 with flag 83001/2075749
106.85/105.65	c cleaning 9972 clauses out of 19959 with flag 93000/2085748
107.35/106.15	c cleaning 9987 clauses out of 19987 with flag 103000/2095748
107.85/106.68	c cleaning 9995 clauses out of 20000 with flag 113000/2105748
108.35/107.18	c cleaning 9996 clauses out of 20006 with flag 123001/2115749
108.96/107.70	c cleaning 9997 clauses out of 20009 with flag 133000/2125748
109.45/108.24	c cleaning 10003 clauses out of 20012 with flag 143000/2135748
109.95/108.74	c cleaning 9994 clauses out of 20009 with flag 153000/2145748
110.45/109.23	c cleaning 10003 clauses out of 20018 with flag 163003/2155751
110.95/109.78	c cleaning 9994 clauses out of 20012 with flag 173000/2165748
111.56/110.31	c cleaning 10005 clauses out of 20020 with flag 183002/2175750
112.06/110.80	c cleaning 9995 clauses out of 20013 with flag 193000/2185748
112.56/111.33	c cleaning 10000 clauses out of 20018 with flag 203000/2195748
113.06/111.89	c cleaning 10003 clauses out of 20018 with flag 213000/2205748
113.77/112.50	c cleaning 9998 clauses out of 20016 with flag 223001/2215749
114.27/113.02	c cleaning 10005 clauses out of 20017 with flag 233000/2225748
114.67/113.47	c cleaning 9992 clauses out of 20012 with flag 243000/2235748
115.17/113.97	c cleaning 10003 clauses out of 20021 with flag 253001/2245749
115.68/114.42	c cleaning 10003 clauses out of 20017 with flag 263000/2255748
116.07/114.88	c cleaning 9994 clauses out of 20014 with flag 273000/2265748
116.58/115.35	c cleaning 10003 clauses out of 20021 with flag 283001/2275749
117.08/115.83	c cleaning 10005 clauses out of 20017 with flag 293000/2285748
117.48/116.28	c cleaning 9998 clauses out of 20012 with flag 303000/2295748
117.98/116.75	c cleaning 9997 clauses out of 20014 with flag 313000/2305748
118.48/117.24	c cleaning 10001 clauses out of 20018 with flag 323001/2315749
118.88/117.69	c cleaning 10001 clauses out of 20017 with flag 333001/2325749
119.38/118.16	c cleaning 10001 clauses out of 20016 with flag 343001/2335749
119.88/118.68	c cleaning 10004 clauses out of 20014 with flag 353000/2345748
120.38/119.16	c cleaning 10002 clauses out of 20014 with flag 363004/2355752
120.88/119.62	c cleaning 10001 clauses out of 20010 with flag 373002/2365750
121.28/120.09	c cleaning 9997 clauses out of 20008 with flag 383001/2375749
121.78/120.56	c cleaning 10000 clauses out of 20013 with flag 393003/2385751
122.29/121.04	c cleaning 9995 clauses out of 20013 with flag 403003/2395751
122.69/121.48	c cleaning 10002 clauses out of 20015 with flag 413000/2405748
123.19/121.92	c cleaning 10001 clauses out of 20013 with flag 423000/2415748
123.59/122.37	c cleaning 10000 clauses out of 20014 with flag 433002/2425750
124.09/122.81	c cleaning 10000 clauses out of 20012 with flag 443000/2435748
124.59/123.33	c cleaning 9998 clauses out of 20012 with flag 453000/2445748
124.99/123.79	c cleaning 10003 clauses out of 20015 with flag 463001/2455749
125.49/124.26	c cleaning 10001 clauses out of 20011 with flag 473000/2465748
125.99/124.73	c cleaning 10000 clauses out of 20011 with flag 483001/2475749
126.49/125.23	c cleaning 9997 clauses out of 20010 with flag 493000/2485748
126.99/125.72	c cleaning 9996 clauses out of 20013 with flag 503000/2495748
127.50/126.21	c cleaning 10003 clauses out of 20017 with flag 513000/2505748
127.90/126.69	c cleaning 10003 clauses out of 20015 with flag 523001/2515749
128.50/127.20	c cleaning 10004 clauses out of 20015 with flag 533004/2525752
128.91/127.68	c cleaning 9994 clauses out of 20008 with flag 543001/2535749
129.40/128.16	c cleaning 10002 clauses out of 20014 with flag 553001/2545749
129.91/128.62	c cleaning 9991 clauses out of 20012 with flag 563001/2555749
130.40/129.13	c cleaning 10001 clauses out of 20020 with flag 573000/2565748
130.81/129.57	c cleaning 10006 clauses out of 20020 with flag 583001/2575749
131.31/130.04	c cleaning 9999 clauses out of 20013 with flag 593000/2585748
131.81/130.57	c cleaning 10003 clauses out of 20015 with flag 603001/2595749
132.31/131.02	c cleaning 9993 clauses out of 20012 with flag 613001/2605749
132.81/131.51	c cleaning 10006 clauses out of 20022 with flag 623004/2615752
133.31/132.02	c cleaning 10004 clauses out of 20015 with flag 633003/2625751
133.71/132.48	c cleaning 9999 clauses out of 20008 with flag 643000/2635748
134.21/132.98	c cleaning 9998 clauses out of 20010 with flag 653001/2645749
134.71/133.44	c cleaning 9997 clauses out of 20012 with flag 663001/2655749
135.21/133.90	c cleaning 9996 clauses out of 20014 with flag 673000/2665748
135.61/134.37	c cleaning 10000 clauses out of 20018 with flag 683000/2675748
136.11/134.84	c cleaning 10005 clauses out of 20020 with flag 693002/2685750
136.63/135.31	c cleaning 9995 clauses out of 20014 with flag 703001/2695749
137.02/135.75	c cleaning 10003 clauses out of 20018 with flag 713000/2705748
137.52/136.21	c cleaning 10004 clauses out of 20016 with flag 723001/2715749
137.92/136.69	c cleaning 9997 clauses out of 20011 with flag 733000/2725748
138.42/137.19	c cleaning 9994 clauses out of 20014 with flag 743000/2735748
138.92/137.64	c cleaning 10001 clauses out of 20020 with flag 753000/2745748
139.43/138.19	c cleaning 9999 clauses out of 20022 with flag 763003/2755751
140.03/138.75	c cleaning 9995 clauses out of 20021 with flag 773001/2765749
140.63/139.37	c cleaning 10007 clauses out of 20027 with flag 783002/2775750
141.13/139.87	c cleaning 9998 clauses out of 20019 with flag 793001/2785749
141.63/140.39	c cleaning 10006 clauses out of 20023 with flag 803003/2795751
142.14/140.87	c cleaning 10003 clauses out of 20015 with flag 813001/2805749
142.73/141.41	c cleaning 9991 clauses out of 20012 with flag 823001/2815749
143.24/141.93	c cleaning 10001 clauses out of 20020 with flag 833000/2825748
143.73/142.40	c cleaning 10003 clauses out of 20019 with flag 843000/2835748
144.24/142.92	c cleaning 10001 clauses out of 20017 with flag 853001/2845749
144.73/143.44	c cleaning 10002 clauses out of 20017 with flag 863002/2855750
145.23/143.96	c cleaning 9997 clauses out of 20013 with flag 873000/2865748
145.74/144.48	c cleaning 9998 clauses out of 20017 with flag 883001/2875749
146.23/144.96	c cleaning 10000 clauses out of 20019 with flag 893001/2885749
146.74/145.48	c cleaning 10004 clauses out of 20020 with flag 903002/2895750
147.24/145.94	c cleaning 10001 clauses out of 20014 with flag 913000/2905748
147.74/146.43	c cleaning 10001 clauses out of 20013 with flag 923000/2915748
148.24/146.90	c cleaning 9996 clauses out of 20012 with flag 933000/2925748
148.64/147.39	c cleaning 10002 clauses out of 20018 with flag 943002/2935750
149.14/147.86	c cleaning 10005 clauses out of 20015 with flag 953001/2945749
149.64/148.34	c cleaning 9995 clauses out of 20009 with flag 963000/2955748
150.04/148.80	c cleaning 10002 clauses out of 20017 with flag 973003/2965751
150.54/149.25	c cleaning 10002 clauses out of 20012 with flag 983000/2975748
150.95/149.69	c cleaning 9995 clauses out of 20010 with flag 993000/2985748
151.44/150.19	c cleaning 9997 clauses out of 20015 with flag 1003000/2995748
151.95/150.65	c cleaning 10008 clauses out of 20021 with flag 1013003/3005751
152.45/151.12	c cleaning 9996 clauses out of 20012 with flag 1023002/3015750
152.95/151.63	c cleaning 9999 clauses out of 20016 with flag 1033002/3025750
153.45/152.11	c cleaning 10005 clauses out of 20022 with flag 1043007/3035755
153.85/152.56	c cleaning 9997 clauses out of 20011 with flag 1053001/3045749
154.35/153.03	c cleaning 10005 clauses out of 20015 with flag 1063002/3055750
154.85/153.52	c cleaning 10000 clauses out of 20008 with flag 1073000/3065748
155.36/154.01	c cleaning 9995 clauses out of 20009 with flag 1083001/3075749
155.85/154.52	c cleaning 10001 clauses out of 20014 with flag 1093001/3085749
156.36/155.03	c cleaning 9997 clauses out of 20012 with flag 1103000/3095748
156.85/155.52	c cleaning 9999 clauses out of 20018 with flag 1113003/3105751
157.35/156.07	c cleaning 9999 clauses out of 20018 with flag 1123002/3115750
157.96/156.60	c cleaning 9996 clauses out of 20018 with flag 1133001/3125749
158.36/157.08	c cleaning 10008 clauses out of 20022 with flag 1143001/3135749
158.86/157.55	c cleaning 10003 clauses out of 20013 with flag 1153000/3145748
159.37/158.03	c cleaning 9994 clauses out of 20013 with flag 1163003/3155751
159.87/158.59	c cleaning 9999 clauses out of 20018 with flag 1173002/3165750
160.47/159.17	c cleaning 9999 clauses out of 20018 with flag 1183001/3175749
160.97/159.67	c cleaning 10003 clauses out of 20018 with flag 1193000/3185748
161.47/160.18	c cleaning 10001 clauses out of 20016 with flag 1203001/3195749
162.07/160.72	c cleaning 9996 clauses out of 20014 with flag 1213000/3205748
162.57/161.22	c cleaning 10006 clauses out of 20020 with flag 1223002/3215750
162.97/161.70	c cleaning 10001 clauses out of 20013 with flag 1233001/3225749
163.47/162.16	c cleaning 10000 clauses out of 20011 with flag 1243000/3235748
163.97/162.65	c cleaning 9998 clauses out of 20012 with flag 1253001/3245749
164.37/163.09	c cleaning 10000 clauses out of 20015 with flag 1263002/3255750
164.87/163.56	c cleaning 10003 clauses out of 20014 with flag 1273001/3265749
165.37/164.05	c cleaning 9996 clauses out of 20012 with flag 1283002/3275750
165.87/164.51	c cleaning 10002 clauses out of 20017 with flag 1293003/3285751
166.28/164.97	c cleaning 9988 clauses out of 20012 with flag 1303000/3295748
166.77/165.44	c cleaning 10009 clauses out of 20024 with flag 1313000/3305748
167.27/165.96	c cleaning 10003 clauses out of 20017 with flag 1323002/3315750
167.77/166.47	c cleaning 9995 clauses out of 20013 with flag 1333001/3325749
168.28/166.96	c cleaning 10005 clauses out of 20019 with flag 1343002/3335750
168.78/167.47	c cleaning 9999 clauses out of 20012 with flag 1353000/3345748
169.28/167.91	c cleaning 10005 clauses out of 20015 with flag 1363002/3355750
169.69/168.36	c cleaning 10000 clauses out of 20009 with flag 1373001/3365749
170.18/168.80	c cleaning 9998 clauses out of 20008 with flag 1383000/3375748
170.58/169.24	c cleaning 10002 clauses out of 20011 with flag 1393001/3385749
171.08/169.74	c cleaning 9998 clauses out of 20009 with flag 1403001/3395749
171.58/170.23	c cleaning 9997 clauses out of 20010 with flag 1413000/3405748
172.08/170.72	c cleaning 10002 clauses out of 20015 with flag 1423002/3415750
172.48/171.18	c cleaning 9999 clauses out of 20011 with flag 1433000/3425748
172.99/171.65	c cleaning 10003 clauses out of 20013 with flag 1443001/3435749
173.49/172.12	c cleaning 9992 clauses out of 20009 with flag 1453000/3445748
173.99/172.64	c cleaning 10004 clauses out of 20017 with flag 1463000/3455748
174.49/173.11	c cleaning 10003 clauses out of 20014 with flag 1473001/3465749
174.89/173.59	c cleaning 10000 clauses out of 20010 with flag 1483000/3475748
175.39/174.06	c cleaning 9999 clauses out of 20010 with flag 1493000/3485748
175.89/174.59	c cleaning 9996 clauses out of 20011 with flag 1503000/3495748
176.49/175.10	c cleaning 10002 clauses out of 20015 with flag 1513000/3505748
176.99/175.67	c cleaning 10000 clauses out of 20014 with flag 1523001/3515749
177.49/176.14	c cleaning 10003 clauses out of 20014 with flag 1533001/3525749
177.99/176.65	c cleaning 10001 clauses out of 20012 with flag 1543002/3535750
178.50/177.13	c cleaning 10002 clauses out of 20012 with flag 1553003/3545751
178.99/177.63	c cleaning 9999 clauses out of 20008 with flag 1563001/3555749
179.50/178.11	c cleaning 9995 clauses out of 20009 with flag 1573001/3565749
179.89/178.59	c cleaning 10000 clauses out of 20014 with flag 1583001/3575749
180.39/179.06	c cleaning 10003 clauses out of 20015 with flag 1593002/3585750
180.90/179.58	c cleaning 9999 clauses out of 20010 with flag 1603000/3595748
181.51/180.12	c cleaning 9998 clauses out of 20011 with flag 1613000/3605748
182.01/180.65	c cleaning 9999 clauses out of 20015 with flag 1623002/3615750
182.51/181.16	c cleaning 10003 clauses out of 20016 with flag 1633002/3625750
183.01/181.65	c cleaning 9998 clauses out of 20013 with flag 1643002/3635750
183.51/182.12	c cleaning 10001 clauses out of 20014 with flag 1653001/3645749
183.91/182.60	c cleaning 9999 clauses out of 20012 with flag 1663000/3655748
184.41/183.07	c cleaning 9999 clauses out of 20013 with flag 1673000/3665748
184.91/183.52	c cleaning 10003 clauses out of 20014 with flag 1683000/3675748
185.31/183.97	c cleaning 9999 clauses out of 20014 with flag 1693003/3685751
185.81/184.42	c cleaning 9996 clauses out of 20012 with flag 1703000/3695748
186.21/184.88	c cleaning 9999 clauses out of 20016 with flag 1713000/3705748
186.71/185.39	c cleaning 10003 clauses out of 20018 with flag 1723001/3715749
187.22/185.88	c cleaning 9997 clauses out of 20014 with flag 1733000/3725748
187.71/186.35	c cleaning 10002 clauses out of 20017 with flag 1743000/3735748
188.22/186.84	c cleaning 10004 clauses out of 20016 with flag 1753001/3745749
188.72/187.32	c cleaning 9999 clauses out of 20012 with flag 1763001/3755749
189.22/187.85	c cleaning 10002 clauses out of 20012 with flag 1773000/3765748
189.72/188.37	c cleaning 10000 clauses out of 20010 with flag 1783000/3775748
190.22/188.84	c cleaning 10000 clauses out of 20011 with flag 1793001/3785749
190.72/189.31	c cleaning 9998 clauses out of 20010 with flag 1803000/3795748
191.12/189.79	c cleaning 10001 clauses out of 20012 with flag 1813000/3805748
191.73/190.31	c cleaning 10001 clauses out of 20012 with flag 1823001/3815749
192.22/190.85	c cleaning 9998 clauses out of 20010 with flag 1833000/3825748
192.73/191.32	c cleaning 10001 clauses out of 20014 with flag 1843002/3835750
193.22/191.81	c cleaning 10001 clauses out of 20011 with flag 1853000/3845748
193.72/192.33	c cleaning 9999 clauses out of 20010 with flag 1863000/3855748
194.22/192.82	c cleaning 10000 clauses out of 20012 with flag 1873001/3865749
194.72/193.32	c cleaning 10002 clauses out of 20011 with flag 1883000/3875748
195.13/193.79	c cleaning 10000 clauses out of 20013 with flag 1893004/3885752
195.63/194.25	c cleaning 10002 clauses out of 20013 with flag 1903004/3895752
196.13/194.71	c cleaning 10000 clauses out of 20009 with flag 1913002/3905750
196.53/195.19	c cleaning 9997 clauses out of 20007 with flag 1923000/3915748
197.03/195.66	c cleaning 10001 clauses out of 20011 with flag 1933001/3925749
197.53/196.13	c cleaning 10000 clauses out of 20010 with flag 1943001/3935749
198.03/196.61	c cleaning 10001 clauses out of 20009 with flag 1953000/3945748
198.43/197.08	c cleaning 10000 clauses out of 20008 with flag 1963000/3955748
198.94/197.58	c cleaning 10000 clauses out of 20011 with flag 1973003/3965751
199.54/198.11	c cleaning 9996 clauses out of 20008 with flag 1983000/3975748
200.04/198.60	c cleaning 9999 clauses out of 20012 with flag 1993000/3985748
200.45/199.10	c cleaning 9993 clauses out of 20013 with flag 2003000/3995748
201.04/199.61	c cleaning 10000 clauses out of 20022 with flag 2013002/4005750
201.55/200.11	c cleaning 10007 clauses out of 20022 with flag 2023002/4015750
202.04/200.62	c cleaning 9994 clauses out of 20013 with flag 2033000/4025748
202.44/201.09	c cleaning 9999 clauses out of 20019 with flag 2043000/4035748
202.95/201.55	c cleaning 10002 clauses out of 20020 with flag 2053000/4045748
203.45/202.06	c cleaning 10003 clauses out of 20018 with flag 2063000/4055748
203.95/202.56	c cleaning 10002 clauses out of 20015 with flag 2073000/4065748
204.46/203.03	c cleaning 10003 clauses out of 20016 with flag 2083003/4075751
204.96/203.51	c cleaning 9999 clauses out of 20011 with flag 2093001/4085749
205.36/203.97	c cleaning 9994 clauses out of 20013 with flag 2103002/4095750
205.86/204.46	c cleaning 10001 clauses out of 20017 with flag 2113000/4105748
206.36/204.97	c cleaning 10002 clauses out of 20017 with flag 2123001/4115749
206.86/205.43	c cleaning 9996 clauses out of 20015 with flag 2133001/4125749
207.36/205.91	c cleaning 10004 clauses out of 20019 with flag 2143001/4135749
207.76/206.36	c cleaning 9999 clauses out of 20014 with flag 2153000/4145748
208.27/206.81	c cleaning 9999 clauses out of 20016 with flag 2163001/4155749
208.66/207.29	c cleaning 10001 clauses out of 20016 with flag 2173000/4165748
209.17/207.80	c cleaning 10004 clauses out of 20015 with flag 2183000/4175748
209.67/208.29	c cleaning 10001 clauses out of 20012 with flag 2193001/4185749
210.17/208.76	c cleaning 9996 clauses out of 20011 with flag 2203001/4195749
210.67/209.29	c cleaning 10003 clauses out of 20017 with flag 2213003/4205751
211.16/209.78	c cleaning 9997 clauses out of 20011 with flag 2223000/4215748
211.67/210.25	c cleaning 10002 clauses out of 20015 with flag 2233001/4225749
212.17/210.74	c cleaning 9998 clauses out of 20012 with flag 2243000/4235748
212.67/211.29	c cleaning 9997 clauses out of 20014 with flag 2253000/4245748
213.27/211.81	c cleaning 10005 clauses out of 20018 with flag 2263001/4255749
213.77/212.32	c cleaning 9999 clauses out of 20013 with flag 2273001/4265749
214.27/212.81	c cleaning 10000 clauses out of 20014 with flag 2283001/4275749
214.67/213.28	c cleaning 10003 clauses out of 20014 with flag 2293001/4285749
215.17/213.79	c cleaning 9991 clauses out of 20010 with flag 2303000/4295748
215.77/214.30	c cleaning 10001 clauses out of 20019 with flag 2313000/4305748
216.27/214.81	c cleaning 9997 clauses out of 20020 with flag 2323002/4315750
216.77/215.35	c cleaning 10004 clauses out of 20022 with flag 2333001/4325749
217.27/215.87	c cleaning 10002 clauses out of 20017 with flag 2343000/4335748
217.87/216.43	c cleaning 10002 clauses out of 20015 with flag 2353000/4345748
218.37/216.92	c cleaning 10003 clauses out of 20014 with flag 2363001/4355749
218.87/217.41	c cleaning 9998 clauses out of 20010 with flag 2373000/4365748
219.48/218.00	c cleaning 10001 clauses out of 20012 with flag 2383000/4375748
219.88/218.48	c cleaning 10000 clauses out of 20011 with flag 2393000/4385748
220.39/218.99	c cleaning 9996 clauses out of 20011 with flag 2403000/4395748
220.99/219.51	c cleaning 10003 clauses out of 20015 with flag 2413000/4405748
221.50/220.01	c cleaning 10002 clauses out of 20014 with flag 2423002/4415750
221.99/220.51	c cleaning 10003 clauses out of 20013 with flag 2433003/4425751
222.40/220.97	c cleaning 10000 clauses out of 20009 with flag 2443002/4435750
222.90/221.47	c cleaning 10002 clauses out of 20012 with flag 2453005/4445753
223.50/222.00	c cleaning 9997 clauses out of 20005 with flag 2463000/4455748
223.90/222.48	c cleaning 9998 clauses out of 20009 with flag 2473001/4465749
224.40/222.99	c cleaning 10000 clauses out of 20011 with flag 2483001/4475749
224.90/223.45	c cleaning 9998 clauses out of 20010 with flag 2493000/4485748
225.40/223.91	c cleaning 9996 clauses out of 20012 with flag 2503000/4495748
225.81/224.39	c cleaning 10001 clauses out of 20018 with flag 2513002/4505750
226.30/224.90	c cleaning 9999 clauses out of 20016 with flag 2523001/4515749
226.91/225.43	c cleaning 10003 clauses out of 20016 with flag 2533000/4525748
227.41/225.98	c cleaning 9993 clauses out of 20013 with flag 2543000/4535748
228.01/226.52	c cleaning 10001 clauses out of 20020 with flag 2553000/4545748
228.51/227.05	c cleaning 10006 clauses out of 20019 with flag 2563000/4555748
229.01/227.53	c cleaning 10003 clauses out of 20013 with flag 2573000/4565748
229.51/228.04	c cleaning 9996 clauses out of 20010 with flag 2583000/4575748
230.01/228.53	c cleaning 10003 clauses out of 20014 with flag 2593000/4585748
230.51/229.04	c cleaning 9998 clauses out of 20012 with flag 2603001/4595749
231.01/229.54	c cleaning 9998 clauses out of 20013 with flag 2613000/4605748
231.51/230.04	c cleaning 10001 clauses out of 20015 with flag 2623000/4615748
232.01/230.54	c cleaning 10004 clauses out of 20014 with flag 2633000/4625748
232.52/231.05	c cleaning 9998 clauses out of 20011 with flag 2643001/4635749
233.01/231.52	c cleaning 9997 clauses out of 20012 with flag 2653000/4645748
233.52/232.07	c cleaning 10005 clauses out of 20016 with flag 2663001/4655749
234.02/232.51	c cleaning 9999 clauses out of 20010 with flag 2673000/4665748
234.43/232.99	c cleaning 10003 clauses out of 20013 with flag 2683002/4675750
234.93/233.49	c cleaning 9998 clauses out of 20009 with flag 2693001/4685749
235.53/234.03	c cleaning 10000 clauses out of 20010 with flag 2703000/4695748
236.03/234.50	c cleaning 10000 clauses out of 20010 with flag 2713000/4705748
236.43/234.97	c cleaning 10004 clauses out of 20011 with flag 2723001/4715749
236.93/235.44	c cleaning 9999 clauses out of 20006 with flag 2733000/4725748
237.43/235.91	c cleaning 10001 clauses out of 20007 with flag 2743000/4735748
237.83/236.40	c cleaning 9995 clauses out of 20006 with flag 2753000/4745748
238.33/236.89	c cleaning 9990 clauses out of 20012 with flag 2763001/4755749
238.93/237.41	c cleaning 10004 clauses out of 20022 with flag 2773001/4765749
239.43/237.92	c cleaning 10004 clauses out of 20021 with flag 2783004/4775752
239.83/238.38	c cleaning 9997 clauses out of 20013 with flag 2793000/4785748
240.33/238.87	c cleaning 10005 clauses out of 20017 with flag 2803001/4795749
240.83/239.35	c cleaning 10001 clauses out of 20012 with flag 2813001/4805749
241.34/239.86	c cleaning 9995 clauses out of 20010 with flag 2823000/4815748
241.84/240.34	c cleaning 9999 clauses out of 20016 with flag 2833001/4825749
242.34/240.84	c cleaning 9997 clauses out of 20016 with flag 2843000/4835748
242.84/241.30	c cleaning 10007 clauses out of 20019 with flag 2853000/4845748
243.34/241.81	c cleaning 10002 clauses out of 20014 with flag 2863002/4855750
243.74/242.26	c cleaning 9996 clauses out of 20010 with flag 2873000/4865748
244.24/242.71	c cleaning 10005 clauses out of 20015 with flag 2883001/4875749
244.75/243.21	c cleaning 9997 clauses out of 20009 with flag 2893000/4885748
245.25/243.71	c cleaning 10003 clauses out of 20012 with flag 2903000/4895748
245.75/244.26	c cleaning 10000 clauses out of 20009 with flag 2913000/4905748
246.25/244.70	c cleaning 10001 clauses out of 20012 with flag 2923003/4915751
246.65/245.13	c cleaning 9999 clauses out of 20009 with flag 2933001/4925749
247.05/245.58	c cleaning 10004 clauses out of 20011 with flag 2943002/4935750
247.55/246.04	c cleaning 10000 clauses out of 20005 with flag 2953000/4945748
248.05/246.51	c cleaning 9999 clauses out of 20005 with flag 2963000/4955748
248.45/246.99	c cleaning 9998 clauses out of 20006 with flag 2973000/4965748
248.96/247.46	c cleaning 9996 clauses out of 20010 with flag 2983002/4975750
249.45/247.99	c cleaning 9999 clauses out of 20013 with flag 2993001/4985749
249.96/248.46	c cleaning 10002 clauses out of 20014 with flag 3003001/4995749
250.36/248.89	c cleaning 10001 clauses out of 20012 with flag 3013001/5005749
250.86/249.37	c cleaning 9998 clauses out of 20011 with flag 3023001/5015749
251.36/249.84	c cleaning 9994 clauses out of 20012 with flag 3033000/5025748
251.86/250.37	c cleaning 10004 clauses out of 20018 with flag 3043000/5035748
252.37/250.87	c cleaning 9992 clauses out of 20014 with flag 3053000/5045748
252.86/251.37	c cleaning 10007 clauses out of 20022 with flag 3063000/5055748
253.37/251.87	c cleaning 9999 clauses out of 20016 with flag 3073001/5065749
253.86/252.35	c cleaning 10006 clauses out of 20018 with flag 3083002/5075750
254.37/252.85	c cleaning 9996 clauses out of 20012 with flag 3093002/5085750
254.88/253.35	c cleaning 10004 clauses out of 20014 with flag 3103000/5095748
255.37/253.87	c cleaning 10001 clauses out of 20012 with flag 3113002/5105750
255.88/254.31	c cleaning 10000 clauses out of 20012 with flag 3123003/5115751
256.38/254.82	c cleaning 10003 clauses out of 20012 with flag 3133003/5125751
256.88/255.33	c cleaning 9997 clauses out of 20007 with flag 3143001/5135749
257.38/255.81	c cleaning 9998 clauses out of 20010 with flag 3153001/5145749
257.78/256.23	c cleaning 10002 clauses out of 20012 with flag 3163001/5155749
258.28/256.72	c cleaning 9994 clauses out of 20010 with flag 3173001/5165749
258.78/257.22	c cleaning 10000 clauses out of 20015 with flag 3183000/5175748
259.18/257.70	c cleaning 10003 clauses out of 20017 with flag 3193002/5185750
259.68/258.19	c cleaning 9999 clauses out of 20013 with flag 3203001/5195749
260.28/258.79	c cleaning 9993 clauses out of 20014 with flag 3213001/5205749
260.88/259.32	c cleaning 10005 clauses out of 20020 with flag 3223000/5215748
261.39/259.80	c cleaning 10001 clauses out of 20017 with flag 3233002/5225750
261.89/260.36	c cleaning 10005 clauses out of 20018 with flag 3243004/5235752
262.49/260.95	c cleaning 10004 clauses out of 20013 with flag 3253004/5245752
262.99/261.45	c cleaning 9997 clauses out of 20006 with flag 3263001/5255749
263.49/261.92	c cleaning 9996 clauses out of 20008 with flag 3273000/5265748
263.99/262.41	c cleaning 10003 clauses out of 20014 with flag 3283002/5275750
264.50/262.95	c cleaning 9996 clauses out of 20011 with flag 3293002/5285750
264.99/263.46	c cleaning 9994 clauses out of 20016 with flag 3303003/5295751
265.60/264.01	c cleaning 10005 clauses out of 20019 with flag 3313000/5305748
266.09/264.54	c cleaning 10000 clauses out of 20015 with flag 3323001/5315749
266.60/265.04	c cleaning 10004 clauses out of 20015 with flag 3333001/5325749
267.09/265.55	c cleaning 10000 clauses out of 20010 with flag 3343000/5335748
267.73/266.12	c cleaning 9998 clauses out of 20009 with flag 3353000/5345748
268.03/266.41	c starts		: 304
268.03/266.41	c conflicts		: 5351197
268.03/266.41	c decisions		: 8241557
268.03/266.41	c propagations		: 274420280
268.03/266.41	c inspects		: 2613911781
268.03/266.41	c shortcuts		: 0
268.03/266.41	c learnt literals	: 4
268.03/266.41	c learnt binary clauses	: 22
268.03/266.41	c learnt ternary clauses	: 860
268.03/266.41	c learnt constraints	: 5351192
268.03/266.41	c ignored constraints	: 0
268.03/266.41	c root simplifications	: 0
268.03/266.41	c removed literals (reason simplification)	: 25479997
268.03/266.41	c reason swapping (by a shorter reason)	: 0
268.03/266.41	c Calls to reduceDB	: 539
268.03/266.41	c number of reductions to clauses (during analyze)	: 0
268.03/266.41	c number of learned constraints concerned by reduction	: 0
268.03/266.41	c number of learning phase by resolution	: 0
268.03/266.41	c number of learning phase by cutting planes	: 0
268.03/266.41	c speed (assignments/second)	: 1654798.984520572
268.03/266.41	c non guided choices	4132
268.03/266.41	c learnt constraints type 
268.03/266.41	c constraints type 
268.03/266.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
268.03/266.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
268.03/266.41	s OPTIMUM FOUND
268.03/266.41	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 
268.03/266.41	c objective function=1
268.03/266.41	c Total wall clock time (in seconds): 266.307

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 1.98 2/199 3533
/proc/meminfo: memFree=1258680/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 1140 0 0 0 0 0 0 0 25 0 2 0 902721639 24580096 875 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 6001 877 664 9 0 381 0
[pid=3533/tid=3535] ppid=3531 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 83 0 0 0 0 0 0 0 25 0 2 0 902721640 31313920 923 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271545569123 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.021214 s]
/proc/loadavg: 2.01 2.02 1.98 2/199 3533
/proc/meminfo: memFree=1258680/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10445508 CPUtime=0.01 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 9846 0 1 0 1 0 0 0 25 0 3 0 902721639 10696200192 9546 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2611377 9546 928 9 0 2602533 0
[pid=3533/tid=3535] ppid=3531 vsize=10445508 CPUtime=0.01 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) S 3531 3533 446 0 -1 4202560 8730 0 1 0 1 0 0 0 25 0 3 0 902721640 10696200192 9546 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16784584 18446604468073160960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10445508

[startup+0.105746 s]
/proc/loadavg: 2.01 2.02 1.98 2/199 3533
/proc/meminfo: memFree=1258680/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10605492 CPUtime=0.11 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 13231 0 1 0 10 1 0 0 25 0 18 0 902721639 10860023808 12856 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2651373 12858 2107 9 0 2642107 0
[pid=3533/tid=3535] ppid=3531 vsize=10605492 CPUtime=0.09 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 11248 0 1 0 8 1 0 0 18 0 18 0 902721640 10860023808 12858 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 47665207745635 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10605492

[startup+0.300674 s]
/proc/loadavg: 2.01 2.02 1.98 2/199 3533
/proc/meminfo: memFree=1258680/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10606928 CPUtime=0.49 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 16920 0 1 0 48 1 0 0 25 0 18 0 902721639 10861494272 15831 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2651732 15832 2204 9 0 2642466 0
[pid=3533/tid=3535] ppid=3531 vsize=10606928 CPUtime=0.28 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 13101 0 1 0 27 1 0 0 18 0 18 0 902721640 10861494272 15832 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 46912505542425 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10606928

[startup+0.700606 s]
/proc/loadavg: 2.01 2.02 1.98 2/199 3533
/proc/meminfo: memFree=1258680/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10613608 CPUtime=1.56 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 24078 0 1 0 154 2 0 0 25 0 19 0 902721639 10868334592 19985 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2653402 19985 2235 9 0 2644136 0
[pid=3533/tid=3535] ppid=3531 vsize=10613608 CPUtime=0.69 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 15174 0 1 0 67 2 0 0 19 0 19 0 902721640 10868334592 19985 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 46912505906896 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10613608

[startup+1.50146 s]
/proc/loadavg: 2.01 2.02 1.98 3/218 3553
/proc/meminfo: memFree=1181672/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10613608 CPUtime=2.37 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 27167 0 1 0 234 3 0 0 25 0 19 0 902721639 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2653402 23073 2237 9 0 2644136 0
[pid=3533/tid=3535] ppid=3531 vsize=10613608 CPUtime=1.48 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 18260 0 1 0 146 2 0 0 20 0 19 0 902721640 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 46912505702735 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3533/tid=3537] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3537/stat : 3537 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721641 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3538] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3538/stat : 3538 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721641 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3539] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3539/stat : 3539 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721641 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3540] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3540/stat : 3540 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721641 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3541] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3541/stat : 3541 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721641 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3542] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3542/stat : 3542 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721641 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3543] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3543/stat : 3543 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721641 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3544] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3544/stat : 3544 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902721641 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3545] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3545/stat : 3545 (java) S 3531 3533 446 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902721642 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 0 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3546] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3546/stat : 3546 (java) S 3531 3533 446 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902721643 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3547] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3547/stat : 3547 (java) S 3531 3533 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902721643 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3548] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3548/stat : 3548 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562361265 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3549] ppid=3531 vsize=10613608 CPUtime=0.45 cores=1,3,5,7
/proc/3533/task/3549/stat : 3549 (java) S 3531 3533 446 0 -1 4202560 4383 0 0 0 45 0 0 0 25 0 19 0 902721645 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3550] ppid=3531 vsize=10613608 CPUtime=0.41 cores=1,3,5,7
/proc/3533/task/3550/stat : 3550 (java) S 3531 3533 446 0 -1 4202560 3362 0 0 0 41 0 0 0 16 0 19 0 902721645 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3551] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3551/stat : 3551 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3552] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3552/stat : 3552 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902721645 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3553] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3553/stat : 3553 (java) S 3531 3533 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902721675 10868334592 23073 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 10613608

[startup+3.10117 s]
/proc/loadavg: 2.01 2.02 1.98 3/218 3553
/proc/meminfo: memFree=1171352/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10613608 CPUtime=4.04 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 30229 0 1 0 401 3 0 0 25 0 19 0 902721639 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2653402 26127 2263 9 0 2644136 0
[pid=3533/tid=3535] ppid=3531 vsize=10613608 CPUtime=3.06 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 19475 0 1 0 304 2 0 0 25 0 19 0 902721640 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 46912505781518 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3533/tid=3537] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3537/stat : 3537 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902721641 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3538] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3538/stat : 3538 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902721641 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3539] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3539/stat : 3539 (java) S 3531 3533 446 0 -1 4202560 224 0 0 0 0 0 0 0 18 0 19 0 902721641 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3540] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3540/stat : 3540 (java) S 3531 3533 446 0 -1 4202560 213 0 0 0 0 0 0 0 18 0 19 0 902721641 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3541] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3541/stat : 3541 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902721641 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3542] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3542/stat : 3542 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902721641 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3543] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3543/stat : 3543 (java) S 3531 3533 446 0 -1 4202560 275 0 0 0 0 0 0 0 18 0 19 0 902721641 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3544] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3544/stat : 3544 (java) S 3531 3533 446 0 -1 4202560 212 0 0 0 0 0 0 0 18 0 19 0 902721641 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3545] ppid=3531 vsize=10613608 CPUtime=0.01 cores=1,3,5,7
/proc/3533/task/3545/stat : 3545 (java) S 3531 3533 446 0 -1 4202560 912 0 0 0 1 0 0 0 15 0 19 0 902721642 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 0 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3546] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3546/stat : 3546 (java) S 3531 3533 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3547] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3547/stat : 3547 (java) S 3531 3533 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3548] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3548/stat : 3548 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562361265 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3549] ppid=3531 vsize=10613608 CPUtime=0.49 cores=1,3,5,7
/proc/3533/task/3549/stat : 3549 (java) S 3531 3533 446 0 -1 4202560 4392 0 0 0 49 0 0 0 15 0 19 0 902721645 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3550] ppid=3531 vsize=10613608 CPUtime=0.44 cores=1,3,5,7
/proc/3533/task/3550/stat : 3550 (java) S 3531 3533 446 0 -1 4202560 3370 0 0 0 44 0 0 0 15 0 19 0 902721645 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3551] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3551/stat : 3551 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3552] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3552/stat : 3552 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902721645 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3553] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3553/stat : 3553 (java) S 3531 3533 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902721675 10868334592 26127 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 10613608

[startup+6.3006 s]
/proc/loadavg: 2.01 2.02 1.98 3/218 3553
/proc/meminfo: memFree=1157964/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10613608 CPUtime=7.3 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 31773 0 1 0 727 3 0 0 25 0 19 0 902721639 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2653402 26827 2263 9 0 2644136 0
[pid=3533/tid=3535] ppid=3531 vsize=10613608 CPUtime=6.16 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 19480 0 1 0 614 2 0 0 20 0 19 0 902721640 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 46912505701771 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3533/tid=3537] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3537/stat : 3537 (java) S 3531 3533 446 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902721641 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3538] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3538/stat : 3538 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902721641 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3539] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3539/stat : 3539 (java) S 3531 3533 446 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 19 0 902721641 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3540] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3540/stat : 3540 (java) S 3531 3533 446 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 902721641 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3541] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3541/stat : 3541 (java) S 3531 3533 446 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 902721641 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3542] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3542/stat : 3542 (java) S 3531 3533 446 0 -1 4202560 199 0 0 0 0 0 0 0 16 0 19 0 902721641 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3543] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3543/stat : 3543 (java) S 3531 3533 446 0 -1 4202560 276 0 0 0 0 0 0 0 16 0 19 0 902721641 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3544] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3544/stat : 3544 (java) S 3531 3533 446 0 -1 4202560 496 0 0 0 0 0 0 0 15 0 19 0 902721641 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3545] ppid=3531 vsize=10613608 CPUtime=0.11 cores=1,3,5,7
/proc/3533/task/3545/stat : 3545 (java) S 3531 3533 446 0 -1 4202560 1203 0 0 0 11 0 0 0 15 0 19 0 902721642 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 0 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3546] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3546/stat : 3546 (java) S 3531 3533 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3547] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3547/stat : 3547 (java) S 3531 3533 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3548] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3548/stat : 3548 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562361265 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3549] ppid=3531 vsize=10613608 CPUtime=0.5 cores=1,3,5,7
/proc/3533/task/3549/stat : 3549 (java) S 3531 3533 446 0 -1 4202560 4392 0 0 0 50 0 0 0 15 0 19 0 902721645 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3550] ppid=3531 vsize=10613608 CPUtime=0.49 cores=1,3,5,7
/proc/3533/task/3550/stat : 3550 (java) S 3531 3533 446 0 -1 4202560 4059 0 0 0 49 0 0 0 15 0 19 0 902721645 10868334592 26827 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0

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

/proc/3533/task/3537/stat : 3537 (java) S 3531 3533 446 0 -1 4202560 19 0 0 0 16 0 0 0 16 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3538] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3538/stat : 3538 (java) S 3531 3533 446 0 -1 4202560 24 0 0 0 15 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3539] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3539/stat : 3539 (java) S 3531 3533 446 0 -1 4202560 242 0 0 0 15 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3540] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3540/stat : 3540 (java) S 3531 3533 446 0 -1 4202560 230 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3541] ppid=3531 vsize=10613608 CPUtime=0.16 cores=1,3,5,7
/proc/3533/task/3541/stat : 3541 (java) S 3531 3533 446 0 -1 4202560 92 0 0 0 16 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3542] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3542/stat : 3542 (java) S 3531 3533 446 0 -1 4202560 219 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3543] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3543/stat : 3543 (java) S 3531 3533 446 0 -1 4202560 293 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3544] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3544/stat : 3544 (java) S 3531 3533 446 0 -1 4202560 518 0 0 0 15 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3545] ppid=3531 vsize=10613608 CPUtime=9.17 cores=1,3,5,7
/proc/3533/task/3545/stat : 3545 (java) S 3531 3533 446 0 -1 4202560 1842 0 0 0 907 10 0 0 15 0 19 0 902721642 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 0 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3546] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3546/stat : 3546 (java) S 3531 3533 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3547] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3547/stat : 3547 (java) S 3531 3533 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3548] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3548/stat : 3548 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562361265 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3549] ppid=3531 vsize=10613608 CPUtime=0.5 cores=1,3,5,7
/proc/3533/task/3549/stat : 3549 (java) S 3531 3533 446 0 -1 4202560 4392 0 0 0 50 0 0 0 15 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3550] ppid=3531 vsize=10613608 CPUtime=0.51 cores=1,3,5,7
/proc/3533/task/3550/stat : 3550 (java) S 3531 3533 446 0 -1 4202560 4114 0 0 0 51 0 0 0 15 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3551] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3551/stat : 3551 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3552] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3552/stat : 3552 (java) S 3531 3533 446 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3553] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3553/stat : 3553 (java) S 3531 3533 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902721675 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 267.09
Current children cumulated vsize (KiB) 10613608

[startup+265.901 s]
/proc/loadavg: 2.03 2.02 1.99 3/218 3560
/proc/meminfo: memFree=1139692/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10613608 CPUtime=267.5 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 33160 0 1 0 26732 18 0 0 25 0 19 0 902721639 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2653402 27603 2264 9 0 2644136 0
[pid=3533/tid=3535] ppid=3531 vsize=10613608 CPUtime=256.02 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 20010 0 1 0 25598 4 0 0 25 0 19 0 902721640 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 46912505701587 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3533/tid=3537] ppid=3531 vsize=10613608 CPUtime=0.16 cores=1,3,5,7
/proc/3533/task/3537/stat : 3537 (java) S 3531 3533 446 0 -1 4202560 19 0 0 0 16 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3538] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3538/stat : 3538 (java) S 3531 3533 446 0 -1 4202560 24 0 0 0 15 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3539] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3539/stat : 3539 (java) S 3531 3533 446 0 -1 4202560 242 0 0 0 15 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3540] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3540/stat : 3540 (java) S 3531 3533 446 0 -1 4202560 230 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3541] ppid=3531 vsize=10613608 CPUtime=0.16 cores=1,3,5,7
/proc/3533/task/3541/stat : 3541 (java) S 3531 3533 446 0 -1 4202560 92 0 0 0 16 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3542] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3542/stat : 3542 (java) S 3531 3533 446 0 -1 4202560 219 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3543] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3543/stat : 3543 (java) S 3531 3533 446 0 -1 4202560 293 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3544] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3544/stat : 3544 (java) S 3531 3533 446 0 -1 4202560 518 0 0 0 15 0 0 0 16 0 19 0 902721641 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3545] ppid=3531 vsize=10613608 CPUtime=9.19 cores=1,3,5,7
/proc/3533/task/3545/stat : 3545 (java) S 3531 3533 446 0 -1 4202560 1842 0 0 0 909 10 0 0 15 0 19 0 902721642 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 0 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3546] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3546/stat : 3546 (java) S 3531 3533 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3547] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3547/stat : 3547 (java) S 3531 3533 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3548] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3548/stat : 3548 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562361265 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3549] ppid=3531 vsize=10613608 CPUtime=0.5 cores=1,3,5,7
/proc/3533/task/3549/stat : 3549 (java) S 3531 3533 446 0 -1 4202560 4392 0 0 0 50 0 0 0 15 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3550] ppid=3531 vsize=10613608 CPUtime=0.51 cores=1,3,5,7
/proc/3533/task/3550/stat : 3550 (java) S 3531 3533 446 0 -1 4202560 4114 0 0 0 51 0 0 0 15 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3551] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3551/stat : 3551 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3552] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3552/stat : 3552 (java) S 3531 3533 446 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902721645 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3553] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3553/stat : 3553 (java) S 3531 3533 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902721675 10868334592 27603 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 267.5
Current children cumulated vsize (KiB) 10613608

[startup+266.301 s]
/proc/loadavg: 2.03 2.02 1.99 3/218 3560
/proc/meminfo: memFree=1139568/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10613608 CPUtime=267.93 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 33165 0 1 0 26775 18 0 0 25 0 19 0 902721639 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2653402 27606 2264 9 0 2644136 0
[pid=3533/tid=3535] ppid=3531 vsize=10613608 CPUtime=256.4 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 20012 0 1 0 25636 4 0 0 25 0 19 0 902721640 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 46912505702018 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3533/tid=3537] ppid=3531 vsize=10613608 CPUtime=0.16 cores=1,3,5,7
/proc/3533/task/3537/stat : 3537 (java) S 3531 3533 446 0 -1 4202560 19 0 0 0 16 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3538] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3538/stat : 3538 (java) S 3531 3533 446 0 -1 4202560 24 0 0 0 15 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3539] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3539/stat : 3539 (java) S 3531 3533 446 0 -1 4202560 242 0 0 0 15 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3540] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3540/stat : 3540 (java) S 3531 3533 446 0 -1 4202560 230 0 0 0 14 0 0 0 16 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3541] ppid=3531 vsize=10613608 CPUtime=0.16 cores=1,3,5,7
/proc/3533/task/3541/stat : 3541 (java) S 3531 3533 446 0 -1 4202560 92 0 0 0 16 0 0 0 16 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3542] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3542/stat : 3542 (java) S 3531 3533 446 0 -1 4202560 219 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3543] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3543/stat : 3543 (java) S 3531 3533 446 0 -1 4202560 293 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3544] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3544/stat : 3544 (java) S 3531 3533 446 0 -1 4202560 518 0 0 0 15 0 0 0 16 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3545] ppid=3531 vsize=10613608 CPUtime=9.21 cores=1,3,5,7
/proc/3533/task/3545/stat : 3545 (java) S 3531 3533 446 0 -1 4202560 1842 0 0 0 911 10 0 0 16 0 19 0 902721642 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 0 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3546] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3546/stat : 3546 (java) S 3531 3533 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3547] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3547/stat : 3547 (java) S 3531 3533 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3548] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3548/stat : 3548 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562361265 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3549] ppid=3531 vsize=10613608 CPUtime=0.51 cores=1,3,5,7
/proc/3533/task/3549/stat : 3549 (java) S 3531 3533 446 0 -1 4202560 4392 0 0 0 51 0 0 0 15 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3550] ppid=3531 vsize=10613608 CPUtime=0.53 cores=1,3,5,7
/proc/3533/task/3550/stat : 3550 (java) S 3531 3533 446 0 -1 4202560 4117 0 0 0 53 0 0 0 16 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3551] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3551/stat : 3551 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3552] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3552/stat : 3552 (java) S 3531 3533 446 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3553] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3553/stat : 3553 (java) S 3531 3533 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902721675 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 267.93
Current children cumulated vsize (KiB) 10613608

[startup+266.401 s]
/proc/loadavg: 2.03 2.02 1.99 3/218 3560
/proc/meminfo: memFree=1139568/32951124 swapFree=67054536/67111528
[pid=3533] ppid=3531 vsize=10613608 CPUtime=268.03 cores=1,3,5,7
/proc/3533/stat : 3533 (java) S 3531 3533 446 0 -1 4202496 33165 0 1 0 26785 18 0 0 25 0 19 0 902721639 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3533/statm: 2653402 27606 2264 9 0 2644136 0
[pid=3533/tid=3535] ppid=3531 vsize=10613608 CPUtime=256.5 cores=1,3,5,7
/proc/3533/task/3535/stat : 3535 (java) R 3531 3533 446 0 -1 4202560 20012 0 1 0 25646 4 0 0 25 0 19 0 902721640 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 46912505702608 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3533/tid=3537] ppid=3531 vsize=10613608 CPUtime=0.16 cores=1,3,5,7
/proc/3533/task/3537/stat : 3537 (java) S 3531 3533 446 0 -1 4202560 19 0 0 0 16 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3538] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3538/stat : 3538 (java) S 3531 3533 446 0 -1 4202560 24 0 0 0 15 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3539] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3539/stat : 3539 (java) S 3531 3533 446 0 -1 4202560 242 0 0 0 15 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3540] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3540/stat : 3540 (java) S 3531 3533 446 0 -1 4202560 230 0 0 0 14 0 0 0 16 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3541] ppid=3531 vsize=10613608 CPUtime=0.16 cores=1,3,5,7
/proc/3533/task/3541/stat : 3541 (java) S 3531 3533 446 0 -1 4202560 92 0 0 0 16 0 0 0 16 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3542] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3542/stat : 3542 (java) S 3531 3533 446 0 -1 4202560 219 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3543] ppid=3531 vsize=10613608 CPUtime=0.14 cores=1,3,5,7
/proc/3533/task/3543/stat : 3543 (java) S 3531 3533 446 0 -1 4202560 293 0 0 0 14 0 0 0 15 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3544] ppid=3531 vsize=10613608 CPUtime=0.15 cores=1,3,5,7
/proc/3533/task/3544/stat : 3544 (java) S 3531 3533 446 0 -1 4202560 518 0 0 0 15 0 0 0 16 0 19 0 902721641 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3545] ppid=3531 vsize=10613608 CPUtime=9.21 cores=1,3,5,7
/proc/3533/task/3545/stat : 3545 (java) S 3531 3533 446 0 -1 4202560 1842 0 0 0 911 10 0 0 16 0 19 0 902721642 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 0 0 16800975 18446604468073160960 0 0 -1 1 0 0 0
[pid=3533/tid=3546] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3546/stat : 3546 (java) S 3531 3533 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3547] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3547/stat : 3547 (java) S 3531 3533 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902721643 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3548] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3548/stat : 3548 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562361265 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3549] ppid=3531 vsize=10613608 CPUtime=0.51 cores=1,3,5,7
/proc/3533/task/3549/stat : 3549 (java) S 3531 3533 446 0 -1 4202560 4392 0 0 0 51 0 0 0 15 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 3 0 0 0
[pid=3533/tid=3550] ppid=3531 vsize=10613608 CPUtime=0.53 cores=1,3,5,7
/proc/3533/task/3550/stat : 3550 (java) S 3531 3533 446 0 -1 4202560 4117 0 0 0 53 0 0 0 16 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3551] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3551/stat : 3551 (java) S 3531 3533 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562353561 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
[pid=3533/tid=3552] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3552/stat : 3552 (java) S 3531 3533 446 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902721645 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 5 0 0 0
[pid=3533/tid=3553] ppid=3531 vsize=10613608 CPUtime=0 cores=1,3,5,7
/proc/3533/task/3553/stat : 3553 (java) S 3531 3533 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902721675 10868334592 27606 33554432000 1073741824 1073778376 140736509367968 18446744073709551615 271562354176 0 4 0 16800975 18446604468073160960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 268.03
Current children cumulated vsize (KiB) 10613608

Child status: 30
Real time (s): 266.434
CPU time (s): 268.068
CPU user time (s): 267.872
CPU system time (s): 0.19597
CPU usage (%): 100.613
Max. virtual memory (cumulated for all children) (KiB): 10616084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.872
system time used= 0.19597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33194
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= 19840
involuntary context switches= 8026

runsolver used 0.470928 second user time and 1.00985 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-12 22:40:38
IDJOB=3492035
IDBENCH=79263
IDSOLVER=1982
FILE ID=node133/3492035-1307911238
RUNJOBID= node133-1307908244-2827
PBS_JOBID= 13559573
Free space on /var/tmp= 2896 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492035-1307911238/watcher-3492035-1307911238 -o /var/tmp/evaluation-result-3492035-1307911238/solver-3492035-1307911238 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492035-1307911238.wbo

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

MD5SUM BENCH= 6afd7eef78419a10c166bbe4bb320384
RANDOM SEED=897660487

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1259092 kB
Buffers:         67476 kB
Cached:       30444392 kB
SwapCached:      10288 kB
Active:       15688680 kB
Inactive:     15053104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1259092 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:             464 kB
Writeback:           0 kB
AnonPages:      227032 kB
Mapped:          21196 kB
Slab:           886904 kB
PageTables:       5356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10545976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2896 MiB
End job on node133 at 2011-06-12 22:45:04