Trace number 3688254

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 RES // CP 2.3.2 SnapshotSAT (TO)54 1800.47 1016.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
MD5SUM474916db0f2f0be5831d97827cee8e55
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1790.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6214
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.2.v20120418
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		501472288
0.06/0.09	c Max memory 		7480803328
0.06/0.09	c Total memory 		504102912
0.06/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c ManyCore solver with 2 solvers running in parallel
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c Expensive reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c c --- End Solver configuration ---
0.08/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3688254-1337876631.opb
0.08/0.11	c reading problem ... 
0.08/0.17	c ... done. Wall clock time 0.055s.
0.08/0.17	c declared #vars     172
0.08/0.17	c #constraints  14
0.08/0.17	c constraints type 
0.08/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.08/0.17	c 14 constraints processed.
0.08/0.17	c constraints type 
0.08/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
0.08/0.17	c 14 constraints processed.
0.08/0.17	c objective function length is 112 literals
0.28/0.25	c  And the winner is solver0
0.69/0.67	c SATISFIABLE
0.69/0.67	c OPTIMIZING...
0.69/0.67	c Got one! Elapsed wall clock time (in seconds):0.557
0.69/0.67	o 674
0.69/0.68	c  And the winner is solver0
0.76/1.17	c Got one! Elapsed wall clock time (in seconds):1.058
0.76/1.17	o 493
0.86/1.22	c  And the winner is solver0
1.14/1.67	c Got one! Elapsed wall clock time (in seconds):1.56
1.14/1.67	o 259
2.85/2.12	c cleaning 2711 clauses out of 5422 with flag 5000/5422
3.22/2.24	c  And the winner is solver1
3.46/2.67	c Got one! Elapsed wall clock time (in seconds):2.561
3.46/2.67	o 246
3.79/2.81	c cleaning 4023 clauses out of 8045 with flag 3001/10756
3.79/2.86	c  And the winner is solver0
3.92/3.18	c Got one! Elapsed wall clock time (in seconds):3.062
3.92/3.18	o 244
3.92/3.20	c  And the winner is solver0
3.98/3.68	c Got one! Elapsed wall clock time (in seconds):3.563
3.98/3.68	o 242
4.43/3.91	c cleaning 5071 clauses out of 10145 with flag 5002/16879
4.43/3.97	c  And the winner is solver0
4.58/4.18	c Got one! Elapsed wall clock time (in seconds):4.065
4.58/4.18	o 241
4.62/4.21	c  And the winner is solver0
4.67/4.68	c Got one! Elapsed wall clock time (in seconds):4.566
4.67/4.68	o 239
4.70/4.71	c  And the winner is solver0
4.74/5.18	c Got one! Elapsed wall clock time (in seconds):5.067
4.74/5.18	o 237
5.18/5.44	c cleaning 6414 clauses out of 12838 with flag 5000/24643
5.75/5.78	c cleaning 6207 clauses out of 12427 with flag 11003/30646
6.73/6.20	c cleaning 6609 clauses out of 13218 with flag 18001/37644
7.48/6.69	c cleaning 7303 clauses out of 14609 with flag 26001/45644
8.27/7.09	c  And the winner is solver1
8.46/7.18	c Got one! Elapsed wall clock time (in seconds):7.068
8.46/7.18	o 228
8.70/7.38	c  And the winner is solver0
8.91/7.68	c Got one! Elapsed wall clock time (in seconds):7.569
8.91/7.68	o 227
8.95/7.79	c cleaning 9697 clauses out of 19400 with flag 2000/57738
9.69/8.18	c cleaning 7850 clauses out of 15704 with flag 8001/63739
10.26/8.41	c  And the winner is solver0
10.31/8.73	c Got one! Elapsed wall clock time (in seconds):8.618
10.31/8.73	o 225
10.46/8.82	c cleaning 6871 clauses out of 13749 with flag 2002/69634
11.01/9.17	c cleaning 6434 clauses out of 12878 with flag 8002/75634
11.77/9.59	c cleaning 6717 clauses out of 13443 with flag 15001/82633
12.11/9.80	c  And the winner is solver0
12.34/10.23	c Got one! Elapsed wall clock time (in seconds):10.119
12.34/10.23	o 223
12.34/10.26	c  And the winner is solver0
12.43/10.73	c Got one! Elapsed wall clock time (in seconds):10.62
12.43/10.73	o 221
12.62/10.80	c  And the winner is solver0
12.72/11.23	c Got one! Elapsed wall clock time (in seconds):11.121
12.72/11.23	o 220
12.72/11.29	c cleaning 6631 clauses out of 13268 with flag 1000/89175
13.40/11.62	c cleaning 6309 clauses out of 12638 with flag 7001/95176
13.56/11.70	c  And the winner is solver0
13.56/11.73	c Got one! Elapsed wall clock time (in seconds):11.622
13.56/11.73	o 218
13.92/11.94	c cleaning 6024 clauses out of 12065 with flag 5002/100912
13.92/12.00	c  And the winner is solver0
14.12/12.24	c Got one! Elapsed wall clock time (in seconds):12.123
14.12/12.24	o 217
14.12/12.25	c  And the winner is solver0
14.14/12.74	c Got one! Elapsed wall clock time (in seconds):12.624
14.14/12.74	o 209
14.14/12.75	c  And the winner is solver0
14.18/13.24	c Got one! Elapsed wall clock time (in seconds):13.125
14.18/13.24	o 208
14.18/13.28	c  And the winner is solver0
14.31/13.74	c Got one! Elapsed wall clock time (in seconds):13.626
14.31/13.74	o 206
14.43/13.81	c  And the winner is solver0
14.48/14.24	c Got one! Elapsed wall clock time (in seconds):14.127
14.48/14.24	o 204
14.60/14.32	c  And the winner is solver0
14.67/14.74	c Got one! Elapsed wall clock time (in seconds):14.627
14.67/14.74	o 199
14.79/14.85	c cleaning 6911 clauses out of 13824 with flag 2000/108695
15.33/15.16	c  And the winner is solver0
15.50/15.24	c Got one! Elapsed wall clock time (in seconds):15.128
15.50/15.24	o 198
15.82/15.48	c cleaning 8798 clauses out of 17632 with flag 5000/119414
16.00/15.54	c  And the winner is solver0
16.09/15.74	c Got one! Elapsed wall clock time (in seconds):15.629
16.09/15.74	o 196
16.40/15.95	c cleaning 7065 clauses out of 14137 with flag 5002/124717
16.95/16.25	c cleaning 6519 clauses out of 13070 with flag 11000/130715
17.70/16.63	c cleaning 6770 clauses out of 13553 with flag 18002/137717
18.05/16.88	c  And the winner is solver0
18.25/17.24	c Got one! Elapsed wall clock time (in seconds):17.13
18.25/17.24	o 194
18.36/17.33	c cleaning 6260 clauses out of 12533 with flag 2002/143467
18.51/17.42	c  And the winner is solver0
18.60/17.74	c Got one! Elapsed wall clock time (in seconds):17.631
18.60/17.74	o 193
18.70/17.90	c cleaning 5692 clauses out of 11406 with flag 4001/148600
19.25/18.16	c cleaning 5854 clauses out of 11714 with flag 10001/154600
20.00/18.56	c cleaning 6420 clauses out of 12859 with flag 17000/161599
20.92/19.00	c cleaning 7221 clauses out of 14443 with flag 25004/169603
21.87/19.51	c cleaning 8106 clauses out of 16221 with flag 34003/178602
22.82/20.05	c cleaning 9050 clauses out of 18112 with flag 44000/188599
23.77/20.54	c  And the winner is solver1
23.86/20.75	c Got one! Elapsed wall clock time (in seconds):20.633
23.86/20.75	o 183
24.36/21.01	c cleaning 10946 clauses out of 21913 with flag 5000/201450
24.50/21.13	c  And the winner is solver0
24.58/21.25	c Got one! Elapsed wall clock time (in seconds):21.133
24.58/21.25	o 182
24.88/21.47	c cleaning 8281 clauses out of 16574 with flag 5000/207057
25.23/21.62	c  And the winner is solver0
25.32/21.75	c Got one! Elapsed wall clock time (in seconds):21.634
25.32/21.75	o 180
25.32/21.78	c  And the winner is solver0
25.42/22.25	c Got one! Elapsed wall clock time (in seconds):22.135
25.42/22.25	o 179
25.73/22.45	c cleaning 7544 clauses out of 15104 with flag 4002/213868
26.28/22.79	c cleaning 6775 clauses out of 13559 with flag 10001/219867
26.62/22.94	c  And the winner is solver0
26.77/23.25	c Got one! Elapsed wall clock time (in seconds):23.136
26.77/23.25	o 177
26.86/23.37	c cleaning 5951 clauses out of 11915 with flag 3000/224998
27.17/23.53	c  And the winner is solver0
27.31/23.75	c Got one! Elapsed wall clock time (in seconds):23.637
27.31/23.75	o 175
27.60/23.92	c cleaning 5845 clauses out of 11695 with flag 4005/230729
28.16/24.25	c cleaning 5908 clauses out of 11847 with flag 10002/236726
28.90/24.65	c cleaning 6463 clauses out of 12941 with flag 17004/243728
29.46/24.97	c  And the winner is solver0
29.66/25.32	c Got one! Elapsed wall clock time (in seconds):25.206
29.66/25.32	o 174
30.02/25.55	c cleaning 8567 clauses out of 17140 with flag 5000/254390
30.34/25.77	c  And the winner is solver0
30.52/25.82	c Got one! Elapsed wall clock time (in seconds):25.707
30.52/25.82	o 172
30.69/25.93	c cleaning 6787 clauses out of 13597 with flag 2002/259414
31.24/26.22	c cleaning 6399 clauses out of 12808 with flag 8000/265412
31.40/26.34	c  And the winner is solver0
31.55/26.82	c Got one! Elapsed wall clock time (in seconds):26.708
31.55/26.82	o 170
31.90/27.00	c cleaning 6080 clauses out of 12173 with flag 4001/271176
32.44/27.31	c cleaning 6041 clauses out of 12094 with flag 10002/277177
32.56/27.42	c  And the winner is solver0
32.65/27.91	c Got one! Elapsed wall clock time (in seconds):27.796
32.65/27.91	o 168
33.04/28.11	c cleaning 5711 clauses out of 11435 with flag 5004/282559
33.78/28.52	c cleaning 5848 clauses out of 11721 with flag 11001/288556
34.51/28.93	c cleaning 6428 clauses out of 12872 with flag 18000/295555
35.44/29.41	c cleaning 7213 clauses out of 14445 with flag 26001/303556
36.35/29.97	c cleaning 8110 clauses out of 16231 with flag 35000/312555
37.48/30.53	c cleaning 9055 clauses out of 18122 with flag 45001/322556
38.83/31.25	c cleaning 10033 clauses out of 20070 with flag 56004/333559
40.37/32.06	c cleaning 11013 clauses out of 22033 with flag 68000/345555
42.07/32.98	c cleaning 12005 clauses out of 24021 with flag 81001/358556
43.19/33.52	c  And the winner is solver1
43.23/33.67	c Got one! Elapsed wall clock time (in seconds):33.557
43.23/33.67	o 164
43.69/33.93	c  And the winner is solver0
43.83/34.17	c Got one! Elapsed wall clock time (in seconds):34.058
43.83/34.17	o 162
43.87/34.27	c cleaning 13235 clauses out of 26474 with flag 1000/373014
44.81/34.71	c cleaning 9611 clauses out of 19240 with flag 7001/379015
45.55/35.15	c cleaning 8317 clauses out of 16634 with flag 14006/386020
46.03/35.42	c  And the winner is solver0
46.16/35.77	c Got one! Elapsed wall clock time (in seconds):35.658
46.16/35.77	o 160
46.21/35.86	c cleaning 7036 clauses out of 14088 with flag 2000/391791
46.75/36.19	c cleaning 6518 clauses out of 13052 with flag 8000/397791
47.46/36.58	c cleaning 6766 clauses out of 13534 with flag 15000/404791
48.41/37.06	c cleaning 7384 clauses out of 14770 with flag 23002/412793
49.50/37.60	c cleaning 8187 clauses out of 16384 with flag 32000/421791
50.42/38.16	c cleaning 9099 clauses out of 18197 with flag 42000/431791
51.95/38.93	c cleaning 10045 clauses out of 20098 with flag 53000/442791
53.46/39.70	c cleaning 11023 clauses out of 22054 with flag 65001/454792
55.15/40.62	c cleaning 12011 clauses out of 24031 with flag 78001/467792
56.86/41.58	c cleaning 13010 clauses out of 26024 with flag 92005/481796
58.98/42.68	c cleaning 14000 clauses out of 28011 with flag 107002/496793
61.29/43.82	c cleaning 14994 clauses out of 30009 with flag 123000/512791
63.98/45.30	c cleaning 16004 clauses out of 32016 with flag 140001/529792
66.48/46.56	c cleaning 17004 clauses out of 34015 with flag 158004/547795
69.39/48.02	c cleaning 17998 clauses out of 36009 with flag 177002/566793
69.91/48.34	c  And the winner is solver1
70.00/48.46	c Got one! Elapsed wall clock time (in seconds):48.345
70.00/48.46	o 159
70.08/48.55	c cleaning 11967 clauses out of 23954 with flag 1002/572736
70.74/48.99	c cleaning 8978 clauses out of 17986 with flag 7001/578735
71.05/49.16	c  And the winner is solver0
71.28/49.46	c Got one! Elapsed wall clock time (in seconds):49.346
71.28/49.46	o 158
71.55/49.63	c cleaning 7466 clauses out of 14951 with flag 4000/584678
72.27/50.01	c cleaning 6736 clauses out of 13486 with flag 10001/590679
72.98/50.45	c cleaning 6864 clauses out of 13750 with flag 17001/597679
73.64/50.88	c  And the winner is solver0
73.90/51.10	c Got one! Elapsed wall clock time (in seconds):50.984
73.90/51.10	o 156
74.30/51.34	c cleaning 8898 clauses out of 17813 with flag 5005/608606
74.83/51.61	c  And the winner is solver0
74.94/52.10	c Got one! Elapsed wall clock time (in seconds):51.985
74.94/52.10	o 155
74.94/52.19	c cleaning 7434 clauses out of 14886 with flag 2000/614577
75.65/52.51	c cleaning 6722 clauses out of 13454 with flag 8002/620579
76.35/52.90	c cleaning 6861 clauses out of 13730 with flag 15000/627577
76.48/53.07	c  And the winner is solver0
76.60/53.16	c Got one! Elapsed wall clock time (in seconds):53.046
76.60/53.16	o 153
76.93/53.36	c cleaning 6131 clauses out of 12292 with flag 5000/633000
77.67/53.79	c cleaning 6073 clauses out of 12161 with flag 11000/639000
78.57/54.24	c cleaning 6542 clauses out of 13088 with flag 18000/646000
79.48/54.70	c cleaning 7268 clauses out of 14546 with flag 26000/654000
80.53/55.30	c cleaning 8132 clauses out of 16278 with flag 35000/663000
81.44/55.88	c cleaning 9069 clauses out of 18154 with flag 45008/673008
82.35/56.39	c  And the winner is solver0
82.63/56.66	c Got one! Elapsed wall clock time (in seconds):56.547
82.63/56.66	o 151
83.10/56.91	c cleaning 11421 clauses out of 22847 with flag 5000/686770
83.80/57.30	c cleaning 8708 clauses out of 17428 with flag 11002/692772
84.07/57.56	c  And the winner is solver0
84.23/57.66	c Got one! Elapsed wall clock time (in seconds):57.548
84.23/57.66	o 150
84.36/57.78	c cleaning 7091 clauses out of 14191 with flag 3001/698243
85.07/58.18	c cleaning 6540 clauses out of 13099 with flag 9000/704242
85.97/58.62	c cleaning 6774 clauses out of 13560 with flag 16001/711243
86.87/59.10	c cleaning 7382 clauses out of 14785 with flag 24000/719242
87.72/59.68	c  And the winner is solver0
88.00/59.81	c Got one! Elapsed wall clock time (in seconds):59.7
88.00/59.81	o 148
88.36/60.07	c cleaning 10347 clauses out of 20728 with flag 5000/732567
89.07/60.43	c cleaning 8178 clauses out of 16384 with flag 11003/738570
89.76/60.81	c cleaning 7593 clauses out of 15203 with flag 18000/745567
90.07/61.02	c  And the winner is solver0
90.22/61.42	c Got one! Elapsed wall clock time (in seconds):61.306
90.22/61.42	o 146
90.39/61.54	c cleaning 6445 clauses out of 12895 with flag 3002/750852
91.02/61.92	c cleaning 6216 clauses out of 12448 with flag 9000/756850
91.73/62.31	c cleaning 6609 clauses out of 13233 with flag 16001/763851
92.63/62.81	c cleaning 7306 clauses out of 14623 with flag 24000/771850
93.53/63.36	c cleaning 8151 clauses out of 16317 with flag 33000/780850
94.77/64.02	c cleaning 9082 clauses out of 18171 with flag 43005/790855
96.07/64.71	c cleaning 10039 clauses out of 20084 with flag 54000/801850
97.38/65.50	c cleaning 11006 clauses out of 22045 with flag 66000/813850
99.28/66.43	c cleaning 12020 clauses out of 24041 with flag 79002/826852
101.13/67.45	c cleaning 13009 clauses out of 26019 with flag 93000/840850
103.23/68.50	c cleaning 14003 clauses out of 28010 with flag 108000/855850
105.33/69.65	c cleaning 14991 clauses out of 30008 with flag 124001/871851
105.49/69.77	c  And the winner is solver1
105.58/70.13	c Got one! Elapsed wall clock time (in seconds):70.014
105.58/70.13	o 142
105.58/70.15	c  And the winner is solver0
105.65/70.63	c Got one! Elapsed wall clock time (in seconds):70.514
105.65/70.63	o 140
105.79/70.78	c  And the winner is solver0
106.04/71.13	c Got one! Elapsed wall clock time (in seconds):71.015
106.04/71.13	o 138
106.37/71.31	c cleaning 10830 clauses out of 21663 with flag 3000/878497
107.01/71.76	c cleaning 8408 clauses out of 16833 with flag 9000/884497
107.31/71.90	c  And the winner is solver0
107.44/72.13	c Got one! Elapsed wall clock time (in seconds):72.016
107.44/72.13	o 137
107.77/72.35	c cleaning 7090 clauses out of 14188 with flag 5000/890260
108.46/72.72	c cleaning 6540 clauses out of 13098 with flag 11000/896260
108.60/72.85	c  And the winner is solver0
108.79/73.13	c Got one! Elapsed wall clock time (in seconds):73.017
108.79/73.13	o 135
109.12/73.34	c cleaning 5930 clauses out of 11876 with flag 5002/901578
109.56/73.70	c  And the winner is solver0
109.87/74.13	c Got one! Elapsed wall clock time (in seconds):74.018
109.87/74.13	o 134
109.87/74.19	c cleaning 5747 clauses out of 11498 with flag 1003/907130
110.49/74.57	c cleaning 5864 clauses out of 11749 with flag 7001/913128
111.18/74.98	c cleaning 6437 clauses out of 12887 with flag 14003/920130
112.07/75.48	c cleaning 7214 clauses out of 14449 with flag 22002/928129
112.51/75.72	c  And the winner is solver0
112.67/76.18	c Got one! Elapsed wall clock time (in seconds):76.069
112.67/76.18	o 133
112.90/76.33	c cleaning 6286 clauses out of 12581 with flag 4001/933475
113.59/76.71	c cleaning 6139 clauses out of 12295 with flag 10001/939475
114.28/77.13	c cleaning 6567 clauses out of 13155 with flag 17000/946474
114.98/77.55	c  And the winner is solver0
115.19/77.75	c Got one! Elapsed wall clock time (in seconds):77.634
115.19/77.75	o 131
115.49/77.98	c cleaning 9387 clauses out of 18782 with flag 5000/958668
116.33/78.46	c cleaning 7691 clauses out of 15395 with flag 11000/964668
117.04/78.88	c cleaning 7343 clauses out of 14707 with flag 18003/971671
117.74/79.24	c  And the winner is solver0
117.88/79.35	c Got one! Elapsed wall clock time (in seconds):79.235
117.88/79.35	o 129
118.22/79.57	c cleaning 9073 clauses out of 18168 with flag 5002/982475
118.72/79.81	c  And the winner is solver0
118.84/79.95	c Got one! Elapsed wall clock time (in seconds):79.836
118.84/79.95	o 127
118.98/80.06	c cleaning 7309 clauses out of 14651 with flag 2001/988031
119.25/80.27	c  And the winner is solver0
119.48/80.45	c Got one! Elapsed wall clock time (in seconds):80.337
119.48/80.45	o 126
119.80/80.63	c cleaning 6345 clauses out of 12698 with flag 4003/993387
120.49/81.05	c cleaning 6163 clauses out of 12355 with flag 10005/999389
121.38/81.51	c cleaning 6586 clauses out of 13187 with flag 17000/1006384
122.27/82.00	c cleaning 7294 clauses out of 14603 with flag 25002/1014386
123.31/82.64	c cleaning 8146 clauses out of 16308 with flag 34001/1023385
123.60/82.82	c  And the winner is solver0
123.73/82.95	c Got one! Elapsed wall clock time (in seconds):82.838
123.73/82.95	o 124
124.13/83.12	c cleaning 6755 clauses out of 13532 with flag 4001/1028755
124.63/83.47	c cleaning 6383 clauses out of 12779 with flag 10003/1034757
125.32/83.85	c cleaning 6693 clauses out of 13396 with flag 17003/1041757
126.17/84.36	c cleaning 7348 clauses out of 14700 with flag 25000/1049754
127.26/84.96	c cleaning 8176 clauses out of 16352 with flag 34000/1058754
128.56/85.61	c cleaning 9080 clauses out of 18177 with flag 44001/1068755
128.74/85.79	c  And the winner is solver0
129.00/86.09	c Got one! Elapsed wall clock time (in seconds):85.973
129.00/86.09	o 123
129.42/86.37	c cleaning 7525 clauses out of 15075 with flag 5000/1074733
130.26/86.84	c cleaning 6759 clauses out of 13550 with flag 11000/1080733
130.94/87.27	c cleaning 6890 clauses out of 13792 with flag 18001/1087734
132.04/87.80	c cleaning 7448 clauses out of 14902 with flag 26001/1095734
132.93/88.34	c cleaning 8224 clauses out of 16456 with flag 35003/1104736
134.20/89.05	c cleaning 9108 clauses out of 18231 with flag 45002/1114735
135.48/89.74	c cleaning 10062 clauses out of 20123 with flag 56002/1125735
136.96/90.53	c cleaning 11029 clauses out of 22060 with flag 68001/1137734
138.65/91.41	c cleaning 12002 clauses out of 24030 with flag 81000/1150733
140.71/92.57	c cleaning 13014 clauses out of 26030 with flag 95002/1164735
142.79/93.67	c cleaning 14004 clauses out of 28015 with flag 110001/1179734
144.49/94.54	c  And the winner is solver0
144.82/94.84	c Got one! Elapsed wall clock time (in seconds):94.731
144.82/94.84	o 122
145.55/95.25	c cleaning 16212 clauses out of 32436 with flag 5000/1198159
146.43/95.76	c cleaning 11106 clauses out of 22224 with flag 11000/1204159
147.45/96.31	c cleaning 9053 clauses out of 18122 with flag 18004/1211163
148.36/96.81	c cleaning 8527 clauses out of 17065 with flag 26000/1219159
149.04/97.22	c  And the winner is solver0
149.21/97.46	c Got one! Elapsed wall clock time (in seconds):97.348
149.21/97.46	o 118
149.68/97.74	c cleaning 9583 clauses out of 19185 with flag 5002/1229806
150.36/98.13	c cleaning 7795 clauses out of 15604 with flag 11004/1235808
151.00/98.57	c cleaning 7393 clauses out of 14805 with flag 18000/1242804
151.90/99.02	c cleaning 7695 clauses out of 15416 with flag 26004/1250808
152.77/99.51	c cleaning 8348 clauses out of 16718 with flag 35001/1259805
153.06/99.74	c  And the winner is solver0
153.28/99.96	c Got one! Elapsed wall clock time (in seconds):99.849
153.28/99.96	o 117
153.39/100.07	c cleaning 6766 clauses out of 13544 with flag 2000/1264979
154.27/100.52	c cleaning 6379 clauses out of 12778 with flag 8000/1270979
154.96/100.98	c cleaning 6694 clauses out of 13400 with flag 15001/1277980
155.46/101.22	c  And the winner is solver0
155.61/101.46	c Got one! Elapsed wall clock time (in seconds):101.35
155.61/101.46	o 115
155.68/101.59	c cleaning 6263 clauses out of 12545 with flag 3000/1283819
156.36/101.94	c cleaning 6132 clauses out of 12282 with flag 9000/1289819
157.18/102.45	c cleaning 6569 clauses out of 13152 with flag 16002/1296821
158.06/102.94	c cleaning 7288 clauses out of 14581 with flag 24000/1304819
159.14/103.58	c cleaning 8130 clauses out of 16293 with flag 33000/1313819
160.03/104.06	c  And the winner is solver0
160.28/104.21	c Got one! Elapsed wall clock time (in seconds):104.094
160.28/104.21	o 113
160.68/104.48	c cleaning 9613 clauses out of 19247 with flag 5003/1324903
161.69/105.01	c cleaning 7805 clauses out of 15632 with flag 11001/1330901
162.58/105.52	c cleaning 7409 clauses out of 14826 with flag 18000/1337900
163.45/106.04	c cleaning 7701 clauses out of 15420 with flag 26003/1345903
164.55/106.68	c cleaning 8358 clauses out of 16717 with flag 35001/1354901
165.98/107.42	c cleaning 9176 clauses out of 18359 with flag 45001/1364901
167.46/108.22	c cleaning 10091 clauses out of 20183 with flag 56001/1375901
169.14/109.14	c cleaning 11035 clauses out of 22091 with flag 68000/1387900
171.03/110.17	c cleaning 12023 clauses out of 24057 with flag 81001/1400901
173.08/111.28	c cleaning 13004 clauses out of 26033 with flag 95000/1414900
175.36/112.40	c cleaning 14004 clauses out of 28031 with flag 110002/1429902
177.84/113.73	c cleaning 15004 clauses out of 30026 with flag 126001/1445901
178.72/114.23	c  And the winner is solver0
179.15/114.63	c Got one! Elapsed wall clock time (in seconds):114.52
179.15/114.63	o 107
179.70/114.99	c cleaning 13262 clauses out of 26544 with flag 5000/1457423
180.33/115.35	c  And the winner is solver0
180.69/115.66	c Got one! Elapsed wall clock time (in seconds):115.552
180.69/115.66	o 106
180.79/115.74	c cleaning 9477 clauses out of 18959 with flag 1004/1463100
181.27/116.07	c  And the winner is solver0
181.54/116.22	c Got one! Elapsed wall clock time (in seconds):116.103
181.54/116.22	o 105
181.54/116.28	c cleaning 7513 clauses out of 15045 with flag 1000/1468663
182.20/116.65	c cleaning 6754 clauses out of 13532 with flag 7000/1474663
182.87/117.09	c cleaning 6879 clauses out of 13778 with flag 14000/1481663
183.89/117.67	c cleaning 7445 clauses out of 14899 with flag 22000/1489663
184.95/118.27	c cleaning 8222 clauses out of 16457 with flag 31003/1498666
186.22/118.94	c cleaning 9106 clauses out of 18233 with flag 41001/1508664
187.50/119.65	c cleaning 10059 clauses out of 20129 with flag 52003/1519666
188.97/120.47	c cleaning 11027 clauses out of 22069 with flag 64002/1531665
191.08/121.55	c cleaning 12019 clauses out of 24041 with flag 77001/1544664
192.96/122.54	c cleaning 13005 clauses out of 26022 with flag 91001/1558664
195.05/123.63	c cleaning 14001 clauses out of 28018 with flag 106002/1573665
197.68/125.01	c cleaning 15003 clauses out of 30016 with flag 122001/1589664
200.39/126.43	c cleaning 15996 clauses out of 32012 with flag 139000/1606663
203.06/127.89	c cleaning 17006 clauses out of 34016 with flag 157000/1624663
205.93/129.37	c cleaning 17995 clauses out of 36010 with flag 176000/1643663
210.16/131.52	c cleaning 18999 clauses out of 38015 with flag 196000/1663663
213.64/133.37	c cleaning 19996 clauses out of 40017 with flag 217001/1684664
216.11/134.62	c  And the winner is solver0
216.23/134.75	c Got one! Elapsed wall clock time (in seconds):134.639
216.23/134.75	o 104
216.96/135.19	c cleaning 20359 clauses out of 40737 with flag 5000/1705380
217.84/135.66	c cleaning 13183 clauses out of 26379 with flag 11001/1711381
218.66/136.16	c cleaning 10089 clauses out of 20195 with flag 18000/1718380
219.54/136.62	c cleaning 9036 clauses out of 18108 with flag 26002/1726382
220.42/137.13	c cleaning 9030 clauses out of 18077 with flag 35007/1735387
221.30/137.66	c cleaning 9508 clauses out of 19042 with flag 45002/1745382
222.52/138.35	c cleaning 10266 clauses out of 20532 with flag 56000/1756380
223.80/139.07	c cleaning 11125 clauses out of 22266 with flag 68000/1768380
225.47/139.98	c cleaning 12070 clauses out of 24141 with flag 81000/1781380
227.35/140.94	c cleaning 13028 clauses out of 26074 with flag 95003/1795383
229.37/142.10	c cleaning 14010 clauses out of 28043 with flag 110000/1810380
231.64/143.21	c cleaning 15012 clauses out of 30036 with flag 126003/1826383
234.11/144.59	c cleaning 16010 clauses out of 32022 with flag 143001/1843381
236.78/145.97	c cleaning 16993 clauses out of 34015 with flag 161004/1861384
240.40/147.85	c cleaning 18003 clauses out of 36020 with flag 180002/1880382
243.69/149.52	c cleaning 18999 clauses out of 38018 with flag 200003/1900383
247.55/151.51	c cleaning 19999 clauses out of 40016 with flag 221000/1921380
251.61/153.50	c cleaning 21004 clauses out of 42017 with flag 243000/1943380
255.61/155.66	c cleaning 22008 clauses out of 44016 with flag 266003/1966383
260.07/157.92	c cleaning 23001 clauses out of 46006 with flag 290001/1990381
264.75/160.37	c cleaning 23997 clauses out of 48006 with flag 315002/2015382
270.01/163.01	c cleaning 24994 clauses out of 50007 with flag 341000/2041380
276.27/166.25	c cleaning 25998 clauses out of 52013 with flag 368000/2068380
281.36/168.83	c cleaning 27003 clauses out of 54017 with flag 396002/2096382
282.63/169.51	c  And the winner is solver1
282.66/170.00	c Got one! Elapsed wall clock time (in seconds):169.886
282.66/170.00	o 94
283.66/170.51	c cleaning 19900 clauses out of 39821 with flag 5001/2109189
284.30/170.98	c cleaning 12952 clauses out of 25922 with flag 11002/2115190
285.31/171.52	c cleaning 9969 clauses out of 19969 with flag 18001/2122189
285.76/171.85	c  And the winner is solver0
285.94/172.21	c Got one! Elapsed wall clock time (in seconds):172.098
285.94/172.21	o 92
285.94/172.26	c cleaning 7800 clauses out of 15613 with flag 1002/2127802
286.58/172.66	c cleaning 6898 clauses out of 13811 with flag 7000/2133800
287.42/173.12	c cleaning 6943 clauses out of 13915 with flag 14002/2140802
288.39/173.70	c cleaning 7478 clauses out of 14970 with flag 22000/2148800
289.24/174.24	c cleaning 8244 clauses out of 16496 with flag 31004/2157804
290.30/174.85	c cleaning 9121 clauses out of 18251 with flag 41003/2167803
291.54/175.56	c cleaning 10062 clauses out of 20127 with flag 52000/2178800
293.00/176.30	c cleaning 11027 clauses out of 22066 with flag 64001/2190801
294.65/177.22	c cleaning 12011 clauses out of 24040 with flag 77002/2203802
296.70/178.31	c cleaning 13014 clauses out of 26027 with flag 91000/2217800
298.56/179.33	c cleaning 13999 clauses out of 28014 with flag 106001/2232801
300.93/180.67	c cleaning 14999 clauses out of 30014 with flag 122000/2248800
303.60/182.08	c cleaning 16009 clauses out of 32017 with flag 139002/2265802
306.24/183.40	c cleaning 17004 clauses out of 34007 with flag 157001/2283801
308.91/184.88	c cleaning 17991 clauses out of 36003 with flag 176001/2302801
312.07/186.55	c cleaning 18997 clauses out of 38011 with flag 196000/2322800
315.15/188.16	c cleaning 19996 clauses out of 40015 with flag 217001/2343801
315.78/188.55	c  And the winner is solver0
316.15/188.82	c Got one! Elapsed wall clock time (in seconds):188.708
316.15/188.82	o 90
316.32/188.92	c cleaning 12957 clauses out of 25924 with flag 1002/2349706
316.97/189.35	c cleaning 9468 clauses out of 18965 with flag 7000/2355704
317.75/189.86	c cleaning 8240 clauses out of 16499 with flag 14002/2362706
318.04/190.07	c  And the winner is solver0
318.38/190.32	c Got one! Elapsed wall clock time (in seconds):190.209
318.38/190.32	o 88
318.38/190.33	c  And the winner is solver0
417.15/287.75	c Got one! Elapsed wall clock time (in seconds):287.637
417.15/287.75	o 81
417.48/287.93	c cleaning 6923 clauses out of 13877 with flag 4000/2368324
418.12/288.38	c cleaning 6463 clauses out of 12954 with flag 10000/2374324
418.95/288.87	c cleaning 6740 clauses out of 13493 with flag 17002/2381326
420.07/289.57	c cleaning 7374 clauses out of 14752 with flag 25001/2389325
421.30/290.22	c cleaning 8175 clauses out of 16377 with flag 34000/2398324
422.53/290.93	c cleaning 9097 clauses out of 18206 with flag 44004/2408328
423.95/291.76	c cleaning 10038 clauses out of 20106 with flag 55001/2419325
425.51/292.69	c cleaning 11032 clauses out of 22070 with flag 67003/2431327
427.33/293.67	c cleaning 12017 clauses out of 24040 with flag 80005/2444329
429.14/294.69	c cleaning 13007 clauses out of 26018 with flag 94000/2458324
431.16/295.76	c cleaning 13998 clauses out of 28012 with flag 109001/2473325
433.51/297.08	c cleaning 15003 clauses out of 30014 with flag 125001/2489325
436.31/298.57	c cleaning 16003 clauses out of 32010 with flag 142000/2506324
438.93/299.97	c cleaning 17001 clauses out of 34008 with flag 160001/2524325
441.95/301.58	c cleaning 17995 clauses out of 36008 with flag 179002/2543326
445.29/303.36	c cleaning 19005 clauses out of 38012 with flag 199001/2563325
448.50/305.05	c cleaning 19999 clauses out of 40006 with flag 220000/2584324
451.93/306.83	c cleaning 20998 clauses out of 42007 with flag 242000/2606324
455.74/308.83	c cleaning 22003 clauses out of 44011 with flag 265002/2629326
459.87/311.08	c cleaning 23003 clauses out of 46006 with flag 289000/2653324
464.08/313.20	c cleaning 23991 clauses out of 48003 with flag 314000/2678324
468.92/315.78	c cleaning 25001 clauses out of 50012 with flag 340000/2704324
473.91/318.38	c cleaning 26002 clauses out of 52015 with flag 367004/2731328
480.01/321.54	c cleaning 27005 clauses out of 54009 with flag 395000/2759324
485.23/324.26	c cleaning 27988 clauses out of 56004 with flag 424000/2788324
491.26/327.35	c cleaning 29001 clauses out of 58020 with flag 454004/2818328
498.93/331.28	c cleaning 29996 clauses out of 60015 with flag 485000/2849324
506.67/335.29	c cleaning 30997 clauses out of 62020 with flag 517001/2881325
514.31/339.11	c cleaning 32005 clauses out of 64024 with flag 550002/2914326
521.57/342.87	c cleaning 33006 clauses out of 66019 with flag 584002/2948326
530.82/347.53	c cleaning 33992 clauses out of 68012 with flag 619001/2983325
539.75/352.13	c cleaning 35004 clauses out of 70019 with flag 655000/3019324
548.61/356.69	c cleaning 36001 clauses out of 72017 with flag 692002/3056326
558.87/361.86	c cleaning 36998 clauses out of 74015 with flag 730001/3094325
569.72/367.34	c cleaning 38004 clauses out of 76018 with flag 769002/3133326
582.03/373.60	c cleaning 38993 clauses out of 78013 with flag 809001/3173325
592.85/379.13	c cleaning 40001 clauses out of 80019 with flag 850000/3214324
604.70/385.10	c cleaning 41001 clauses out of 82018 with flag 892000/3256324
616.91/391.30	c cleaning 42002 clauses out of 84018 with flag 935001/3299325
629.26/397.61	c cleaning 43008 clauses out of 86017 with flag 979002/3343326
644.32/405.25	c cleaning 43993 clauses out of 88007 with flag 1024000/3388324
651.96/409.17	c  And the winner is solver1
652.13/409.49	c Got one! Elapsed wall clock time (in seconds):409.378
652.13/409.49	o 77
653.94/410.41	c cleaning 36443 clauses out of 72901 with flag 5000/3417211
655.12/411.13	c cleaning 21222 clauses out of 42459 with flag 11001/3423212
656.18/411.83	c cleaning 14095 clauses out of 28237 with flag 18001/3430212
657.18/412.44	c cleaning 11061 clauses out of 22143 with flag 26002/3438213
658.36/413.14	c cleaning 10025 clauses out of 20081 with flag 35001/3447212
659.54/413.82	c cleaning 10020 clauses out of 20056 with flag 45001/3457212
660.82/414.67	c cleaning 10513 clauses out of 21037 with flag 56002/3468213
662.41/415.58	c cleaning 11249 clauses out of 22525 with flag 68003/3480214
664.18/416.51	c cleaning 12127 clauses out of 24273 with flag 81000/3493211
665.37/417.27	c  And the winner is solver0
665.75/417.57	c Got one! Elapsed wall clock time (in seconds):417.453
665.75/417.57	o 75
666.25/417.86	c cleaning 13891 clauses out of 27786 with flag 5003/3508851
667.30/418.55	c cleaning 9938 clauses out of 19892 with flag 11000/3514848
668.10/419.10	c cleaning 8462 clauses out of 16954 with flag 18000/3521848
669.07/419.67	c cleaning 8235 clauses out of 16493 with flag 26001/3529849
670.26/420.34	c cleaning 8621 clauses out of 17257 with flag 35000/3538848
670.72/420.79	c  And the winner is solver0
671.22/421.21	c Got one! Elapsed wall clock time (in seconds):421.099
671.22/421.21	o 74
671.40/421.33	c cleaning 6912 clauses out of 13841 with flag 3000/3544053
672.18/421.85	c cleaning 6451 clauses out of 12930 with flag 9001/3550054
673.18/422.41	c cleaning 6735 clauses out of 13481 with flag 16003/3557056
674.14/423.02	c cleaning 7365 clauses out of 14746 with flag 24003/3565056
675.38/423.83	c cleaning 8176 clauses out of 16380 with flag 33002/3574055
675.64/424.09	c  And the winner is solver0
676.02/424.57	c Got one! Elapsed wall clock time (in seconds):424.456
676.02/424.57	o 70
676.27/424.77	c cleaning 6858 clauses out of 13722 with flag 5000/3579573
677.08/425.24	c cleaning 6425 clauses out of 12866 with flag 11002/3585575
678.06/425.80	c cleaning 6718 clauses out of 13441 with flag 18002/3592575
679.12/426.55	c cleaning 7354 clauses out of 14721 with flag 26000/3600573
680.31/427.21	c cleaning 8184 clauses out of 16368 with flag 35001/3609574
681.50/427.91	c cleaning 9076 clauses out of 18185 with flag 45002/3619575
681.87/428.25	c  And the winner is solver0
682.28/428.65	c Got one! Elapsed wall clock time (in seconds):428.535
682.28/428.65	o 69
682.37/428.78	c cleaning 7342 clauses out of 14704 with flag 3000/3625170
683.24/429.39	c cleaning 6675 clauses out of 13363 with flag 9001/3631171
684.22/429.92	c cleaning 6830 clauses out of 13687 with flag 16000/3638170
685.21/430.53	c cleaning 7420 clauses out of 14857 with flag 24000/3646170
686.41/431.24	c cleaning 8206 clauses out of 16437 with flag 33000/3655170
687.77/432.01	c cleaning 9103 clauses out of 18231 with flag 43000/3665170
688.96/432.79	c cleaning 10047 clauses out of 20128 with flag 54000/3676170
690.54/433.68	c cleaning 11038 clauses out of 22081 with flag 66000/3688170
692.52/434.72	c cleaning 12017 clauses out of 24043 with flag 79000/3701170
693.96/435.62	c  And the winner is solver0
694.28/436.10	c Got one! Elapsed wall clock time (in seconds):435.99
694.28/436.10	o 67
694.88/436.42	c cleaning 13472 clauses out of 26965 with flag 5000/3716109
695.67/436.95	c cleaning 9731 clauses out of 19493 with flag 11000/3722109
696.45/437.46	c cleaning 8365 clauses out of 16762 with flag 18000/3729109
697.23/437.90	c  And the winner is solver0
697.64/438.35	c Got one! Elapsed wall clock time (in seconds):438.236
697.64/438.35	o 65
698.14/438.65	c cleaning 9285 clauses out of 18605 with flag 5003/3739317
698.92/439.16	c cleaning 7654 clauses out of 15319 with flag 11002/3745316
699.69/439.68	c cleaning 7328 clauses out of 14664 with flag 18001/3752315
700.68/440.25	c cleaning 7659 clauses out of 15335 with flag 26000/3760314
701.86/440.94	c cleaning 8328 clauses out of 16677 with flag 35001/3769315
703.32/441.88	c cleaning 9169 clauses out of 18349 with flag 45001/3779315
704.89/442.78	c cleaning 10089 clauses out of 20184 with flag 56005/3790319
706.66/443.72	c cleaning 11033 clauses out of 22090 with flag 68000/3802314
708.24/444.68	c cleaning 12023 clauses out of 24058 with flag 81001/3815315
710.48/445.93	c cleaning 13014 clauses out of 26034 with flag 95000/3829314
712.07/446.86	c  And the winner is solver0
712.54/447.23	c Got one! Elapsed wall clock time (in seconds):447.112
712.54/447.23	o 64
713.13/447.58	c cleaning 15445 clauses out of 30901 with flag 5001/3847195
714.11/448.15	c cleaning 10713 clauses out of 21459 with flag 11004/3853198
714.90/448.68	c cleaning 8861 clauses out of 17742 with flag 18000/3860194
715.74/449.28	c  And the winner is solver0
716.23/449.61	c Got one! Elapsed wall clock time (in seconds):449.499
716.23/449.61	o 62
716.81/449.91	c cleaning 9635 clauses out of 19298 with flag 5002/3870611
717.57/450.42	c cleaning 7814 clauses out of 15663 with flag 11002/3876611
718.38/450.93	c cleaning 7416 clauses out of 14847 with flag 18000/3883609
719.33/451.50	c cleaning 7716 clauses out of 15431 with flag 26000/3891609
720.44/452.29	c cleaning 8352 clauses out of 16717 with flag 35002/3900611
721.83/453.10	c cleaning 9182 clauses out of 18366 with flag 45003/3910612
723.40/453.97	c cleaning 10086 clauses out of 20182 with flag 56001/3921610
725.17/454.94	c cleaning 11042 clauses out of 22095 with flag 68000/3933609
727.14/456.00	c cleaning 12027 clauses out of 24054 with flag 81001/3946610
729.32/457.26	c cleaning 13014 clauses out of 26029 with flag 95003/3960612
731.71/458.54	c cleaning 14006 clauses out of 28014 with flag 110002/3975611
732.28/458.99	c  And the winner is solver0
732.68/459.28	c Got one! Elapsed wall clock time (in seconds):459.171
732.68/459.28	o 61
732.76/459.37	c cleaning 9534 clauses out of 19089 with flag 1001/3980692
733.65/459.97	c cleaning 7769 clauses out of 15559 with flag 7005/3986696
734.63/460.51	c cleaning 7382 clauses out of 14785 with flag 14000/3993691
735.39/461.06	c cleaning 7702 clauses out of 15403 with flag 22000/4001691
736.57/461.72	c cleaning 8344 clauses out of 16701 with flag 31000/4010691
737.74/462.41	c cleaning 9176 clauses out of 18357 with flag 41000/4020691
738.92/463.15	c cleaning 10087 clauses out of 20181 with flag 52000/4031691
740.69/464.14	c cleaning 11041 clauses out of 22094 with flag 64000/4043691
742.87/465.37	c cleaning 12026 clauses out of 24053 with flag 77000/4056691
744.44/466.22	c  And the winner is solver0
744.74/466.62	c Got one! Elapsed wall clock time (in seconds):466.511
744.74/466.62	o 59
745.28/466.93	c cleaning 14142 clauses out of 28292 with flag 5006/4072956
746.07/467.43	c cleaning 10064 clauses out of 20147 with flag 11003/4078953
746.82/467.98	c cleaning 8531 clauses out of 17082 with flag 18002/4085952
748.00/468.61	c  And the winner is solver0
748.30/468.92	c Got one! Elapsed wall clock time (in seconds):468.807
748.30/468.92	o 57
748.86/469.24	c cleaning 10746 clauses out of 21519 with flag 5002/4098920
749.65/469.78	c cleaning 8382 clauses out of 16777 with flag 11006/4104924
750.61/470.31	c cleaning 7684 clauses out of 15389 with flag 18000/4111918
751.42/470.87	c cleaning 7850 clauses out of 15713 with flag 26008/4119926
752.38/471.47	c cleaning 8420 clauses out of 16855 with flag 35000/4128918
753.76/472.27	c cleaning 9219 clauses out of 18437 with flag 45002/4138920
755.53/473.22	c cleaning 10103 clauses out of 20217 with flag 56001/4149919
757.31/474.23	c cleaning 11052 clauses out of 22113 with flag 68000/4161918
759.29/475.32	c cleaning 12027 clauses out of 24062 with flag 81001/4174919
761.65/476.63	c cleaning 13009 clauses out of 26036 with flag 95002/4188920
764.05/477.92	c cleaning 14005 clauses out of 28025 with flag 110000/4203918
766.62/479.33	c cleaning 15006 clauses out of 30020 with flag 126000/4219918
769.40/480.82	c cleaning 16001 clauses out of 32014 with flag 143000/4236918
772.37/482.40	c cleaning 17007 clauses out of 34013 with flag 161000/4254918
775.35/484.08	c cleaning 17997 clauses out of 36007 with flag 180001/4273919
779.10/486.08	c cleaning 19004 clauses out of 38011 with flag 200002/4293920
782.88/488.03	c cleaning 19997 clauses out of 40006 with flag 221001/4314919
786.74/490.15	c cleaning 21000 clauses out of 42010 with flag 243002/4336920
790.91/492.37	c cleaning 22000 clauses out of 44008 with flag 266000/4359918
796.09/495.04	c cleaning 23001 clauses out of 46010 with flag 290002/4383920
800.64/497.44	c cleaning 24002 clauses out of 48008 with flag 315001/4408919
806.91/500.70	c cleaning 25002 clauses out of 50007 with flag 341002/4434920
813.33/504.02	c cleaning 25996 clauses out of 52004 with flag 368001/4461919
819.93/507.46	c cleaning 27004 clauses out of 54007 with flag 396000/4489918
826.72/510.96	c cleaning 27999 clauses out of 56003 with flag 425000/4518918
835.02/515.21	c cleaning 28996 clauses out of 58004 with flag 455000/4548918
842.02/518.86	c cleaning 29999 clauses out of 60010 with flag 486002/4579920
848.61/522.26	c cleaning 31000 clauses out of 62012 with flag 518003/4611921
855.38/525.77	c cleaning 32007 clauses out of 64013 with flag 551004/4644922
863.63/530.05	c cleaning 32998 clauses out of 66002 with flag 585000/4678918
871.78/534.27	c cleaning 34003 clauses out of 68005 with flag 620001/4713919
881.34/539.16	c cleaning 34999 clauses out of 70001 with flag 656000/4749918
889.11/543.13	c cleaning 35999 clauses out of 72004 with flag 693002/4786920
897.72/547.62	c cleaning 36998 clauses out of 74004 with flag 731001/4824919
906.70/552.22	c cleaning 37992 clauses out of 76005 with flag 770000/4863918
916.27/557.12	c cleaning 39008 clauses out of 78016 with flag 810003/4903921
926.23/562.26	c cleaning 39999 clauses out of 80006 with flag 851001/4944919
935.66/567.15	c cleaning 41001 clauses out of 82006 with flag 893000/4986918
947.47/573.17	c cleaning 41998 clauses out of 84006 with flag 936001/5029919
960.70/579.82	c cleaning 42997 clauses out of 86008 with flag 980001/5073919
974.91/587.01	c cleaning 44007 clauses out of 88016 with flag 1025006/5118924
989.01/594.25	c cleaning 44997 clauses out of 90004 with flag 1071001/5164919
1005.36/602.65	c cleaning 46001 clauses out of 92006 with flag 1118000/5211918
1016.41/608.29	c  And the winner is solver1
1016.62/608.59	c Got one! Elapsed wall clock time (in seconds):608.482
1016.62/608.59	o 56
1018.85/609.74	c cleaning 46148 clauses out of 92312 with flag 5000/5258225
1020.46/610.70	c cleaning 26078 clauses out of 52164 with flag 11000/5264225
1021.38/611.36	c cleaning 16534 clauses out of 33086 with flag 18000/5271225
1022.52/612.04	c cleaning 12274 clauses out of 24552 with flag 26000/5279225
1023.86/612.82	c cleaning 10638 clauses out of 21278 with flag 35000/5288225
1025.29/613.70	c cleaning 10315 clauses out of 20642 with flag 45002/5298227
1026.41/614.49	c cleaning 10660 clauses out of 21331 with flag 56006/5309231
1028.15/615.45	c cleaning 11332 clauses out of 22666 with flag 68001/5321226
1029.89/616.44	c cleaning 12161 clauses out of 24333 with flag 81000/5334225
1031.90/617.69	c cleaning 13084 clauses out of 26176 with flag 95004/5348229
1034.24/618.92	c cleaning 14045 clauses out of 28091 with flag 110003/5363228
1036.37/620.16	c cleaning 15015 clauses out of 30044 with flag 126001/5379226
1039.10/621.66	c cleaning 16014 clauses out of 32032 with flag 143004/5396229
1041.93/623.27	c cleaning 17006 clauses out of 34015 with flag 161001/5414226
1045.27/625.05	c cleaning 18006 clauses out of 36011 with flag 180003/5433228
1048.60/626.84	c cleaning 18994 clauses out of 38004 with flag 200002/5453227
1052.33/628.86	c cleaning 20000 clauses out of 40012 with flag 221004/5474229
1055.94/630.87	c cleaning 20999 clauses out of 42010 with flag 243002/5496227
1059.87/632.96	c cleaning 21996 clauses out of 44009 with flag 266000/5519225
1064.03/635.19	c cleaning 23006 clauses out of 46017 with flag 290004/5543229
1068.56/637.53	c cleaning 24005 clauses out of 48009 with flag 315002/5568227
1073.75/640.33	c cleaning 24990 clauses out of 50002 with flag 341000/5594225
1078.69/642.95	c cleaning 26001 clauses out of 52013 with flag 368001/5621226
1085.01/646.20	c cleaning 27007 clauses out of 54013 with flag 396002/5649227
1090.36/649.01	c cleaning 27999 clauses out of 56004 with flag 425000/5678225
1096.60/652.34	c cleaning 29000 clauses out of 58007 with flag 455002/5708227
1103.35/655.80	c cleaning 29991 clauses out of 60005 with flag 486000/5739225
1110.13/659.30	c cleaning 31004 clauses out of 62014 with flag 518000/5771225
1118.12/663.45	c cleaning 31996 clauses out of 64013 with flag 551003/5804228
1125.51/667.32	c cleaning 33008 clauses out of 66015 with flag 585001/5838226
1132.28/670.90	c cleaning 33998 clauses out of 68007 with flag 620001/5873226
1140.34/674.98	c cleaning 34996 clauses out of 70008 with flag 656000/5909225
1150.13/679.94	c cleaning 36007 clauses out of 72015 with flag 693003/5946228
1160.60/685.36	c cleaning 37001 clauses out of 74005 with flag 731000/5984225
1170.18/690.29	c cleaning 37995 clauses out of 76004 with flag 770000/6023225
1181.97/696.22	c cleaning 38997 clauses out of 78010 with flag 810001/6063226
1190.51/700.64	c cleaning 39995 clauses out of 80016 with flag 851004/6104229
1200.90/706.06	c cleaning 41007 clauses out of 82018 with flag 893001/6146226
1211.70/711.50	c cleaning 42004 clauses out of 84011 with flag 936001/6189226
1223.50/717.56	c cleaning 42999 clauses out of 86006 with flag 980000/6233225
1237.67/724.72	c cleaning 44002 clauses out of 88009 with flag 1025002/6278227
1248.30/730.29	c cleaning 44999 clauses out of 90006 with flag 1071001/6324226
1263.68/738.04	c cleaning 45999 clauses out of 92009 with flag 1118003/6371228
1277.64/745.11	c cleaning 47001 clauses out of 94008 with flag 1166001/6419226
1296.88/754.88	c cleaning 47993 clauses out of 96006 with flag 1215000/6468225
1298.05/755.68	c  And the winner is solver1
1298.23/755.89	c Got one! Elapsed wall clock time (in seconds):755.776
1298.23/755.89	o 54
1299.04/756.35	c cleaning 26946 clauses out of 53897 with flag 2001/6474109
1300.34/757.11	c cleaning 16470 clauses out of 32950 with flag 8000/6480108
1301.23/757.78	c cleaning 11737 clauses out of 23482 with flag 15002/6487110
1302.53/758.51	c cleaning 9866 clauses out of 19745 with flag 23002/6495110
1303.72/759.33	c cleaning 9437 clauses out of 18878 with flag 32001/6504109
1304.83/760.08	c cleaning 9719 clauses out of 19442 with flag 42002/6514110
1306.30/760.93	c cleaning 10356 clauses out of 20721 with flag 53000/6525108
1308.00/761.93	c cleaning 11177 clauses out of 22365 with flag 65000/6537108
1309.83/763.08	c cleaning 12092 clauses out of 24189 with flag 78001/6550109
1311.73/764.19	c cleaning 13038 clauses out of 26096 with flag 92000/6564108
1314.43/765.61	c cleaning 14026 clauses out of 28058 with flag 107000/6579108
1316.54/766.88	c cleaning 15013 clauses out of 30034 with flag 123002/6595110
1319.04/768.22	c cleaning 16005 clauses out of 32021 with flag 140002/6612110
1321.54/769.62	c cleaning 17000 clauses out of 34014 with flag 158000/6630108
1324.63/771.35	c cleaning 18001 clauses out of 36014 with flag 177000/6649108
1327.72/773.06	c cleaning 19002 clauses out of 38013 with flag 197000/6669108
1331.07/774.91	c cleaning 20004 clauses out of 40012 with flag 218001/6690109
1334.57/776.89	c cleaning 21004 clauses out of 42007 with flag 240000/6712108
1338.65/779.03	c cleaning 21998 clauses out of 44005 with flag 263002/6735110
1342.94/781.34	c cleaning 23004 clauses out of 46008 with flag 287003/6759111
1347.68/783.91	c cleaning 23994 clauses out of 48002 with flag 312001/6784109
1352.18/786.40	c cleaning 25004 clauses out of 50007 with flag 338000/6810108
1357.47/789.19	c cleaning 26001 clauses out of 52004 with flag 365001/6837109
1362.37/791.71	c cleaning 26997 clauses out of 54002 with flag 393000/6865108
1368.52/795.05	c cleaning 28000 clauses out of 56005 with flag 422000/6894108
1373.82/797.85	c cleaning 29003 clauses out of 58008 with flag 452003/6924111
1380.32/801.23	c cleaning 29998 clauses out of 60002 with flag 483000/6955108
1387.00/804.71	c cleaning 30994 clauses out of 62004 with flag 515000/6987108
1394.55/808.78	c cleaning 31995 clauses out of 64011 with flag 548001/7020109
1402.66/812.91	c cleaning 33001 clauses out of 66016 with flag 582001/7054109
1410.96/817.24	c cleaning 34001 clauses out of 68014 with flag 617000/7089108
1419.24/821.53	c cleaning 35010 clauses out of 70021 with flag 653008/7125116
1429.38/826.86	c cleaning 35999 clauses out of 72005 with flag 690002/7162110
1439.07/831.81	c cleaning 36999 clauses out of 74004 with flag 728000/7200108
1450.16/837.54	c cleaning 38001 clauses out of 76007 with flag 767002/7239110
1460.27/842.75	c cleaning 39004 clauses out of 78007 with flag 807003/7279111
1470.81/848.28	c cleaning 39995 clauses out of 80000 with flag 848000/7320108
1482.90/854.41	c cleaning 41000 clauses out of 82005 with flag 890000/7362108
1495.19/860.74	c cleaning 41995 clauses out of 84005 with flag 933000/7405108
1507.27/866.99	c cleaning 43005 clauses out of 86010 with flag 977000/7449108
1521.59/874.31	c cleaning 44003 clauses out of 88005 with flag 1022000/7494108
1536.48/881.96	c cleaning 44999 clauses out of 90002 with flag 1068000/7540108
1551.56/889.64	c cleaning 46000 clauses out of 92003 with flag 1115000/7587108
1564.29/896.12	c cleaning 46994 clauses out of 94005 with flag 1163002/7635110
1577.45/903.00	c cleaning 47997 clauses out of 96009 with flag 1212000/7684108
1592.82/910.79	c cleaning 49003 clauses out of 98015 with flag 1262003/7734111
1607.52/918.23	c cleaning 50004 clauses out of 100011 with flag 1313002/7785110
1624.03/926.62	c cleaning 51001 clauses out of 102005 with flag 1365000/7837108
1642.19/935.94	c cleaning 51999 clauses out of 104004 with flag 1418000/7890108
1659.17/944.55	c cleaning 53003 clauses out of 106006 with flag 1472001/7944109
1677.52/953.84	c cleaning 53996 clauses out of 108002 with flag 1527000/7999108
1696.30/963.35	c cleaning 55000 clauses out of 110006 with flag 1583000/8055108
1713.05/971.98	c cleaning 55997 clauses out of 112008 with flag 1640002/8112110
1730.57/980.81	c cleaning 56992 clauses out of 114010 with flag 1698001/8170109
1750.74/991.05	c cleaning 58008 clauses out of 116017 with flag 1757000/8229108
1771.44/1001.53	c cleaning 59003 clauses out of 118009 with flag 1817000/8289108
1790.39/1011.26	c cleaning 59996 clauses out of 120006 with flag 1878000/8350108
1800.05/1016.21	c starts		: 134
1800.05/1016.21	c conflicts		: 8637
1800.05/1016.21	c decisions		: 28212
1800.05/1016.21	c propagations		: 135053
1800.05/1016.21	c inspects		: 234186286
1800.05/1016.21	c shortcuts		: 0
1800.05/1016.21	c learnt literals	: 0
1800.05/1016.21	c learnt binary clauses	: 0
1800.05/1016.21	c learnt ternary clauses	: 0
1800.05/1016.21	c learnt constraints	: 8574
1800.05/1016.21	c ignored constraints	: 0
1800.05/1016.21	c root simplifications	: 0
1800.05/1016.21	c removed literals (reason simplification)	: 0
1800.05/1016.21	c reason swapping (by a shorter reason)	: 0
1800.05/1016.21	c Calls to reduceDB	: 0
1800.05/1016.21	c number of reductions to clauses (during analyze)	: 0
1800.05/1016.21	c number of learned constraints concerned by reduction	: 0
1800.05/1016.21	c number of learning phase by resolution	: 0
1800.05/1016.21	c number of learning phase by cutting planes	: 0
1800.05/1016.21	c speed (assignments/second)	: 246.84843422425877
1800.05/1016.21	c non guided choices	2080
1800.05/1016.21	c learnt constraints type 
1800.05/1016.21	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7
1800.05/1016.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8567
1800.05/1016.21	c constraints type 
1800.05/1016.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15
1800.05/1016.21	c 15 constraints processed.
1800.05/1016.21	c constraints type 
1800.05/1016.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15
1800.05/1016.21	c 15 constraints processed.
1800.05/1016.21	s SATISFIABLE
1800.05/1016.22	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 
1800.05/1016.22	c objective function=54
1800.05/1016.22	c Total wall clock time (in seconds): 1016.102

Verifier Data 

OK	54

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-3688254-1337876631/watcher-3688254-1337876631 -o /tmp/evaluation-result-3688254-1337876631/solver-3688254-1337876631 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688254-1337876631.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: 4.09 4.00 3.88 4/197 31815
/proc/meminfo: memFree=28845004/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/31815/stat : 31815 (java) D 31813 31815 30487 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 253788568 9515008 175 33554432000 1073741824 1073778376 140735882482384 140735882465112 214537421712 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/31815/statm: 2323 175 133 9 0 71 0

[startup+0.086199 s]
/proc/loadavg: 4.09 4.00 3.88 4/197 31815
/proc/meminfo: memFree=28845004/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 3877 0 1 0 6 0 0 0 20 0 18 0 253788568 9787813888 4569 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2389603 4569 2001 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100217 s]
/proc/loadavg: 4.09 4.00 3.88 4/197 31815
/proc/meminfo: memFree=28845004/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 4376 0 1 0 8 0 0 0 20 0 18 0 253788568 9787813888 5055 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2389603 5055 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300173 s]
/proc/loadavg: 4.09 4.00 3.88 4/197 31815
/proc/meminfo: memFree=28845004/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9824668 CPUtime=0.6 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 9815 0 1 0 57 3 0 0 20 0 19 0 253788568 10060460032 9506 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2456167 9539 2225 9 0 2446860 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9824668

[startup+0.700131 s]
/proc/loadavg: 4.09 4.00 3.88 4/197 31815
/proc/meminfo: memFree=28845004/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9824668 CPUtime=0.73 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 10497 0 1 0 70 3 0 0 20 0 19 0 253788568 10060460032 10708 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2456167 10708 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 9824668

[startup+1.50062 s]
/proc/loadavg: 4.09 4.00 3.88 3/216 31840
/proc/meminfo: memFree=28807196/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 14852 0 1 0 108 6 0 0 20 0 19 0 253788568 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2456167 13868 2236 9 0 2446860 0
[pid=31815/tid=31817] ppid=31813 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/31815/task/31817/stat : 31817 (java) S 31813 31815 30487 0 -1 4202560 2499 0 1 0 14 0 0 0 20 0 19 0 253788569 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064313795576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31818] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31818/stat : 31818 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064157546664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31819] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31819/stat : 31819 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064156494120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31820] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31820/stat : 31820 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064155441576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31821] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31821/stat : 31821 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064154389032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31822] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31822/stat : 31822 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064153336488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31823] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31823/stat : 31823 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064152283944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31824] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31824/stat : 31824 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064151231400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31825] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31825/stat : 31825 (java) S 31813 31815 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064150178856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31826] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31826/stat : 31826 (java) S 31813 31815 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253788571 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064137980008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31827] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31827/stat : 31827 (java) S 31813 31815 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253788572 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064136926328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31828] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31828/stat : 31828 (java) S 31813 31815 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253788572 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064135873672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31829] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31829/stat : 31829 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788574 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064134822416 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31830] ppid=31813 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/31815/task/31830/stat : 31830 (java) S 31813 31815 30487 0 -1 4202560 6362 0 0 0 41 0 0 0 20 0 19 0 253788574 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064133769784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31831] ppid=31813 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/31815/task/31831/stat : 31831 (java) S 31813 31815 30487 0 -1 4202560 4655 0 0 0 29 0 0 0 20 0 19 0 253788574 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064132717240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31832] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31832/stat : 31832 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788574 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064131664888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31833] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31833/stat : 31833 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788574 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064130612552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31836] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31836/stat : 31836 (java) S 31813 31815 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253788586 10060460032 13868 33554432000 1073741824 1073778376 140736032979520 140064127452200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9824668

[startup+3.10053 s]
/proc/loadavg: 4.32 4.05 3.90 7/219 31846
/proc/meminfo: memFree=28748220/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9824668 CPUtime=3.92 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 28083 0 1 0 378 14 0 0 20 0 19 0 253788568 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2456167 36671 2278 9 0 2446860 0
[pid=31815/tid=31817] ppid=31813 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/31815/task/31817/stat : 31817 (java) S 31813 31815 30487 0 -1 4202560 2499 0 1 0 14 0 0 0 20 0 19 0 253788569 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064313795576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31818] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31818/stat : 31818 (java) S 31813 31815 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064157546664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31819] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31819/stat : 31819 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064156494120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31820] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31820/stat : 31820 (java) S 31813 31815 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064155441576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31821] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31821/stat : 31821 (java) S 31813 31815 30487 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064154389032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31822] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31822/stat : 31822 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064153336488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31823] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31823/stat : 31823 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064152283944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31824] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31824/stat : 31824 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064151231400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31825] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31825/stat : 31825 (java) S 31813 31815 30487 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253788570 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064150178856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31826] ppid=31813 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/31815/task/31826/stat : 31826 (java) S 31813 31815 30487 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 253788571 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064137980008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31827] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31827/stat : 31827 (java) S 31813 31815 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253788572 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064136926328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31828] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31828/stat : 31828 (java) S 31813 31815 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253788572 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064135873672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31829] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31829/stat : 31829 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788574 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064134822416 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31830] ppid=31813 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/31815/task/31830/stat : 31830 (java) S 31813 31815 30487 0 -1 4202560 7474 0 0 0 102 1 0 0 20 0 19 0 253788574 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064133769784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31831] ppid=31813 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/31815/task/31831/stat : 31831 (java) S 31813 31815 30487 0 -1 4202560 16656 0 0 0 90 3 0 0 20 0 19 0 253788574 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064132717240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31832] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31832/stat : 31832 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788574 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064131664888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31833] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31833/stat : 31833 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253788574 10060460032 36671 33554432000 1073741824 1073778376 140736032979520 140064130612552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 9824668

[startup+6.30073 s]
/proc/loadavg: 4.32 4.05 3.90 5/219 31864
/proc/meminfo: memFree=28659548/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9824668 CPUtime=6.87 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 28180 0 1 0 664 23 0 0 20 0 22 0 253788568 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2456167 49876 2279 9 0 2446860 0
[pid=31815/tid=31817] ppid=31813 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/31815/task/31817/stat : 31817 (java) S 31813 31815 30487 0 -1 4202560 2500 0 1 0 14 1 0 0 20 0 22 0 253788569 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064313795576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31818] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31818/stat : 31818 (java) S 31813 31815 30487 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253788570 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064157546664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31819] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31819/stat : 31819 (java) S 31813 31815 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253788570 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064156494120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31820] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31820/stat : 31820 (java) S 31813 31815 30487 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253788570 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064155441576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31821] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31821/stat : 31821 (java) S 31813 31815 30487 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253788570 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064154389032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31822] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31822/stat : 31822 (java) S 31813 31815 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253788570 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064153336488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31823] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31823/stat : 31823 (java) S 31813 31815 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253788570 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064152283944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31824] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31824/stat : 31824 (java) S 31813 31815 30487 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253788570 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064151231400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31825] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31825/stat : 31825 (java) S 31813 31815 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253788570 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064150178856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31826] ppid=31813 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/31815/task/31826/stat : 31826 (java) S 31813 31815 30487 0 -1 4202560 35 0 0 0 14 1 0 0 20 0 22 0 253788571 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064137980008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31827] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31827/stat : 31827 (java) S 31813 31815 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253788572 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064136926328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31828] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31828/stat : 31828 (java) S 31813 31815 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253788572 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064135873672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31829] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31829/stat : 31829 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253788574 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064134822416 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31830] ppid=31813 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/31815/task/31830/stat : 31830 (java) S 31813 31815 30487 0 -1 4202560 7475 0 0 0 103 2 0 0 20 0 22 0 253788574 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064133769784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31831] ppid=31813 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/31815/task/31831/stat : 31831 (java) S 31813 31815 30487 0 -1 4202560 16658 0 0 0 94 3 0 0 20 0 22 0 253788574 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064132717240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31832] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31832/stat : 31832 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253788574 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064131664888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31833] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31833/stat : 31833 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253788574 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064130612552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31849] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31849/stat : 31849 (java) S 31813 31815 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253788836 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064127452840 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31862] ppid=31813 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/31815/task/31862/stat : 31862 (java) R 31813 31815 30487 0 -1 4202560 5 0 0 0 96 0 0 0 20 0 22 0 253789086 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064128504536 140064253952384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31863] ppid=31813 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/31815/task/31863/stat : 31863 (java) R 31813 31815 30487 0 -1 4202560 14 0 0 0 97 0 0 0 20 0 22 0 253789087 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064126398392 140064253944501 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31864] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31864/stat : 31864 (java) S 31813 31815 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253789087 10060460032 49876 33554432000 1073741824 1073778376 140736032979520 140064129558056 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=31815/tid=32423] ppid=31813 vsize=9824668 CPUtime=111.09 cores=0,2,4,6
/proc/31815/task/32423/stat : 32423 (java) S 31813 31815 30487 0 -1 4202560 16 0 0 0 11108 1 0 0 20 0 22 0 253864157 10060460032 568941 33554432000 1073741824 1073778376 140736032979520 140064129556744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=32424] ppid=31813 vsize=9824668 CPUtime=111.1 cores=0,2,4,6
/proc/31815/task/32424/stat : 32424 (java) S 31813 31815 30487 0 -1 4202560 13 0 0 0 11109 1 0 0 20 0 22 0 253864157 10060460032 568941 33554432000 1073741824 1073778376 140736032979520 140064127449688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=32425] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/32425/stat : 32425 (java) S 31813 31815 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253864157 10060460032 568941 33554432000 1073741824 1073778376 140736032979520 140064126399912 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1536.99
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.92 3.87 3.82 5/219 32425
/proc/meminfo: memFree=23847784/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9824668 CPUtime=1654.71 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 54111 0 1 0 165109 362 0 0 20 0 22 0 253788568 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2456167 659460 2280 9 0 2446860 0
[pid=31815/tid=31817] ppid=31813 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/31815/task/31817/stat : 31817 (java) S 31813 31815 30487 0 -1 4202560 2664 0 1 0 25 4 0 0 20 0 22 0 253788569 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064313795576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31818] ppid=31813 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/31815/task/31818/stat : 31818 (java) S 31813 31815 30487 0 -1 4202560 1341 0 0 0 277 13 0 0 20 0 22 0 253788570 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064157546664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31819] ppid=31813 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/31815/task/31819/stat : 31819 (java) S 31813 31815 30487 0 -1 4202560 1508 0 0 0 299 11 0 0 20 0 22 0 253788570 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064156494120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31820] ppid=31813 vsize=9824668 CPUtime=2.85 cores=0,2,4,6
/proc/31815/task/31820/stat : 31820 (java) S 31813 31815 30487 0 -1 4202560 1357 0 0 0 275 10 0 0 20 0 22 0 253788570 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064155441576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31821] ppid=31813 vsize=9824668 CPUtime=2.95 cores=0,2,4,6
/proc/31815/task/31821/stat : 31821 (java) S 31813 31815 30487 0 -1 4202560 1445 0 0 0 283 12 0 0 20 0 22 0 253788570 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064154389032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31822] ppid=31813 vsize=9824668 CPUtime=3.04 cores=0,2,4,6
/proc/31815/task/31822/stat : 31822 (java) S 31813 31815 30487 0 -1 4202560 1364 0 0 0 293 11 0 0 20 0 22 0 253788570 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064153336488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31823] ppid=31813 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/31815/task/31823/stat : 31823 (java) S 31813 31815 30487 0 -1 4202560 1151 0 0 0 275 12 0 0 20 0 22 0 253788570 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064152283944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31824] ppid=31813 vsize=9824668 CPUtime=3 cores=0,2,4,6
/proc/31815/task/31824/stat : 31824 (java) S 31813 31815 30487 0 -1 4202560 1740 0 0 0 286 14 0 0 20 0 22 0 253788570 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064151231400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31825] ppid=31813 vsize=9824668 CPUtime=2.86 cores=0,2,4,6
/proc/31815/task/31825/stat : 31825 (java) S 31813 31815 30487 0 -1 4202560 779 0 0 0 274 12 0 0 20 0 22 0 253788570 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064150178856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31826] ppid=31813 vsize=9824668 CPUtime=99.39 cores=0,2,4,6
/proc/31815/task/31826/stat : 31826 (java) S 31813 31815 30487 0 -1 4202560 2568 0 0 0 9901 38 0 0 20 0 22 0 253788571 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064137980008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31827] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31827/stat : 31827 (java) S 31813 31815 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253788572 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064136926328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31828] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31828/stat : 31828 (java) S 31813 31815 30487 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 22 0 253788572 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064135873672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31829] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31829/stat : 31829 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253788574 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064134822416 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31830] ppid=31813 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/31815/task/31830/stat : 31830 (java) S 31813 31815 30487 0 -1 4202560 8525 0 0 0 142 2 0 0 20 0 22 0 253788574 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064133769784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31831] ppid=31813 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/31815/task/31831/stat : 31831 (java) S 31813 31815 30487 0 -1 4202560 18103 0 0 0 129 4 0 0 20 0 22 0 253788574 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064132717240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31832] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31832/stat : 31832 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253788574 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064131664888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31833] ppid=31813 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/31815/task/31833/stat : 31833 (java) S 31813 31815 30487 0 -1 4202560 55 0 0 0 15 13 0 0 20 0 22 0 253788574 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064130612552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=32418] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/32418/stat : 32418 (java) S 31813 31815 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253835479 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064128505512 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=32423] ppid=31813 vsize=9824668 CPUtime=167.87 cores=0,2,4,6
/proc/31815/task/32423/stat : 32423 (java) R 31813 31815 30487 0 -1 4202560 17 0 0 0 16785 2 0 0 20 0 22 0 253864157 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064129555984 140064253952539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=32424] ppid=31813 vsize=9824668 CPUtime=167.86 cores=0,2,4,6
/proc/31815/task/32424/stat : 32424 (java) R 31813 31815 30487 0 -1 4202560 1142 0 0 0 16781 5 0 0 20 0 22 0 253864157 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064127451856 140064254154878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=32425] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/32425/stat : 32425 (java) S 31813 31815 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253864157 10060460032 659460 33554432000 1073741824 1073778376 140736032979520 140064126399912 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1654.71
Current children cumulated vsize (KiB) 9824668

[startup+1002.3 s]
/proc/loadavg: 4.39 3.99 3.86 4/220 32428
/proc/meminfo: memFree=23386300/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9824668 CPUtime=1772.53 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 54869 0 1 0 176867 386 0 0 20 0 22 0 253788568 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2456167 774433 2280 9 0 2446860 0
[pid=31815/tid=31817] ppid=31813 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/31815/task/31817/stat : 31817 (java) S 31813 31815 30487 0 -1 4202560 2666 0 1 0 25 4 0 0 20 0 22 0 253788569 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064313795576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31818] ppid=31813 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/31815/task/31818/stat : 31818 (java) S 31813 31815 30487 0 -1 4202560 1394 0 0 0 299 15 0 0 20 0 22 0 253788570 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064157546664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31819] ppid=31813 vsize=9824668 CPUtime=3.3 cores=0,2,4,6
/proc/31815/task/31819/stat : 31819 (java) S 31813 31815 30487 0 -1 4202560 1545 0 0 0 317 13 0 0 20 0 22 0 253788570 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064156494120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31820] ppid=31813 vsize=9824668 CPUtime=3.07 cores=0,2,4,6
/proc/31815/task/31820/stat : 31820 (java) S 31813 31815 30487 0 -1 4202560 1417 0 0 0 294 13 0 0 20 0 22 0 253788570 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064155441576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31821] ppid=31813 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/31815/task/31821/stat : 31821 (java) S 31813 31815 30487 0 -1 4202560 1475 0 0 0 297 13 0 0 20 0 22 0 253788570 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064154389032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31822] ppid=31813 vsize=9824668 CPUtime=3.26 cores=0,2,4,6
/proc/31815/task/31822/stat : 31822 (java) S 31813 31815 30487 0 -1 4202560 1400 0 0 0 314 12 0 0 20 0 22 0 253788570 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064153336488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31823] ppid=31813 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/31815/task/31823/stat : 31823 (java) S 31813 31815 30487 0 -1 4202560 1192 0 0 0 296 14 0 0 20 0 22 0 253788570 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064152283944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31824] ppid=31813 vsize=9824668 CPUtime=3.21 cores=0,2,4,6
/proc/31815/task/31824/stat : 31824 (java) S 31813 31815 30487 0 -1 4202560 1784 0 0 0 305 16 0 0 20 0 22 0 253788570 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064151231400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31825] ppid=31813 vsize=9824668 CPUtime=3.09 cores=0,2,4,6
/proc/31815/task/31825/stat : 31825 (java) S 31813 31815 30487 0 -1 4202560 853 0 0 0 295 14 0 0 20 0 22 0 253788570 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064150178856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31826] ppid=31813 vsize=9824668 CPUtime=102.33 cores=0,2,4,6
/proc/31815/task/31826/stat : 31826 (java) S 31813 31815 30487 0 -1 4202560 2809 0 0 0 10194 39 0 0 20 0 22 0 253788571 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064137980008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31827] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31827/stat : 31827 (java) S 31813 31815 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253788572 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064136926328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31828] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31828/stat : 31828 (java) S 31813 31815 30487 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 22 0 253788572 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064135873672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31829] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31829/stat : 31829 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253788574 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064134822416 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31830] ppid=31813 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/31815/task/31830/stat : 31830 (java) S 31813 31815 30487 0 -1 4202560 8525 0 0 0 142 2 0 0 20 0 22 0 253788574 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064133769784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31831] ppid=31813 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/31815/task/31831/stat : 31831 (java) S 31813 31815 30487 0 -1 4202560 18103 0 0 0 129 4 0 0 20 0 22 0 253788574 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064132717240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31832] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31832/stat : 31832 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253788574 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064131664888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31833] ppid=31813 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/31815/task/31833/stat : 31833 (java) S 31813 31815 30487 0 -1 4202560 59 0 0 0 16 14 0 0 20 0 22 0 253788574 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064130612552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=32418] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/32418/stat : 32418 (java) S 31813 31815 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253835479 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064128505512 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=32423] ppid=31813 vsize=9824668 CPUtime=224.46 cores=0,2,4,6
/proc/31815/task/32423/stat : 32423 (java) R 31813 31815 30487 0 -1 4202560 23 0 0 0 22443 3 0 0 20 0 22 0 253864157 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064129557064 140064253965953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=32424] ppid=31813 vsize=9824668 CPUtime=224.46 cores=0,2,4,6
/proc/31815/task/32424/stat : 32424 (java) R 31813 31815 30487 0 -1 4202560 1272 0 0 0 22435 11 0 0 20 0 22 0 253864157 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064127451944 140064253983259 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=32425] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/32425/stat : 32425 (java) S 31813 31815 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253864157 10060460032 774433 33554432000 1073741824 1073778376 140736032979520 140064126399912 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1772.53
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1016.2 s]
/proc/loadavg: 4.24 3.97 3.85 5/220 32428
/proc/meminfo: memFree=23274280/32873648 swapFree=7104/7104
[pid=31815] ppid=31813 vsize=9824668 CPUtime=1800.05 cores=0,2,4,6
/proc/31815/stat : 31815 (java) S 31813 31815 30487 0 -1 4202496 54935 0 1 0 179615 390 0 0 20 0 22 0 253788568 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140736032970656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31815/statm: 2456167 791024 2280 9 0 2446860 0
[pid=31815/tid=31817] ppid=31813 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/31815/task/31817/stat : 31817 (java) S 31813 31815 30487 0 -1 4202560 2666 0 1 0 25 4 0 0 20 0 22 0 253788569 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064313795576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31818] ppid=31813 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/31815/task/31818/stat : 31818 (java) S 31813 31815 30487 0 -1 4202560 1402 0 0 0 301 16 0 0 20 0 22 0 253788570 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064157546664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31819] ppid=31813 vsize=9824668 CPUtime=3.32 cores=0,2,4,6
/proc/31815/task/31819/stat : 31819 (java) S 31813 31815 30487 0 -1 4202560 1551 0 0 0 318 14 0 0 20 0 22 0 253788570 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064156494120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31820] ppid=31813 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/31815/task/31820/stat : 31820 (java) S 31813 31815 30487 0 -1 4202560 1427 0 0 0 297 13 0 0 20 0 22 0 253788570 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064155441576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31821] ppid=31813 vsize=9824668 CPUtime=3.12 cores=0,2,4,6
/proc/31815/task/31821/stat : 31821 (java) S 31813 31815 30487 0 -1 4202560 1480 0 0 0 299 13 0 0 20 0 22 0 253788570 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064154389032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31822] ppid=31813 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/31815/task/31822/stat : 31822 (java) S 31813 31815 30487 0 -1 4202560 1405 0 0 0 315 12 0 0 20 0 22 0 253788570 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064153336488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31823] ppid=31813 vsize=9824668 CPUtime=3.13 cores=0,2,4,6
/proc/31815/task/31823/stat : 31823 (java) S 31813 31815 30487 0 -1 4202560 1197 0 0 0 299 14 0 0 20 0 22 0 253788570 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064152283944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31824] ppid=31813 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/31815/task/31824/stat : 31824 (java) S 31813 31815 30487 0 -1 4202560 1788 0 0 0 306 17 0 0 20 0 22 0 253788570 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064151231400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31825] ppid=31813 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/31815/task/31825/stat : 31825 (java) S 31813 31815 30487 0 -1 4202560 854 0 0 0 296 14 0 0 20 0 22 0 253788570 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064150178856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31826] ppid=31813 vsize=9824668 CPUtime=102.71 cores=0,2,4,6
/proc/31815/task/31826/stat : 31826 (java) S 31813 31815 30487 0 -1 4202560 2810 0 0 0 10232 39 0 0 20 0 22 0 253788571 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064137980008 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=31827] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31827/stat : 31827 (java) S 31813 31815 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253788572 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064136926328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31828] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31828/stat : 31828 (java) S 31813 31815 30487 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 22 0 253788572 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064135873672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31829] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31829/stat : 31829 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253788574 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064134822416 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=31830] ppid=31813 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/31815/task/31830/stat : 31830 (java) S 31813 31815 30487 0 -1 4202560 8525 0 0 0 142 2 0 0 20 0 22 0 253788574 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064133769784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31831] ppid=31813 vsize=9824668 CPUtime=1.33 cores=0,2,4,6
/proc/31815/task/31831/stat : 31831 (java) S 31813 31815 30487 0 -1 4202560 18103 0 0 0 129 4 0 0 20 0 22 0 253788574 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064132717240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=31832] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/31832/stat : 31832 (java) S 31813 31815 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253788574 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064131664888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=31833] ppid=31813 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/31815/task/31833/stat : 31833 (java) S 31813 31815 30487 0 -1 4202560 59 0 0 0 16 15 0 0 20 0 22 0 253788574 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064130612552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31815/tid=32418] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/32418/stat : 32418 (java) S 31813 31815 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253835479 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064128505512 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31815/tid=32423] ppid=31813 vsize=9824668 CPUtime=237.94 cores=0,2,4,6
/proc/31815/task/32423/stat : 32423 (java) R 31813 31815 30487 0 -1 4202560 24 0 0 0 23789 5 0 0 20 0 22 0 253864157 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064129556944 140064254112490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31815/tid=32424] ppid=31813 vsize=9824668 CPUtime=237.95 cores=0,2,4,6
/proc/31815/task/32424/stat : 32424 (java) R 31813 31815 30487 0 -1 4202560 1292 0 0 0 23783 12 0 0 20 0 22 0 253864157 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064127451856 140064254259777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31815/tid=32425] ppid=31813 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31815/task/32425/stat : 32425 (java) S 31813 31815 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253864157 10060460032 791024 33554432000 1073741824 1073778376 140736032979520 140064126399912 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143
Real time (s): 1016.24
CPU time (s): 1800.47
CPU user time (s): 1796.26
CPU system time (s): 4.20936
CPU usage (%): 177.17
Max. virtual memory (cumulated for all children) (KiB): 9825504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.26
system time used= 4.20936
maximum resident set size= 3164208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54964
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48920
involuntary context switches= 62187

runsolver used 3.76143 second user time and 9.11361 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-24 18:23:51
IDJOB=3688254
IDBENCH=2932
IDSOLVER=2268
FILE ID=node127/3688254-1337876631
RUNJOBID= node127-1337871880-30503
PBS_JOBID= 14620077
Free space on /tmp= 71672 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688254-1337876631/watcher-3688254-1337876631 -o /tmp/evaluation-result-3688254-1337876631/solver-3688254-1337876631 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688254-1337876631.opb

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

MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55
RANDOM SEED=838210618

node127.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.348
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	: 5332.69
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.348
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	: 5331.91
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.348
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	: 5331.94
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.348
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	: 5331.91
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.348
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	: 5331.91
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.348
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	: 5331.91
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.348
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	: 5331.91
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.348
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28845384 kB
Buffers:          234432 kB
Cached:          2363768 kB
SwapCached:            0 kB
Active:          1050248 kB
Inactive:        2200484 kB
Active(anon):     654880 kB
Inactive(anon):        0 kB
Active(file):     395368 kB
Inactive(file):  2200484 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:        661352 kB
Mapped:            22500 kB
Shmem:               200 kB
Slab:             637868 kB
SReclaimable:      82256 kB
SUnreclaim:       555612 kB
KernelStack:        1624 kB
PageTables:         5408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     925316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    581632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71648 MiB
End job on node127 at 2012-05-24 18:40:49