Trace number 3687769

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 NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)169 1800.08 1786.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
MD5SUM0d4648505d14cf43905d3198d6f686c2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162
Best CPU time to get the best result obtained on this benchmark7.73582
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 162
Optimality of the best value was proved YES
Number of variables444
Total number of constraints1408
Number of constraints which are clauses1408
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 444
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 444
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 444
Number of bits of the biggest sum of numbers9
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-2012 Artois University and CNRS
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.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3687769-1337875519.opb
0.11/0.11	c reading problem ... 
0.28/0.26	c ... done. Wall clock time 0.146s.
0.28/0.26	c declared #vars     444
0.28/0.26	c #constraints  1408
0.28/0.26	c constraints type 
0.28/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 130
0.28/0.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1278
0.28/0.26	c 1408 constraints processed.
0.28/0.26	c objective function length is 444 literals
0.28/0.27	c SATISFIABLE
0.28/0.27	c OPTIMIZING...
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.158
0.28/0.27	o 205
0.75/0.45	c Got one! Elapsed wall clock time (in seconds):0.342
0.75/0.45	o 204
1.01/0.64	c Got one! Elapsed wall clock time (in seconds):0.529
1.01/0.64	o 203
1.12/0.71	c cleaning 3267 clauses out of 6533 with flag 1000/6533
1.25/0.83	c Got one! Elapsed wall clock time (in seconds):0.715
1.25/0.83	o 202
1.37/0.97	c cleaning 4371 clauses out of 8742 with flag 3000/12009
1.49/1.07	c Got one! Elapsed wall clock time (in seconds):0.96
1.49/1.07	o 201
1.59/1.12	c Got one! Elapsed wall clock time (in seconds):1.007
1.59/1.12	o 200
1.71/1.20	c cleaning 4830 clauses out of 9674 with flag 2001/17312
1.71/1.26	c Got one! Elapsed wall clock time (in seconds):1.152
1.71/1.26	o 199
1.82/1.32	c Got one! Elapsed wall clock time (in seconds):1.209
1.82/1.32	o 198
1.92/1.44	c cleaning 5368 clauses out of 10744 with flag 3002/23212
2.18/1.69	c cleaning 5687 clauses out of 11374 with flag 9000/29210
2.48/1.99	c cleaning 6341 clauses out of 12687 with flag 16000/36210
2.88/2.35	c cleaning 7171 clauses out of 14347 with flag 24001/44211
3.19/2.63	c Got one! Elapsed wall clock time (in seconds):2.522
3.19/2.63	o 197
3.40/2.86	c cleaning 9358 clauses out of 18725 with flag 5000/55760
3.70/3.13	c cleaning 7678 clauses out of 15367 with flag 11000/61760
4.01/3.43	c cleaning 7336 clauses out of 14689 with flag 18000/68760
4.31/3.79	c cleaning 7675 clauses out of 15354 with flag 26001/76761
4.41/3.84	c Got one! Elapsed wall clock time (in seconds):3.726
4.41/3.84	o 196
4.61/4.04	c cleaning 6791 clauses out of 13590 with flag 5000/82672
4.81/4.21	c Got one! Elapsed wall clock time (in seconds):4.097
4.81/4.21	o 195
4.81/4.26	c cleaning 5985 clauses out of 11970 with flag 1000/87843
5.15/4.50	c cleaning 5984 clauses out of 11985 with flag 7000/93843
5.35/4.78	c cleaning 6501 clauses out of 13002 with flag 14001/100844
5.76/5.11	c cleaning 7243 clauses out of 14500 with flag 22000/108843
5.86/5.20	c Got one! Elapsed wall clock time (in seconds):5.092
5.86/5.20	o 194
5.97/5.33	c cleaning 6228 clauses out of 12466 with flag 3001/114052
6.18/5.56	c cleaning 6110 clauses out of 12237 with flag 9000/120051
6.48/5.85	c cleaning 6555 clauses out of 13127 with flag 16000/127051
6.78/6.19	c cleaning 7281 clauses out of 14572 with flag 24000/135051
6.89/6.28	c Got one! Elapsed wall clock time (in seconds):6.171
6.89/6.28	o 193
7.09/6.44	c cleaning 6538 clauses out of 13083 with flag 4001/140843
7.30/6.67	c cleaning 6263 clauses out of 12544 with flag 10000/146842
7.60/6.96	c cleaning 6630 clauses out of 13281 with flag 17000/153842
7.90/7.27	c cleaning 7322 clauses out of 14651 with flag 25000/161842
8.00/7.35	c Got one! Elapsed wall clock time (in seconds):7.241
8.00/7.35	o 192
8.20/7.51	c cleaning 6617 clauses out of 13239 with flag 4000/167752
8.41/7.78	c cleaning 6308 clauses out of 12623 with flag 10001/173753
8.71/8.05	c cleaning 6651 clauses out of 13314 with flag 17000/180752
9.01/8.36	c cleaning 7324 clauses out of 14663 with flag 25000/188752
9.42/8.75	c cleaning 8164 clauses out of 16340 with flag 34001/197753
9.92/9.22	c cleaning 9085 clauses out of 18177 with flag 44002/207754
9.92/9.24	c Got one! Elapsed wall clock time (in seconds):9.125
9.92/9.24	o 191
10.13/9.44	c cleaning 7056 clauses out of 14121 with flag 5001/212783
10.32/9.69	c cleaning 6528 clauses out of 13065 with flag 11001/218783
10.74/10.00	c cleaning 6764 clauses out of 13536 with flag 18000/225782
10.94/10.23	c Got one! Elapsed wall clock time (in seconds):10.122
10.94/10.23	o 190
11.14/10.46	c cleaning 8651 clauses out of 17311 with flag 5000/236321
11.34/10.69	c cleaning 7326 clauses out of 14661 with flag 11001/242322
11.65/10.98	c cleaning 7156 clauses out of 14335 with flag 18001/249322
12.05/11.32	c cleaning 7586 clauses out of 15179 with flag 26001/257322
12.15/11.44	c Got one! Elapsed wall clock time (in seconds):11.332
12.15/11.44	o 189
12.25/11.53	c cleaning 6321 clauses out of 12657 with flag 2001/262386
12.45/11.76	c cleaning 6157 clauses out of 12338 with flag 8003/268388
12.77/12.08	c cleaning 6583 clauses out of 13180 with flag 15002/275387
12.97/12.24	c Got one! Elapsed wall clock time (in seconds):12.131
12.97/12.24	o 188
13.07/12.33	c cleaning 6173 clauses out of 12359 with flag 2000/281149
13.28/12.56	c cleaning 6092 clauses out of 12188 with flag 8002/287151
13.48/12.74	c Got one! Elapsed wall clock time (in seconds):12.624
13.48/12.74	o 187
13.48/12.78	c cleaning 5719 clauses out of 11449 with flag 1003/292504
13.68/12.91	c Got one! Elapsed wall clock time (in seconds):12.796
13.68/12.91	o 186
13.68/12.99	c cleaning 5503 clauses out of 11013 with flag 2000/297787
13.78/13.07	c Got one! Elapsed wall clock time (in seconds):12.956
13.78/13.07	o 185
13.99/13.23	c cleaning 5569 clauses out of 11149 with flag 4002/303426
14.19/13.47	c cleaning 5789 clauses out of 11580 with flag 10002/309426
14.48/13.74	c cleaning 6388 clauses out of 12791 with flag 17002/316426
14.81/14.09	c cleaning 7194 clauses out of 14401 with flag 25000/324424
15.31/14.51	c cleaning 8100 clauses out of 16208 with flag 34001/333425
15.72/14.99	c cleaning 9048 clauses out of 18107 with flag 44000/343424
16.23/15.41	c Got one! Elapsed wall clock time (in seconds):15.294
16.23/15.41	o 184
16.42/15.66	c cleaning 11418 clauses out of 22836 with flag 5001/357201
16.74/15.95	c cleaning 8705 clauses out of 17417 with flag 11000/363200
17.04/16.26	c cleaning 7856 clauses out of 15712 with flag 18000/370200
17.45/16.62	c cleaning 7921 clauses out of 15856 with flag 26000/378200
17.87/17.03	c cleaning 8468 clauses out of 16935 with flag 35000/387200
17.87/17.06	c Got one! Elapsed wall clock time (in seconds):16.951
17.87/17.06	o 183
18.11/17.26	c cleaning 6811 clauses out of 13644 with flag 5001/392377
18.23/17.32	c Got one! Elapsed wall clock time (in seconds):17.209
18.23/17.32	o 182
18.37/17.48	c cleaning 5954 clauses out of 11919 with flag 4000/397463
18.67/17.73	c cleaning 5978 clauses out of 11965 with flag 10000/403463
18.97/18.05	c cleaning 6486 clauses out of 12989 with flag 17002/410465
19.18/18.27	c Got one! Elapsed wall clock time (in seconds):18.159
19.18/18.27	o 181
19.38/18.48	c cleaning 8341 clauses out of 16705 with flag 5002/420667
19.69/18.74	c cleaning 7178 clauses out of 14364 with flag 11002/426667
19.98/19.04	c cleaning 7084 clauses out of 14186 with flag 18002/433667
20.28/19.38	c cleaning 7540 clauses out of 15100 with flag 26000/441665
20.79/19.81	c cleaning 8269 clauses out of 16560 with flag 35000/450665
20.79/19.87	c Got one! Elapsed wall clock time (in seconds):19.759
20.79/19.87	o 180
20.98/20.03	c cleaning 6768 clauses out of 13546 with flag 4001/455920
21.18/20.28	c cleaning 6385 clauses out of 12777 with flag 10000/461919
21.49/20.56	c cleaning 6686 clauses out of 13392 with flag 17000/468919
21.90/20.92	c cleaning 7346 clauses out of 14706 with flag 25000/476919
22.29/21.32	c cleaning 8175 clauses out of 16364 with flag 34004/485923
22.70/21.79	c cleaning 9091 clauses out of 18187 with flag 44002/495921
23.30/22.33	c cleaning 10041 clauses out of 20094 with flag 55000/506919
23.90/22.93	c cleaning 11024 clauses out of 22053 with flag 67000/518919
24.51/23.53	c cleaning 12015 clauses out of 24029 with flag 80000/531919
25.12/24.15	c cleaning 13009 clauses out of 26017 with flag 94003/545922
25.83/24.84	c cleaning 14003 clauses out of 28005 with flag 109000/560919
26.66/25.60	c cleaning 14991 clauses out of 30002 with flag 125000/576919
27.51/26.41	c cleaning 16000 clauses out of 32012 with flag 142001/593920
28.11/27.00	c Got one! Elapsed wall clock time (in seconds):26.893
28.11/27.00	o 179
28.31/27.26	c cleaning 17353 clauses out of 34705 with flag 5003/612613
28.63/27.55	c cleaning 11658 clauses out of 23349 with flag 11000/618610
28.93/27.86	c cleaning 9330 clauses out of 18693 with flag 18002/625612
29.34/28.21	c cleaning 8665 clauses out of 17362 with flag 26001/633611
29.65/28.57	c Got one! Elapsed wall clock time (in seconds):28.457
29.65/28.57	o 178
29.94/28.81	c cleaning 10905 clauses out of 21837 with flag 5001/646751
30.15/29.09	c cleaning 8456 clauses out of 16933 with flag 11002/652752
30.57/29.40	c cleaning 7723 clauses out of 15475 with flag 18000/659750
30.89/29.75	c cleaning 7867 clauses out of 15754 with flag 26002/667752
31.29/30.15	c cleaning 8441 clauses out of 16885 with flag 35000/676750
31.79/30.62	c cleaning 9223 clauses out of 18446 with flag 45002/686752
31.90/30.71	c Got one! Elapsed wall clock time (in seconds):30.598
31.90/30.71	o 177
32.00/30.88	c cleaning 7570 clauses out of 15158 with flag 4002/692687
32.32/31.15	c cleaning 6787 clauses out of 13587 with flag 10001/698686
32.62/31.45	c cleaning 6899 clauses out of 13804 with flag 17005/705690
32.92/31.79	c cleaning 7443 clauses out of 14900 with flag 25000/713685
33.44/32.21	c cleaning 8220 clauses out of 16457 with flag 34000/722685
33.56/32.38	c Got one! Elapsed wall clock time (in seconds):32.268
33.56/32.38	o 176
33.66/32.46	c cleaning 6810 clauses out of 13639 with flag 2001/728087
33.97/32.72	c cleaning 6394 clauses out of 12830 with flag 8002/734088
34.29/33.03	c cleaning 6713 clauses out of 13435 with flag 15001/741087
34.60/33.39	c cleaning 7356 clauses out of 14721 with flag 23000/749086
35.11/33.82	c cleaning 8178 clauses out of 16367 with flag 32002/758088
35.53/34.28	c cleaning 9089 clauses out of 18188 with flag 42001/768087
36.05/34.78	c cleaning 10037 clauses out of 20098 with flag 53000/779086
36.66/35.34	c cleaning 11018 clauses out of 22062 with flag 65001/791087
37.28/35.99	c cleaning 12020 clauses out of 24044 with flag 78001/804087
38.00/36.68	c cleaning 13004 clauses out of 26025 with flag 92002/818088
38.82/37.45	c cleaning 14013 clauses out of 28028 with flag 107009/833095
39.62/38.23	c cleaning 15002 clauses out of 30007 with flag 123001/849087
40.52/39.13	c cleaning 15996 clauses out of 32005 with flag 140001/866087
41.44/40.07	c cleaning 17006 clauses out of 34013 with flag 158005/884091
42.44/41.01	c cleaning 18007 clauses out of 36014 with flag 177012/903098
43.47/42.02	c cleaning 18997 clauses out of 37996 with flag 197001/923087
44.47/43.07	c cleaning 19995 clauses out of 39999 with flag 218001/944087
45.58/44.18	c cleaning 21000 clauses out of 42004 with flag 240001/966087
46.78/45.34	c cleaning 22003 clauses out of 44005 with flag 263002/989088
48.21/46.70	c cleaning 23001 clauses out of 46001 with flag 287001/1013087
49.56/48.05	c cleaning 23990 clauses out of 47999 with flag 312000/1038086
51.00/49.49	c cleaning 24997 clauses out of 50009 with flag 338000/1064086
52.42/50.88	c cleaning 26010 clauses out of 52020 with flag 365008/1091094
54.04/52.44	c cleaning 26998 clauses out of 54002 with flag 393000/1119086
55.75/54.10	c cleaning 27997 clauses out of 56004 with flag 422000/1148086
57.48/55.80	c cleaning 29002 clauses out of 58007 with flag 452000/1178086
59.20/57.57	c cleaning 29997 clauses out of 60006 with flag 483001/1209087
61.04/59.33	c cleaning 31004 clauses out of 62010 with flag 515002/1241088
62.95/61.20	c cleaning 32003 clauses out of 64009 with flag 548005/1274091
64.86/63.15	c cleaning 32997 clauses out of 66002 with flag 582001/1308087
66.69/64.97	c cleaning 34000 clauses out of 68004 with flag 617000/1343086
68.61/66.86	c cleaning 34988 clauses out of 70005 with flag 653001/1379087
70.74/68.99	c cleaning 35997 clauses out of 72016 with flag 690000/1416086
71.17/69.33	c Got one! Elapsed wall clock time (in seconds):69.217
71.17/69.33	o 175
71.47/69.64	c cleaning 24089 clauses out of 48178 with flag 5000/1428245
71.78/69.95	c cleaning 15031 clauses out of 30090 with flag 11001/1434246
72.10/70.27	c cleaning 11015 clauses out of 22058 with flag 18000/1441245
72.51/70.63	c cleaning 9513 clauses out of 19046 with flag 26003/1449248
72.93/71.05	c cleaning 9259 clauses out of 18530 with flag 35000/1458245
73.15/71.24	c Got one! Elapsed wall clock time (in seconds):71.126
73.15/71.24	o 174
73.25/71.33	c cleaning 7601 clauses out of 15226 with flag 2000/1464200
73.56/71.60	c cleaning 6802 clauses out of 13625 with flag 8000/1470200
73.86/71.90	c cleaning 6907 clauses out of 13823 with flag 15000/1477200
74.18/72.23	c cleaning 7458 clauses out of 14916 with flag 23000/1485200
74.61/72.61	c cleaning 8223 clauses out of 16458 with flag 32000/1494200
75.01/73.06	c cleaning 9110 clauses out of 18235 with flag 42000/1504200
75.53/73.53	c cleaning 10063 clauses out of 20131 with flag 53006/1515206
76.03/74.07	c cleaning 11021 clauses out of 22063 with flag 65001/1527201
76.65/74.65	c cleaning 12020 clauses out of 24042 with flag 78001/1540201
77.27/75.29	c cleaning 13009 clauses out of 26022 with flag 92001/1554201
78.09/76.01	c cleaning 14008 clauses out of 28021 with flag 107009/1569209
78.91/76.81	c cleaning 14994 clauses out of 30004 with flag 123000/1585200
79.72/77.66	c cleaning 15996 clauses out of 32012 with flag 140002/1602202
80.62/78.55	c cleaning 17008 clauses out of 34015 with flag 158001/1620201
81.63/79.50	c cleaning 17996 clauses out of 36006 with flag 177000/1639200
82.65/80.53	c cleaning 19001 clauses out of 38011 with flag 197001/1659201
83.75/81.60	c cleaning 20002 clauses out of 40016 with flag 218007/1680207
84.87/82.78	c cleaning 21002 clauses out of 42007 with flag 240000/1702200
86.08/83.99	c cleaning 21998 clauses out of 44007 with flag 263002/1725202
87.39/85.21	c cleaning 23004 clauses out of 46010 with flag 287003/1749203
88.61/86.47	c cleaning 23997 clauses out of 48003 with flag 312000/1774200
90.02/87.82	c cleaning 25004 clauses out of 50008 with flag 338002/1800202
91.54/89.33	c cleaning 25999 clauses out of 52007 with flag 365005/1827205
93.15/90.97	c cleaning 27002 clauses out of 54004 with flag 393001/1855201
94.96/92.73	c cleaning 27997 clauses out of 56005 with flag 422004/1884204
96.70/94.45	c cleaning 28993 clauses out of 58004 with flag 452000/1914200
98.51/96.20	c cleaning 30004 clauses out of 60011 with flag 483000/1945200
100.33/98.03	c cleaning 30994 clauses out of 62007 with flag 515000/1977200
101.93/99.67	c cleaning 32001 clauses out of 64013 with flag 548000/2010200
103.65/101.39	c cleaning 32999 clauses out of 66016 with flag 582004/2044204
105.56/103.20	c cleaning 34000 clauses out of 68013 with flag 617000/2079200
107.47/105.17	c cleaning 34996 clauses out of 70015 with flag 653002/2115202
108.60/106.29	c Got one! Elapsed wall clock time (in seconds):106.179
108.60/106.29	o 173
109.00/106.61	c cleaning 31297 clauses out of 62593 with flag 5000/2142776
109.33/106.94	c cleaning 18646 clauses out of 37296 with flag 11000/2148776
109.63/107.25	c cleaning 12811 clauses out of 25650 with flag 18000/2155776
109.94/107.58	c cleaning 10416 clauses out of 20839 with flag 26000/2163776
110.35/107.94	c cleaning 9703 clauses out of 19423 with flag 35000/2172776
110.76/108.33	c cleaning 9852 clauses out of 19720 with flag 45000/2182776
111.17/108.77	c cleaning 10425 clauses out of 20868 with flag 56000/2193776
111.79/109.33	c cleaning 11218 clauses out of 22443 with flag 68000/2205776
112.40/109.94	c cleaning 12112 clauses out of 24225 with flag 81000/2218776
113.11/110.61	c cleaning 13057 clauses out of 26113 with flag 95000/2232776
113.74/111.26	c cleaning 14024 clauses out of 28057 with flag 110001/2247777
114.44/111.98	c cleaning 15014 clauses out of 30033 with flag 126001/2263777
115.25/112.78	c cleaning 16008 clauses out of 32019 with flag 143001/2280777
116.05/113.55	c cleaning 16998 clauses out of 34011 with flag 161001/2298777
116.98/114.44	c cleaning 18004 clauses out of 36012 with flag 180000/2317776
117.98/115.43	c cleaning 19004 clauses out of 38009 with flag 200001/2337777
119.00/116.48	c cleaning 20001 clauses out of 40005 with flag 221001/2358777
120.23/117.68	c cleaning 21002 clauses out of 42003 with flag 243000/2380776
121.47/118.89	c cleaning 21995 clauses out of 44001 with flag 266000/2403776
122.79/120.16	c cleaning 23002 clauses out of 46006 with flag 290000/2427776
123.90/121.23	c cleaning 24002 clauses out of 48004 with flag 315000/2452776
125.12/122.46	c cleaning 24998 clauses out of 50002 with flag 341000/2478776
126.44/123.75	c cleaning 26001 clauses out of 52004 with flag 368000/2505776
127.86/125.12	c cleaning 27001 clauses out of 54003 with flag 396000/2533776
129.17/126.42	c cleaning 27996 clauses out of 56004 with flag 425002/2562778
130.69/127.91	c cleaning 29000 clauses out of 58006 with flag 455000/2592776
132.20/129.41	c cleaning 29995 clauses out of 60006 with flag 486000/2623776
133.72/130.94	c cleaning 31001 clauses out of 62011 with flag 518000/2655776
135.43/132.60	c cleaning 31993 clauses out of 64011 with flag 551001/2688777
137.04/134.27	c cleaning 32998 clauses out of 66017 with flag 585000/2722776
138.85/136.07	c cleaning 34010 clauses out of 68019 with flag 620000/2757776
140.76/137.95	c cleaning 35002 clauses out of 70012 with flag 656003/2793779
142.78/139.97	c cleaning 35997 clauses out of 72007 with flag 693000/2830776
144.79/141.95	c cleaning 37005 clauses out of 74011 with flag 731001/2868777
146.71/143.85	c cleaning 38002 clauses out of 76005 with flag 770000/2907776
149.01/146.16	c cleaning 38998 clauses out of 78009 with flag 810006/2947782
151.33/148.41	c cleaning 40003 clauses out of 80005 with flag 851000/2988776
153.45/150.52	c cleaning 40995 clauses out of 82002 with flag 893000/3030776
155.78/152.85	c cleaning 42000 clauses out of 84008 with flag 936001/3073777
158.42/155.45	c cleaning 43000 clauses out of 86015 with flag 980008/3117784
161.05/158.07	c cleaning 43997 clauses out of 88007 with flag 1025000/3162776
163.79/160.76	c cleaning 45006 clauses out of 90011 with flag 1071001/3208777
166.63/163.50	c cleaning 45986 clauses out of 92005 with flag 1118001/3255777
169.35/166.27	c cleaning 47001 clauses out of 94018 with flag 1166000/3303776
172.58/169.48	c cleaning 48007 clauses out of 96020 with flag 1215003/3352779
174.43/171.26	c Got one! Elapsed wall clock time (in seconds):171.144
174.43/171.26	o 172
174.93/171.70	c cleaning 42601 clauses out of 85202 with flag 5000/3389968
175.26/172.07	c cleaning 24301 clauses out of 48602 with flag 11001/3395969
175.56/172.38	c cleaning 15648 clauses out of 31301 with flag 18001/3402969
176.01/172.72	c cleaning 11818 clauses out of 23652 with flag 26000/3410968
176.31/173.07	c cleaning 10410 clauses out of 20839 with flag 35005/3419973
176.71/173.46	c cleaning 10202 clauses out of 20424 with flag 45000/3429968
177.21/173.92	c cleaning 10605 clauses out of 21222 with flag 56000/3440968
177.72/174.46	c cleaning 11307 clauses out of 22617 with flag 68000/3452968
178.32/175.07	c cleaning 12148 clauses out of 24310 with flag 81000/3465968
179.02/175.73	c cleaning 13078 clauses out of 26162 with flag 95000/3479968
179.73/176.41	c cleaning 14043 clauses out of 28085 with flag 110001/3494969
180.44/177.19	c cleaning 15019 clauses out of 30042 with flag 126001/3510969
181.35/178.04	c cleaning 16009 clauses out of 32023 with flag 143001/3527969
182.26/178.93	c cleaning 17007 clauses out of 34014 with flag 161001/3545969
183.17/179.89	c cleaning 18002 clauses out of 36007 with flag 180001/3564969
184.27/180.93	c cleaning 19000 clauses out of 38004 with flag 200000/3584968
185.27/181.91	c cleaning 20001 clauses out of 40004 with flag 221000/3605968
186.47/183.13	c cleaning 21000 clauses out of 42003 with flag 243000/3627968
187.77/184.41	c cleaning 22000 clauses out of 44003 with flag 266000/3650968
188.88/185.50	c cleaning 22992 clauses out of 46003 with flag 290000/3674968
190.10/186.70	c cleaning 24003 clauses out of 48011 with flag 315000/3699968
191.41/188.08	c cleaning 25002 clauses out of 50008 with flag 341000/3725968
192.90/189.54	c cleaning 26001 clauses out of 52006 with flag 368000/3752968
194.51/191.10	c cleaning 27001 clauses out of 54005 with flag 396000/3780968
196.11/192.75	c cleaning 27998 clauses out of 56004 with flag 425000/3809968
197.84/194.49	c cleaning 29003 clauses out of 58006 with flag 455000/3839968
199.75/196.31	c cleaning 29997 clauses out of 60003 with flag 486000/3870968
201.68/198.23	c cleaning 31003 clauses out of 62006 with flag 518000/3902968
203.59/200.19	c cleaning 31999 clauses out of 64003 with flag 551000/3935968
205.70/202.24	c cleaning 33001 clauses out of 66004 with flag 585000/3969968
207.41/203.90	c cleaning 34002 clauses out of 68003 with flag 620000/4004968
209.03/205.54	c cleaning 35002 clauses out of 70003 with flag 656002/4040970
210.84/207.34	c cleaning 35993 clauses out of 71999 with flag 693000/4077968
212.64/209.17	c cleaning 37000 clauses out of 74006 with flag 731000/4115968
214.67/211.15	c cleaning 38000 clauses out of 76006 with flag 770000/4154968
216.79/213.25	c cleaning 39003 clauses out of 78006 with flag 810000/4194968
219.12/215.50	c cleaning 39998 clauses out of 80006 with flag 851003/4235971
221.34/217.72	c cleaning 40999 clauses out of 82005 with flag 893000/4277968
223.46/219.82	c cleaning 42003 clauses out of 84006 with flag 936000/4320968
225.69/222.05	c cleaning 42999 clauses out of 86007 with flag 980004/4364972
228.02/224.39	c cleaning 43993 clauses out of 88004 with flag 1025000/4409968
230.54/226.88	c cleaning 45007 clauses out of 90013 with flag 1071002/4455970
232.95/229.26	c cleaning 45994 clauses out of 92004 with flag 1118000/4502968
235.29/231.55	c cleaning 46994 clauses out of 94010 with flag 1166000/4550968
237.80/234.08	c cleaning 48006 clauses out of 96016 with flag 1215000/4599968
240.41/236.67	c cleaning 48990 clauses out of 98010 with flag 1265000/4649968
243.04/239.27	c cleaning 49999 clauses out of 100020 with flag 1316000/4700968
245.70/241.90	c cleaning 51006 clauses out of 102021 with flag 1368000/4752968
248.72/244.88	c cleaning 52000 clauses out of 104015 with flag 1421000/4805968
251.55/247.68	c cleaning 52998 clauses out of 106015 with flag 1475000/4859968
254.58/250.61	c cleaning 54001 clauses out of 108017 with flag 1530000/4914968
257.99/254.04	c cleaning 55009 clauses out of 110020 with flag 1586004/4970972
261.70/257.77	c cleaning 55998 clauses out of 112007 with flag 1643000/5027968
265.75/261.77	c cleaning 57000 clauses out of 114010 with flag 1701001/5085969
269.78/265.76	c cleaning 57995 clauses out of 116009 with flag 1760000/5144968
273.41/269.33	c cleaning 59007 clauses out of 118014 with flag 1820000/5204968
276.93/272.84	c cleaning 60002 clauses out of 120008 with flag 1881001/5265969
280.44/276.31	c cleaning 60987 clauses out of 122005 with flag 1943000/5327968
284.16/280.07	c cleaning 62005 clauses out of 124019 with flag 2006001/5390969
287.67/283.57	c cleaning 63004 clauses out of 126013 with flag 2070000/5454968
291.59/287.41	c cleaning 63991 clauses out of 128009 with flag 2135000/5519968
295.32/291.15	c cleaning 64997 clauses out of 130018 with flag 2201000/5585968
298.95/294.75	c cleaning 66008 clauses out of 132022 with flag 2268001/5652969
303.17/298.95	c cleaning 67004 clauses out of 134016 with flag 2336003/5720971
307.53/303.23	c cleaning 67999 clauses out of 136009 with flag 2405000/5789968
311.53/307.24	c cleaning 68996 clauses out of 138010 with flag 2475000/5859968
315.87/311.59	c cleaning 70006 clauses out of 140015 with flag 2546001/5930969
320.19/315.86	c cleaning 71004 clauses out of 142008 with flag 2618000/6002968
325.22/320.87	c cleaning 71994 clauses out of 144006 with flag 2691002/6075970
331.18/326.72	c cleaning 72999 clauses out of 146010 with flag 2765000/6149968
337.83/333.34	c cleaning 73994 clauses out of 148013 with flag 2840002/6224970
343.70/339.11	c cleaning 74999 clauses out of 150017 with flag 2916000/6300968
350.03/345.41	c cleaning 76001 clauses out of 152018 with flag 2993000/6377968
356.16/351.57	c cleaning 77006 clauses out of 154017 with flag 3071000/6455968
362.11/357.48	c cleaning 77999 clauses out of 156011 with flag 3150000/6534968
367.83/363.10	c cleaning 78999 clauses out of 158012 with flag 3230000/6614968
374.66/369.96	c cleaning 80005 clauses out of 160013 with flag 3311000/6695968
379.60/374.84	c cleaning 80991 clauses out of 162008 with flag 3393000/6777968
385.01/380.20	c cleaning 82011 clauses out of 164023 with flag 3476006/6860974
391.75/387.00	c cleaning 82999 clauses out of 166008 with flag 3560002/6944970
397.05/392.19	c Got one! Elapsed wall clock time (in seconds):392.081
397.05/392.19	o 171
398.05/393.11	c cleaning 86073 clauses out of 172145 with flag 5004/7034106
398.86/393.80	c cleaning 46034 clauses out of 92068 with flag 11000/7040102
399.27/394.22	c cleaning 26517 clauses out of 53034 with flag 18000/7047102
399.69/394.64	c cleaning 17247 clauses out of 34519 with flag 26002/7055104
400.09/395.02	c cleaning 13129 clauses out of 26270 with flag 35000/7064102
400.50/395.42	c cleaning 11564 clauses out of 23142 with flag 45001/7074103
400.91/395.85	c cleaning 11280 clauses out of 22579 with flag 56002/7085104
401.42/396.32	c cleaning 11642 clauses out of 23297 with flag 68000/7097102
401.93/396.84	c cleaning 12315 clauses out of 24655 with flag 81000/7110102
402.55/397.40	c cleaning 13170 clauses out of 26340 with flag 95000/7124102
403.06/397.99	c cleaning 14080 clauses out of 28170 with flag 110000/7139102
403.79/398.63	c cleaning 15038 clauses out of 30090 with flag 126000/7155102
404.41/399.29	c cleaning 16023 clauses out of 32053 with flag 143001/7172103
405.22/400.08	c cleaning 17012 clauses out of 34029 with flag 161000/7190102
406.03/400.84	c cleaning 17999 clauses out of 36017 with flag 180000/7209102
406.95/401.72	c cleaning 19006 clauses out of 38018 with flag 200000/7229102
407.86/402.63	c cleaning 20004 clauses out of 40013 with flag 221001/7250103
408.88/403.68	c cleaning 21005 clauses out of 42009 with flag 243001/7272103
409.90/404.70	c cleaning 22002 clauses out of 44003 with flag 266000/7295102
411.17/405.83	c cleaning 23001 clauses out of 46001 with flag 290000/7319102
412.29/406.98	c cleaning 23989 clauses out of 48000 with flag 315000/7344102
413.60/408.21	c cleaning 25000 clauses out of 50011 with flag 341000/7370102
414.84/409.43	c cleaning 25999 clauses out of 52011 with flag 368000/7397102
416.17/410.77	c cleaning 26993 clauses out of 54012 with flag 396000/7425102
417.67/412.28	c cleaning 28002 clauses out of 56019 with flag 425000/7454102
419.38/413.94	c cleaning 29004 clauses out of 58020 with flag 455003/7484105
421.10/415.66	c cleaning 30006 clauses out of 60018 with flag 486005/7515107
422.80/417.33	c cleaning 30997 clauses out of 62007 with flag 518000/7547102
424.41/419.00	c cleaning 31999 clauses out of 64010 with flag 551000/7580102
426.41/420.94	c cleaning 32989 clauses out of 66011 with flag 585000/7614102
428.43/422.93	c cleaning 34004 clauses out of 68024 with flag 620002/7649104
430.36/424.87	c cleaning 34998 clauses out of 70018 with flag 656000/7685102
432.70/427.10	c cleaning 36011 clauses out of 72021 with flag 693001/7722103
434.71/429.16	c cleaning 37005 clauses out of 74011 with flag 731002/7760104
436.86/431.23	c cleaning 38004 clauses out of 76015 with flag 770011/7799113
439.18/433.51	c cleaning 38995 clauses out of 78002 with flag 810002/7839104
441.61/435.91	c cleaning 39995 clauses out of 80005 with flag 851000/7880102
444.14/438.43	c cleaning 40991 clauses out of 82010 with flag 893000/7922102
446.48/440.73	c cleaning 42008 clauses out of 84019 with flag 936000/7965102
448.80/443.03	c cleaning 43002 clauses out of 86011 with flag 980000/8009102
451.22/445.44	c cleaning 43999 clauses out of 88009 with flag 1025000/8054102
453.93/448.15	c cleaning 44999 clauses out of 90010 with flag 1071000/8100102
456.65/450.89	c cleaning 46009 clauses out of 92019 with flag 1118008/8147110
459.76/453.97	c cleaning 46995 clauses out of 94005 with flag 1166003/8195105
462.76/456.96	c cleaning 47997 clauses out of 96012 with flag 1215005/8244107
466.08/460.30	c cleaning 48995 clauses out of 98010 with flag 1265000/8294102
469.41/463.57	c cleaning 50001 clauses out of 100019 with flag 1316004/8345106
472.83/466.99	c cleaning 51002 clauses out of 102014 with flag 1368000/8397102
476.43/470.57	c cleaning 52007 clauses out of 104013 with flag 1421001/8450103
480.04/474.11	c cleaning 53001 clauses out of 106006 with flag 1475001/8504103
483.46/477.55	c cleaning 53997 clauses out of 108004 with flag 1530000/8559102
487.17/481.25	c cleaning 54994 clauses out of 110007 with flag 1586000/8615102
490.89/485.00	c cleaning 56004 clauses out of 112014 with flag 1643001/8672103
494.70/488.74	c cleaning 56997 clauses out of 114009 with flag 1701000/8730102
498.74/492.79	c cleaning 58005 clauses out of 116013 with flag 1760001/8789103
502.84/496.83	c cleaning 59001 clauses out of 118011 with flag 1820004/8849106
507.08/501.06	c cleaning 60003 clauses out of 120006 with flag 1881000/8910102
511.42/505.37	c cleaning 60988 clauses out of 122007 with flag 1943004/8972106
515.75/509.62	c cleaning 62008 clauses out of 124015 with flag 2006000/9035102
521.09/514.90	c cleaning 63002 clauses out of 126007 with flag 2070000/9099102
526.33/520.15	c cleaning 64003 clauses out of 128005 with flag 2135000/9164102
531.96/525.72	c cleaning 64995 clauses out of 130002 with flag 2201000/9230102
537.68/531.49	c cleaning 66001 clauses out of 132007 with flag 2268000/9297102
543.02/536.79	c cleaning 66997 clauses out of 134007 with flag 2336001/9365103
548.72/542.44	c cleaning 68000 clauses out of 136009 with flag 2405000/9434102
554.94/548.62	c cleaning 69002 clauses out of 138009 with flag 2475000/9504102
561.45/555.12	c cleaning 70002 clauses out of 140012 with flag 2546005/9575107
567.68/561.30	c cleaning 71002 clauses out of 142005 with flag 2618000/9647102
573.40/567.07	c cleaning 72000 clauses out of 144004 with flag 2691001/9720103
579.33/572.96	c cleaning 72996 clauses out of 146003 with flag 2765000/9794102
585.36/578.97	c cleaning 74001 clauses out of 148010 with flag 2840003/9869105
591.69/585.25	c cleaning 75006 clauses out of 150015 with flag 2916009/9945111
598.93/592.41	c cleaning 76001 clauses out of 152002 with flag 2993002/10022104
605.34/598.82	c cleaning 76989 clauses out of 154001 with flag 3071002/10100104
609.97/603.43	c cleaning 77998 clauses out of 156013 with flag 3150003/10179105
615.70/609.19	c cleaning 78993 clauses out of 158015 with flag 3230003/10259105
620.96/614.34	c cleaning 79999 clauses out of 160019 with flag 3311000/10340102
628.09/621.43	c cleaning 80997 clauses out of 162020 with flag 3393000/10422102
634.26/627.57	c cleaning 81996 clauses out of 164023 with flag 3476000/10505102
635.61/628.86	c Got one! Elapsed wall clock time (in seconds):628.749
635.61/628.86	o 170
636.21/629.43	c cleaning 55834 clauses out of 111667 with flag 5000/10534742
636.63/629.85	c cleaning 30917 clauses out of 61833 with flag 11000/10540742
637.06/630.28	c cleaning 18948 clauses out of 37916 with flag 18000/10547742
637.47/630.66	c cleaning 13472 clauses out of 26969 with flag 26001/10555743
637.88/631.01	c cleaning 11239 clauses out of 22498 with flag 35002/10564744
638.20/631.39	c cleaning 10604 clauses out of 21257 with flag 45000/10574742
638.72/631.81	c cleaning 10825 clauses out of 21654 with flag 56001/10585743
639.14/632.27	c cleaning 11407 clauses out of 22828 with flag 68000/10597742
639.65/632.78	c cleaning 12206 clauses out of 24421 with flag 81000/10610742
640.27/633.35	c cleaning 13102 clauses out of 26215 with flag 95000/10624742
640.87/633.94	c cleaning 14056 clauses out of 28115 with flag 110002/10639744
641.60/634.62	c cleaning 15027 clauses out of 30060 with flag 126003/10655745
642.30/635.33	c cleaning 16012 clauses out of 32030 with flag 143000/10672742
643.03/636.08	c cleaning 17001 clauses out of 34019 with flag 161001/10690743
643.87/636.85	c cleaning 18009 clauses out of 36017 with flag 180000/10709742
644.67/637.64	c cleaning 19000 clauses out of 38008 with flag 200000/10729742
645.59/638.50	c cleaning 19998 clauses out of 40008 with flag 221000/10750742
646.50/639.42	c cleaning 20998 clauses out of 42010 with flag 243000/10772742
647.43/640.36	c cleaning 22005 clauses out of 44013 with flag 266001/10795743
648.46/641.38	c cleaning 22999 clauses out of 46007 with flag 290000/10819742
649.47/642.39	c cleaning 23991 clauses out of 48008 with flag 315000/10844742
650.58/643.49	c cleaning 25002 clauses out of 50017 with flag 341000/10870742
651.68/644.58	c cleaning 26000 clauses out of 52015 with flag 368000/10897742
652.99/645.80	c cleaning 26993 clauses out of 54015 with flag 396000/10925742
654.21/647.05	c cleaning 27996 clauses out of 56022 with flag 425000/10954742
655.52/648.30	c cleaning 29010 clauses out of 58026 with flag 455000/10984742
656.85/649.68	c cleaning 29998 clauses out of 60016 with flag 486000/11015742
658.38/651.13	c cleaning 31009 clauses out of 62018 with flag 518000/11047742
659.78/652.59	c cleaning 31999 clauses out of 64010 with flag 551001/11080743
661.28/654.05	c cleaning 32997 clauses out of 66010 with flag 585000/11114742
663.09/655.87	c cleaning 34005 clauses out of 68014 with flag 620001/11149743
664.80/657.56	c cleaning 34998 clauses out of 70008 with flag 656000/11185742
666.51/659.25	c cleaning 36004 clauses out of 72012 with flag 693002/11222744
668.63/661.30	c cleaning 37004 clauses out of 74012 with flag 731006/11260748
670.75/663.46	c cleaning 37994 clauses out of 76002 with flag 770000/11299742
672.76/665.48	c cleaning 38993 clauses out of 78008 with flag 810000/11339742
674.87/667.60	c cleaning 40001 clauses out of 80015 with flag 851000/11380742
677.28/669.91	c cleaning 40996 clauses out of 82014 with flag 893000/11422742
679.68/672.33	c cleaning 42004 clauses out of 84018 with flag 936000/11465742
682.30/674.91	c cleaning 43006 clauses out of 86015 with flag 980001/11509743
685.02/677.68	c cleaning 43998 clauses out of 88009 with flag 1025001/11554743
687.65/680.28	c cleaning 45005 clauses out of 90010 with flag 1071000/11600742
690.38/682.99	c cleaning 45997 clauses out of 92005 with flag 1118000/11647742
693.48/686.03	c cleaning 47001 clauses out of 94008 with flag 1166000/11695742
696.60/689.15	c cleaning 47993 clauses out of 96008 with flag 1215001/11744743
699.92/692.43	c cleaning 48999 clauses out of 98016 with flag 1265002/11794744
703.24/695.70	c cleaning 50009 clauses out of 100017 with flag 1316002/11845744
706.77/699.28	c cleaning 51006 clauses out of 102011 with flag 1368005/11897747
710.41/702.89	c cleaning 52000 clauses out of 104000 with flag 1421000/11950742
714.14/706.57	c cleaning 53002 clauses out of 106004 with flag 1475004/12004746
717.26/709.67	c cleaning 54000 clauses out of 108000 with flag 1530002/12059744
720.69/713.00	c cleaning 54999 clauses out of 109998 with flag 1586000/12115742
725.00/717.35	c cleaning 55995 clauses out of 112001 with flag 1643002/12172744
728.42/720.70	c cleaning 57001 clauses out of 114005 with flag 1701001/12230743
731.92/724.23	c cleaning 57999 clauses out of 116003 with flag 1760000/12289742
735.13/727.40	c cleaning 58995 clauses out of 118004 with flag 1820000/12349742
738.25/730.54	c cleaning 59995 clauses out of 120009 with flag 1881000/12410742
741.68/733.95	c cleaning 61003 clauses out of 122016 with flag 1943002/12472744
745.00/737.26	c cleaning 61999 clauses out of 124011 with flag 2006000/12535742
748.52/740.71	c cleaning 63002 clauses out of 126012 with flag 2070000/12599742
751.82/744.09	c cleaning 63997 clauses out of 128010 with flag 2135000/12664742
755.44/747.68	c cleaning 65007 clauses out of 130013 with flag 2201000/12730742
759.36/751.53	c cleaning 65997 clauses out of 132008 with flag 2268002/12797744
763.08/755.23	c cleaning 67000 clauses out of 134009 with flag 2336000/12865742
766.59/758.70	c cleaning 68000 clauses out of 136009 with flag 2405000/12934742
770.22/762.32	c cleaning 68998 clauses out of 138009 with flag 2475000/13004742
773.93/766.04	c cleaning 70006 clauses out of 140012 with flag 2546001/13075743
777.96/770.00	c cleaning 71003 clauses out of 142005 with flag 2618000/13147742
781.98/774.08	c cleaning 72000 clauses out of 144002 with flag 2691000/13220742
786.11/778.18	c cleaning 73000 clauses out of 146004 with flag 2765002/13294744
790.63/782.61	c cleaning 73984 clauses out of 148002 with flag 2840000/13369742
794.86/786.85	c cleaning 75009 clauses out of 150022 with flag 2916004/13445746
799.18/791.14	c cleaning 76005 clauses out of 152009 with flag 2993000/13522742
804.42/796.37	c cleaning 77001 clauses out of 154004 with flag 3071000/13600742
810.05/801.98	c cleaning 77993 clauses out of 156006 with flag 3150003/13679745
815.71/807.51	c cleaning 79004 clauses out of 158010 with flag 3230000/13759742
820.57/812.32	c cleaning 80003 clauses out of 160006 with flag 3311000/13840742
825.80/817.59	c cleaning 80991 clauses out of 162003 with flag 3393000/13922742
831.71/823.40	c cleaning 81994 clauses out of 164012 with flag 3476000/14005742
836.93/828.67	c cleaning 83008 clauses out of 166019 with flag 3560001/14089743
842.64/834.39	c cleaning 84001 clauses out of 168010 with flag 3645000/14174742
847.76/839.40	c cleaning 85005 clauses out of 170009 with flag 3731000/14260742
852.69/844.31	c cleaning 86002 clauses out of 172004 with flag 3818000/14347742
858.66/850.27	c cleaning 87000 clauses out of 174002 with flag 3906000/14435742
868.11/859.69	c cleaning 88001 clauses out of 176002 with flag 3995000/14524742
878.19/869.66	c cleaning 89000 clauses out of 178001 with flag 4085000/14614742
889.26/880.67	c cleaning 90001 clauses out of 180001 with flag 4176000/14705742
895.50/886.90	c cleaning 90993 clauses out of 182000 with flag 4268000/14797742
902.26/893.51	c cleaning 92004 clauses out of 184008 with flag 4361001/14890743
909.61/900.82	c cleaning 92998 clauses out of 186004 with flag 4455001/14984743
917.04/908.26	c cleaning 93987 clauses out of 188005 with flag 4550000/15079742
922.60/913.73	c cleaning 95006 clauses out of 190019 with flag 4646001/15175743
928.63/919.73	c cleaning 95998 clauses out of 192012 with flag 4743000/15272742
934.86/925.96	c cleaning 96991 clauses out of 194014 with flag 4841000/15370742
941.50/932.52	c cleaning 98008 clauses out of 196023 with flag 4940000/15469742
948.68/939.64	c cleaning 98996 clauses out of 198015 with flag 5040000/15569742
955.81/946.62	c cleaning 99989 clauses out of 200019 with flag 5141000/15670742
963.26/954.06	c cleaning 101006 clauses out of 202030 with flag 5243000/15772742
971.31/962.04	c cleaning 102011 clauses out of 204024 with flag 5346000/15875742
980.58/971.21	c cleaning 102991 clauses out of 206013 with flag 5450000/15979742
989.25/979.81	c cleaning 104009 clauses out of 208022 with flag 5555000/16084742
994.60/985.10	c Got one! Elapsed wall clock time (in seconds):984.992
994.60/985.10	o 169
995.50/986.02	c cleaning 101471 clauses out of 202941 with flag 5000/16183670
996.95/987.45	c cleaning 53735 clauses out of 107470 with flag 11000/16189670
997.55/988.00	c cleaning 30368 clauses out of 60735 with flag 18000/16196670
998.08/988.56	c cleaning 19184 clauses out of 38368 with flag 26001/16204671
998.59/989.00	c cleaning 14090 clauses out of 28184 with flag 35001/16213671
999.00/989.43	c cleaning 12040 clauses out of 24094 with flag 45001/16223671
999.53/989.91	c cleaning 11520 clauses out of 23054 with flag 56001/16234671
1000.03/990.42	c cleaning 11766 clauses out of 23534 with flag 68001/16246671
1000.54/991.00	c cleaning 12382 clauses out of 24768 with flag 81001/16259671
1001.25/991.63	c cleaning 13192 clauses out of 26386 with flag 95001/16273671
1001.99/992.30	c cleaning 14091 clauses out of 28194 with flag 110001/16288671
1002.71/993.03	c cleaning 15050 clauses out of 30103 with flag 126001/16304671
1003.52/993.82	c cleaning 16022 clauses out of 32053 with flag 143001/16321671
1004.34/994.67	c cleaning 17014 clauses out of 34031 with flag 161001/16339671
1005.27/995.54	c cleaning 18009 clauses out of 36017 with flag 180001/16358671
1006.29/996.53	c cleaning 19001 clauses out of 38008 with flag 200001/16378671
1007.30/997.58	c cleaning 20003 clauses out of 40007 with flag 221001/16399671
1008.52/998.71	c cleaning 21000 clauses out of 42004 with flag 243001/16421671
1009.63/999.90	c cleaning 22002 clauses out of 44004 with flag 266001/16444671
1010.95/1001.16	c cleaning 22999 clauses out of 46002 with flag 290001/16468671
1012.25/1002.45	c cleaning 24001 clauses out of 48002 with flag 315000/16493670
1013.57/1003.78	c cleaning 24998 clauses out of 50001 with flag 341000/16519670
1015.09/1005.25	c cleaning 26000 clauses out of 52003 with flag 368000/16546670
1016.70/1006.83	c cleaning 26995 clauses out of 54003 with flag 396000/16574670
1018.33/1008.42	c cleaning 28003 clauses out of 56008 with flag 425000/16603670
1019.95/1010.08	c cleaning 28998 clauses out of 58005 with flag 455000/16633670
1021.25/1011.37	c cleaning 29988 clauses out of 60007 with flag 486000/16664670
1022.68/1012.75	c cleaning 31008 clauses out of 62019 with flag 518000/16696670
1024.09/1014.18	c cleaning 31999 clauses out of 64011 with flag 551000/16729670
1025.73/1015.77	c cleaning 32998 clauses out of 66012 with flag 585000/16763670
1027.34/1017.36	c cleaning 33999 clauses out of 68014 with flag 620000/16798670
1029.16/1019.14	c cleaning 34997 clauses out of 70015 with flag 656000/16834670
1030.87/1020.85	c cleaning 36007 clauses out of 72019 with flag 693001/16871671
1032.57/1022.53	c cleaning 36995 clauses out of 74011 with flag 731000/16909670
1034.27/1024.22	c cleaning 38005 clauses out of 76017 with flag 770001/16948671
1036.40/1026.31	c cleaning 39001 clauses out of 78011 with flag 810000/16988670
1038.52/1028.41	c cleaning 40004 clauses out of 80010 with flag 851000/17029670
1040.63/1030.51	c cleaning 41003 clauses out of 82006 with flag 893000/17071670
1042.84/1032.73	c cleaning 41987 clauses out of 84004 with flag 936001/17114671
1045.25/1035.10	c cleaning 42998 clauses out of 86016 with flag 980000/17158670
1047.25/1037.20	c cleaning 44006 clauses out of 88019 with flag 1025001/17203671
1049.66/1039.59	c cleaning 44994 clauses out of 90012 with flag 1071000/17249670
1052.07/1041.98	c cleaning 46009 clauses out of 92025 with flag 1118007/17296677
1054.68/1044.58	c cleaning 47003 clauses out of 94010 with flag 1166001/17344671
1056.89/1046.79	c cleaning 47993 clauses out of 96006 with flag 1215000/17393670
1059.21/1049.03	c cleaning 49002 clauses out of 98013 with flag 1265000/17443670
1061.74/1051.55	c cleaning 49997 clauses out of 100011 with flag 1316000/17494670
1064.55/1054.39	c cleaning 50999 clauses out of 102014 with flag 1368000/17546670
1067.17/1056.91	c cleaning 52008 clauses out of 104016 with flag 1421001/17599671
1069.79/1059.53	c cleaning 53002 clauses out of 106008 with flag 1475001/17653671
1072.51/1062.25	c cleaning 53992 clauses out of 108005 with flag 1530000/17708670
1075.33/1065.09	c cleaning 55003 clauses out of 110014 with flag 1586001/17764671
1078.48/1068.12	c cleaning 56004 clauses out of 112010 with flag 1643000/17821670
1081.40/1071.01	c cleaning 57001 clauses out of 114010 with flag 1701004/17879674
1084.71/1074.30	c cleaning 57999 clauses out of 116005 with flag 1760000/17938670
1087.91/1077.52	c cleaning 58994 clauses out of 118006 with flag 1820000/17998670
1091.14/1080.71	c cleaning 60004 clauses out of 120013 with flag 1881001/18059671
1094.15/1083.71	c cleaning 60998 clauses out of 122010 with flag 1943002/18121672
1097.49/1087.02	c cleaning 62003 clauses out of 124011 with flag 2006001/18184671
1100.70/1090.26	c cleaning 62997 clauses out of 126007 with flag 2070000/18248670
1104.22/1093.74	c cleaning 63989 clauses out of 128010 with flag 2135000/18313670
1107.33/1096.88	c cleaning 65006 clauses out of 130022 with flag 2201001/18379671
1111.25/1100.75	c cleaning 66005 clauses out of 132019 with flag 2268004/18446674
1114.98/1104.41	c cleaning 66998 clauses out of 134012 with flag 2336002/18514672
1118.60/1108.03	c cleaning 68001 clauses out of 136014 with flag 2405002/18583672
1122.20/1111.60	c cleaning 68993 clauses out of 138011 with flag 2475000/18653670
1125.81/1115.29	c cleaning 70006 clauses out of 140018 with flag 2546000/18724670
1129.82/1119.21	c cleaning 71000 clauses out of 142012 with flag 2618000/18796670
1134.85/1124.21	c cleaning 72006 clauses out of 144013 with flag 2691001/18869671
1140.98/1130.34	c cleaning 72999 clauses out of 146007 with flag 2765001/18943671
1146.20/1135.56	c cleaning 73999 clauses out of 148007 with flag 2840000/19018670
1150.63/1139.96	c cleaning 74994 clauses out of 150008 with flag 2916000/19094670
1155.06/1144.36	c cleaning 76002 clauses out of 152014 with flag 2993000/19171670
1159.58/1148.80	c cleaning 77004 clauses out of 154013 with flag 3071001/19249671
1164.18/1153.48	c cleaning 78004 clauses out of 156008 with flag 3150000/19328670
1169.69/1158.90	c cleaning 78994 clauses out of 158004 with flag 3230000/19408670
1174.44/1163.66	c cleaning 80000 clauses out of 160010 with flag 3311000/19489670
1180.46/1169.62	c cleaning 80991 clauses out of 162010 with flag 3393000/19571670
1186.49/1175.63	c cleaning 82008 clauses out of 164019 with flag 3476000/19654670
1192.72/1181.81	c cleaning 83005 clauses out of 166013 with flag 3560002/19738672
1199.14/1188.22	c cleaning 84003 clauses out of 168006 with flag 3645000/19823670
1205.66/1194.70	c cleaning 84998 clauses out of 170003 with flag 3731000/19909670
1211.48/1200.51	c cleaning 86003 clauses out of 172014 with flag 3818009/19996679
1217.81/1206.81	c cleaning 86992 clauses out of 174002 with flag 3906000/20084670
1224.23/1213.22	c cleaning 87997 clauses out of 176010 with flag 3995000/20173670
1229.54/1218.50	c cleaning 89007 clauses out of 178014 with flag 4085001/20263671
1236.41/1225.40	c cleaning 89998 clauses out of 180007 with flag 4176001/20354671
1242.24/1231.18	c cleaning 90999 clauses out of 182008 with flag 4268000/20446670
1248.17/1237.07	c cleaning 91996 clauses out of 184009 with flag 4361000/20539670
1253.99/1242.90	c cleaning 93005 clauses out of 186013 with flag 4455000/20633670
1260.00/1248.82	c cleaning 93998 clauses out of 188008 with flag 4550000/20728670
1266.22/1255.06	c cleaning 94994 clauses out of 190010 with flag 4646000/20824670
1272.35/1261.11	c cleaning 96002 clauses out of 192018 with flag 4743002/20921672
1278.47/1267.21	c cleaning 96998 clauses out of 194014 with flag 4841000/21019670
1284.48/1273.20	c cleaning 97999 clauses out of 196016 with flag 4940000/21118670
1291.79/1280.53	c cleaning 99004 clauses out of 198018 with flag 5040001/21218671
1297.94/1286.67	c cleaning 100003 clauses out of 200013 with flag 5141000/21319670
1304.07/1292.73	c cleaning 101002 clauses out of 202010 with flag 5243000/21421670
1310.88/1299.51	c cleaning 102002 clauses out of 204010 with flag 5346002/21524672
1317.41/1306.08	c cleaning 102994 clauses out of 206006 with flag 5450000/21628670
1324.34/1312.99	c cleaning 104003 clauses out of 208014 with flag 5555002/21733672
1331.38/1319.97	c cleaning 105005 clauses out of 210012 with flag 5661003/21839673
1340.02/1328.55	c cleaning 106004 clauses out of 212008 with flag 5768004/21946674
1349.29/1337.71	c cleaning 106998 clauses out of 214004 with flag 5876004/22054674
1358.95/1347.36	c cleaning 108001 clauses out of 216002 with flag 5985000/22163670
1368.61/1356.95	c cleaning 108996 clauses out of 218002 with flag 6095001/22273671
1377.87/1366.13	c cleaning 109997 clauses out of 220005 with flag 6206000/22384670
1387.21/1375.46	c cleaning 110996 clauses out of 222010 with flag 6318002/22496672
1396.85/1385.10	c cleaning 112005 clauses out of 224012 with flag 6431000/22609670
1405.83/1393.96	c cleaning 113000 clauses out of 226007 with flag 6545000/22723670
1414.18/1402.28	c cleaning 113990 clauses out of 228007 with flag 6660000/22838670
1422.05/1410.01	c cleaning 115003 clauses out of 230022 with flag 6776005/22954675
1430.13/1418.05	c cleaning 115997 clauses out of 232015 with flag 6893001/23071671
1438.98/1426.81	c cleaning 117002 clauses out of 234017 with flag 7011000/23189670
1447.11/1434.94	c cleaning 118004 clauses out of 236015 with flag 7130000/23308670
1456.12/1443.93	c cleaning 119003 clauses out of 238011 with flag 7250000/23428670
1466.28/1454.06	c cleaning 119994 clauses out of 240013 with flag 7371005/23549675
1478.29/1466.04	c cleaning 120999 clauses out of 242014 with flag 7493000/23671670
1487.94/1475.51	c cleaning 122005 clauses out of 244018 with flag 7616003/23794673
1499.07/1486.65	c cleaning 123003 clauses out of 246013 with flag 7740003/23918673
1509.26/1496.72	c cleaning 123997 clauses out of 248010 with flag 7865003/24043673
1519.60/1507.08	c cleaning 125003 clauses out of 250014 with flag 7991004/24169674
1529.00/1516.41	c cleaning 126003 clauses out of 252008 with flag 8118001/24296671
1541.73/1529.11	c cleaning 126998 clauses out of 254005 with flag 8246001/24424671
1554.79/1542.13	c cleaning 127997 clauses out of 256006 with flag 8375000/24553670
1567.46/1554.75	c cleaning 129000 clauses out of 258010 with flag 8505001/24683671
1579.93/1567.12	c cleaning 129998 clauses out of 260011 with flag 8636002/24814672
1593.56/1580.73	c cleaning 131002 clauses out of 262015 with flag 8768004/24946674
1606.39/1593.40	c cleaning 131992 clauses out of 264009 with flag 8901000/25079670
1617.44/1604.47	c cleaning 132995 clauses out of 266020 with flag 9035003/25213673
1629.08/1616.02	c cleaning 134005 clauses out of 268022 with flag 9170000/25348670
1641.50/1628.42	c cleaning 135002 clauses out of 270017 with flag 9306000/25484670
1652.56/1639.44	c cleaning 135998 clauses out of 272015 with flag 9443000/25621670
1665.37/1652.23	c cleaning 137005 clauses out of 274018 with flag 9581001/25759671
1677.67/1664.56	c cleaning 137996 clauses out of 276014 with flag 9720002/25898672
1690.75/1677.58	c cleaning 138998 clauses out of 278016 with flag 9860000/26038670
1702.97/1689.70	c cleaning 140003 clauses out of 280023 with flag 10001005/26179675
1715.89/1702.63	c cleaning 140998 clauses out of 282015 with flag 10143000/26321670
1728.06/1714.79	c cleaning 142007 clauses out of 284017 with flag 10286000/26464670
1739.22/1725.87	c cleaning 142997 clauses out of 286010 with flag 10430000/26608670
1753.03/1739.64	c cleaning 144003 clauses out of 288013 with flag 10575000/26753670
1767.41/1753.94	c cleaning 145004 clauses out of 290013 with flag 10721003/26899673
1780.97/1767.41	c cleaning 146004 clauses out of 292010 with flag 10868004/27046674
1795.74/1782.15	c cleaning 146995 clauses out of 294006 with flag 11016004/27194674
1800.08/1786.42	c starts		: 413
1800.08/1786.42	c conflicts		: 27276020
1800.08/1786.42	c decisions		: 67862613
1800.08/1786.42	c propagations		: 419622812
1800.08/1786.42	c inspects		: 9158458138
1800.08/1786.42	c shortcuts		: 0
1800.08/1786.42	c learnt literals	: 0
1800.08/1786.42	c learnt binary clauses	: 0
1800.08/1786.42	c learnt ternary clauses	: 0
1800.08/1786.42	c learnt constraints	: 27276022
1800.08/1786.42	c ignored constraints	: 0
1800.08/1786.42	c root simplifications	: 0
1800.08/1786.42	c removed literals (reason simplification)	: 0
1800.08/1786.42	c reason swapping (by a shorter reason)	: 0
1800.08/1786.42	c Calls to reduceDB	: 611
1800.08/1786.42	c number of reductions to clauses (during analyze)	: 0
1800.08/1786.42	c number of learned constraints concerned by reduction	: 0
1800.08/1786.42	c number of learning phase by resolution	: 0
1800.08/1786.42	c number of learning phase by cutting planes	: 0
1800.08/1786.42	c speed (assignments/second)	: 234931.37758229848
1800.08/1786.42	c non guided choices	0
1800.08/1786.45	c learnt constraints type 
1800.08/1786.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 228772
1800.08/1786.45	c constraints type 
1800.08/1786.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 130
1800.08/1786.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1786.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1278
1800.08/1786.45	c 1409 constraints processed.
1800.08/1786.45	s SATISFIABLE
1800.08/1786.45	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 -x232 x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 x251 -x252 x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 -x369 x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 -x379 x380 x381 -x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 x397 -x398 -x399 x400 -x401 x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 
1800.08/1786.45	c objective function=169
1800.08/1786.45	c Total wall clock time (in seconds): 1786.338

Verifier Data

OK	169

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 /tmp/evaluation-result-3687769-1337875519/watcher-3687769-1337875519 -o /tmp/evaluation-result-3687769-1337875519/solver-3687769-1337875519 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687769-1337875519.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.99 1.99 1.91 2/196 22507
/proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22507/stat : 22507 (java) R 22505 22507 21531 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 253677200 23793664 713 33554432000 1073741824 1073778376 140734492097424 140734492086488 273579817040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 5809 714 529 9 0 128 0

[startup+0.050534 s]
/proc/loadavg: 1.99 1.99 1.91 2/196 22507
/proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 3073 0 1 0 3 0 0 0 20 0 13 0 253677200 9446973440 3771 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2306390 3771 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100226 s]
/proc/loadavg: 1.99 1.99 1.91 2/196 22507
/proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 4310 0 1 0 10 1 0 0 20 0 18 0 253677200 9787813888 5499 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2389603 5500 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.3002 s]
/proc/loadavg: 1.99 1.99 1.91 2/196 22507
/proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 5843 0 1 0 47 2 0 0 20 0 19 0 253677200 9855975424 7933 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2406244 7933 2223 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9624976

[startup+0.700207 s]
/proc/loadavg: 1.99 1.99 1.91 2/196 22507
/proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9624976 CPUtime=1.12 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 7167 0 1 0 110 2 0 0 20 0 19 0 253677200 9855975424 10040 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2406244 10040 2245 9 0 2396937 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9624976

[startup+1.50059 s]
/proc/loadavg: 1.99 1.99 1.91 3/215 22526
/proc/meminfo: memFree=28903548/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9625292 CPUtime=2.08 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 7891 0 1 0 205 3 0 0 20 0 19 0 253677200 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2406323 16333 2269 9 0 2397016 0
[pid=22507/tid=22509] ppid=22505 vsize=9625292 CPUtime=1.42 cores=0,2,4,6
/proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 2458 0 1 0 142 0 0 0 20 0 19 0 253677200 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082991051040 140082858698608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22510] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22511] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22512] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22513] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22514] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22515] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22516] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22517] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22518] ppid=22505 vsize=9625292 CPUtime=0.03 cores=0,2,4,6
/proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 19 0 253677202 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22519] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9856299008 16283 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2485 0 0 0 30 0 0 0 20 0 19 0 253677206 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 1680 0 0 0 24 0 0 0 20 0 19 0 253677206 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625292

[startup+3.10066 s]
/proc/loadavg: 1.99 1.99 1.91 3/215 22526
/proc/meminfo: memFree=28894488/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9624976 CPUtime=3.7 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 7915 0 1 0 366 4 0 0 20 0 19 0 253677200 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2406244 17283 2269 9 0 2396937 0
[pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=2.95 cores=0,2,4,6
/proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 2462 0 1 0 295 0 0 0 20 0 19 0 253677200 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082991051160 140082858651601 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 35 0 0 0 7 0 0 0 20 0 19 0 253677202 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2485 0 0 0 31 0 0 0 20 0 19 0 253677206 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 1680 0 0 0 24 0 0 0 20 0 19 0 253677206 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9624976

[startup+6.30095 s]
/proc/loadavg: 1.99 1.99 1.91 3/215 22526
/proc/meminfo: memFree=28894116/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9624976 CPUtime=6.99 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 7954 0 1 0 695 4 0 0 20 0 19 0 253677200 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2406244 17223 2269 9 0 2396937 0
[pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=5.99 cores=0,2,4,6
/proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 2475 0 1 0 599 0 0 0 20 0 19 0 253677200 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082991051160 140082858672297 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 35 0 0 0 20 0 0 0 20 0 19 0 253677202 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2506 0 0 0 33 0 0 0 20 0 19 0 253677206 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 1680 0 0 0 28 0 0 0 20 0 19 0 253677206 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2507 0 0 0 36 0 0 0 20 0 19 0 253677206 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 2016 0 0 0 32 0 0 0 20 0 19 0 253677206 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 94 0 0 0 24 25 0 0 20 0 19 0 253677206 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1675.47
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/215 22601
/proc/meminfo: memFree=27864820/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9624976 CPUtime=1735.72 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 11967 0 1 0 173496 76 0 0 20 0 19 0 253677200 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2406244 105725 2270 9 0 2396937 0
[pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=1690.72 cores=0,2,4,6
/proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 3112 0 1 0 169043 29 0 0 20 0 19 0 253677200 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082991051040 140082858841027 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=2.31 cores=0,2,4,6
/proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 416 0 0 0 226 5 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=2.22 cores=0,2,4,6
/proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 282 0 0 0 219 3 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=2.15 cores=0,2,4,6
/proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 311 0 0 0 209 6 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=2.29 cores=0,2,4,6
/proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 484 0 0 0 223 6 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=2.23 cores=0,2,4,6
/proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 299 0 0 0 219 4 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=2.21 cores=0,2,4,6
/proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 439 0 0 0 215 6 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=2.29 cores=0,2,4,6
/proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 327 0 0 0 222 7 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=2.19 cores=0,2,4,6
/proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 341 0 0 0 215 4 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=21.76 cores=0,2,4,6
/proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 155 0 0 0 2171 5 0 0 20 0 19 0 253677202 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2507 0 0 0 36 0 0 0 20 0 19 0 253677206 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 2016 0 0 0 32 0 0 0 20 0 19 0 253677206 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 98 0 0 0 25 26 0 0 20 0 19 0 253677206 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1735.72
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.10 2.02 1.95 3/215 22601
/proc/meminfo: memFree=27752988/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9624976 CPUtime=1795.97 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 11982 0 1 0 179520 77 0 0 20 0 19 0 253677200 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2406244 106749 2270 9 0 2396937 0
[pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=1750.04 cores=0,2,4,6
/proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 3119 0 1 0 174974 30 0 0 20 0 19 0 253677200 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082991051160 140082858726013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=2.36 cores=0,2,4,6
/proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 416 0 0 0 231 5 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=2.27 cores=0,2,4,6
/proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 282 0 0 0 224 3 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=2.18 cores=0,2,4,6
/proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 311 0 0 0 212 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 484 0 0 0 227 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=2.29 cores=0,2,4,6
/proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 299 0 0 0 225 4 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=2.25 cores=0,2,4,6
/proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 439 0 0 0 219 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=2.32 cores=0,2,4,6
/proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 327 0 0 0 225 7 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=2.22 cores=0,2,4,6
/proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 341 0 0 0 218 4 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=22.2 cores=0,2,4,6
/proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 159 0 0 0 2215 5 0 0 20 0 19 0 253677202 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2507 0 0 0 36 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 2016 0 0 0 32 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 102 0 0 0 26 27 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1795.97
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.41 s]
/proc/loadavg: 2.09 2.02 1.95 3/215 22601
/proc/meminfo: memFree=27752988/32873844 swapFree=6584/6584
[pid=22507] ppid=22505 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6
/proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 11982 0 1 0 179931 77 0 0 20 0 19 0 253677200 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22507/statm: 2406244 106749 2270 9 0 2396937 0
[pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=1754.14 cores=0,2,4,6
/proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 3119 0 1 0 175384 30 0 0 20 0 19 0 253677200 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082991051040 140082858675040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=2.36 cores=0,2,4,6
/proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 416 0 0 0 231 5 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=2.27 cores=0,2,4,6
/proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 282 0 0 0 224 3 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=2.18 cores=0,2,4,6
/proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 311 0 0 0 212 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 484 0 0 0 227 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=2.29 cores=0,2,4,6
/proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 299 0 0 0 225 4 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=2.25 cores=0,2,4,6
/proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 439 0 0 0 219 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=2.32 cores=0,2,4,6
/proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 327 0 0 0 225 7 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=2.22 cores=0,2,4,6
/proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 341 0 0 0 218 4 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=22.2 cores=0,2,4,6
/proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 159 0 0 0 2215 5 0 0 20 0 19 0 253677202 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2507 0 0 0 36 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 2016 0 0 0 32 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 102 0 0 0 26 27 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22507 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=959124
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=173821
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1786.46
CPU time (s): 1800.08
CPU user time (s): 1799.31
CPU system time (s): 0.77
CPU usage (%): 100.763
Max. virtual memory (cumulated for all children) (KiB): 9625292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.96
system time used= 1.17382
maximum resident set size= 427152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12024
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54754
involuntary context switches= 42891

runsolver used 6.22105 second user time and 14.4338 second system time

The end

Launcher Data

Begin job on node132 at 2012-05-24 18:05:19
IDJOB=3687769
IDBENCH=2105
IDSOLVER=2269
FILE ID=node132/3687769-1337875519
RUNJOBID= node132-1337871880-21547
PBS_JOBID= 14620072
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687769-1337875519/watcher-3687769-1337875519 -o /tmp/evaluation-result-3687769-1337875519/solver-3687769-1337875519 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687769-1337875519.opb

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

MD5SUM BENCH= 0d4648505d14cf43905d3198d6f686c2
RANDOM SEED=1452361849

node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28958564 kB
Buffers:          208836 kB
Cached:          2700332 kB
SwapCached:            0 kB
Active:           899132 kB
Inactive:        2251728 kB
Active(anon):     244296 kB
Inactive(anon):        0 kB
Active(file):     654836 kB
Inactive(file):  2251728 kB
Unevictable:        6584 kB
Mlocked:            6584 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               624 kB
Writeback:             0 kB
AnonPages:        258224 kB
Mapped:            22620 kB
Shmem:               212 kB
Slab:             628360 kB
SReclaimable:      70476 kB
SUnreclaim:       557884 kB
KernelStack:        1776 kB
PageTables:         4228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71636 MiB
End job on node132 at 2012-05-24 18:35:07