Trace number 4081133

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
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)165 1800.12 908.128

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
MD5SUM0d4648505d14cf43905d3198d6f686c2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162
Best CPU time to get the best result obtained on this benchmark4.96025
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 162
Optimality of the best value was proved YES
Number of variables444
Total number of constraints1408
Number of constraints which are clauses1408
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 444
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 444
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 444
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4081133-1465225508.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.29/0.27	c ... done. Wall clock time 0.163s.
0.29/0.27	c declared #vars     444
0.29/0.27	c #constraints  1408
0.29/0.27	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.29/0.27	c constraints type 
0.29/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 130
0.29/0.27	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1278
0.29/0.27	c 1408 constraints processed.
0.29/0.27	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.29/0.27	c constraints type 
0.29/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1278
0.29/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 130
0.29/0.27	c 1408 constraints processed.
0.29/0.27	c objective function length is 444 literals
0.29/0.28	c And the winner is solver0
0.51/0.77	c SATISFIABLE
0.51/0.77	c OPTIMIZING...
0.51/0.78	c Got one! Elapsed wall clock time (in seconds):0.669
0.51/0.78	o 205
0.96/0.91	c And the winner is solver1
1.45/1.28	c Got one! Elapsed wall clock time (in seconds):1.174
1.45/1.28	o 204
1.92/1.42	c And the winner is solver0
2.14/1.78	c Got one! Elapsed wall clock time (in seconds):1.676
2.14/1.78	o 203
2.39/1.92	c And the winner is solver1
2.51/2.28	c Got one! Elapsed wall clock time (in seconds):2.178
2.51/2.28	o 202
2.58/2.34	c And the winner is solver0
2.78/2.79	c Got one! Elapsed wall clock time (in seconds):2.681
2.78/2.79	o 201
3.24/3.04	c cleaning 3492 clauses out of 6983 with flag 7467/6983
3.24/3.05	c And the winner is solver1
3.41/3.29	c Got one! Elapsed wall clock time (in seconds):3.183
3.41/3.29	o 200
3.88/3.55	c And the winner is solver1
4.00/3.79	c Got one! Elapsed wall clock time (in seconds):3.684
4.00/3.79	o 199
4.01/3.85	c And the winner is solver1
4.12/4.29	c Got one! Elapsed wall clock time (in seconds):4.186
4.12/4.29	o 196
4.40/4.46	c cleaning 5129 clauses out of 10264 with flag 5653/13756
4.60/4.55	c And the winner is solver0
4.72/4.79	c Got one! Elapsed wall clock time (in seconds):4.687
4.72/4.79	o 195
5.14/5.08	c cleaning 5347 clauses out of 10702 with flag 10604/19323
5.39/5.17	c And the winner is solver1
5.56/5.29	c Got one! Elapsed wall clock time (in seconds):5.189
5.56/5.29	o 194
5.97/5.57	c cleaning 5531 clauses out of 11061 with flag 10323/25029
6.18/5.69	c And the winner is solver1
6.42/5.80	c Got one! Elapsed wall clock time (in seconds):5.69
6.42/5.80	o 193
6.95/6.07	c cleaning 5547 clauses out of 11094 with flag 10774/30593
7.35/6.23	c And the winner is solver0
7.48/6.30	c Got one! Elapsed wall clock time (in seconds):6.191
7.48/6.30	o 192
7.71/6.44	c And the winner is solver0
7.85/6.80	c Got one! Elapsed wall clock time (in seconds):6.692
7.85/6.80	o 191
7.85/6.89	c cleaning 5689 clauses out of 11384 with flag 3107/36430
8.73/7.20	c And the winner is solver0
8.80/7.30	c Got one! Elapsed wall clock time (in seconds):7.194
8.80/7.30	o 190
8.98/7.46	c cleaning 5831 clauses out of 11661 with flag 5357/42396
10.08/7.95	c cleaning 5916 clauses out of 11831 with flag 19674/48397
10.28/8.09	c And the winner is solver0
10.51/8.33	c Got one! Elapsed wall clock time (in seconds):8.219
10.51/8.33	o 189
10.84/8.55	c cleaning 5473 clauses out of 10976 with flag 7680/53458
11.69/8.99	c cleaning 5739 clauses out of 11503 with flag 22417/59458
12.28/9.20	c And the winner is solver1
12.30/9.33	c Got one! Elapsed wall clock time (in seconds):9.221
12.30/9.33	o 185
12.64/9.56	c cleaning 5841 clauses out of 11701 with flag 8022/65395
13.75/10.05	c cleaning 5926 clauses out of 11859 with flag 23116/71394
14.53/10.42	c And the winner is solver1
14.60/10.83	c Got one! Elapsed wall clock time (in seconds):10.722
14.60/10.83	o 184
15.34/11.20	c cleaning 8167 clauses out of 16348 with flag 12695/81809
16.23/11.64	c cleaning 7091 clauses out of 14181 with flag 29118/87809
17.25/12.10	c cleaning 7033 clauses out of 14090 with flag 46591/94809
18.23/12.61	c cleaning 7519 clauses out of 15060 with flag 66937/102812
19.23/13.20	c cleaning 8270 clauses out of 16540 with flag 91612/111811
20.63/13.88	c cleaning 9134 clauses out of 18268 with flag 115906/121809
21.24/14.10	c And the winner is solver0
21.32/14.33	c Got one! Elapsed wall clock time (in seconds):14.224
21.32/14.33	o 183
21.46/14.49	c cleaning 7240 clauses out of 14480 with flag 5126/127155
22.76/15.03	c cleaning 6618 clauses out of 13241 with flag 19918/133156
22.96/15.10	c And the winner is solver1
22.98/15.33	c Got one! Elapsed wall clock time (in seconds):15.226
22.98/15.33	o 182
23.50/15.68	c cleaning 6258 clauses out of 12522 with flag 13151/139055
24.30/16.09	c cleaning 6129 clauses out of 12263 with flag 27836/145054
25.32/16.56	c cleaning 6567 clauses out of 13135 with flag 46093/152055
25.52/16.61	c And the winner is solver1
25.53/16.83	c Got one! Elapsed wall clock time (in seconds):16.727
25.53/16.83	o 180
26.06/17.16	c cleaning 6207 clauses out of 12420 with flag 14036/157907
26.86/17.51	c And the winner is solver0
26.98/17.83	c Got one! Elapsed wall clock time (in seconds):17.728
26.98/17.83	o 179
27.70/18.22	c cleaning 8509 clauses out of 17022 with flag 14248/168716
28.60/18.63	c And the winner is solver0
28.77/18.84	c Got one! Elapsed wall clock time (in seconds):18.73
28.77/18.84	o 178
29.29/19.19	c cleaning 9408 clauses out of 18816 with flag 13777/179019
30.09/19.57	c cleaning 7699 clauses out of 15408 with flag 30797/185019
30.91/19.99	c cleaning 7343 clauses out of 14708 with flag 50109/192018
32.09/20.51	c cleaning 7675 clauses out of 15365 with flag 72105/200018
33.29/21.14	c cleaning 8345 clauses out of 16691 with flag 95130/209019
34.69/21.82	c cleaning 9171 clauses out of 18347 with flag 122123/219020
36.29/22.62	c cleaning 10080 clauses out of 20174 with flag 152965/230018
37.90/23.49	c cleaning 11045 clauses out of 22094 with flag 184811/242018
40.01/24.40	c cleaning 12012 clauses out of 24049 with flag 218694/255018
41.04/24.94	c And the winner is solver1
41.11/25.34	c Got one! Elapsed wall clock time (in seconds):25.232
41.11/25.34	o 177
41.84/25.74	c cleaning 12377 clauses out of 24766 with flag 12680/267747
42.64/26.12	c cleaning 9186 clauses out of 18388 with flag 28409/273746
43.64/26.60	c cleaning 8099 clauses out of 16209 with flag 47811/280753
44.64/27.11	c cleaning 8046 clauses out of 16103 with flag 69058/288746
45.46/27.54	c And the winner is solver0
45.63/27.84	c Got one! Elapsed wall clock time (in seconds):27.733
45.63/27.84	o 176
46.36/28.21	c cleaning 10304 clauses out of 20608 with flag 14151/301297
46.96/28.58	c cleaning 8147 clauses out of 16302 with flag 31382/307295
47.99/29.03	c cleaning 7571 clauses out of 15156 with flag 50578/314296
48.99/29.50	c cleaning 7782 clauses out of 15584 with flag 72440/322295
49.99/30.05	c cleaning 8401 clauses out of 16802 with flag 96067/331295
51.19/30.67	c cleaning 9201 clauses out of 18401 with flag 123565/341295
52.59/31.35	c cleaning 10098 clauses out of 20200 with flag 153493/352295
54.00/32.08	c cleaning 11042 clauses out of 22102 with flag 186030/364295
55.79/32.94	c cleaning 12030 clauses out of 24061 with flag 219374/377296
57.79/33.93	c cleaning 13016 clauses out of 26032 with flag 256837/391297
59.79/34.94	c cleaning 14005 clauses out of 28014 with flag 297791/406295
61.98/36.02	c cleaning 15000 clauses out of 30009 with flag 341851/422295
64.66/37.33	c cleaning 15999 clauses out of 32009 with flag 389849/439295
67.46/38.74	c cleaning 16999 clauses out of 34010 with flag 439266/457295
70.06/40.07	c And the winner is solver0
70.32/40.34	c Got one! Elapsed wall clock time (in seconds):40.237
70.32/40.34	o 175
71.04/40.80	c cleaning 17996 clauses out of 36011 with flag 13157/476295
72.02/41.23	c cleaning 12002 clauses out of 24016 with flag 28869/482296
72.82/41.64	c cleaning 9503 clauses out of 19017 with flag 46857/489299
73.82/42.11	c cleaning 8746 clauses out of 17515 with flag 67153/497300
75.02/42.74	c cleaning 8872 clauses out of 17764 with flag 92176/506295
76.42/43.49	c cleaning 9449 clauses out of 18897 with flag 119243/516300
78.52/44.42	c cleaning 10220 clauses out of 20443 with flag 149356/527295
80.51/45.42	c cleaning 11109 clauses out of 22223 with flag 182528/539295
82.51/46.47	c cleaning 12035 clauses out of 24115 with flag 219976/552296
84.52/47.48	c cleaning 13037 clauses out of 26079 with flag 256059/566295
86.31/48.38	c And the winner is solver1
86.44/48.87	c Got one! Elapsed wall clock time (in seconds):48.761
86.44/48.87	o 174
87.38/49.33	c cleaning 15475 clauses out of 30950 with flag 13444/584203
88.18/49.77	c cleaning 10725 clauses out of 21478 with flag 29849/590206
89.18/50.26	c cleaning 8874 clauses out of 17751 with flag 49563/597204
90.20/50.77	c cleaning 8432 clauses out of 16877 with flag 69523/605204
91.38/51.34	c cleaning 8713 clauses out of 17444 with flag 93107/614203
92.78/52.04	c cleaning 9355 clauses out of 18733 with flag 125379/624205
94.69/52.98	c cleaning 10187 clauses out of 20377 with flag 159782/635204
96.89/54.02	c cleaning 11094 clauses out of 22191 with flag 194221/647205
98.89/55.10	c And the winner is solver0
99.18/55.37	c Got one! Elapsed wall clock time (in seconds):55.263
99.18/55.37	o 173
100.03/55.81	c cleaning 14059 clauses out of 28118 with flag 13896/664226
100.84/56.27	c cleaning 10024 clauses out of 20057 with flag 30197/670224
101.83/56.72	c cleaning 8517 clauses out of 17033 with flag 49432/677224
102.84/57.24	c cleaning 8249 clauses out of 16517 with flag 71336/685225
103.82/57.79	c cleaning 8634 clauses out of 17268 with flag 95230/694225
105.24/58.44	c cleaning 9312 clauses out of 18634 with flag 121173/704225
106.62/59.17	c cleaning 10161 clauses out of 20321 with flag 152280/715224
108.42/60.04	c cleaning 11081 clauses out of 22162 with flag 189200/727226
110.42/61.00	c cleaning 12035 clauses out of 24080 with flag 228134/740225
112.48/62.03	c cleaning 13018 clauses out of 26044 with flag 265643/754224
114.68/63.14	c cleaning 14012 clauses out of 28026 with flag 309554/769224
116.88/64.28	c cleaning 15002 clauses out of 30014 with flag 354204/785224
119.48/65.54	c cleaning 16000 clauses out of 32014 with flag 399597/802226
122.48/67.01	c cleaning 17001 clauses out of 34013 with flag 447314/820225
125.09/68.39	c cleaning 17994 clauses out of 36011 with flag 498157/839224
128.35/69.94	c cleaning 19008 clauses out of 38017 with flag 550050/859224
131.95/71.75	c cleaning 20004 clauses out of 40009 with flag 608488/880224
135.75/73.60	c cleaning 21003 clauses out of 42005 with flag 666185/902224
139.35/75.44	c cleaning 21994 clauses out of 44002 with flag 726672/925224
143.62/77.58	c cleaning 23004 clauses out of 46008 with flag 786374/949224
148.62/80.03	c cleaning 23998 clauses out of 48004 with flag 846393/974224
153.99/82.65	c cleaning 24995 clauses out of 50006 with flag 914279/1000224
154.57/82.97	c And the winner is solver1
154.59/83.37	c Got one! Elapsed wall clock time (in seconds):83.269
154.59/83.37	o 172
154.83/83.52	c cleaning 15175 clauses out of 30371 with flag 2790/1005584
155.63/83.96	c cleaning 10594 clauses out of 21196 with flag 19243/1011584
156.43/84.39	c cleaning 8797 clauses out of 17603 with flag 38321/1018585
157.45/84.86	c cleaning 8399 clauses out of 16805 with flag 57724/1026584
158.43/85.40	c cleaning 8700 clauses out of 17406 with flag 82662/1035584
159.65/85.99	c cleaning 9353 clauses out of 18706 with flag 108469/1045584
161.03/86.68	c cleaning 10176 clauses out of 20355 with flag 136518/1056586
162.65/87.49	c cleaning 11079 clauses out of 22177 with flag 166258/1068584
164.85/88.59	c cleaning 12034 clauses out of 24098 with flag 201418/1081584
165.05/88.68	c And the winner is solver0
165.32/88.88	c Got one! Elapsed wall clock time (in seconds):88.772
165.32/88.88	o 171
165.78/89.14	c cleaning 8666 clauses out of 17343 with flag 9583/1086863
166.64/89.58	c cleaning 7334 clauses out of 14677 with flag 23984/1092863
167.64/90.07	c cleaning 7171 clauses out of 14342 with flag 40333/1099862
168.64/90.59	c cleaning 7585 clauses out of 15171 with flag 59055/1107862
169.84/91.19	c cleaning 8284 clauses out of 16587 with flag 82460/1116863
171.24/91.87	c cleaning 9151 clauses out of 18303 with flag 110964/1126863
172.65/92.56	c cleaning 10066 clauses out of 20154 with flag 140817/1137865
174.24/93.35	c cleaning 11041 clauses out of 22086 with flag 174230/1149863
176.04/94.23	c cleaning 12019 clauses out of 24045 with flag 208460/1162863
178.24/95.32	c cleaning 13013 clauses out of 26026 with flag 248154/1176863
180.84/96.68	c cleaning 14006 clauses out of 28012 with flag 290440/1191862
181.25/96.85	c And the winner is solver0
181.48/97.08	c Got one! Elapsed wall clock time (in seconds):96.974
181.48/97.08	o 170
181.94/97.31	c cleaning 9705 clauses out of 19410 with flag 7939/1197266
182.74/97.70	c cleaning 7851 clauses out of 15705 with flag 24703/1203266
183.54/98.18	c cleaning 7413 clauses out of 14854 with flag 44508/1210266
184.74/98.77	c cleaning 7724 clauses out of 15448 with flag 67154/1218273
185.94/99.31	c cleaning 8353 clauses out of 16717 with flag 89796/1227266
187.14/99.91	c cleaning 9181 clauses out of 18364 with flag 116954/1237266
188.34/100.57	c cleaning 10090 clauses out of 20183 with flag 143960/1248266
190.14/101.45	c cleaning 11045 clauses out of 22094 with flag 173638/1260267
191.74/102.27	c cleaning 12018 clauses out of 24048 with flag 211754/1273266
193.74/103.23	c cleaning 13016 clauses out of 26031 with flag 252483/1287267
195.74/104.28	c cleaning 14005 clauses out of 28014 with flag 296980/1302266
198.68/105.97	c cleaning 15004 clauses out of 30009 with flag 338808/1318266
201.48/107.34	c cleaning 16003 clauses out of 32006 with flag 385103/1335267
204.69/108.91	c cleaning 16995 clauses out of 34003 with flag 429772/1353267
207.48/110.39	c cleaning 18003 clauses out of 36009 with flag 475575/1372268
210.48/111.88	c cleaning 18987 clauses out of 38006 with flag 526112/1392268
213.69/113.43	c cleaning 20009 clauses out of 40018 with flag 575814/1413267
216.88/115.02	c cleaning 21002 clauses out of 42008 with flag 630148/1435266
220.52/116.87	c cleaning 22004 clauses out of 44007 with flag 691553/1458267
224.53/118.85	c cleaning 22996 clauses out of 46002 with flag 749646/1482266
228.93/121.10	c cleaning 23994 clauses out of 48007 with flag 813417/1507267
232.92/123.02	c And the winner is solver0
233.28/123.43	c Got one! Elapsed wall clock time (in seconds):123.327
233.28/123.43	o 169
234.15/123.96	c cleaning 24826 clauses out of 49652 with flag 13362/1532906
235.17/124.47	c cleaning 15405 clauses out of 30820 with flag 30156/1538900
236.15/124.93	c cleaning 11187 clauses out of 22415 with flag 49553/1545900
237.17/125.46	c cleaning 9610 clauses out of 19228 with flag 70554/1553900
238.15/125.99	c cleaning 9303 clauses out of 18619 with flag 93137/1562901
239.62/126.62	c cleaning 9657 clauses out of 19315 with flag 121200/1572900
240.81/127.29	c cleaning 10329 clauses out of 20658 with flag 151126/1583900
242.41/128.05	c cleaning 11163 clauses out of 22331 with flag 185027/1595902
244.21/128.93	c cleaning 12076 clauses out of 24166 with flag 221111/1608900
246.02/129.82	c cleaning 13041 clauses out of 26090 with flag 261531/1622900
248.01/130.83	c cleaning 14013 clauses out of 28049 with flag 301709/1637900
250.01/131.86	c cleaning 15018 clauses out of 30036 with flag 347553/1653900
252.46/133.08	c cleaning 16010 clauses out of 32019 with flag 389643/1670901
255.46/134.52	c cleaning 16999 clauses out of 34008 with flag 438142/1688900
258.66/136.11	c cleaning 17998 clauses out of 36009 with flag 491382/1707900
262.70/138.18	c cleaning 19005 clauses out of 38011 with flag 551101/1727900
263.50/138.53	c And the winner is solver1
263.50/138.94	c Got one! Elapsed wall clock time (in seconds):138.831
263.50/138.94	o 168
263.61/139.03	c cleaning 12310 clauses out of 24638 with flag 2583/1733532
264.41/139.48	c cleaning 9154 clauses out of 18323 with flag 18184/1739527
265.41/139.90	c cleaning 8077 clauses out of 16167 with flag 36135/1746525
266.21/140.38	c cleaning 8031 clauses out of 16090 with flag 56082/1754525
267.42/140.94	c cleaning 8528 clauses out of 17059 with flag 78392/1763525
268.81/141.69	c cleaning 9266 clauses out of 18532 with flag 103921/1773526
270.21/142.36	c cleaning 10133 clauses out of 20265 with flag 130155/1784525
272.01/143.25	c cleaning 11064 clauses out of 22133 with flag 158489/1796526
274.02/144.24	c cleaning 12033 clauses out of 24069 with flag 189996/1809526
276.27/145.37	c cleaning 13020 clauses out of 26039 with flag 229474/1823529
278.85/146.65	c cleaning 14007 clauses out of 28015 with flag 269762/1838525
281.25/147.87	c cleaning 15004 clauses out of 30008 with flag 313403/1854525
283.65/149.02	c cleaning 16000 clauses out of 32005 with flag 361273/1871526
286.24/150.33	c cleaning 17003 clauses out of 34005 with flag 409738/1889526
289.04/151.71	c cleaning 17995 clauses out of 36002 with flag 457140/1908526
292.51/153.48	c cleaning 19004 clauses out of 38007 with flag 513400/1928526
295.92/155.16	c cleaning 19994 clauses out of 40003 with flag 571213/1949526
299.11/156.77	c cleaning 21004 clauses out of 42008 with flag 633628/1971525
303.13/158.71	c cleaning 21987 clauses out of 44004 with flag 695921/1994525
306.54/160.47	c cleaning 22999 clauses out of 46017 with flag 763122/2018525
310.59/162.49	c cleaning 24006 clauses out of 48018 with flag 836529/2043525
314.59/164.49	c cleaning 25006 clauses out of 50012 with flag 912153/2069525
319.04/166.64	c cleaning 26003 clauses out of 52006 with flag 994849/2096525
323.44/168.85	c cleaning 27002 clauses out of 54004 with flag 1073747/2124526
328.09/171.11	c cleaning 27997 clauses out of 56001 with flag 1151222/2153525
332.69/173.45	c cleaning 28995 clauses out of 58005 with flag 1239311/2183526
337.69/175.98	c cleaning 30001 clauses out of 60012 with flag 1329479/2214528
342.50/178.34	c cleaning 31001 clauses out of 62008 with flag 1425043/2246525
347.95/181.04	c cleaning 32000 clauses out of 64009 with flag 1526002/2279527
353.75/183.91	c cleaning 32996 clauses out of 66010 with flag 1616964/2313528
360.22/187.13	c cleaning 34000 clauses out of 68012 with flag 1715086/2348526
367.00/190.54	c cleaning 35000 clauses out of 70011 with flag 1818990/2384525
373.87/193.96	c cleaning 36000 clauses out of 72011 with flag 1915659/2421525
380.67/197.34	c cleaning 36998 clauses out of 74012 with flag 2018383/2459526
387.73/200.80	c cleaning 38000 clauses out of 76013 with flag 2127564/2498525
395.54/204.75	c cleaning 39004 clauses out of 78013 with flag 2236296/2538525
403.58/208.72	c cleaning 39994 clauses out of 80009 with flag 2352407/2579525
413.00/213.43	c cleaning 41003 clauses out of 82016 with flag 2472755/2621526
421.65/217.72	c cleaning 42000 clauses out of 84012 with flag 2591865/2664525
430.25/222.08	c cleaning 42997 clauses out of 86013 with flag 2710029/2708526
438.87/226.39	c cleaning 43998 clauses out of 88015 with flag 2833860/2753525
449.47/231.69	c cleaning 45002 clauses out of 90017 with flag 2957334/2799525
459.14/236.40	c cleaning 46008 clauses out of 92016 with flag 3079631/2846526
469.00/241.36	c cleaning 46999 clauses out of 94008 with flag 3212281/2894526
479.00/246.31	c cleaning 47991 clauses out of 96008 with flag 3347120/2943525
489.00/251.35	c cleaning 49008 clauses out of 98017 with flag 3487327/2993525
502.20/258.29	c cleaning 50004 clauses out of 100009 with flag 3622988/3044525
515.84/265.09	c cleaning 50998 clauses out of 102006 with flag 3764180/3096526
528.69/271.47	c cleaning 52002 clauses out of 104007 with flag 3920619/3149525
539.89/277.04	c cleaning 52991 clauses out of 106005 with flag 4071297/3203525
551.15/282.62	c cleaning 54006 clauses out of 108015 with flag 4218689/3258526
560.42/287.26	c And the winner is solver1
560.42/287.50	c Got one! Elapsed wall clock time (in seconds):287.396
560.42/287.50	o 167
562.20/288.45	c cleaning 52779 clauses out of 105564 with flag 14827/3310081
563.40/289.05	c cleaning 29385 clauses out of 58785 with flag 30875/3316081
564.40/289.59	c cleaning 18196 clauses out of 36399 with flag 50049/3323080
565.60/290.11	c cleaning 13095 clauses out of 26204 with flag 74165/3331081
566.80/290.71	c cleaning 11041 clauses out of 22108 with flag 98702/3340080
568.00/291.32	c cleaning 10525 clauses out of 21067 with flag 125115/3350080
569.20/292.00	c cleaning 10761 clauses out of 21543 with flag 156044/3361081
570.81/292.75	c cleaning 11388 clauses out of 22781 with flag 190174/3373080
572.60/293.61	c cleaning 12197 clauses out of 24393 with flag 225054/3386080
574.40/294.58	c cleaning 13092 clauses out of 26197 with flag 260726/3400081
576.60/295.67	c cleaning 14043 clauses out of 28104 with flag 304247/3415080
578.80/296.70	c cleaning 15017 clauses out of 30061 with flag 354197/3431080
581.00/297.87	c cleaning 16020 clauses out of 32046 with flag 405911/3448082
583.88/299.24	c cleaning 17007 clauses out of 34025 with flag 458975/3466081
587.06/300.87	c cleaning 17993 clauses out of 36017 with flag 514438/3485080
587.26/300.98	c And the winner is solver1
587.36/301.01	c Got one! Elapsed wall clock time (in seconds):300.899
587.36/301.01	o 166
587.94/301.33	c cleaning 11805 clauses out of 23610 with flag 12005/3490666
588.74/301.79	c cleaning 8889 clauses out of 17806 with flag 30101/3496667
589.74/302.29	c cleaning 7947 clauses out of 15916 with flag 50315/3503666
591.19/302.95	c cleaning 7974 clauses out of 15971 with flag 72995/3511668
592.39/303.59	c cleaning 8479 clauses out of 16995 with flag 97807/3520666
593.79/304.26	c cleaning 9254 clauses out of 18519 with flag 127819/3530669
595.39/305.01	c cleaning 10128 clauses out of 20262 with flag 158095/3541666
597.00/305.81	c cleaning 11057 clauses out of 22136 with flag 191812/3553668
598.83/306.78	c cleaning 12030 clauses out of 24077 with flag 229028/3566666
600.82/307.80	c cleaning 13019 clauses out of 26047 with flag 269230/3580666
603.22/308.90	c cleaning 14014 clauses out of 28028 with flag 310988/3595666
605.62/310.13	c cleaning 15006 clauses out of 30014 with flag 353633/3611666
608.05/311.33	c cleaning 16001 clauses out of 32008 with flag 402702/3628666
610.64/312.68	c cleaning 17004 clauses out of 34007 with flag 452143/3646666
613.24/313.98	c cleaning 18002 clauses out of 36003 with flag 510411/3665666
616.08/315.37	c cleaning 18997 clauses out of 38001 with flag 568200/3685666
619.10/316.89	c cleaning 19997 clauses out of 40004 with flag 624099/3706666
621.69/318.11	c And the winner is solver1
621.69/318.51	c Got one! Elapsed wall clock time (in seconds):318.404
621.69/318.51	o 165
622.67/319.01	c cleaning 21308 clauses out of 42626 with flag 14196/3729285
623.45/319.45	c cleaning 13653 clauses out of 27318 with flag 31683/3735285
624.52/319.98	c cleaning 10324 clauses out of 20665 with flag 53149/3742285
625.72/320.55	c cleaning 9163 clauses out of 18345 with flag 77211/3750289
627.13/321.21	c cleaning 9075 clauses out of 18179 with flag 102664/3759286
628.32/321.84	c cleaning 9536 clauses out of 19107 with flag 128967/3769289
629.72/322.55	c cleaning 10276 clauses out of 20567 with flag 160105/3780285
631.32/323.37	c cleaning 11133 clauses out of 22291 with flag 192659/3792285
633.32/324.38	c cleaning 12075 clauses out of 24159 with flag 229963/3805286
636.00/325.64	c cleaning 13042 clauses out of 26083 with flag 271354/3819285
638.40/326.83	c cleaning 14020 clauses out of 28042 with flag 307284/3834286
641.19/328.29	c cleaning 15004 clauses out of 30021 with flag 348095/3850285
643.79/329.54	c cleaning 16007 clauses out of 32017 with flag 389737/3867285
646.86/331.01	c cleaning 17004 clauses out of 34011 with flag 437125/3885286
649.86/332.58	c cleaning 17999 clauses out of 36006 with flag 481993/3904285
654.26/334.71	c cleaning 19002 clauses out of 38008 with flag 532371/3924286
657.94/336.59	c cleaning 20000 clauses out of 40006 with flag 584639/3945286
662.12/338.61	c cleaning 21001 clauses out of 42005 with flag 638229/3967285
666.32/340.70	c cleaning 22002 clauses out of 44005 with flag 699463/3990286
669.72/342.44	c cleaning 22994 clauses out of 46002 with flag 757414/4014285
673.97/344.51	c cleaning 24001 clauses out of 48008 with flag 823793/4039285
678.57/346.86	c cleaning 24999 clauses out of 50008 with flag 891585/4065286
683.77/349.43	c cleaning 25989 clauses out of 52008 with flag 959532/4092285
688.65/351.81	c cleaning 27000 clauses out of 54020 with flag 1026679/4120286
693.46/354.22	c cleaning 28008 clauses out of 56021 with flag 1099410/4149287
698.25/356.61	c cleaning 29002 clauses out of 58012 with flag 1187326/4179286
703.05/359.03	c cleaning 29989 clauses out of 60010 with flag 1271631/4210286
708.73/361.86	c cleaning 31010 clauses out of 62020 with flag 1369105/4242285
714.13/364.52	c cleaning 31995 clauses out of 64010 with flag 1457187/4275285
720.53/367.75	c cleaning 33008 clauses out of 66015 with flag 1541877/4309285
726.54/370.75	c cleaning 33990 clauses out of 68007 with flag 1628119/4344285
733.14/374.03	c cleaning 35000 clauses out of 70017 with flag 1731919/4380285
739.33/377.14	c cleaning 36009 clauses out of 72018 with flag 1838746/4417286
745.93/380.44	c cleaning 37001 clauses out of 74008 with flag 1948543/4455285
752.72/383.85	c cleaning 37992 clauses out of 76007 with flag 2062964/4494285
760.12/387.52	c cleaning 39004 clauses out of 78015 with flag 2176227/4534285
766.52/390.75	c cleaning 40003 clauses out of 80011 with flag 2288192/4575285
773.53/394.25	c cleaning 40994 clauses out of 82008 with flag 2416125/4617285
780.53/397.75	c cleaning 41997 clauses out of 84015 with flag 2547052/4660286
788.53/401.77	c cleaning 43005 clauses out of 86018 with flag 2675117/4704286
797.14/406.05	c cleaning 44006 clauses out of 88012 with flag 2807740/4749285
805.94/410.42	c cleaning 44992 clauses out of 90007 with flag 2943670/4795286
815.12/415.02	c cleaning 46001 clauses out of 92015 with flag 3080583/4842286
823.92/419.42	c cleaning 47000 clauses out of 94013 with flag 3218418/4890285
832.92/423.91	c cleaning 48003 clauses out of 96014 with flag 3366801/4939286
841.92/428.48	c cleaning 49003 clauses out of 98012 with flag 3516279/4989287
852.51/433.75	c cleaning 50004 clauses out of 100007 with flag 3662998/5040285
864.11/439.57	c cleaning 50993 clauses out of 102003 with flag 3810395/5092285
876.51/445.75	c cleaning 51983 clauses out of 104010 with flag 3967371/5145285
890.71/452.81	c cleaning 53014 clauses out of 106028 with flag 4132920/5199286
902.52/458.80	c cleaning 53996 clauses out of 108013 with flag 4296659/5254285
913.72/464.36	c cleaning 55009 clauses out of 110017 with flag 4460996/5310285
929.70/472.39	c cleaning 56006 clauses out of 112012 with flag 4636256/5367289
941.50/478.27	c cleaning 56997 clauses out of 114003 with flag 4800742/5425286
953.90/484.49	c cleaning 57997 clauses out of 116006 with flag 4964831/5484286
965.10/490.03	c cleaning 58998 clauses out of 118008 with flag 5131863/5544285
977.51/496.29	c cleaning 59999 clauses out of 120012 with flag 5306609/5605287
992.09/503.55	c cleaning 61006 clauses out of 122012 with flag 5482811/5667286
1006.19/511.35	c cleaning 61997 clauses out of 124006 with flag 5664193/5730286
1019.19/517.81	c cleaning 63001 clauses out of 126008 with flag 5845052/5794285
1031.98/524.25	c cleaning 63993 clauses out of 128007 with flag 6041068/5859285
1044.98/530.73	c cleaning 65007 clauses out of 130014 with flag 6236951/5925285
1058.58/537.56	c cleaning 65997 clauses out of 132007 with flag 6425488/5992285
1075.78/546.10	c cleaning 66997 clauses out of 134010 with flag 6619501/6060285
1089.78/553.12	c cleaning 68001 clauses out of 136013 with flag 6813992/6129285
1104.58/560.60	c cleaning 68997 clauses out of 138012 with flag 7014518/6199285
1116.98/566.80	c cleaning 70008 clauses out of 140015 with flag 7210488/6270285
1130.37/573.47	c cleaning 71001 clauses out of 142008 with flag 7418843/6342286
1145.38/580.91	c cleaning 71996 clauses out of 144006 with flag 7635458/6415285
1162.17/589.33	c cleaning 72999 clauses out of 146010 with flag 7854462/6489285
1177.56/597.10	c cleaning 73999 clauses out of 148011 with flag 8062220/6564285
1194.17/605.31	c cleaning 75006 clauses out of 150012 with flag 8270797/6640285
1211.18/613.81	c cleaning 75999 clauses out of 152006 with flag 8498227/6717285
1229.56/623.03	c cleaning 77003 clauses out of 154007 with flag 8722436/6795285
1246.16/631.31	c cleaning 77993 clauses out of 156004 with flag 8952894/6874285
1264.47/640.45	c cleaning 78997 clauses out of 158011 with flag 9191457/6954285
1283.47/649.99	c cleaning 80006 clauses out of 160014 with flag 9413326/7035285
1302.77/659.31	c cleaning 81000 clauses out of 162009 with flag 9662349/7117286
1323.20/669.59	c cleaning 82000 clauses out of 164009 with flag 9890596/7200286
1341.20/678.58	c cleaning 82978 clauses out of 166008 with flag 10115283/7284285
1358.20/687.06	c cleaning 84005 clauses out of 168030 with flag 10371106/7369285
1376.60/696.26	c cleaning 85005 clauses out of 170025 with flag 10625304/7455285
1399.19/707.51	c cleaning 85995 clauses out of 172021 with flag 10885669/7542286
1420.80/718.32	c cleaning 87006 clauses out of 174027 with flag 11147223/7630287
1443.57/729.72	c cleaning 88005 clauses out of 176020 with flag 11370922/7719286
1470.77/743.38	c cleaning 89000 clauses out of 178014 with flag 11611577/7809285
1499.99/758.00	c cleaning 89999 clauses out of 180014 with flag 11853595/7900285
1533.97/774.96	c cleaning 90999 clauses out of 182015 with flag 12093874/7992285
1564.96/790.40	c cleaning 92003 clauses out of 184016 with flag 12331197/8085285
1605.36/810.68	c cleaning 93000 clauses out of 186019 with flag 12584590/8179291
1649.56/832.76	c cleaning 93996 clauses out of 188014 with flag 12853453/8274286
1686.74/851.36	c cleaning 95009 clauses out of 190017 with flag 13109260/8370285
1712.14/864.10	c cleaning 95997 clauses out of 192008 with flag 13361214/8467285
1736.13/876.01	c cleaning 97006 clauses out of 194012 with flag 13616324/8565286
1758.33/887.18	c cleaning 97995 clauses out of 196006 with flag 13867668/8664286
1789.92/902.94	c cleaning 98994 clauses out of 198010 with flag 14130013/8764285
1800.12/908.00	c >>>>>>>>>> Solver number 0 (17 answers) <<<<<<<<<<<<<<<<<<
1800.12/908.00	c starts		: 161693
1800.12/908.00	c conflicts		: 8811169
1800.12/908.00	c decisions		: 27073902
1800.12/908.00	c propagations		: 214793453
1800.12/908.00	c inspects		: 11006724572
1800.12/908.00	c shortcuts		: 0
1800.12/908.00	c learnt literals	: 0
1800.12/908.00	c learnt binary clauses	: 1
1800.12/908.00	c learnt ternary clauses	: 9
1800.12/908.00	c learnt constraints	: 8811169
1800.12/908.00	c ignored constraints	: 0
1800.12/908.00	c root simplifications	: 0
1800.12/908.00	c removed literals (reason simplification)	: 1171671575
1800.12/908.00	c reason swapping (by a shorter reason)	: 0
1800.12/908.00	c Calls to reduceDB	: 328
1800.12/908.00	c Number of update (reduction) of LBD	: 2157536
1800.12/908.00	c Imported unit clauses	: 0
1800.12/908.00	c number of reductions to clauses (during analyze)	: 0
1800.12/908.00	c number of learned constraints concerned by reduction	: 0
1800.12/908.00	c number of learning phase by resolution	: 0
1800.12/908.00	c number of learning phase by cutting planes	: 0
1800.12/908.00	c speed (assignments/second)	: 364370.42911523825
1800.12/908.00	c non guided choices	0
1800.12/908.03	c learnt constraints type 
1800.12/908.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.12/908.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145899
1800.12/908.03	c >>>>>>>>>> Solver number 1 (18 answers) <<<<<<<<<<<<<<<<<<
1800.12/908.03	c starts		: 82
1800.12/908.03	c conflicts		: 7818
1800.12/908.03	c decisions		: 31956
1800.12/908.03	c propagations		: 228593
1800.12/908.03	c inspects		: 321995638
1800.12/908.03	c shortcuts		: 0
1800.12/908.03	c learnt literals	: 0
1800.12/908.03	c learnt binary clauses	: 0
1800.12/908.03	c learnt ternary clauses	: 0
1800.12/908.03	c learnt constraints	: 7806
1800.12/908.03	c ignored constraints	: 0
1800.12/908.03	c root simplifications	: 0
1800.12/908.03	c removed literals (reason simplification)	: 0
1800.12/908.03	c reason swapping (by a shorter reason)	: 0
1800.12/908.03	c Calls to reduceDB	: 0
1800.12/908.03	c Number of update (reduction) of LBD	: 0
1800.12/908.03	c Imported unit clauses	: 0
1800.12/908.03	c number of reductions to clauses (during analyze)	: 0
1800.12/908.03	c number of learned constraints concerned by reduction	: 0
1800.12/908.03	c number of learning phase by resolution	: 0
1800.12/908.03	c number of learning phase by cutting planes	: 0
1800.12/908.03	c speed (assignments/second)	: 291.35307440437117
1800.12/908.03	c non guided choices	0
1800.12/908.03	c learnt constraints type 
1800.12/908.03	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 83
1800.12/908.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 743
1800.12/908.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6980
1800.12/908.03	s SATISFIABLE
1800.12/908.03	c Found 35 solution(s)
1800.12/908.03	v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 -x131 x132 -x133 -x134 x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 x146 x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 x182 x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 x229 -x230 -x231 -x232 -x233 x234 x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 x313 -x314 -x315 x316 -x317 -x318 x319 -x320 x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 x329 -x330 x331 -x332 x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 x366 x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400 x401 -x402 x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 x412 -x413 x414 x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 -x443 x444 
1800.12/908.07	c objective function=165
1800.12/908.07	c Total wall clock time (in seconds): 907.961

Verifier Data 

OK	165

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4081133-1465225508/watcher-4081133-1465225508 -o /tmp/evaluation-result-4081133-1465225508/solver-4081133-1465225508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32163 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081133-1465225508.opb 

pid=5768
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: 3.73 4.02 4.10 4/197 5771
/proc/meminfo: memFree=30038568/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 1312 0 0 0 0 0 0 0 20 0 2 0 104485391 98635776 943 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 24081 949 720 9 0 16771 0
[pid=5771/tid=5772] ppid=5768 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) R 5768 5771 32147 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 104485391 98570240 977 33554432000 1073741824 1073778376 140733249635552 140599097007656 219513963904 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 3.73 4.02 4.10 4/197 5771
/proc/meminfo: memFree=30038568/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 4475 0 1 0 10 1 0 0 20 0 18 0 104485391 9787879424 6113 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2389619 6113 2156 9 0 2380296 0
[pid=5771/tid=5772] ppid=5768 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) R 5768 5771 32147 0 -1 4202560 2387 0 1 0 7 0 0 0 20 0 18 0 104485391 9787879424 6113 33554432000 1073741824 1073778376 140733249635552 140599097011104 140599102677855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200246 s]
/proc/loadavg: 3.73 4.02 4.10 4/197 5771
/proc/meminfo: memFree=30038568/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 4943 0 1 0 28 1 0 0 20 0 18 0 104485391 9787879424 6959 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2389619 6959 2219 9 0 2380296 0
[pid=5771/tid=5772] ppid=5768 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) R 5768 5771 32147 0 -1 4202560 2403 0 1 0 17 0 0 0 20 0 18 0 104485391 9787879424 6959 33554432000 1073741824 1073778376 140733249635552 140599097011104 140598925405520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.30035 s]
/proc/loadavg: 3.73 4.02 4.10 4/197 5771
/proc/meminfo: memFree=30038568/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 7030 0 1 0 50 1 0 0 20 0 19 0 104485391 10060525568 10126 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2456183 10126 2241 9 0 2446860 0
[pid=5771/tid=5772] ppid=5768 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) S 5768 5771 32147 0 -1 4202560 2421 0 1 0 24 1 0 0 20 0 19 0 104485391 10060525568 10126 33554432000 1073741824 1073778376 140733249635552 140599097013112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824732

[startup+0.700321 s]
/proc/loadavg: 3.73 4.02 4.10 4/197 5771
/proc/meminfo: memFree=30038568/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 7030 0 1 0 50 1 0 0 20 0 19 0 104485391 10060525568 10126 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2456183 10126 2241 9 0 2446860 0
[pid=5771/tid=5772] ppid=5768 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) S 5768 5771 32147 0 -1 4202560 2421 0 1 0 24 1 0 0 20 0 19 0 104485391 10060525568 10126 33554432000 1073741824 1073778376 140733249635552 140599097013112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 3.60 3.99 4.09 4/216 5796
/proc/meminfo: memFree=29927972/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 19492 0 1 0 207 7 0 0 20 0 19 0 104485391 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2456183 22301 2262 9 0 2446860 0
[pid=5771/tid=5772] ppid=5768 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) S 5768 5771 32147 0 -1 4202560 2425 0 1 0 25 2 0 0 20 0 19 0 104485391 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140599097013112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5774] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5774/stat : 5774 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140599058504360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5775] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5775/stat : 5775 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140599057451816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5776] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5776/stat : 5776 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140599056399272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5777] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5777/stat : 5777 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140599055346728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5778] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5778/stat : 5778 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140599054293160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5779] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5779/stat : 5779 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140599053240616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5780] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5780/stat : 5780 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140599052188072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5781] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5781/stat : 5781 (java) S 5768 5771 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140599051135528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5782] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5782/stat : 5782 (java) S 5768 5771 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104485393 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140598921112168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5783] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5783/stat : 5783 (java) S 5768 5771 32147 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104485393 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140598920058488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5784] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5784/stat : 5784 (java) S 5768 5771 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104485393 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140598919005832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5785] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5785/stat : 5785 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485395 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140598917954576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5786] ppid=5768 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/5771/task/5786/stat : 5786 (java) S 5768 5771 32147 0 -1 4202560 10454 0 0 0 73 2 0 0 20 0 19 0 104485395 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140598916900920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5787] ppid=5768 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/5771/task/5787/stat : 5787 (java) S 5768 5771 32147 0 -1 4202560 5257 0 0 0 54 0 0 0 20 0 19 0 104485396 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140598915848376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5788] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5788/stat : 5788 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485396 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140598914796024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5789] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5789/stat : 5789 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485396 10060525568 22301 33554432000 1073741824 1073778376 140733249635552 140598913743688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 3.60 3.99 4.09 3/216 5802
/proc/meminfo: memFree=29889432/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 19890 0 1 0 326 15 0 0 20 0 19 0 104485391 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2456183 48963 2286 9 0 2446860 0
[pid=5771/tid=5772] ppid=5768 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) S 5768 5771 32147 0 -1 4202560 2426 0 1 0 25 2 0 0 20 0 19 0 104485391 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140599097013112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5774] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5774/stat : 5774 (java) S 5768 5771 32147 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140599058504360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5775] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5775/stat : 5775 (java) S 5768 5771 32147 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140599057451816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5776] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5776/stat : 5776 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140599056399272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5777] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5777/stat : 5777 (java) S 5768 5771 32147 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140599055346728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5778] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5778/stat : 5778 (java) S 5768 5771 32147 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140599054293160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5779] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5779/stat : 5779 (java) S 5768 5771 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140599053240616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5780] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5780/stat : 5780 (java) S 5768 5771 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140599052188072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5781] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5781/stat : 5781 (java) S 5768 5771 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104485392 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140599051135528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5782] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5782/stat : 5782 (java) S 5768 5771 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104485393 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140598921112168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5783] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5783/stat : 5783 (java) S 5768 5771 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104485393 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140598920058488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5784] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5784/stat : 5784 (java) S 5768 5771 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104485393 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140598919005832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5785] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5785/stat : 5785 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485395 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140598917954576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5786] ppid=5768 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/5771/task/5786/stat : 5786 (java) S 5768 5771 32147 0 -1 4202560 10463 0 0 0 91 2 0 0 20 0 19 0 104485395 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140598916900920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5787] ppid=5768 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/5771/task/5787/stat : 5787 (java) S 5768 5771 32147 0 -1 4202560 5520 0 0 0 69 0 0 0 20 0 19 0 104485396 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140598915848376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5788] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5788/stat : 5788 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485396 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140598914796024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5789] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5789/stat : 5789 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485396 10060525568 48963 33554432000 1073741824 1073778376 140733249635552 140598913743688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 3.63 3.99 4.08 5/219 5823
/proc/meminfo: memFree=29776884/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9824732 CPUtime=7.48 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 20717 0 1 0 714 34 0 0 20 0 19 0 104485391 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2456183 63126 2287 9 0 2446860 0
[pid=5771/tid=5772] ppid=5768 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) S 5768 5771 32147 0 -1 4202560 2427 0 1 0 26 2 0 0 20 0 19 0 104485391 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140599097013112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5774] ppid=5768 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/5771/task/5774/stat : 5774 (java) S 5768 5771 32147 0 -1 4202560 89 0 0 0 3 0 0 0 20 0 19 0 104485392 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140599058504360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5775] ppid=5768 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/5771/task/5775/stat : 5775 (java) S 5768 5771 32147 0 -1 4202560 127 0 0 0 5 2 0 0 20 0 19 0 104485392 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140599057451816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5776] ppid=5768 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/5771/task/5776/stat : 5776 (java) S 5768 5771 32147 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 104485392 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140599056399272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5777] ppid=5768 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/5771/task/5777/stat : 5777 (java) S 5768 5771 32147 0 -1 4202560 103 0 0 0 3 0 0 0 20 0 19 0 104485392 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140599055346728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5778] ppid=5768 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/5771/task/5778/stat : 5778 (java) S 5768 5771 32147 0 -1 4202560 165 0 0 0 3 2 0 0 20 0 19 0 104485392 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140599054293160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5779] ppid=5768 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/5771/task/5779/stat : 5779 (java) S 5768 5771 32147 0 -1 4202560 79 0 0 0 3 1 0 0 20 0 19 0 104485392 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140599053240616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5780] ppid=5768 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/5771/task/5780/stat : 5780 (java) S 5768 5771 32147 0 -1 4202560 71 0 0 0 1 0 0 0 20 0 19 0 104485392 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140599052188072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5781] ppid=5768 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/5771/task/5781/stat : 5781 (java) S 5768 5771 32147 0 -1 4202560 105 0 0 0 3 0 0 0 20 0 19 0 104485392 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140599051135528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5782] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5782/stat : 5782 (java) S 5768 5771 32147 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 104485393 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140598921112168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5783] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5783/stat : 5783 (java) S 5768 5771 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104485393 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140598920058488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5784] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5784/stat : 5784 (java) S 5768 5771 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104485393 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140598919005832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5785] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5785/stat : 5785 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485395 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140598917954576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5786] ppid=5768 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/5771/task/5786/stat : 5786 (java) S 5768 5771 32147 0 -1 4202560 10467 0 0 0 103 2 0 0 20 0 19 0 104485395 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140598916900920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5787] ppid=5768 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/5771/task/5787/stat : 5787 (java) S 5768 5771 32147 0 -1 4202560 5523 0 0 0 84 0 0 0 20 0 19 0 104485396 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140598915848376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5788] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5788/stat : 5788 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104485396 10060525568 63126 33554432000 1073741824 1073778376 140733249635552 140598914796024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5789] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

# Adding the difference (1.10986 s) to the 'lost time'.

[startup+908.001 s]
/proc/loadavg: 4.18 4.16 4.10 5/220 6147
/proc/meminfo: memFree=24425064/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9824732 CPUtime=1799.45 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 42771 0 1 0 179709 236 0 0 20 0 22 0 104485391 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2456183 837083 2295 9 0 2446860 0
[pid=5771/tid=5772] ppid=5768 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) S 5768 5771 32147 0 -1 4202560 2433 0 1 0 31 3 0 0 20 0 22 0 104485391 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140599097013112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5774] ppid=5768 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/5771/task/5774/stat : 5774 (java) S 5768 5771 32147 0 -1 4202560 1437 0 0 0 87 15 0 0 20 0 22 0 104485392 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140599058504360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5775] ppid=5768 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/5771/task/5775/stat : 5775 (java) S 5768 5771 32147 0 -1 4202560 1432 0 0 0 94 13 0 0 20 0 22 0 104485392 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140599057451816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5776] ppid=5768 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/5771/task/5776/stat : 5776 (java) S 5768 5771 32147 0 -1 4202560 936 0 0 0 77 12 0 0 20 0 22 0 104485392 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140599056399272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5777] ppid=5768 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/5771/task/5777/stat : 5777 (java) S 5768 5771 32147 0 -1 4202560 1629 0 0 0 103 16 0 0 20 0 22 0 104485392 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140599055346728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5778] ppid=5768 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/5771/task/5778/stat : 5778 (java) S 5768 5771 32147 0 -1 4202560 1723 0 0 0 87 13 0 0 20 0 22 0 104485392 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140599054293160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5779] ppid=5768 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/5771/task/5779/stat : 5779 (java) S 5768 5771 32147 0 -1 4202560 1484 0 0 0 84 12 0 0 20 0 22 0 104485392 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140599053240616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5780] ppid=5768 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/5771/task/5780/stat : 5780 (java) S 5768 5771 32147 0 -1 4202560 2607 0 0 0 95 17 0 0 20 0 22 0 104485392 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140599052188072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5781] ppid=5768 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/5771/task/5781/stat : 5781 (java) S 5768 5771 32147 0 -1 4202560 990 0 0 0 89 11 0 0 20 0 22 0 104485392 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140599051135528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5782] ppid=5768 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/5771/task/5782/stat : 5782 (java) S 5768 5771 32147 0 -1 4202560 3090 0 0 0 281 8 0 0 20 0 22 0 104485393 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598921112168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5783] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5783/stat : 5783 (java) S 5768 5771 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104485393 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598920058488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5784] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5784/stat : 5784 (java) S 5768 5771 32147 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 104485393 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598919005832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5785] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5785/stat : 5785 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104485395 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598917954576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5786] ppid=5768 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/5771/task/5786/stat : 5786 (java) S 5768 5771 32147 0 -1 4202560 10492 0 0 0 139 2 0 0 20 0 22 0 104485395 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598916900920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5787] ppid=5768 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/5771/task/5787/stat : 5787 (java) S 5768 5771 32147 0 -1 4202560 10497 0 0 0 138 1 0 0 20 0 22 0 104485396 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598915848376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5788] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5788/stat : 5788 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104485396 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598914796024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5789] ppid=5768 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/5771/task/5789/stat : 5789 (java) S 5768 5771 32147 0 -1 4202560 53 0 0 0 11 13 0 0 20 0 22 0 104485396 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598913743688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5889] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5889/stat : 5889 (java) S 5768 5771 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104497735 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598912689448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5905] ppid=5768 vsize=9824732 CPUtime=585.78 cores=0,2,4,6
/proc/5771/task/5905/stat : 5905 (java) R 5768 5771 32147 0 -1 4202560 12 0 0 0 58569 9 0 0 20 0 22 0 104517242 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598911627664 140598925945977 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5771/tid=5906] ppid=5768 vsize=9824732 CPUtime=585.87 cores=0,2,4,6
/proc/5771/task/5906/stat : 5906 (java) R 5768 5771 32147 0 -1 4202560 407 0 0 0 58577 10 0 0 20 0 22 0 104517242 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140598910581552 140598926241920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5907] ppid=5768 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5907/stat : 5907 (java) S 5768 5771 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104517242 10060525568 837083 33554432000 1073741824 1073778376 140733249635552 140597633475368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 9824732

[startup+908.105 s]
/proc/loadavg: 4.18 4.16 4.10 5/220 6147
/proc/meminfo: memFree=24425064/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9957860 CPUtime=1798.34 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 42816 0 1 0 179578 256 0 0 20 0 18 0 104485391 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2489465 837108 2302 9 0 2480142 0
[pid=5771/tid=5772] ppid=5768 vsize=9957860 CPUtime=0.34 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) S 5768 5771 32147 0 -1 4202560 2433 0 1 0 31 3 0 0 20 0 18 0 104485391 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599097013112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5774] ppid=5768 vsize=9957860 CPUtime=1.02 cores=0,2,4,6
/proc/5771/task/5774/stat : 5774 (java) S 5768 5771 32147 0 -1 4202560 1437 0 0 0 87 15 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599058504360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5775] ppid=5768 vsize=9957860 CPUtime=1.07 cores=0,2,4,6
/proc/5771/task/5775/stat : 5775 (java) S 5768 5771 32147 0 -1 4202560 1432 0 0 0 94 13 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599057451816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5776] ppid=5768 vsize=9957860 CPUtime=0.89 cores=0,2,4,6
/proc/5771/task/5776/stat : 5776 (java) S 5768 5771 32147 0 -1 4202560 936 0 0 0 77 12 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599056399272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5777] ppid=5768 vsize=9957860 CPUtime=1.19 cores=0,2,4,6
/proc/5771/task/5777/stat : 5777 (java) S 5768 5771 32147 0 -1 4202560 1629 0 0 0 103 16 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599055346728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5778] ppid=5768 vsize=9957860 CPUtime=1 cores=0,2,4,6
/proc/5771/task/5778/stat : 5778 (java) S 5768 5771 32147 0 -1 4202560 1723 0 0 0 87 13 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599054293160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5779] ppid=5768 vsize=9957860 CPUtime=0.96 cores=0,2,4,6
/proc/5771/task/5779/stat : 5779 (java) S 5768 5771 32147 0 -1 4202560 1484 0 0 0 84 12 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599053240616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5780] ppid=5768 vsize=9957860 CPUtime=1.12 cores=0,2,4,6
/proc/5771/task/5780/stat : 5780 (java) S 5768 5771 32147 0 -1 4202560 2607 0 0 0 95 17 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599052188072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5781] ppid=5768 vsize=9957860 CPUtime=1 cores=0,2,4,6
/proc/5771/task/5781/stat : 5781 (java) S 5768 5771 32147 0 -1 4202560 990 0 0 0 89 11 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599051135528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5782] ppid=5768 vsize=9957860 CPUtime=2.95 cores=0,2,4,6
/proc/5771/task/5782/stat : 5782 (java) R 5768 5771 32147 0 -1 4202560 3090 0 0 0 281 14 0 0 20 0 18 0 104485393 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598921112344 219513916551 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5783] ppid=5768 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5783/stat : 5783 (java) S 5768 5771 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104485393 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598920058488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5784] ppid=5768 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5784/stat : 5784 (java) S 5768 5771 32147 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 18 0 104485393 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598919005832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5786] ppid=5768 vsize=9957860 CPUtime=1.43 cores=0,2,4,6
/proc/5771/task/5786/stat : 5786 (java) S 5768 5771 32147 0 -1 4202560 10502 0 0 0 141 2 0 0 20 0 18 0 104485395 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598916877496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5787] ppid=5768 vsize=9957860 CPUtime=1.39 cores=0,2,4,6
/proc/5771/task/5787/stat : 5787 (java) S 5768 5771 32147 0 -1 4202560 10498 0 0 0 138 1 0 0 20 0 18 0 104485396 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598915848376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5788] ppid=5768 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5788/stat : 5788 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104485396 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598914796024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5906] ppid=5768 vsize=9957860 CPUtime=585.97 cores=0,2,4,6
/proc/5771/task/5906/stat : 5906 (java) R 5768 5771 32147 0 -1 4202560 407 0 0 0 58587 10 0 0 20 0 18 0 104517242 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598910581912 140598926241952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.34
Current children cumulated vsize (KiB) 9957860
#
############


Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5771 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+908.105 s]
/proc/loadavg: 4.18 4.16 4.10 5/220 6147
/proc/meminfo: memFree=24425064/32872528 swapFree=12208/1156848
[pid=5771] ppid=5768 vsize=9957860 CPUtime=1798.34 cores=0,2,4,6
/proc/5771/stat : 5771 (java) S 5768 5771 32147 0 -1 4202496 42816 0 1 0 179578 256 0 0 20 0 18 0 104485391 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140733249626688 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5771/statm: 2489465 837108 2302 9 0 2480142 0
[pid=5771/tid=5772] ppid=5768 vsize=9957860 CPUtime=0.34 cores=0,2,4,6
/proc/5771/task/5772/stat : 5772 (java) S 5768 5771 32147 0 -1 4202560 2433 0 1 0 31 3 0 0 20 0 18 0 104485391 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599097013112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5774] ppid=5768 vsize=9957860 CPUtime=1.02 cores=0,2,4,6
/proc/5771/task/5774/stat : 5774 (java) S 5768 5771 32147 0 -1 4202560 1437 0 0 0 87 15 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599058504360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5775] ppid=5768 vsize=9957860 CPUtime=1.07 cores=0,2,4,6
/proc/5771/task/5775/stat : 5775 (java) S 5768 5771 32147 0 -1 4202560 1432 0 0 0 94 13 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599057451816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5776] ppid=5768 vsize=9957860 CPUtime=0.89 cores=0,2,4,6
/proc/5771/task/5776/stat : 5776 (java) S 5768 5771 32147 0 -1 4202560 936 0 0 0 77 12 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599056399272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5777] ppid=5768 vsize=9957860 CPUtime=1.19 cores=0,2,4,6
/proc/5771/task/5777/stat : 5777 (java) S 5768 5771 32147 0 -1 4202560 1629 0 0 0 103 16 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599055346728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5778] ppid=5768 vsize=9957860 CPUtime=1 cores=0,2,4,6
/proc/5771/task/5778/stat : 5778 (java) S 5768 5771 32147 0 -1 4202560 1723 0 0 0 87 13 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599054293160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5779] ppid=5768 vsize=9957860 CPUtime=0.96 cores=0,2,4,6
/proc/5771/task/5779/stat : 5779 (java) S 5768 5771 32147 0 -1 4202560 1484 0 0 0 84 12 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599053240616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5780] ppid=5768 vsize=9957860 CPUtime=1.12 cores=0,2,4,6
/proc/5771/task/5780/stat : 5780 (java) S 5768 5771 32147 0 -1 4202560 2607 0 0 0 95 17 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599052188072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5781] ppid=5768 vsize=9957860 CPUtime=1 cores=0,2,4,6
/proc/5771/task/5781/stat : 5781 (java) S 5768 5771 32147 0 -1 4202560 990 0 0 0 89 11 0 0 20 0 18 0 104485392 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140599051135528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5782] ppid=5768 vsize=9957860 CPUtime=2.95 cores=0,2,4,6
/proc/5771/task/5782/stat : 5782 (java) R 5768 5771 32147 0 -1 4202560 3090 0 0 0 281 14 0 0 20 0 18 0 104485393 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598921112344 219513916551 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5783] ppid=5768 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5783/stat : 5783 (java) S 5768 5771 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104485393 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598920058488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5771/tid=5784] ppid=5768 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5784/stat : 5784 (java) S 5768 5771 32147 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 18 0 104485393 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598919005832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5786] ppid=5768 vsize=9957860 CPUtime=1.43 cores=0,2,4,6
/proc/5771/task/5786/stat : 5786 (java) S 5768 5771 32147 0 -1 4202560 10502 0 0 0 141 2 0 0 20 0 18 0 104485395 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598916877496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5771/tid=5787] ppid=5768 vsize=9957860 CPUtime=1.39 cores=0,2,4,6
/proc/5771/task/5787/stat : 5787 (java) S 5768 5771 32147 0 -1 4202560 10498 0 0 0 138 1 0 0 20 0 18 0 104485396 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598915848376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5788] ppid=5768 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/5771/task/5788/stat : 5788 (java) S 5768 5771 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104485396 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598914796024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5771/tid=5906] ppid=5768 vsize=9957860 CPUtime=585.97 cores=0,2,4,6
/proc/5771/task/5906/stat : 5906 (java) R 5768 5771 32147 0 -1 4202560 407 0 0 0 58587 10 0 0 20 0 18 0 104517242 10196848640 837108 33554432000 1073741824 1073778376 140733249635552 140598910581912 140598926241952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.34
Current children cumulated vsize (KiB) 9957860

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5771 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=231235
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=820571
# CPU time returned by wait4() is 1797.05
# while last known CPU time is 1798.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.77995
#  lost CPU user time (s): 2.04996
#  lost CPU system time (s): -0.27

Real time (s): 908.128
CPU time (s): 1800.12
CPU user time (s): 1797.83
CPU system time (s): 2.29
CPU usage (%): 198.223
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 2.82057
maximum resident set size= 3351320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42816
page faults= 1
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24195
involuntary context switches= 22620

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58415 second user time and 7.45187 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-06 17:05:08
IDJOB=4081133
IDBENCH=2105
IDSOLVER=2543
FILE ID=node114/4081133-1465225508
RUNJOBID= node114-1465217569-32163
PBS_JOBID= 19843208
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081133-1465225508/watcher-4081133-1465225508 -o /tmp/evaluation-result-4081133-1465225508/solver-4081133-1465225508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32163 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081133-1465225508.opb

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

MD5SUM BENCH= 0d4648505d14cf43905d3198d6f686c2
RANDOM SEED=408230348

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30039592 kB
Buffers:           20588 kB
Cached:           131324 kB
SwapCached:         1736 kB
Active:           882392 kB
Inactive:          93448 kB
Active(anon):     825096 kB
Inactive(anon):     1200 kB
Active(file):      57296 kB
Inactive(file):    92248 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096588 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:       1978280 kB
Mapped:            15308 kB
Shmem:                 0 kB
Slab:             567648 kB
SReclaimable:      10972 kB
SUnreclaim:       556676 kB
KernelStack:        1656 kB
PageTables:         8008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2406852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1931264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node114 at 2016-06-06 17:20:17