Trace number 3492562

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 336.625 334.494

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo
MD5SUM8675827de7240d8277488879d51bec75
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark20.7358
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 constraints925
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 46664
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46663
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.1.v20110525
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		9996466904
0.03/0.08	c Max memory 		10048897024
0.03/0.08	c Total memory 		10048897024
0.03/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492562-1307909968.wbo
0.10/0.11	c reading problem ... 
0.26/0.30	c ... done. Wall clock time 0.193s.
0.26/0.30	c #vars     1156
0.26/0.30	c #constraints  2707
0.26/0.30	c constraints type 
0.26/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2517
0.26/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
0.26/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 167
0.26/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9
0.50/0.39	c SATISFIABLE
0.50/0.39	c OPTIMIZING...
0.50/0.39	c Got one! Elapsed wall clock time (in seconds):0.284
0.50/0.39	o 300
0.75/0.42	c Got one! Elapsed wall clock time (in seconds):0.317
0.75/0.42	o 65
1.21/0.62	c Got one! Elapsed wall clock time (in seconds):0.515
1.21/0.62	o 55
1.21/0.64	c Got one! Elapsed wall clock time (in seconds):0.54
1.21/0.64	o 42
1.21/0.67	c Got one! Elapsed wall clock time (in seconds):0.569
1.21/0.67	o 39
1.52/0.80	c Got one! Elapsed wall clock time (in seconds):0.696
1.52/0.80	o 30
1.62/0.91	c Got one! Elapsed wall clock time (in seconds):0.804
1.62/0.91	o 23
1.62/0.97	c Got one! Elapsed wall clock time (in seconds):0.861
1.62/0.97	o 16
1.83/1.15	c cleaning 4125 clauses out of 8252 with flag 2003/8252
2.08/1.32	c Got one! Elapsed wall clock time (in seconds):1.213
2.08/1.32	o 15
2.29/1.53	c Got one! Elapsed wall clock time (in seconds):1.422
2.29/1.53	o 14
2.40/1.63	c cleaning 5359 clauses out of 10721 with flag 1000/14846
2.60/1.88	c Got one! Elapsed wall clock time (in seconds):1.775
2.60/1.88	o 12
2.72/1.97	c cleaning 5228 clauses out of 10465 with flag 1000/19949
3.21/2.37	c cleaning 5616 clauses out of 11237 with flag 7000/25949
3.46/2.57	c Got one! Elapsed wall clock time (in seconds):2.46
3.46/2.57	o 9
3.68/2.73	c cleaning 5499 clauses out of 11004 with flag 2001/31332
3.98/3.07	c Got one! Elapsed wall clock time (in seconds):2.969
3.98/3.07	o 3
4.38/3.44	c cleaning 8023 clauses out of 16051 with flag 5000/41878
4.78/3.80	c cleaning 7011 clauses out of 14028 with flag 11000/47878
5.19/4.23	c cleaning 7008 clauses out of 14021 with flag 18004/54882
5.59/4.66	c cleaning 7498 clauses out of 15012 with flag 26003/62881
6.09/5.17	c cleaning 8247 clauses out of 16512 with flag 35001/71879
6.68/5.75	c cleaning 9127 clauses out of 18265 with flag 45001/81879
7.29/6.35	c cleaning 9562 clauses out of 19137 with flag 55000/91878
7.89/6.92	c cleaning 9778 clauses out of 19575 with flag 65000/101878
8.50/7.51	c cleaning 9896 clauses out of 19799 with flag 75002/111880
9.00/8.06	c cleaning 9944 clauses out of 19901 with flag 85000/121878
9.60/8.63	c cleaning 9971 clauses out of 19957 with flag 95000/131878
10.20/9.21	c cleaning 9989 clauses out of 19986 with flag 105000/141878
10.71/9.77	c cleaning 9993 clauses out of 19997 with flag 115000/151878
10.92/9.93	c Got one! Elapsed wall clock time (in seconds):9.827
10.92/9.93	o 2
11.01/10.07	c cleaning 7575 clauses out of 15164 with flag 2000/157038
11.41/10.46	c cleaning 6783 clauses out of 13591 with flag 8002/163040
11.81/10.83	c cleaning 6900 clauses out of 13808 with flag 15002/170040
12.22/11.22	c cleaning 7447 clauses out of 14906 with flag 23000/178038
12.62/11.65	c cleaning 8221 clauses out of 16460 with flag 32001/187039
13.12/12.13	c cleaning 9113 clauses out of 18239 with flag 42001/197039
13.62/12.63	c cleaning 9558 clauses out of 19125 with flag 52000/207038
14.12/13.12	c cleaning 9778 clauses out of 19568 with flag 62001/217039
14.72/13.70	c cleaning 9889 clauses out of 19789 with flag 72000/227038
15.23/14.22	c cleaning 9941 clauses out of 19900 with flag 82000/237038
15.72/14.73	c cleaning 9976 clauses out of 19959 with flag 92000/247038
16.23/15.25	c cleaning 9987 clauses out of 19985 with flag 102002/257040
16.73/15.73	c cleaning 9990 clauses out of 19997 with flag 112001/267039
17.23/16.25	c cleaning 10000 clauses out of 20006 with flag 122000/277038
17.73/16.71	c cleaning 9996 clauses out of 20008 with flag 132002/287040
18.23/17.20	c cleaning 10002 clauses out of 20011 with flag 142001/297039
18.73/17.72	c cleaning 9998 clauses out of 20008 with flag 152000/307038
19.23/18.22	c cleaning 9995 clauses out of 20010 with flag 162000/317038
19.74/18.74	c cleaning 9999 clauses out of 20015 with flag 172000/327038
20.23/19.27	c cleaning 10004 clauses out of 20017 with flag 182001/337039
20.43/19.46	c Got one! Elapsed wall clock time (in seconds):19.359
20.43/19.46	o 1
20.53/19.53	c cleaning 7542 clauses out of 15098 with flag 1001/342124
20.93/19.93	c cleaning 6775 clauses out of 13557 with flag 7002/348125
21.34/20.32	c cleaning 6885 clauses out of 13781 with flag 14001/355124
21.74/20.79	c cleaning 7442 clauses out of 14896 with flag 22001/363124
22.24/21.28	c cleaning 8225 clauses out of 16453 with flag 31000/372123
22.74/21.79	c cleaning 9110 clauses out of 18229 with flag 41001/382124
23.34/22.32	c cleaning 9550 clauses out of 19119 with flag 51001/392124
23.84/22.84	c cleaning 9777 clauses out of 19570 with flag 61002/402125
24.34/23.37	c cleaning 9892 clauses out of 19793 with flag 71002/412125
24.84/23.89	c cleaning 9942 clauses out of 19899 with flag 81000/422123
25.44/24.41	c cleaning 9977 clauses out of 19957 with flag 91000/432123
25.94/24.92	c cleaning 9985 clauses out of 19981 with flag 101001/442124
26.44/25.46	c cleaning 9995 clauses out of 19996 with flag 111001/452124
26.94/25.98	c cleaning 9993 clauses out of 20000 with flag 121000/462123
27.44/26.48	c cleaning 9997 clauses out of 20007 with flag 131000/472123
27.96/26.97	c cleaning 10000 clauses out of 20012 with flag 141002/482125
28.46/27.46	c cleaning 10002 clauses out of 20010 with flag 151000/492123
28.96/27.97	c cleaning 10000 clauses out of 20010 with flag 161002/502125
29.46/28.46	c cleaning 10002 clauses out of 20010 with flag 171002/512125
29.96/28.97	c cleaning 9998 clauses out of 20007 with flag 181001/522124
30.46/29.48	c cleaning 9998 clauses out of 20009 with flag 191001/532124
31.06/30.00	c cleaning 10001 clauses out of 20011 with flag 201001/542124
31.57/30.53	c cleaning 9998 clauses out of 20009 with flag 211000/552123
32.07/31.03	c cleaning 9998 clauses out of 20011 with flag 221000/562123
32.57/31.50	c cleaning 9995 clauses out of 20016 with flag 231003/572126
33.08/32.03	c cleaning 10000 clauses out of 20018 with flag 241000/582123
33.58/32.54	c cleaning 10002 clauses out of 20019 with flag 251001/592124
34.09/33.06	c cleaning 10000 clauses out of 20017 with flag 261001/602124
34.68/33.60	c cleaning 10008 clauses out of 20019 with flag 271003/612126
35.08/34.10	c cleaning 9999 clauses out of 20010 with flag 281002/622125
35.68/34.60	c cleaning 9994 clauses out of 20010 with flag 291001/632124
36.19/35.11	c cleaning 10003 clauses out of 20015 with flag 301000/642123
36.68/35.61	c cleaning 10000 clauses out of 20012 with flag 311000/652123
37.18/36.12	c cleaning 9993 clauses out of 20012 with flag 321000/662123
37.68/36.68	c cleaning 10004 clauses out of 20021 with flag 331002/672125
38.18/37.18	c cleaning 10000 clauses out of 20016 with flag 341001/682124
38.68/37.66	c cleaning 9999 clauses out of 20015 with flag 351000/692123
39.18/38.13	c cleaning 10001 clauses out of 20016 with flag 361000/702123
39.68/38.61	c cleaning 10001 clauses out of 20017 with flag 371002/712125
40.08/39.09	c cleaning 10001 clauses out of 20014 with flag 381000/722123
40.69/39.61	c cleaning 10003 clauses out of 20015 with flag 391002/732125
41.08/40.08	c cleaning 9996 clauses out of 20010 with flag 401000/742123
41.69/40.61	c cleaning 10005 clauses out of 20016 with flag 411002/752125
42.19/41.13	c cleaning 9999 clauses out of 20010 with flag 421001/762124
42.69/41.67	c cleaning 9999 clauses out of 20011 with flag 431001/772124
43.19/42.19	c cleaning 9994 clauses out of 20012 with flag 441001/782124
43.79/42.72	c cleaning 10002 clauses out of 20019 with flag 451002/792125
44.29/43.25	c cleaning 10003 clauses out of 20015 with flag 461000/802123
44.79/43.75	c cleaning 9998 clauses out of 20012 with flag 471000/812123
45.29/44.22	c cleaning 10005 clauses out of 20017 with flag 481003/822126
45.79/44.71	c cleaning 10000 clauses out of 20010 with flag 491001/832124
46.21/45.17	c cleaning 9999 clauses out of 20012 with flag 501003/842126
46.70/45.65	c cleaning 10001 clauses out of 20010 with flag 511000/852123
47.21/46.15	c cleaning 10000 clauses out of 20009 with flag 521000/862123
47.71/46.64	c cleaning 9995 clauses out of 20009 with flag 531000/872123
48.21/47.14	c cleaning 10004 clauses out of 20015 with flag 541001/882124
48.71/47.62	c cleaning 9995 clauses out of 20010 with flag 551000/892123
49.21/48.13	c cleaning 10005 clauses out of 20017 with flag 561002/902125
49.71/48.66	c cleaning 9996 clauses out of 20012 with flag 571002/912125
50.21/49.15	c cleaning 10001 clauses out of 20014 with flag 581000/922123
50.71/49.65	c cleaning 10002 clauses out of 20013 with flag 591000/932123
51.22/50.16	c cleaning 9999 clauses out of 20011 with flag 601000/942123
51.72/50.69	c cleaning 10003 clauses out of 20012 with flag 611000/952123
52.32/51.23	c cleaning 10001 clauses out of 20011 with flag 621002/962125
52.82/51.78	c cleaning 9999 clauses out of 20009 with flag 631001/972124
53.32/52.28	c cleaning 10003 clauses out of 20011 with flag 641002/982125
53.92/52.81	c cleaning 10001 clauses out of 20007 with flag 651001/992124
54.32/53.29	c cleaning 9998 clauses out of 20005 with flag 661000/1002123
54.82/53.78	c cleaning 9998 clauses out of 20007 with flag 671000/1012123
55.32/54.29	c cleaning 9994 clauses out of 20010 with flag 681001/1022124
55.92/54.83	c cleaning 10003 clauses out of 20018 with flag 691003/1032126
56.42/55.32	c cleaning 9999 clauses out of 20012 with flag 701000/1042123
56.92/55.83	c cleaning 10000 clauses out of 20016 with flag 711003/1052126
57.42/56.32	c cleaning 9999 clauses out of 20015 with flag 721002/1062125
57.92/56.83	c cleaning 10003 clauses out of 20015 with flag 731001/1072124
58.43/57.38	c cleaning 10002 clauses out of 20014 with flag 741003/1082126
58.93/57.87	c cleaning 9997 clauses out of 20009 with flag 751000/1092123
59.53/58.42	c cleaning 9998 clauses out of 20012 with flag 761000/1102123
60.03/58.93	c cleaning 10002 clauses out of 20015 with flag 771001/1112124
60.54/59.43	c cleaning 9998 clauses out of 20014 with flag 781002/1122125
61.03/59.94	c cleaning 9999 clauses out of 20015 with flag 791001/1132124
61.54/60.44	c cleaning 10002 clauses out of 20015 with flag 801000/1142123
62.03/60.95	c cleaning 9999 clauses out of 20013 with flag 811000/1152123
62.53/61.47	c cleaning 9999 clauses out of 20014 with flag 821000/1162123
63.04/61.97	c cleaning 10003 clauses out of 20016 with flag 831001/1172124
63.54/62.47	c cleaning 10001 clauses out of 20013 with flag 841001/1182124
64.14/63.03	c cleaning 9998 clauses out of 20012 with flag 851001/1192124
64.64/63.55	c cleaning 9990 clauses out of 20013 with flag 861000/1202123
65.14/64.05	c cleaning 10011 clauses out of 20027 with flag 871004/1212127
65.64/64.57	c cleaning 10001 clauses out of 20012 with flag 881000/1222123
66.14/65.05	c cleaning 9998 clauses out of 20011 with flag 891000/1232123
66.64/65.52	c cleaning 9998 clauses out of 20013 with flag 901000/1242123
67.05/66.00	c cleaning 10005 clauses out of 20016 with flag 911001/1252124
67.54/66.47	c cleaning 10004 clauses out of 20013 with flag 921003/1262126
68.04/66.95	c cleaning 9999 clauses out of 20010 with flag 931004/1272127
68.54/67.45	c cleaning 10001 clauses out of 20008 with flag 941001/1282124
69.14/68.00	c cleaning 9989 clauses out of 20006 with flag 951000/1292123
69.65/68.52	c cleaning 10004 clauses out of 20020 with flag 961003/1302126
70.15/69.01	c cleaning 10002 clauses out of 20014 with flag 971001/1312124
70.65/69.51	c cleaning 10003 clauses out of 20012 with flag 981001/1322124
71.06/70.00	c cleaning 10000 clauses out of 20011 with flag 991003/1332126
71.56/70.48	c cleaning 9999 clauses out of 20008 with flag 1001000/1342123
72.06/70.99	c cleaning 9995 clauses out of 20010 with flag 1011001/1352124
72.56/71.48	c cleaning 10003 clauses out of 20014 with flag 1021000/1362123
73.16/72.03	c cleaning 9998 clauses out of 20011 with flag 1031000/1372123
73.66/72.50	c cleaning 10004 clauses out of 20014 with flag 1041001/1382124
74.16/73.00	c cleaning 10002 clauses out of 20009 with flag 1051000/1392123
74.56/73.45	c cleaning 9995 clauses out of 20007 with flag 1061000/1402123
75.06/73.94	c cleaning 10000 clauses out of 20012 with flag 1071000/1412123
75.56/74.42	c cleaning 10000 clauses out of 20012 with flag 1081000/1422123
76.06/74.92	c cleaning 9998 clauses out of 20012 with flag 1091000/1432123
76.57/75.41	c cleaning 10002 clauses out of 20015 with flag 1101001/1442124
77.07/75.91	c cleaning 10003 clauses out of 20016 with flag 1111004/1452127
77.57/76.40	c cleaning 9997 clauses out of 20009 with flag 1121000/1462123
78.08/76.90	c cleaning 10003 clauses out of 20012 with flag 1131000/1472123
78.57/77.44	c cleaning 10003 clauses out of 20011 with flag 1141002/1482125
79.07/77.90	c cleaning 9996 clauses out of 20008 with flag 1151002/1492125
79.47/78.36	c cleaning 10002 clauses out of 20013 with flag 1161003/1502126
79.98/78.84	c cleaning 9997 clauses out of 20008 with flag 1171000/1512123
80.48/79.37	c cleaning 10000 clauses out of 20012 with flag 1181001/1522124
80.98/79.87	c cleaning 9999 clauses out of 20012 with flag 1191001/1532124
81.49/80.35	c cleaning 9998 clauses out of 20012 with flag 1201000/1542123
81.98/80.81	c cleaning 10003 clauses out of 20015 with flag 1211001/1552124
82.49/81.33	c cleaning 10002 clauses out of 20012 with flag 1221001/1562124
82.98/81.87	c cleaning 9998 clauses out of 20009 with flag 1231000/1572123
83.59/82.42	c cleaning 9999 clauses out of 20011 with flag 1241000/1582123
84.08/82.94	c cleaning 10004 clauses out of 20014 with flag 1251002/1592125
84.58/83.50	c cleaning 9993 clauses out of 20008 with flag 1261000/1602123
85.18/84.08	c cleaning 10003 clauses out of 20015 with flag 1271000/1612123
85.68/84.60	c cleaning 9999 clauses out of 20013 with flag 1281001/1622124
86.28/85.14	c cleaning 9997 clauses out of 20016 with flag 1291003/1632126
86.78/85.66	c cleaning 10000 clauses out of 20016 with flag 1301000/1642123
87.40/86.20	c cleaning 10004 clauses out of 20017 with flag 1311001/1652124
87.79/86.69	c cleaning 10000 clauses out of 20012 with flag 1321000/1662123
88.29/87.18	c cleaning 10003 clauses out of 20012 with flag 1331000/1672123
88.80/87.68	c cleaning 9998 clauses out of 20010 with flag 1341001/1682124
89.30/88.17	c cleaning 10001 clauses out of 20011 with flag 1351000/1692123
89.89/88.72	c cleaning 9998 clauses out of 20010 with flag 1361000/1702123
90.39/89.26	c cleaning 10001 clauses out of 20013 with flag 1371001/1712124
90.89/89.78	c cleaning 9995 clauses out of 20012 with flag 1381001/1722124
91.49/90.36	c cleaning 9998 clauses out of 20019 with flag 1391003/1732126
91.99/90.88	c cleaning 9999 clauses out of 20018 with flag 1401000/1742123
92.60/91.44	c cleaning 10002 clauses out of 20019 with flag 1411000/1752123
93.10/91.99	c cleaning 10001 clauses out of 20018 with flag 1421001/1762124
93.70/92.52	c cleaning 10002 clauses out of 20016 with flag 1431000/1772123
94.20/93.06	c cleaning 10005 clauses out of 20015 with flag 1441001/1782124
94.70/93.55	c cleaning 9998 clauses out of 20009 with flag 1451000/1792123
95.20/94.07	c cleaning 10001 clauses out of 20012 with flag 1461001/1802124
95.70/94.58	c cleaning 9999 clauses out of 20010 with flag 1471000/1812123
96.20/95.06	c cleaning 9996 clauses out of 20012 with flag 1481001/1822124
96.70/95.55	c cleaning 9998 clauses out of 20015 with flag 1491000/1832123
97.20/96.02	c cleaning 10001 clauses out of 20017 with flag 1501000/1842123
97.70/96.53	c cleaning 10001 clauses out of 20017 with flag 1511001/1852124
98.20/97.04	c cleaning 10003 clauses out of 20017 with flag 1521002/1862125
98.70/97.53	c cleaning 10002 clauses out of 20014 with flag 1531002/1872125
99.20/98.01	c cleaning 9998 clauses out of 20010 with flag 1541000/1882123
99.70/98.52	c cleaning 10001 clauses out of 20013 with flag 1551001/1892124
100.21/99.05	c cleaning 10000 clauses out of 20013 with flag 1561002/1902125
100.70/99.58	c cleaning 9998 clauses out of 20012 with flag 1571001/1912124
101.31/100.16	c cleaning 10003 clauses out of 20013 with flag 1581000/1922123
101.90/100.71	c cleaning 10003 clauses out of 20011 with flag 1591001/1932124
102.41/101.26	c cleaning 10000 clauses out of 20011 with flag 1601004/1942127
103.00/101.81	c cleaning 10000 clauses out of 20011 with flag 1611004/1952127
103.51/102.34	c cleaning 9998 clauses out of 20007 with flag 1621000/1962123
104.11/102.93	c cleaning 9990 clauses out of 20009 with flag 1631000/1972123
104.61/103.46	c cleaning 9998 clauses out of 20019 with flag 1641000/1982123
105.26/104.01	c cleaning 10006 clauses out of 20022 with flag 1651001/1992124
106.17/104.58	c cleaning 9990 clauses out of 20015 with flag 1661000/2002123
106.77/105.13	c cleaning 9999 clauses out of 20029 with flag 1671004/2012127
107.28/105.67	c cleaning 10012 clauses out of 20028 with flag 1681002/2022125
107.77/106.17	c cleaning 10003 clauses out of 20014 with flag 1691000/2032123
108.28/106.67	c cleaning 10001 clauses out of 20012 with flag 1701001/2042124
108.87/107.21	c cleaning 10001 clauses out of 20013 with flag 1711003/2052126
109.38/107.72	c cleaning 9998 clauses out of 20009 with flag 1721000/2062123
109.88/108.22	c cleaning 9998 clauses out of 20014 with flag 1731003/2072126
110.38/108.74	c cleaning 9999 clauses out of 20013 with flag 1741000/2082123
110.89/109.27	c cleaning 9998 clauses out of 20014 with flag 1751000/2092123
111.40/109.78	c cleaning 10003 clauses out of 20017 with flag 1761001/2102124
111.90/110.26	c cleaning 9993 clauses out of 20014 with flag 1771001/2112124
112.40/110.77	c cleaning 10004 clauses out of 20021 with flag 1781001/2122124
112.90/111.29	c cleaning 10000 clauses out of 20016 with flag 1791000/2132123
113.40/111.79	c cleaning 10000 clauses out of 20017 with flag 1801001/2142124
113.90/112.29	c cleaning 10006 clauses out of 20017 with flag 1811001/2152124
114.40/112.80	c cleaning 10001 clauses out of 20012 with flag 1821002/2162125
115.00/113.33	c cleaning 10003 clauses out of 20011 with flag 1831002/2172125
115.60/113.91	c cleaning 9991 clauses out of 20006 with flag 1841000/2182123
116.11/114.45	c cleaning 10004 clauses out of 20015 with flag 1851000/2192123
116.60/114.98	c cleaning 9998 clauses out of 20012 with flag 1861001/2202124
117.10/115.49	c cleaning 10002 clauses out of 20013 with flag 1871000/2212123
117.70/116.05	c cleaning 10001 clauses out of 20014 with flag 1881003/2222126
118.20/116.55	c cleaning 10002 clauses out of 20011 with flag 1891001/2232124
118.70/117.05	c cleaning 10001 clauses out of 20009 with flag 1901001/2242124
119.20/117.57	c cleaning 9999 clauses out of 20007 with flag 1911000/2252123
119.70/118.09	c cleaning 10001 clauses out of 20010 with flag 1921002/2262125
120.30/118.63	c cleaning 10000 clauses out of 20007 with flag 1931000/2272123
120.80/119.15	c cleaning 10000 clauses out of 20007 with flag 1941000/2282123
121.40/119.72	c cleaning 10001 clauses out of 20009 with flag 1951002/2292125
122.00/120.30	c cleaning 9992 clauses out of 20007 with flag 1961001/2302124
122.61/120.92	c cleaning 10003 clauses out of 20014 with flag 1971000/2312123
123.10/121.47	c cleaning 10002 clauses out of 20011 with flag 1981000/2322123
123.60/121.96	c cleaning 10001 clauses out of 20013 with flag 1991004/2332127
124.11/122.44	c cleaning 9996 clauses out of 20010 with flag 2001002/2342125
124.61/122.93	c cleaning 10001 clauses out of 20014 with flag 2011002/2352125
125.11/123.47	c cleaning 9996 clauses out of 20013 with flag 2021002/2362125
125.61/123.97	c cleaning 9998 clauses out of 20015 with flag 2031000/2372123
126.21/124.55	c cleaning 10002 clauses out of 20017 with flag 2041000/2382123
126.71/125.09	c cleaning 10000 clauses out of 20015 with flag 2051000/2392123
127.31/125.65	c cleaning 10002 clauses out of 20017 with flag 2061002/2402125
127.91/126.20	c cleaning 10002 clauses out of 20013 with flag 2071000/2412123
128.41/126.75	c cleaning 10003 clauses out of 20013 with flag 2081002/2422125
129.02/127.30	c cleaning 10002 clauses out of 20013 with flag 2091005/2432128
129.52/127.86	c cleaning 9997 clauses out of 20008 with flag 2101002/2442125
130.12/128.41	c cleaning 10001 clauses out of 20009 with flag 2111000/2452123
130.62/128.95	c cleaning 10000 clauses out of 20008 with flag 2121000/2462123
131.22/129.52	c cleaning 10000 clauses out of 20011 with flag 2131003/2472126
131.72/130.04	c cleaning 9997 clauses out of 20008 with flag 2141000/2482123
132.22/130.59	c cleaning 10001 clauses out of 20013 with flag 2151002/2492125
132.82/131.14	c cleaning 9995 clauses out of 20010 with flag 2161000/2502123
133.32/131.66	c cleaning 10002 clauses out of 20015 with flag 2171000/2512123
133.82/132.19	c cleaning 10004 clauses out of 20014 with flag 2181001/2522124
134.42/132.70	c cleaning 10001 clauses out of 20011 with flag 2191002/2532125
134.93/133.23	c cleaning 9997 clauses out of 20010 with flag 2201002/2542125
135.53/133.82	c cleaning 9997 clauses out of 20012 with flag 2211001/2552124
136.03/134.37	c cleaning 10001 clauses out of 20015 with flag 2221001/2562124
136.63/134.91	c cleaning 10002 clauses out of 20014 with flag 2231001/2572124
137.13/135.45	c cleaning 9998 clauses out of 20013 with flag 2241002/2582125
137.63/135.94	c cleaning 10000 clauses out of 20015 with flag 2251002/2592125
138.23/136.51	c cleaning 10001 clauses out of 20013 with flag 2261000/2602123
138.74/137.08	c cleaning 10001 clauses out of 20013 with flag 2271001/2612124
139.34/137.64	c cleaning 10004 clauses out of 20013 with flag 2281002/2622125
139.94/138.22	c cleaning 9996 clauses out of 20008 with flag 2291001/2632124
140.54/138.80	c cleaning 10002 clauses out of 20011 with flag 2301000/2642123
141.04/139.32	c cleaning 9997 clauses out of 20011 with flag 2311002/2652125
141.54/139.89	c cleaning 10002 clauses out of 20014 with flag 2321002/2662125
142.14/140.49	c cleaning 10003 clauses out of 20011 with flag 2331001/2672124
142.74/141.05	c cleaning 9998 clauses out of 20007 with flag 2341000/2682123
143.34/141.64	c cleaning 9998 clauses out of 20010 with flag 2351001/2692124
143.94/142.25	c cleaning 9995 clauses out of 20013 with flag 2361002/2702125
144.54/142.84	c cleaning 9995 clauses out of 20016 with flag 2371000/2712123
145.05/143.37	c cleaning 10006 clauses out of 20022 with flag 2381001/2722124
145.65/143.94	c cleaning 9996 clauses out of 20016 with flag 2391001/2732124
146.25/144.57	c cleaning 10007 clauses out of 20021 with flag 2401002/2742125
146.85/145.15	c cleaning 9997 clauses out of 20013 with flag 2411001/2752124
147.45/145.73	c cleaning 9987 clauses out of 20017 with flag 2421002/2762125
148.06/146.30	c cleaning 10007 clauses out of 20029 with flag 2431001/2772124
148.55/146.87	c cleaning 10008 clauses out of 20023 with flag 2441002/2782125
149.06/147.39	c cleaning 10001 clauses out of 20015 with flag 2451002/2792125
149.66/147.96	c cleaning 9999 clauses out of 20014 with flag 2461002/2802125
150.26/148.54	c cleaning 10004 clauses out of 20016 with flag 2471003/2812126
150.86/149.11	c cleaning 9998 clauses out of 20011 with flag 2481002/2822125
151.46/149.71	c cleaning 9999 clauses out of 20013 with flag 2491002/2832125
152.06/150.36	c cleaning 10003 clauses out of 20012 with flag 2501000/2842123
152.66/150.96	c cleaning 9993 clauses out of 20011 with flag 2511002/2852125
153.26/151.52	c cleaning 9997 clauses out of 20016 with flag 2521000/2862123
153.76/152.09	c cleaning 10005 clauses out of 20021 with flag 2531002/2872125
154.37/152.66	c cleaning 9995 clauses out of 20015 with flag 2541001/2882124
154.97/153.23	c cleaning 9998 clauses out of 20019 with flag 2551000/2892123
155.57/153.80	c cleaning 10000 clauses out of 20023 with flag 2561002/2902125
156.07/154.35	c cleaning 9997 clauses out of 20021 with flag 2571000/2912123
156.57/154.89	c cleaning 10007 clauses out of 20025 with flag 2581001/2922124
157.17/155.44	c cleaning 10000 clauses out of 20018 with flag 2591001/2932124
157.88/156.13	c cleaning 9993 clauses out of 20017 with flag 2601000/2942123
158.48/156.74	c cleaning 10008 clauses out of 20027 with flag 2611003/2952126
159.17/157.42	c cleaning 9991 clauses out of 20018 with flag 2621002/2962125
159.78/158.04	c cleaning 10004 clauses out of 20026 with flag 2631001/2972124
160.28/158.57	c cleaning 10003 clauses out of 20021 with flag 2641000/2982123
160.88/159.15	c cleaning 10000 clauses out of 20019 with flag 2651001/2992124
161.48/159.73	c cleaning 9998 clauses out of 20019 with flag 2661001/3002124
162.08/160.30	c cleaning 10006 clauses out of 20021 with flag 2671001/3012124
162.58/160.87	c cleaning 10001 clauses out of 20015 with flag 2681001/3022124
163.18/161.41	c cleaning 9997 clauses out of 20013 with flag 2691000/3032123
163.68/161.93	c cleaning 10001 clauses out of 20016 with flag 2701000/3042123
164.18/162.47	c cleaning 10006 clauses out of 20016 with flag 2711001/3052124
164.78/163.04	c cleaning 9995 clauses out of 20009 with flag 2721000/3062123
165.28/163.56	c cleaning 9999 clauses out of 20014 with flag 2731000/3072123
165.88/164.12	c cleaning 10003 clauses out of 20015 with flag 2741000/3082123
166.38/164.64	c cleaning 10001 clauses out of 20014 with flag 2751002/3092125
166.89/165.15	c cleaning 9999 clauses out of 20012 with flag 2761001/3102124
167.39/165.68	c cleaning 9996 clauses out of 20013 with flag 2771001/3112124
167.99/166.21	c cleaning 10003 clauses out of 20016 with flag 2781000/3122123
168.49/166.77	c cleaning 10002 clauses out of 20014 with flag 2791001/3132124
169.09/167.32	c cleaning 10001 clauses out of 20012 with flag 2801001/3142124
169.59/167.89	c cleaning 10001 clauses out of 20013 with flag 2811003/3152126
170.10/168.38	c cleaning 10002 clauses out of 20009 with flag 2821000/3162123
170.59/168.86	c cleaning 9998 clauses out of 20007 with flag 2831000/3172123
171.10/169.34	c cleaning 10000 clauses out of 20012 with flag 2841003/3182126
171.60/169.85	c cleaning 9999 clauses out of 20009 with flag 2851000/3192123
172.10/170.36	c cleaning 10001 clauses out of 20011 with flag 2861001/3202124
172.60/170.85	c cleaning 10000 clauses out of 20012 with flag 2871003/3212126
173.10/171.40	c cleaning 9995 clauses out of 20010 with flag 2881001/3222124
173.70/171.96	c cleaning 10002 clauses out of 20017 with flag 2891003/3232126
174.33/172.52	c cleaning 10001 clauses out of 20013 with flag 2901001/3242124
174.83/173.08	c cleaning 9996 clauses out of 20011 with flag 2911000/3252123
175.43/173.65	c cleaning 9999 clauses out of 20015 with flag 2921000/3262123
175.93/174.18	c cleaning 10001 clauses out of 20016 with flag 2931000/3272123
176.54/174.74	c cleaning 10004 clauses out of 20016 with flag 2941001/3282124
177.04/175.26	c cleaning 10001 clauses out of 20014 with flag 2951003/3292126
177.54/175.78	c cleaning 10000 clauses out of 20010 with flag 2961000/3302123
178.04/176.28	c cleaning 10000 clauses out of 20010 with flag 2971000/3312123
178.54/176.76	c cleaning 10002 clauses out of 20011 with flag 2981001/3322124
179.04/177.28	c cleaning 9994 clauses out of 20008 with flag 2991000/3332123
179.64/177.81	c cleaning 10002 clauses out of 20017 with flag 3001003/3342126
180.14/178.31	c cleaning 10001 clauses out of 20013 with flag 3011001/3352124
180.64/178.82	c cleaning 10002 clauses out of 20013 with flag 3021002/3362125
181.15/179.36	c cleaning 10000 clauses out of 20010 with flag 3031001/3372124
181.74/179.90	c cleaning 9994 clauses out of 20009 with flag 3041000/3382123
182.25/180.43	c cleaning 10000 clauses out of 20015 with flag 3051000/3392123
182.75/180.93	c cleaning 9999 clauses out of 20015 with flag 3061000/3402123
183.25/181.45	c cleaning 9998 clauses out of 20016 with flag 3071000/3412123
183.75/181.94	c cleaning 10001 clauses out of 20018 with flag 3081000/3422123
184.25/182.42	c cleaning 10003 clauses out of 20018 with flag 3091001/3432124
184.75/182.95	c cleaning 10003 clauses out of 20017 with flag 3101003/3442126
185.25/183.46	c cleaning 10000 clauses out of 20012 with flag 3111001/3452124
185.75/183.96	c cleaning 9997 clauses out of 20012 with flag 3121001/3462124
186.25/184.49	c cleaning 10000 clauses out of 20016 with flag 3131002/3472125
186.85/185.00	c cleaning 10005 clauses out of 20014 with flag 3141000/3482123
187.35/185.53	c cleaning 10004 clauses out of 20011 with flag 3151002/3492125
187.85/186.03	c cleaning 10000 clauses out of 20006 with flag 3161001/3502124
188.36/186.58	c cleaning 9992 clauses out of 20008 with flag 3171003/3512126
188.96/187.10	c cleaning 10000 clauses out of 20015 with flag 3181002/3522125
189.46/187.68	c cleaning 10001 clauses out of 20014 with flag 3191001/3532124
190.06/188.22	c cleaning 10003 clauses out of 20012 with flag 3201000/3542123
190.56/188.76	c cleaning 10003 clauses out of 20009 with flag 3211000/3552123
191.16/189.30	c cleaning 9999 clauses out of 20007 with flag 3221001/3562124
191.66/189.84	c cleaning 9988 clauses out of 20008 with flag 3231001/3572124
192.17/190.39	c cleaning 10002 clauses out of 20020 with flag 3241001/3582124
192.76/190.95	c cleaning 10004 clauses out of 20019 with flag 3251002/3592125
193.27/191.49	c cleaning 10000 clauses out of 20014 with flag 3261001/3602124
193.86/192.03	c cleaning 10002 clauses out of 20013 with flag 3271000/3612123
194.47/192.62	c cleaning 9999 clauses out of 20011 with flag 3281000/3622123
195.07/193.21	c cleaning 10000 clauses out of 20012 with flag 3291000/3632123
195.57/193.73	c cleaning 9999 clauses out of 20012 with flag 3301000/3642123
196.07/194.26	c cleaning 9999 clauses out of 20013 with flag 3311000/3652123
196.67/194.84	c cleaning 10001 clauses out of 20017 with flag 3321003/3662126
197.27/195.40	c cleaning 9999 clauses out of 20015 with flag 3331002/3672125
197.77/195.91	c cleaning 10003 clauses out of 20015 with flag 3341001/3682124
198.27/196.40	c cleaning 10001 clauses out of 20013 with flag 3351002/3692125
198.67/196.87	c cleaning 9999 clauses out of 20010 with flag 3361000/3702123
199.17/197.38	c cleaning 10001 clauses out of 20011 with flag 3371000/3712123
199.67/197.89	c cleaning 10001 clauses out of 20014 with flag 3381004/3722127
200.27/198.40	c cleaning 10000 clauses out of 20011 with flag 3391002/3732125
200.77/198.90	c cleaning 9992 clauses out of 20009 with flag 3401000/3742123
201.28/199.41	c cleaning 9999 clauses out of 20018 with flag 3411001/3752124
201.78/199.93	c cleaning 9998 clauses out of 20018 with flag 3421000/3762123
202.28/200.44	c cleaning 10001 clauses out of 20020 with flag 3431000/3772123
202.78/200.93	c cleaning 10007 clauses out of 20020 with flag 3441001/3782124
203.28/201.42	c cleaning 9999 clauses out of 20013 with flag 3451001/3792124
203.78/201.90	c cleaning 10000 clauses out of 20014 with flag 3461001/3802124
204.29/202.41	c cleaning 10001 clauses out of 20013 with flag 3471000/3812123
204.78/202.93	c cleaning 9997 clauses out of 20012 with flag 3481000/3822123
205.29/203.44	c cleaning 10000 clauses out of 20016 with flag 3491001/3832124
205.78/203.94	c cleaning 10000 clauses out of 20017 with flag 3501002/3842125
206.29/204.48	c cleaning 9995 clauses out of 20015 with flag 3511000/3852123
206.89/205.05	c cleaning 10000 clauses out of 20020 with flag 3521000/3862123
207.49/205.62	c cleaning 10004 clauses out of 20021 with flag 3531001/3872124
207.99/206.14	c cleaning 9999 clauses out of 20016 with flag 3541000/3882123
208.49/206.65	c cleaning 10003 clauses out of 20017 with flag 3551000/3892123
208.99/207.18	c cleaning 9988 clauses out of 20014 with flag 3561000/3902123
209.59/207.76	c cleaning 10004 clauses out of 20028 with flag 3571002/3912125
210.09/208.26	c cleaning 10005 clauses out of 20025 with flag 3581003/3922126
210.69/208.83	c cleaning 10004 clauses out of 20017 with flag 3591000/3932123
211.29/209.41	c cleaning 10002 clauses out of 20013 with flag 3601000/3942123
211.79/209.93	c cleaning 10001 clauses out of 20012 with flag 3611001/3952124
212.29/210.44	c cleaning 9999 clauses out of 20010 with flag 3621000/3962123
212.79/210.98	c cleaning 9995 clauses out of 20011 with flag 3631000/3972123
213.40/211.56	c cleaning 10000 clauses out of 20016 with flag 3641000/3982123
214.00/212.13	c cleaning 10003 clauses out of 20016 with flag 3651000/3992123
214.50/212.64	c cleaning 9998 clauses out of 20015 with flag 3661002/4002125
215.00/213.11	c cleaning 10003 clauses out of 20016 with flag 3671001/4012124
215.50/213.61	c cleaning 9999 clauses out of 20013 with flag 3681001/4022124
215.90/214.10	c cleaning 10002 clauses out of 20014 with flag 3691001/4032124
216.50/214.64	c cleaning 9997 clauses out of 20011 with flag 3701000/4042123
217.00/215.16	c cleaning 9995 clauses out of 20016 with flag 3711002/4052125
217.60/215.74	c cleaning 10002 clauses out of 20020 with flag 3721001/4062124
218.20/216.34	c cleaning 10006 clauses out of 20017 with flag 3731000/4072123
218.80/216.94	c cleaning 9999 clauses out of 20011 with flag 3741000/4082123
219.31/217.47	c cleaning 9997 clauses out of 20012 with flag 3751000/4092123
219.81/217.96	c cleaning 10004 clauses out of 20015 with flag 3761000/4102123
220.32/218.48	c cleaning 10000 clauses out of 20012 with flag 3771001/4112124
220.91/219.01	c cleaning 9993 clauses out of 20012 with flag 3781001/4122124
221.42/219.51	c cleaning 10002 clauses out of 20019 with flag 3791001/4132124
221.92/220.03	c cleaning 10000 clauses out of 20016 with flag 3801000/4142123
222.42/220.56	c cleaning 10003 clauses out of 20018 with flag 3811002/4152125
223.02/221.17	c cleaning 10001 clauses out of 20013 with flag 3821000/4162123
223.72/221.80	c cleaning 10003 clauses out of 20014 with flag 3831002/4172125
224.22/222.39	c cleaning 9997 clauses out of 20010 with flag 3841001/4182124
224.82/222.90	c cleaning 9998 clauses out of 20014 with flag 3851002/4192125
225.42/223.50	c cleaning 9997 clauses out of 20014 with flag 3861000/4202123
225.92/224.06	c cleaning 10004 clauses out of 20018 with flag 3871001/4212124
226.42/224.59	c cleaning 9991 clauses out of 20013 with flag 3881000/4222123
227.02/225.14	c cleaning 9999 clauses out of 20023 with flag 3891001/4232124
227.52/225.66	c cleaning 10004 clauses out of 20024 with flag 3901001/4242124
228.02/226.17	c cleaning 10002 clauses out of 20021 with flag 3911002/4252125
228.53/226.68	c cleaning 10002 clauses out of 20017 with flag 3921000/4262123
229.12/227.21	c cleaning 10002 clauses out of 20016 with flag 3931001/4272124
229.63/227.73	c cleaning 10005 clauses out of 20015 with flag 3941002/4282125
230.12/228.22	c cleaning 10001 clauses out of 20009 with flag 3951001/4292124
230.73/228.80	c cleaning 9997 clauses out of 20008 with flag 3961001/4302124
231.22/229.39	c cleaning 10002 clauses out of 20011 with flag 3971001/4312124
231.83/229.94	c cleaning 10000 clauses out of 20011 with flag 3981003/4322126
232.32/230.46	c cleaning 9993 clauses out of 20008 with flag 3991000/4332123
232.83/230.99	c cleaning 9998 clauses out of 20015 with flag 4001000/4342123
233.43/231.51	c cleaning 10002 clauses out of 20018 with flag 4011001/4352124
233.93/232.03	c cleaning 10002 clauses out of 20015 with flag 4021000/4362123
234.43/232.52	c cleaning 10000 clauses out of 20014 with flag 4031001/4372124
234.93/233.07	c cleaning 9999 clauses out of 20014 with flag 4041001/4382124
235.43/233.57	c cleaning 10000 clauses out of 20016 with flag 4051002/4392125
235.93/234.09	c cleaning 9995 clauses out of 20014 with flag 4061000/4402123
236.54/234.60	c cleaning 10003 clauses out of 20020 with flag 4071001/4412124
237.04/235.10	c cleaning 10001 clauses out of 20016 with flag 4081000/4422123
237.54/235.63	c cleaning 10004 clauses out of 20019 with flag 4091004/4432127
238.14/236.23	c cleaning 9993 clauses out of 20013 with flag 4101002/4442125
238.75/236.81	c cleaning 9999 clauses out of 20018 with flag 4111000/4452123
239.24/237.32	c cleaning 9999 clauses out of 20019 with flag 4121000/4462123
239.75/237.82	c cleaning 10005 clauses out of 20020 with flag 4131000/4472123
240.25/238.33	c cleaning 10003 clauses out of 20015 with flag 4141000/4482123
240.75/238.83	c cleaning 10000 clauses out of 20013 with flag 4151001/4492124
241.25/239.37	c cleaning 9998 clauses out of 20013 with flag 4161001/4502124
241.85/239.93	c cleaning 10003 clauses out of 20015 with flag 4171001/4512124
242.35/240.47	c cleaning 9999 clauses out of 20011 with flag 4181000/4522123
242.85/241.00	c cleaning 10005 clauses out of 20013 with flag 4191001/4532124
243.45/241.54	c cleaning 10000 clauses out of 20010 with flag 4201003/4542126
243.96/242.05	c cleaning 9998 clauses out of 20008 with flag 4211001/4552124
244.45/242.55	c cleaning 10000 clauses out of 20011 with flag 4221002/4562125
244.96/243.03	c cleaning 9996 clauses out of 20009 with flag 4231000/4572123
245.45/243.57	c cleaning 10003 clauses out of 20014 with flag 4241001/4582124
245.95/244.07	c cleaning 10002 clauses out of 20011 with flag 4251001/4592124
246.45/244.59	c cleaning 10000 clauses out of 20009 with flag 4261001/4602124
247.06/245.14	c cleaning 9998 clauses out of 20009 with flag 4271001/4612124
247.66/245.73	c cleaning 9996 clauses out of 20010 with flag 4281000/4622123
248.27/246.31	c cleaning 10004 clauses out of 20016 with flag 4291002/4632125
248.86/246.92	c cleaning 9995 clauses out of 20010 with flag 4301000/4642123
249.36/247.50	c cleaning 10000 clauses out of 20016 with flag 4311001/4652124
249.96/248.07	c cleaning 10004 clauses out of 20016 with flag 4321001/4662124
250.57/248.61	c cleaning 10002 clauses out of 20011 with flag 4331000/4672123
251.06/249.13	c cleaning 9993 clauses out of 20009 with flag 4341000/4682123
251.57/249.68	c cleaning 10006 clauses out of 20017 with flag 4351001/4692124
252.16/250.21	c cleaning 10001 clauses out of 20010 with flag 4361000/4702123
252.56/250.70	c cleaning 9997 clauses out of 20009 with flag 4371000/4712123
253.17/251.22	c cleaning 9995 clauses out of 20013 with flag 4381001/4722124
253.67/251.73	c cleaning 10006 clauses out of 20017 with flag 4391000/4732123
254.17/252.23	c cleaning 9999 clauses out of 20011 with flag 4401000/4742123
254.67/252.73	c cleaning 9998 clauses out of 20013 with flag 4411001/4752124
255.17/253.27	c cleaning 10002 clauses out of 20014 with flag 4421000/4762123
255.67/253.79	c cleaning 9990 clauses out of 20014 with flag 4431002/4772125
256.27/254.31	c cleaning 10003 clauses out of 20022 with flag 4441000/4782123
256.77/254.84	c cleaning 10002 clauses out of 20022 with flag 4451003/4792126
257.28/255.34	c cleaning 10007 clauses out of 20022 with flag 4461005/4802128
257.78/255.89	c cleaning 10003 clauses out of 20013 with flag 4471003/4812126
258.29/256.37	c cleaning 9996 clauses out of 20007 with flag 4481000/4822123
258.78/256.89	c cleaning 10002 clauses out of 20012 with flag 4491001/4832124
259.39/257.42	c cleaning 9997 clauses out of 20009 with flag 4501000/4842123
259.88/257.93	c cleaning 10000 clauses out of 20012 with flag 4511000/4852123
260.39/258.46	c cleaning 9997 clauses out of 20012 with flag 4521000/4862123
260.89/258.99	c cleaning 10001 clauses out of 20015 with flag 4531000/4872123
261.49/259.51	c cleaning 10004 clauses out of 20015 with flag 4541001/4882124
261.99/260.07	c cleaning 10002 clauses out of 20011 with flag 4551001/4892124
262.49/260.59	c cleaning 9999 clauses out of 20009 with flag 4561001/4902124
263.08/261.11	c cleaning 9996 clauses out of 20009 with flag 4571000/4912123
263.58/261.60	c cleaning 10001 clauses out of 20014 with flag 4581001/4922124
264.08/262.16	c cleaning 10002 clauses out of 20013 with flag 4591001/4932124
264.58/262.68	c cleaning 9994 clauses out of 20010 with flag 4601000/4942123
265.18/263.29	c cleaning 9999 clauses out of 20016 with flag 4611000/4952123
265.68/263.79	c cleaning 9999 clauses out of 20017 with flag 4621000/4962123
266.29/264.34	c cleaning 10008 clauses out of 20022 with flag 4631004/4972127
266.79/264.84	c cleaning 9996 clauses out of 20012 with flag 4641002/4982125
267.29/265.36	c cleaning 10003 clauses out of 20018 with flag 4651004/4992127
267.79/265.87	c cleaning 9998 clauses out of 20011 with flag 4661000/5002123
268.39/266.42	c cleaning 9999 clauses out of 20013 with flag 4671000/5012123
268.89/266.98	c cleaning 9998 clauses out of 20015 with flag 4681001/5022124
269.50/267.50	c cleaning 10000 clauses out of 20018 with flag 4691002/5032125
270.00/268.05	c cleaning 10004 clauses out of 20016 with flag 4701000/5042123
270.60/268.61	c cleaning 10003 clauses out of 20012 with flag 4711000/5052123
271.10/269.16	c cleaning 10000 clauses out of 20010 with flag 4721001/5062124
271.70/269.70	c cleaning 10002 clauses out of 20011 with flag 4731002/5072125
272.20/270.26	c cleaning 9989 clauses out of 20008 with flag 4741001/5082124
272.80/270.86	c cleaning 10000 clauses out of 20018 with flag 4751000/5092123
273.30/271.38	c cleaning 10002 clauses out of 20019 with flag 4761001/5102124
273.90/271.97	c cleaning 9997 clauses out of 20018 with flag 4771002/5112125
274.51/272.50	c cleaning 10002 clauses out of 20019 with flag 4781000/5122123
275.02/273.05	c cleaning 10001 clauses out of 20017 with flag 4791000/5132123
275.52/273.58	c cleaning 10005 clauses out of 20016 with flag 4801000/5142123
276.12/274.10	c cleaning 10002 clauses out of 20014 with flag 4811003/5152126
276.71/274.71	c cleaning 10000 clauses out of 20009 with flag 4821000/5162123
277.32/275.30	c cleaning 10001 clauses out of 20009 with flag 4831000/5172123
277.82/275.83	c cleaning 9998 clauses out of 20008 with flag 4841000/5182123
278.42/276.40	c cleaning 10001 clauses out of 20011 with flag 4851001/5192124
278.92/276.99	c cleaning 9999 clauses out of 20011 with flag 4861002/5202125
279.52/277.50	c cleaning 9998 clauses out of 20010 with flag 4871000/5212123
280.02/278.05	c cleaning 10002 clauses out of 20012 with flag 4881000/5222123
280.62/278.60	c cleaning 9994 clauses out of 20010 with flag 4891000/5232123
281.12/279.20	c cleaning 9992 clauses out of 20018 with flag 4901002/5242125
281.72/279.77	c cleaning 10004 clauses out of 20024 with flag 4911000/5252123
282.33/280.40	c cleaning 10004 clauses out of 20020 with flag 4921000/5262123
283.03/281.02	c cleaning 10005 clauses out of 20017 with flag 4931001/5272124
283.64/281.62	c cleaning 10000 clauses out of 20012 with flag 4941001/5282124
284.23/282.23	c cleaning 9990 clauses out of 20012 with flag 4951001/5292124
284.74/282.77	c cleaning 10004 clauses out of 20021 with flag 4961000/5302123
285.33/283.37	c cleaning 9989 clauses out of 20017 with flag 4971000/5312123
285.93/283.94	c cleaning 10008 clauses out of 20030 with flag 4981002/5322125
286.43/284.48	c cleaning 10007 clauses out of 20022 with flag 4991002/5332125
287.03/285.08	c cleaning 9995 clauses out of 20014 with flag 5001001/5342124
287.64/285.61	c cleaning 9999 clauses out of 20018 with flag 5011000/5352123
288.14/286.15	c cleaning 10002 clauses out of 20019 with flag 5021000/5362123
288.64/286.68	c cleaning 10004 clauses out of 20017 with flag 5031000/5372123
289.24/287.20	c cleaning 10004 clauses out of 20016 with flag 5041003/5382126
289.84/287.80	c cleaning 10001 clauses out of 20012 with flag 5051003/5392126
290.35/288.33	c cleaning 9999 clauses out of 20008 with flag 5061000/5402123
290.85/288.83	c cleaning 10002 clauses out of 20011 with flag 5071002/5412125
291.36/289.37	c cleaning 9991 clauses out of 20007 with flag 5081000/5422123
291.95/289.91	c cleaning 10004 clauses out of 20018 with flag 5091002/5432125
292.46/290.42	c cleaning 9999 clauses out of 20015 with flag 5101003/5442126
292.96/290.95	c cleaning 10000 clauses out of 20013 with flag 5111000/5452123
293.46/291.50	c cleaning 9998 clauses out of 20013 with flag 5121000/5462123
294.06/292.04	c cleaning 10003 clauses out of 20016 with flag 5131001/5472124
294.57/292.59	c cleaning 10000 clauses out of 20013 with flag 5141001/5482124
295.16/293.13	c cleaning 10002 clauses out of 20013 with flag 5151001/5492124
295.67/293.62	c cleaning 9998 clauses out of 20012 with flag 5161002/5502125
296.17/294.14	c cleaning 9999 clauses out of 20013 with flag 5171001/5512124
296.67/294.64	c cleaning 10001 clauses out of 20014 with flag 5181001/5522124
297.17/295.17	c cleaning 10003 clauses out of 20014 with flag 5191002/5532125
297.67/295.67	c cleaning 9999 clauses out of 20010 with flag 5201001/5542124
298.27/296.20	c cleaning 9987 clauses out of 20011 with flag 5211001/5552124
298.77/296.75	c cleaning 10004 clauses out of 20024 with flag 5221001/5562124
299.27/297.29	c cleaning 10006 clauses out of 20019 with flag 5231000/5572123
299.77/297.78	c cleaning 10004 clauses out of 20014 with flag 5241001/5582124
300.37/298.31	c cleaning 10000 clauses out of 20010 with flag 5251001/5592124
300.87/298.87	c cleaning 10000 clauses out of 20009 with flag 5261000/5602123
301.47/299.42	c cleaning 9991 clauses out of 20012 with flag 5271003/5612126
301.97/299.94	c cleaning 10005 clauses out of 20020 with flag 5281002/5622125
302.47/300.49	c cleaning 9994 clauses out of 20013 with flag 5291000/5632123
303.07/301.06	c cleaning 10004 clauses out of 20022 with flag 5301003/5642126
303.58/301.56	c cleaning 9997 clauses out of 20017 with flag 5311002/5652125
304.18/302.10	c cleaning 9998 clauses out of 20020 with flag 5321002/5662125
304.68/302.67	c cleaning 10002 clauses out of 20021 with flag 5331001/5672124
305.28/303.20	c cleaning 9999 clauses out of 20022 with flag 5341004/5682127
305.78/303.73	c cleaning 10005 clauses out of 20021 with flag 5351002/5692125
306.28/304.28	c cleaning 10000 clauses out of 20015 with flag 5361001/5702124
306.88/304.85	c cleaning 10003 clauses out of 20014 with flag 5371000/5712123
307.38/305.39	c cleaning 10004 clauses out of 20015 with flag 5381004/5722127
307.98/305.91	c cleaning 9997 clauses out of 20008 with flag 5391001/5732124
308.48/306.42	c cleaning 10004 clauses out of 20015 with flag 5401005/5742128
308.99/306.96	c cleaning 9995 clauses out of 20007 with flag 5411001/5752124
309.49/307.49	c cleaning 10000 clauses out of 20011 with flag 5421000/5762123
310.09/308.01	c cleaning 10002 clauses out of 20015 with flag 5431004/5772127
310.59/308.51	c cleaning 10000 clauses out of 20010 with flag 5441001/5782124
311.09/309.03	c cleaning 9999 clauses out of 20009 with flag 5451000/5792123
311.59/309.55	c cleaning 10001 clauses out of 20011 with flag 5461001/5802124
312.09/310.10	c cleaning 9998 clauses out of 20009 with flag 5471000/5812123
312.69/310.64	c cleaning 9999 clauses out of 20014 with flag 5481003/5822126
313.19/311.18	c cleaning 9996 clauses out of 20014 with flag 5491002/5832125
313.79/311.75	c cleaning 9997 clauses out of 20016 with flag 5501000/5842123
314.29/312.25	c cleaning 10001 clauses out of 20019 with flag 5511000/5852123
314.79/312.79	c cleaning 10001 clauses out of 20018 with flag 5521000/5862123
315.39/313.31	c cleaning 10004 clauses out of 20019 with flag 5531002/5872125
315.89/313.81	c cleaning 9996 clauses out of 20013 with flag 5541000/5882123
316.39/314.39	c cleaning 10002 clauses out of 20018 with flag 5551001/5892124
317.09/315.02	c cleaning 9996 clauses out of 20015 with flag 5561000/5902123
317.70/315.63	c cleaning 9992 clauses out of 20020 with flag 5571001/5912124
318.29/316.27	c cleaning 10001 clauses out of 20029 with flag 5581002/5922125
318.90/316.87	c cleaning 10005 clauses out of 20026 with flag 5591000/5932123
319.49/317.45	c cleaning 9999 clauses out of 20021 with flag 5601000/5942123
320.09/318.06	c cleaning 10004 clauses out of 20023 with flag 5611001/5952124
320.69/318.68	c cleaning 10004 clauses out of 20019 with flag 5621001/5962124
321.20/319.20	c cleaning 9996 clauses out of 20014 with flag 5631000/5972123
321.80/319.79	c cleaning 10002 clauses out of 20020 with flag 5641002/5982125
322.40/320.38	c cleaning 10004 clauses out of 20016 with flag 5651000/5992123
323.00/320.97	c cleaning 9995 clauses out of 20013 with flag 5661001/6002124
323.60/321.51	c cleaning 10007 clauses out of 20022 with flag 5671005/6012128
324.11/322.06	c cleaning 9994 clauses out of 20011 with flag 5681001/6022124
324.71/322.67	c cleaning 10001 clauses out of 20019 with flag 5691003/6032126
325.31/323.22	c cleaning 10002 clauses out of 20015 with flag 5701000/6042123
325.91/323.82	c cleaning 9999 clauses out of 20014 with flag 5711001/6052124
326.62/324.50	c cleaning 9993 clauses out of 20016 with flag 5721002/6062125
327.12/325.09	c cleaning 10006 clauses out of 20022 with flag 5731001/6072124
327.72/325.63	c cleaning 10001 clauses out of 20016 with flag 5741001/6082124
328.22/326.18	c cleaning 9997 clauses out of 20014 with flag 5751000/6092123
328.83/326.71	c cleaning 10003 clauses out of 20017 with flag 5761000/6102123
329.32/327.28	c cleaning 9998 clauses out of 20016 with flag 5771002/6112125
329.93/327.83	c cleaning 10000 clauses out of 20019 with flag 5781003/6122126
330.52/328.40	c cleaning 10003 clauses out of 20016 with flag 5791000/6132123
331.03/328.97	c cleaning 9990 clauses out of 20015 with flag 5801002/6142125
331.62/329.54	c cleaning 10005 clauses out of 20024 with flag 5811001/6152124
332.22/330.13	c cleaning 9999 clauses out of 20019 with flag 5821001/6162124
332.82/330.77	c cleaning 10004 clauses out of 20020 with flag 5831001/6172124
333.52/331.44	c cleaning 9999 clauses out of 20016 with flag 5841001/6182124
334.12/332.08	c cleaning 9998 clauses out of 20017 with flag 5851001/6192124
334.72/332.67	c cleaning 10004 clauses out of 20019 with flag 5861001/6202124
335.43/333.37	c cleaning 9996 clauses out of 20014 with flag 5871000/6212123
336.12/334.07	c cleaning 10003 clauses out of 20018 with flag 5881000/6222123
336.53/334.47	c starts		: 291
336.53/334.47	c conflicts		: 6227675
336.53/334.47	c decisions		: 9347654
336.53/334.47	c propagations		: 296145417
336.53/334.47	c inspects		: 3226925892
336.53/334.47	c shortcuts		: 0
336.53/334.47	c learnt literals	: 4
336.53/334.47	c learnt binary clauses	: 34
336.53/334.47	c learnt ternary clauses	: 1226
336.53/334.47	c learnt constraints	: 6227670
336.53/334.47	c ignored constraints	: 0
336.53/334.47	c root simplifications	: 0
336.53/334.47	c removed literals (reason simplification)	: 32491880
336.53/334.47	c reason swapping (by a shorter reason)	: 0
336.53/334.47	c Calls to reduceDB	: 628
336.53/334.47	c number of reductions to clauses (during analyze)	: 0
336.53/334.47	c number of learned constraints concerned by reduction	: 0
336.53/334.47	c number of learning phase by resolution	: 0
336.53/334.47	c number of learning phase by cutting planes	: 0
336.53/334.47	c speed (assignments/second)	: 940126.2737852613
336.53/334.47	c non guided choices	2114
336.53/334.47	c learnt constraints type 
336.53/334.47	c constraints type 
336.53/334.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2517
336.53/334.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
336.53/334.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 167
336.53/334.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9
336.53/334.47	s OPTIMUM FOUND
336.53/334.47	v -x1 x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 
336.53/334.47	c objective function=1
336.53/334.47	c Total wall clock time (in seconds): 334.367

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-3492562-1307909968/watcher-3492562-1307909968 -o /var/tmp/evaluation-result-3492562-1307909968/solver-3492562-1307909968 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492562-1307909968.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.13 2.03 1.94 2/195 22933
/proc/meminfo: memFree=3269296/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 1226 0 0 0 0 0 0 0 25 0 2 0 902595322 31260672 944 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 7632 948 723 9 0 383 0
[pid=22933/tid=22934] ppid=22931 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 902595323 31260672 957 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210204647168 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.0447561 s]
/proc/loadavg: 2.13 2.03 1.94 2/195 22933
/proc/meminfo: memFree=3269296/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 11315 0 1 0 2 1 0 0 25 0 13 0 902595322 10718699520 11010 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2616870 11011 1676 9 0 2607618 0
[pid=22933/tid=22934] ppid=22931 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 10167 0 1 0 2 1 0 0 18 0 13 0 902595323 10718699520 11011 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 47288730791941 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.100763 s]
/proc/loadavg: 2.13 2.03 1.94 2/195 22933
/proc/meminfo: memFree=3269296/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10540024 CPUtime=0.1 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 13064 0 1 0 8 2 0 0 25 0 18 0 902595322 10792984576 12744 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2635006 12746 2093 9 0 2625740 0
[pid=22933/tid=22934] ppid=22931 vsize=10540024 CPUtime=0.08 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 11157 0 1 0 7 1 0 0 22 0 18 0 902595323 10792984576 12746 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540024

[startup+0.307731 s]
/proc/loadavg: 2.13 2.03 1.94 2/195 22933
/proc/meminfo: memFree=3269296/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10541188 CPUtime=0.5 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 16559 0 1 0 48 2 0 0 25 0 18 0 902595322 10794176512 15588 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2635297 15588 2211 9 0 2626031 0
[pid=22933/tid=22934] ppid=22931 vsize=10541188 CPUtime=0.29 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 13159 0 1 0 27 2 0 0 22 0 18 0 902595323 10794176512 15588 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 46912505179206 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541188

[startup+0.700666 s]
/proc/loadavg: 2.13 2.03 1.94 2/195 22933
/proc/meminfo: memFree=3269296/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10545060 CPUtime=1.41 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 21416 0 1 0 138 3 0 0 25 0 19 0 902595322 10798141440 18662 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2636265 18662 2226 9 0 2626999 0
[pid=22933/tid=22934] ppid=22931 vsize=10545060 CPUtime=0.68 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 13788 0 1 0 66 2 0 0 24 0 19 0 902595323 10798141440 18662 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 46912505709749 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 10545060

[startup+1.50152 s]
/proc/loadavg: 2.13 2.03 1.94 3/214 22952
/proc/meminfo: memFree=3200908/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10545060 CPUtime=2.29 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 23061 0 1 0 225 4 0 0 25 0 19 0 902595322 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2636265 20302 2253 9 0 2626999 0
[pid=22933/tid=22934] ppid=22931 vsize=10545060 CPUtime=1.46 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 14437 0 1 0 144 2 0 0 18 0 19 0 902595323 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 46912505631167 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22936/stat : 22936 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902595324 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22937] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22937/stat : 22937 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902595324 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22938] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22938/stat : 22938 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902595324 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22939] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22939/stat : 22939 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902595324 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22940] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22940/stat : 22940 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902595325 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22941] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22941/stat : 22941 (java) S 22931 22933 20310 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 19 0 902595325 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22942] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22942/stat : 22942 (java) S 22931 22933 20310 0 -1 4202560 163 0 0 0 0 0 0 0 18 0 19 0 902595325 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22943] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22943/stat : 22943 (java) S 22931 22933 20310 0 -1 4202560 237 0 0 0 0 0 0 0 18 0 19 0 902595325 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22944] ppid=22931 vsize=10545060 CPUtime=0.01 cores=1,3,5,7
/proc/22933/task/22944/stat : 22944 (java) S 22931 22933 20310 0 -1 4202560 487 0 0 0 1 0 0 0 16 0 19 0 902595326 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22945] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22945/stat : 22945 (java) S 22931 22933 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902595326 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22946] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22946/stat : 22946 (java) S 22931 22933 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902595326 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22947] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22947/stat : 22947 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902595328 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22948] ppid=22931 vsize=10545060 CPUtime=0.36 cores=1,3,5,7
/proc/22933/task/22948/stat : 22948 (java) S 22931 22933 20310 0 -1 4202560 4001 0 0 0 36 0 0 0 15 0 19 0 902595328 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22949] ppid=22931 vsize=10545060 CPUtime=0.42 cores=1,3,5,7
/proc/22933/task/22949/stat : 22949 (java) S 22931 22933 20310 0 -1 4202560 2493 0 0 0 42 0 0 0 15 0 19 0 902595328 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22950] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22950/stat : 22950 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902595328 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22951] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22951/stat : 22951 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902595328 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22952] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22952/stat : 22952 (java) S 22931 22933 20310 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902595354 10798141440 20302 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10545060

[startup+3.10126 s]
/proc/loadavg: 2.13 2.03 1.94 3/214 22952
/proc/meminfo: memFree=3193112/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10545060 CPUtime=4.08 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 23878 0 1 0 404 4 0 0 25 0 19 0 902595322 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2636265 21035 2253 9 0 2626999 0
[pid=22933/tid=22934] ppid=22931 vsize=10545060 CPUtime=3 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 14440 0 1 0 298 2 0 0 19 0 19 0 902595323 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 46912505752257 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22936/stat : 22936 (java) S 22931 22933 20310 0 -1 4202560 295 0 0 0 0 0 0 0 16 0 19 0 902595324 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22937] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22937/stat : 22937 (java) S 22931 22933 20310 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 902595324 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22938] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22938/stat : 22938 (java) S 22931 22933 20310 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 902595324 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22939] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22939/stat : 22939 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902595324 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22940] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22940/stat : 22940 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902595325 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22941] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22941/stat : 22941 (java) S 22931 22933 20310 0 -1 4202560 86 0 0 0 0 0 0 0 16 0 19 0 902595325 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22942] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22942/stat : 22942 (java) S 22931 22933 20310 0 -1 4202560 267 0 0 0 0 0 0 0 16 0 19 0 902595325 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22943] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22943/stat : 22943 (java) S 22931 22933 20310 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 902595325 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22944] ppid=22931 vsize=10545060 CPUtime=0.06 cores=1,3,5,7
/proc/22933/task/22944/stat : 22944 (java) S 22931 22933 20310 0 -1 4202560 698 0 0 0 6 0 0 0 16 0 19 0 902595326 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22945] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22945/stat : 22945 (java) S 22931 22933 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902595326 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22946] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22946/stat : 22946 (java) S 22931 22933 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902595326 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22947] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22947/stat : 22947 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902595328 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22948] ppid=22931 vsize=10545060 CPUtime=0.53 cores=1,3,5,7
/proc/22933/task/22948/stat : 22948 (java) S 22931 22933 20310 0 -1 4202560 4187 0 0 0 53 0 0 0 15 0 19 0 902595328 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22949] ppid=22931 vsize=10545060 CPUtime=0.45 cores=1,3,5,7
/proc/22933/task/22949/stat : 22949 (java) S 22931 22933 20310 0 -1 4202560 2495 0 0 0 45 0 0 0 15 0 19 0 902595328 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22950] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22950/stat : 22950 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902595328 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22951] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22951/stat : 22951 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902595328 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22952] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22952/stat : 22952 (java) S 22931 22933 20310 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902595354 10798141440 21035 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 10545060

[startup+6.30072 s]
/proc/loadavg: 2.12 2.03 1.94 3/214 22952
/proc/meminfo: memFree=3191520/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10545060 CPUtime=7.29 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 24181 0 1 0 725 4 0 0 25 0 19 0 902595322 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2636265 21248 2253 9 0 2626999 0
[pid=22933/tid=22934] ppid=22931 vsize=10545060 CPUtime=6.11 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 14447 0 1 0 609 2 0 0 25 0 19 0 902595323 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 46912505643024 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22936/stat : 22936 (java) S 22931 22933 20310 0 -1 4202560 295 0 0 0 0 0 0 0 15 0 19 0 902595324 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22937] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22937/stat : 22937 (java) S 22931 22933 20310 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 902595324 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22938] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22938/stat : 22938 (java) S 22931 22933 20310 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 902595324 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22939] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22939/stat : 22939 (java) S 22931 22933 20310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902595324 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22940] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22940/stat : 22940 (java) S 22931 22933 20310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902595325 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22941] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22941/stat : 22941 (java) S 22931 22933 20310 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 902595325 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22942] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22942/stat : 22942 (java) S 22931 22933 20310 0 -1 4202560 354 0 0 0 0 0 0 0 15 0 19 0 902595325 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22943] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22943/stat : 22943 (java) S 22931 22933 20310 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 902595325 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22944] ppid=22931 vsize=10545060 CPUtime=0.15 cores=1,3,5,7
/proc/22933/task/22944/stat : 22944 (java) S 22931 22933 20310 0 -1 4202560 828 0 0 0 15 0 0 0 16 0 19 0 902595326 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22945] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22945/stat : 22945 (java) S 22931 22933 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902595326 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22946] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22946/stat : 22946 (java) S 22931 22933 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902595326 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22947] ppid=22931 vsize=10545060 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22947/stat : 22947 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902595328 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22948] ppid=22931 vsize=10545060 CPUtime=0.53 cores=1,3,5,7
/proc/22933/task/22948/stat : 22948 (java) S 22931 22933 20310 0 -1 4202560 4187 0 0 0 53 0 0 0 15 0 19 0 902595328 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22949] ppid=22931 vsize=10545060 CPUtime=0.45 cores=1,3,5,7
/proc/22933/task/22949/stat : 22949 (java) S 22931 22933 20310 0 -1 4202560 2495 0 0 0 45 0 0 0 15 0 19 0 902595328 10798141440 21248 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0

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

/proc/22933/task/22936/stat : 22936 (java) S 22931 22933 20310 0 -1 4202560 312 0 0 0 18 1 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22937] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22937/stat : 22937 (java) S 22931 22933 20310 0 -1 4202560 21 0 0 0 16 0 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22938] ppid=22931 vsize=10550376 CPUtime=0.17 cores=1,3,5,7
/proc/22933/task/22938/stat : 22938 (java) S 22931 22933 20310 0 -1 4202560 27 0 0 0 17 0 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22939] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22939/stat : 22939 (java) S 22931 22933 20310 0 -1 4202560 16 0 0 0 16 0 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22940] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22940/stat : 22940 (java) S 22931 22933 20310 0 -1 4202560 24 0 0 0 16 0 0 0 15 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22941] ppid=22931 vsize=10550376 CPUtime=0.2 cores=1,3,5,7
/proc/22933/task/22941/stat : 22941 (java) S 22931 22933 20310 0 -1 4202560 166 0 0 0 19 1 0 0 16 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22942] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22942/stat : 22942 (java) S 22931 22933 20310 0 -1 4202560 359 0 0 0 15 1 0 0 15 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22943] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22943/stat : 22943 (java) S 22931 22933 20310 0 -1 4202560 270 0 0 0 16 0 0 0 15 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22944] ppid=22931 vsize=10550376 CPUtime=9.93 cores=1,3,5,7
/proc/22933/task/22944/stat : 22944 (java) S 22931 22933 20310 0 -1 4202560 1573 0 0 0 984 9 0 0 15 0 19 0 902595326 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22945] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22945/stat : 22945 (java) S 22931 22933 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902595326 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22946] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22946/stat : 22946 (java) S 22931 22933 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902595326 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22947] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22947/stat : 22947 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22948] ppid=22931 vsize=10550376 CPUtime=0.56 cores=1,3,5,7
/proc/22933/task/22948/stat : 22948 (java) S 22931 22933 20310 0 -1 4202560 4188 0 0 0 56 0 0 0 15 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22949] ppid=22931 vsize=10550376 CPUtime=0.93 cores=1,3,5,7
/proc/22933/task/22949/stat : 22949 (java) S 22931 22933 20310 0 -1 4202560 8671 0 0 0 92 1 0 0 15 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22950] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22950/stat : 22950 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22951] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22951/stat : 22951 (java) S 22931 22933 20310 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22952] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22952/stat : 22952 (java) S 22931 22933 20310 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902595354 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 335.62
Current children cumulated vsize (KiB) 10550376

[startup+333.901 s]
/proc/loadavg: 2.13 2.10 1.99 3/214 23018
/proc/meminfo: memFree=3158104/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10550376 CPUtime=336.02 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 31863 0 1 0 33579 23 0 0 25 0 19 0 902595322 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2637594 23478 2255 9 0 2628328 0
[pid=22933/tid=22934] ppid=22931 vsize=10550376 CPUtime=323.12 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 15063 0 1 0 32307 5 0 0 25 0 19 0 902595323 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 46912505642240 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=10550376 CPUtime=0.19 cores=1,3,5,7
/proc/22933/task/22936/stat : 22936 (java) S 22931 22933 20310 0 -1 4202560 312 0 0 0 18 1 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22937] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22937/stat : 22937 (java) S 22931 22933 20310 0 -1 4202560 21 0 0 0 16 0 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22938] ppid=22931 vsize=10550376 CPUtime=0.17 cores=1,3,5,7
/proc/22933/task/22938/stat : 22938 (java) S 22931 22933 20310 0 -1 4202560 27 0 0 0 17 0 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22939] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22939/stat : 22939 (java) S 22931 22933 20310 0 -1 4202560 16 0 0 0 16 0 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22940] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22940/stat : 22940 (java) S 22931 22933 20310 0 -1 4202560 24 0 0 0 16 0 0 0 15 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22941] ppid=22931 vsize=10550376 CPUtime=0.2 cores=1,3,5,7
/proc/22933/task/22941/stat : 22941 (java) S 22931 22933 20310 0 -1 4202560 166 0 0 0 19 1 0 0 16 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22942] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22942/stat : 22942 (java) S 22931 22933 20310 0 -1 4202560 359 0 0 0 15 1 0 0 15 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22943] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22943/stat : 22943 (java) S 22931 22933 20310 0 -1 4202560 270 0 0 0 16 0 0 0 15 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22944] ppid=22931 vsize=10550376 CPUtime=9.93 cores=1,3,5,7
/proc/22933/task/22944/stat : 22944 (java) S 22931 22933 20310 0 -1 4202560 1573 0 0 0 984 9 0 0 15 0 19 0 902595326 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22945] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22945/stat : 22945 (java) S 22931 22933 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902595326 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22946] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22946/stat : 22946 (java) S 22931 22933 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902595326 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22947] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22947/stat : 22947 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22948] ppid=22931 vsize=10550376 CPUtime=0.56 cores=1,3,5,7
/proc/22933/task/22948/stat : 22948 (java) S 22931 22933 20310 0 -1 4202560 4188 0 0 0 56 0 0 0 15 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22949] ppid=22931 vsize=10550376 CPUtime=0.93 cores=1,3,5,7
/proc/22933/task/22949/stat : 22949 (java) S 22931 22933 20310 0 -1 4202560 8671 0 0 0 92 1 0 0 15 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22950] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22950/stat : 22950 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22951] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22951/stat : 22951 (java) S 22931 22933 20310 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22952] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22952/stat : 22952 (java) S 22931 22933 20310 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902595354 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 336.02
Current children cumulated vsize (KiB) 10550376

[startup+334.301 s]
/proc/loadavg: 2.12 2.10 1.99 3/214 23018
/proc/meminfo: memFree=3158104/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10550376 CPUtime=336.43 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 31864 0 1 0 33620 23 0 0 25 0 19 0 902595322 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2637594 23478 2255 9 0 2628328 0
[pid=22933/tid=22934] ppid=22931 vsize=10550376 CPUtime=323.51 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 15064 0 1 0 32346 5 0 0 25 0 19 0 902595323 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 46912505673682 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=10550376 CPUtime=0.19 cores=1,3,5,7
/proc/22933/task/22936/stat : 22936 (java) S 22931 22933 20310 0 -1 4202560 312 0 0 0 18 1 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22937] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22937/stat : 22937 (java) S 22931 22933 20310 0 -1 4202560 21 0 0 0 16 0 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22938] ppid=22931 vsize=10550376 CPUtime=0.17 cores=1,3,5,7
/proc/22933/task/22938/stat : 22938 (java) S 22931 22933 20310 0 -1 4202560 27 0 0 0 17 0 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22939] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22939/stat : 22939 (java) S 22931 22933 20310 0 -1 4202560 16 0 0 0 16 0 0 0 15 0 19 0 902595324 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22940] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22940/stat : 22940 (java) S 22931 22933 20310 0 -1 4202560 24 0 0 0 16 0 0 0 15 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22941] ppid=22931 vsize=10550376 CPUtime=0.2 cores=1,3,5,7
/proc/22933/task/22941/stat : 22941 (java) S 22931 22933 20310 0 -1 4202560 166 0 0 0 19 1 0 0 15 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22942] ppid=22931 vsize=10550376 CPUtime=0.17 cores=1,3,5,7
/proc/22933/task/22942/stat : 22942 (java) S 22931 22933 20310 0 -1 4202560 359 0 0 0 16 1 0 0 16 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22943] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22943/stat : 22943 (java) S 22931 22933 20310 0 -1 4202560 270 0 0 0 16 0 0 0 15 0 19 0 902595325 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22944] ppid=22931 vsize=10550376 CPUtime=9.95 cores=1,3,5,7
/proc/22933/task/22944/stat : 22944 (java) S 22931 22933 20310 0 -1 4202560 1573 0 0 0 986 9 0 0 15 0 19 0 902595326 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22945] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22945/stat : 22945 (java) S 22931 22933 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902595326 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22946] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22946/stat : 22946 (java) S 22931 22933 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902595326 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22947] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22947/stat : 22947 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22948] ppid=22931 vsize=10550376 CPUtime=0.56 cores=1,3,5,7
/proc/22933/task/22948/stat : 22948 (java) S 22931 22933 20310 0 -1 4202560 4188 0 0 0 56 0 0 0 15 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22949] ppid=22931 vsize=10550376 CPUtime=0.93 cores=1,3,5,7
/proc/22933/task/22949/stat : 22949 (java) S 22931 22933 20310 0 -1 4202560 8671 0 0 0 92 1 0 0 15 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22950] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22950/stat : 22950 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22951] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22951/stat : 22951 (java) S 22931 22933 20310 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 902595328 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22952] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22952/stat : 22952 (java) S 22931 22933 20310 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902595354 10803585024 23478 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 336.43
Current children cumulated vsize (KiB) 10550376

[startup+334.407 s]
/proc/loadavg: 2.12 2.10 1.99 3/214 23018
/proc/meminfo: memFree=3158104/32951124 swapFree=67054520/67111528
[pid=22933] ppid=22931 vsize=10550376 CPUtime=336.53 cores=1,3,5,7
/proc/22933/stat : 22933 (java) S 22931 22933 20310 0 -1 4202496 31865 0 1 0 33630 23 0 0 25 0 19 0 902595322 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22933/statm: 2637594 23479 2255 9 0 2628328 0
[pid=22933/tid=22934] ppid=22931 vsize=10550376 CPUtime=323.61 cores=1,3,5,7
/proc/22933/task/22934/stat : 22934 (java) R 22931 22933 20310 0 -1 4202560 15065 0 1 0 32356 5 0 0 25 0 19 0 902595323 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 46912505687536 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=10550376 CPUtime=0.19 cores=1,3,5,7
/proc/22933/task/22936/stat : 22936 (java) S 22931 22933 20310 0 -1 4202560 312 0 0 0 18 1 0 0 15 0 19 0 902595324 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22937] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22937/stat : 22937 (java) S 22931 22933 20310 0 -1 4202560 21 0 0 0 16 0 0 0 15 0 19 0 902595324 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22938] ppid=22931 vsize=10550376 CPUtime=0.17 cores=1,3,5,7
/proc/22933/task/22938/stat : 22938 (java) S 22931 22933 20310 0 -1 4202560 27 0 0 0 17 0 0 0 15 0 19 0 902595324 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22939] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22939/stat : 22939 (java) S 22931 22933 20310 0 -1 4202560 16 0 0 0 16 0 0 0 15 0 19 0 902595324 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22940] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22940/stat : 22940 (java) S 22931 22933 20310 0 -1 4202560 24 0 0 0 16 0 0 0 15 0 19 0 902595325 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22941] ppid=22931 vsize=10550376 CPUtime=0.2 cores=1,3,5,7
/proc/22933/task/22941/stat : 22941 (java) S 22931 22933 20310 0 -1 4202560 166 0 0 0 19 1 0 0 15 0 19 0 902595325 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22942] ppid=22931 vsize=10550376 CPUtime=0.17 cores=1,3,5,7
/proc/22933/task/22942/stat : 22942 (java) S 22931 22933 20310 0 -1 4202560 359 0 0 0 16 1 0 0 16 0 19 0 902595325 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 1 0 0 0
[pid=22933/tid=22943] ppid=22931 vsize=10550376 CPUtime=0.16 cores=1,3,5,7
/proc/22933/task/22943/stat : 22943 (java) S 22931 22933 20310 0 -1 4202560 270 0 0 0 16 0 0 0 15 0 19 0 902595325 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
[pid=22933/tid=22944] ppid=22931 vsize=10550376 CPUtime=9.95 cores=1,3,5,7
/proc/22933/task/22944/stat : 22944 (java) S 22931 22933 20310 0 -1 4202560 1573 0 0 0 986 9 0 0 15 0 19 0 902595326 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22945] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22945/stat : 22945 (java) S 22931 22933 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902595326 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22946] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22946/stat : 22946 (java) S 22931 22933 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902595326 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22947] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22947/stat : 22947 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902595328 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22948] ppid=22931 vsize=10550376 CPUtime=0.56 cores=1,3,5,7
/proc/22933/task/22948/stat : 22948 (java) S 22931 22933 20310 0 -1 4202560 4188 0 0 0 56 0 0 0 15 0 19 0 902595328 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22949] ppid=22931 vsize=10550376 CPUtime=0.93 cores=1,3,5,7
/proc/22933/task/22949/stat : 22949 (java) S 22931 22933 20310 0 -1 4202560 8671 0 0 0 92 1 0 0 15 0 19 0 902595328 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22950] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22950/stat : 22950 (java) S 22931 22933 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902595328 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024896 0 0 -1 5 0 0 0
[pid=22933/tid=22951] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22951/stat : 22951 (java) S 22931 22933 20310 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 902595328 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 3 0 0 0
[pid=22933/tid=22952] ppid=22931 vsize=10550376 CPUtime=0 cores=1,3,5,7
/proc/22933/task/22952/stat : 22952 (java) S 22931 22933 20310 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902595354 10803585024 23479 33554432000 1073741824 1073778376 140735239134256 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 336.53
Current children cumulated vsize (KiB) 10550376

Child status: 30
Real time (s): 334.494
CPU time (s): 336.625
CPU user time (s): 336.381
CPU system time (s): 0.243962
CPU usage (%): 100.637
Max. virtual memory (cumulated for all children) (KiB): 10565464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 336.381
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31887
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= 23304
involuntary context switches= 8028

runsolver used 0.578911 second user time and 1.2778 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-12 22:19:28
IDJOB=3492562
IDBENCH=78889
IDSOLVER=1982
FILE ID=node130/3492562-1307909968
RUNJOBID= node130-1307908122-22595
PBS_JOBID= 13559576
Free space on /var/tmp= 2908 MiB

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

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

MD5SUM BENCH= 8675827de7240d8277488879d51bec75
RANDOM SEED=1493868055

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       3269708 kB
Buffers:         64872 kB
Cached:       28612732 kB
SwapCached:      10292 kB
Active:       14179272 kB
Inactive:     14597960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       3269708 kB
SwapTotal:    67111528 kB
SwapFree:     67054520 kB
Dirty:             692 kB
Writeback:           0 kB
AnonPages:       97176 kB
Mapped:          21052 kB
Slab:           839484 kB
PageTables:       4960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10546676 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2908 MiB
End job on node130 at 2011-06-12 22:25:03