Trace number 4085459

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 Resolution PB16SAT (TO)52 1800.61 1798.24

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4085459-1465244655.opb
0.08/0.12	c reading problem ... 
0.08/0.13	c  objective function found
0.08/0.17	c ... done. Wall clock time 0.047s.
0.08/0.17	c declared #vars     172
0.08/0.17	c #constraints  14
0.08/0.17	c constraints type 
0.08/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.08/0.17	c 14 constraints processed.
0.08/0.17	c objective function length is 112 literals
0.62/0.43	c SATISFIABLE
0.62/0.43	c OPTIMIZING...
0.62/0.43	c Got one! Elapsed wall clock time (in seconds):0.31
0.62/0.44	o 777
0.62/0.46	c Got one! Elapsed wall clock time (in seconds):0.334
0.62/0.46	o 294
0.76/0.53	c Got one! Elapsed wall clock time (in seconds):0.41
0.76/0.53	o 286
0.76/0.58	c Got one! Elapsed wall clock time (in seconds):0.456
0.76/0.58	o 191
0.76/0.59	c Got one! Elapsed wall clock time (in seconds):0.47
0.76/0.59	o 181
1.20/0.85	c cleaning 3793 clauses out of 7585 with flag 8419/7585
1.37/0.90	c Got one! Elapsed wall clock time (in seconds):0.775
1.37/0.90	o 180
1.37/0.96	c Got one! Elapsed wall clock time (in seconds):0.832
1.37/0.96	o 179
1.56/1.00	c Got one! Elapsed wall clock time (in seconds):0.875
1.56/1.00	o 178
1.56/1.04	c Got one! Elapsed wall clock time (in seconds):0.913
1.56/1.04	o 176
1.56/1.06	c Got one! Elapsed wall clock time (in seconds):0.937
1.56/1.06	o 175
1.56/1.08	c Got one! Elapsed wall clock time (in seconds):0.956
1.56/1.08	o 159
1.56/1.09	c Got one! Elapsed wall clock time (in seconds):0.962
1.56/1.09	o 157
1.68/1.16	c Got one! Elapsed wall clock time (in seconds):1.031
1.68/1.16	o 156
1.68/1.18	c Got one! Elapsed wall clock time (in seconds):1.059
1.68/1.18	o 155
1.81/1.21	c Got one! Elapsed wall clock time (in seconds):1.085
1.81/1.21	o 153
1.81/1.25	c Got one! Elapsed wall clock time (in seconds):1.127
1.81/1.25	o 151
1.81/1.29	c Got one! Elapsed wall clock time (in seconds):1.161
1.81/1.29	o 150
2.02/1.34	c Got one! Elapsed wall clock time (in seconds):1.211
2.02/1.34	o 148
2.02/1.34	c Got one! Elapsed wall clock time (in seconds):1.22
2.02/1.34	o 146
2.02/1.36	c Got one! Elapsed wall clock time (in seconds):1.233
2.02/1.36	o 143
2.12/1.41	c Got one! Elapsed wall clock time (in seconds):1.288
2.12/1.41	o 142
2.52/1.87	c Got one! Elapsed wall clock time (in seconds):1.745
2.52/1.87	o 140
2.62/1.95	c Got one! Elapsed wall clock time (in seconds):1.828
2.62/1.95	o 123
2.72/2.00	c Got one! Elapsed wall clock time (in seconds):1.879
2.72/2.00	o 122
2.72/2.05	c Got one! Elapsed wall clock time (in seconds):1.931
2.72/2.05	o 120
2.85/2.19	c cleaning 8514 clauses out of 17028 with flag 2209/20821
3.16/2.46	c Got one! Elapsed wall clock time (in seconds):2.34
3.16/2.46	o 119
3.26/2.55	c Got one! Elapsed wall clock time (in seconds):2.423
3.26/2.55	o 112
3.26/2.56	c Got one! Elapsed wall clock time (in seconds):2.436
3.26/2.56	o 111
3.46/2.79	c cleaning 7217 clauses out of 14438 with flag 4498/26745
3.58/2.80	c Got one! Elapsed wall clock time (in seconds):2.68
3.58/2.80	o 110
3.98/3.24	c cleaning 6207 clauses out of 12422 with flag 12235/31946
4.48/3.73	c cleaning 6104 clauses out of 12214 with flag 25477/37945
5.08/4.37	c cleaning 6556 clauses out of 13112 with flag 41230/44947
5.89/5.17	c cleaning 7277 clauses out of 14554 with flag 59278/52945
6.89/6.14	c cleaning 8138 clauses out of 16279 with flag 79225/61947
8.08/7.37	c cleaning 9068 clauses out of 18139 with flag 101344/71945
9.59/8.81	c cleaning 10035 clauses out of 20073 with flag 125370/82947
9.79/9.05	c Got one! Elapsed wall clock time (in seconds):8.921
9.79/9.05	o 108
10.19/9.44	c cleaning 7764 clauses out of 15539 with flag 6466/88448
10.81/10.09	c cleaning 6884 clauses out of 13774 with flag 20154/94447
11.70/10.92	c cleaning 6944 clauses out of 13892 with flag 35708/101449
12.70/11.93	c cleaning 7468 clauses out of 14947 with flag 53182/109448
13.70/12.97	c Got one! Elapsed wall clock time (in seconds):12.85
13.70/12.97	o 107
14.50/13.77	c cleaning 10480 clauses out of 20963 with flag 11512/122932
14.60/13.82	c Got one! Elapsed wall clock time (in seconds):13.695
14.60/13.82	o 106
14.80/14.00	c Got one! Elapsed wall clock time (in seconds):13.875
14.80/14.00	o 104
15.20/14.45	c Got one! Elapsed wall clock time (in seconds):14.321
15.20/14.45	o 102
15.40/14.62	c cleaning 8649 clauses out of 17304 with flag 2207/129753
15.80/15.06	c cleaning 7320 clauses out of 14657 with flag 15525/135755
16.30/15.57	c cleaning 7157 clauses out of 14334 with flag 31841/142752
17.00/16.22	c cleaning 7584 clauses out of 15178 with flag 49388/150753
17.70/16.98	c cleaning 8291 clauses out of 16593 with flag 68948/159752
18.70/17.92	c cleaning 9150 clauses out of 18304 with flag 90616/169754
19.79/19.08	c cleaning 10074 clauses out of 20153 with flag 114738/180753
21.20/20.45	c cleaning 11032 clauses out of 22078 with flag 141290/192752
22.91/22.17	c cleaning 12019 clauses out of 24049 with flag 170143/205755
24.90/24.20	c cleaning 13014 clauses out of 26034 with flag 201237/219759
27.00/26.26	c cleaning 13999 clauses out of 28015 with flag 234150/234754
29.30/28.59	c cleaning 14994 clauses out of 30015 with flag 269567/250753
32.10/31.33	c cleaning 16005 clauses out of 32020 with flag 307631/267752
34.80/34.03	c cleaning 17001 clauses out of 34015 with flag 346923/285752
37.90/37.14	c cleaning 18004 clauses out of 36015 with flag 388033/304753
41.20/40.48	c cleaning 19001 clauses out of 38013 with flag 431353/324755
44.73/43.92	c cleaning 20005 clauses out of 40010 with flag 476694/345753
48.42/47.66	c cleaning 21002 clauses out of 42008 with flag 525679/367756
52.53/51.75	c cleaning 21995 clauses out of 44003 with flag 573961/390753
58.22/57.40	c cleaning 22995 clauses out of 46007 with flag 623772/414752
62.84/62.08	c cleaning 24002 clauses out of 48014 with flag 676404/439754
68.24/67.47	c cleaning 25009 clauses out of 50018 with flag 732218/465760
74.55/73.72	c cleaning 25995 clauses out of 52002 with flag 789750/492753
81.54/80.79	c cleaning 26997 clauses out of 54007 with flag 848191/520753
88.25/87.41	c cleaning 28004 clauses out of 56009 with flag 910676/549752
96.05/95.24	c cleaning 28998 clauses out of 58007 with flag 973941/579754
103.66/102.87	c cleaning 30003 clauses out of 60007 with flag 1040442/610752
111.96/111.20	c cleaning 30994 clauses out of 62005 with flag 1109966/642753
121.36/120.57	c cleaning 32004 clauses out of 64011 with flag 1181689/675753
122.97/122.16	c Got one! Elapsed wall clock time (in seconds):122.035
122.97/122.16	o 101
123.66/122.88	c Got one! Elapsed wall clock time (in seconds):122.751
123.66/122.88	o 100
124.26/123.45	c cleaning 22812 clauses out of 45636 with flag 4650/689382
125.27/124.48	c cleaning 14403 clauses out of 28825 with flag 18241/695383
126.16/125.37	c cleaning 10704 clauses out of 21420 with flag 34370/702381
127.06/126.22	c cleaning 9354 clauses out of 18719 with flag 52068/710384
128.06/127.20	c cleaning 9174 clauses out of 18366 with flag 71852/719385
128.16/127.40	c Got one! Elapsed wall clock time (in seconds):127.272
128.16/127.40	o 99
128.57/127.74	c cleaning 7348 clauses out of 14712 with flag 6872/724905
128.96/128.13	c Got one! Elapsed wall clock time (in seconds):128.01
128.96/128.13	o 97
129.46/128.68	c cleaning 8872 clauses out of 17749 with flag 11880/735290
129.96/129.17	c cleaning 7428 clauses out of 14875 with flag 25826/741288
130.56/129.80	c cleaning 7214 clauses out of 14449 with flag 41262/748290
131.36/130.52	c cleaning 7612 clauses out of 15234 with flag 58928/756289
132.16/131.36	c cleaning 8304 clauses out of 16619 with flag 79832/765286
133.16/132.32	c cleaning 9152 clauses out of 18318 with flag 104768/775289
134.36/133.53	c cleaning 10088 clauses out of 20179 with flag 129883/786302
134.56/133.80	c Got one! Elapsed wall clock time (in seconds):133.671
134.56/133.80	o 96
134.66/133.84	c Got one! Elapsed wall clock time (in seconds):133.711
134.66/133.84	o 94
134.86/134.03	c cleaning 7779 clauses out of 15577 with flag 4640/791788
134.96/134.10	c Got one! Elapsed wall clock time (in seconds):133.973
134.96/134.10	o 92
135.36/134.58	c cleaning 6846 clauses out of 13710 with flag 11028/797700
135.96/135.10	c cleaning 6427 clauses out of 12866 with flag 23880/803702
136.56/135.77	c cleaning 6703 clauses out of 13438 with flag 39075/810701
137.06/136.25	c Got one! Elapsed wall clock time (in seconds):136.128
137.06/136.25	o 88
137.66/136.89	c cleaning 8627 clauses out of 17254 with flag 10959/821220
138.26/137.48	c cleaning 7303 clauses out of 14622 with flag 24365/827215
138.96/138.18	c cleaning 7151 clauses out of 14320 with flag 39555/834216
139.76/138.98	c cleaning 7586 clauses out of 15171 with flag 57405/842218
140.76/139.93	c cleaning 8286 clauses out of 16582 with flag 78159/851215
141.67/140.87	c Got one! Elapsed wall clock time (in seconds):140.741
141.67/140.87	o 87
142.08/141.21	c Got one! Elapsed wall clock time (in seconds):141.083
142.08/141.21	o 85
142.48/141.69	c cleaning 11237 clauses out of 22500 with flag 7550/865419
143.28/142.40	c cleaning 8627 clauses out of 17270 with flag 21190/871426
143.68/142.87	c Got one! Elapsed wall clock time (in seconds):142.741
143.68/142.87	o 84
143.89/143.00	c cleaning 7174 clauses out of 14357 with flag 2107/877140
143.99/143.12	c Got one! Elapsed wall clock time (in seconds):142.992
143.99/143.12	o 83
144.29/143.47	c Got one! Elapsed wall clock time (in seconds):143.342
144.29/143.47	o 82
144.39/143.57	c cleaning 6825 clauses out of 13654 with flag 2248/883611
144.69/143.84	c Got one! Elapsed wall clock time (in seconds):143.718
144.69/143.84	o 81
144.79/143.94	c cleaning 5994 clauses out of 11999 with flag 2183/888781
144.88/144.07	c Got one! Elapsed wall clock time (in seconds):143.947
144.88/144.07	o 79
145.19/144.32	c cleaning 5529 clauses out of 11084 with flag 6865/893860
145.69/144.81	c cleaning 5766 clauses out of 11549 with flag 20052/899854
146.29/145.40	c cleaning 6392 clauses out of 12786 with flag 35135/906857
146.99/146.13	c cleaning 7200 clauses out of 14399 with flag 52233/914862
147.89/147.07	c cleaning 8092 clauses out of 16195 with flag 71347/923858
148.99/148.15	c cleaning 9048 clauses out of 18099 with flag 93477/933854
149.29/148.47	c Got one! Elapsed wall clock time (in seconds):148.345
149.29/148.47	o 77
149.50/148.69	c cleaning 7394 clauses out of 14799 with flag 4538/939602
150.09/149.22	c cleaning 6704 clauses out of 13416 with flag 17557/945613
150.19/149.36	c Got one! Elapsed wall clock time (in seconds):149.24
150.19/149.36	o 76
150.50/149.65	c cleaning 5852 clauses out of 11713 with flag 6767/950614
150.99/150.17	c cleaning 5922 clauses out of 11862 with flag 20044/956615
151.60/150.80	c cleaning 6475 clauses out of 12953 with flag 35258/963628
152.39/151.57	c cleaning 7230 clauses out of 14464 with flag 52402/971614
153.29/152.48	c cleaning 8117 clauses out of 16233 with flag 72117/980613
154.29/153.49	c cleaning 9057 clauses out of 18117 with flag 93446/990614
155.19/154.36	c Got one! Elapsed wall clock time (in seconds):154.236
155.19/154.36	o 75
155.89/155.08	c cleaning 11177 clauses out of 22370 with flag 10750/1003924
156.59/155.73	c cleaning 8596 clauses out of 17192 with flag 23853/1009923
157.20/156.35	c cleaning 7791 clauses out of 15598 with flag 39365/1016925
157.89/157.09	c cleaning 7899 clauses out of 15805 with flag 56657/1024923
158.79/157.94	c cleaning 8449 clauses out of 16907 with flag 76387/1033924
159.79/158.95	c cleaning 9231 clauses out of 18462 with flag 98288/1043928
160.19/159.34	c Got one! Elapsed wall clock time (in seconds):159.215
160.19/159.34	o 73
160.29/159.46	c cleaning 7323 clauses out of 14665 with flag 2113/1049362
160.89/160.03	c cleaning 6660 clauses out of 13333 with flag 15753/1055353
161.39/160.56	c cleaning 6833 clauses out of 13673 with flag 31031/1062353
162.09/161.22	c cleaning 7414 clauses out of 14843 with flag 48334/1070356
162.89/162.00	c cleaning 8209 clauses out of 16426 with flag 67641/1079353
163.80/162.92	c cleaning 9107 clauses out of 18217 with flag 88942/1089353
164.90/164.02	c cleaning 10052 clauses out of 20115 with flag 111816/1100358
166.09/165.29	c cleaning 11030 clauses out of 22064 with flag 137573/1112359
167.79/166.93	c cleaning 12014 clauses out of 24028 with flag 166569/1125353
169.59/168.75	c cleaning 13005 clauses out of 26014 with flag 196786/1139353
171.69/170.83	c cleaning 14000 clauses out of 28010 with flag 229409/1154354
174.09/173.23	c cleaning 15004 clauses out of 30011 with flag 264019/1170355
176.49/175.66	c cleaning 15999 clauses out of 32005 with flag 299336/1187353
179.49/178.64	c cleaning 17006 clauses out of 34012 with flag 336951/1205359
182.70/181.84	c cleaning 18002 clauses out of 36008 with flag 376432/1224361
186.40/185.54	c cleaning 18998 clauses out of 37999 with flag 417779/1244354
187.90/187.02	c Got one! Elapsed wall clock time (in seconds):186.898
187.90/187.02	o 71
188.50/187.61	c Got one! Elapsed wall clock time (in seconds):187.489
188.50/187.61	o 70
188.90/188.10	c cleaning 17157 clauses out of 34331 with flag 4382/1259684
189.90/189.02	c cleaning 11582 clauses out of 23171 with flag 17633/1265681
190.60/189.77	c cleaning 9289 clauses out of 18591 with flag 33272/1272683
191.50/190.61	c cleaning 8642 clauses out of 17299 with flag 50518/1280680
191.70/190.80	c Got one! Elapsed wall clock time (in seconds):190.679
191.70/190.80	o 69
192.00/191.11	c cleaning 7044 clauses out of 14099 with flag 6792/1286122
192.50/191.63	c cleaning 6526 clauses out of 13059 with flag 20422/1292126
193.10/192.21	c cleaning 6765 clauses out of 13531 with flag 35602/1299124
193.80/192.96	c cleaning 7381 clauses out of 14766 with flag 53225/1307124
194.70/193.86	c cleaning 8183 clauses out of 16385 with flag 73347/1316124
195.71/194.87	c cleaning 9095 clauses out of 18201 with flag 95450/1326123
197.00/196.17	c cleaning 10057 clauses out of 20113 with flag 119405/1337130
198.30/197.47	c cleaning 11023 clauses out of 22051 with flag 146274/1349125
199.90/199.03	c cleaning 12008 clauses out of 24025 with flag 175252/1362122
201.60/200.78	c cleaning 13009 clauses out of 26017 with flag 207159/1376122
203.60/202.78	c cleaning 13996 clauses out of 28009 with flag 240918/1391123
205.90/205.09	c cleaning 15003 clauses out of 30012 with flag 277443/1407122
208.30/207.42	c cleaning 15998 clauses out of 32011 with flag 313736/1424124
211.20/210.34	c cleaning 17006 clauses out of 34012 with flag 352862/1442123
214.20/213.40	c cleaning 18005 clauses out of 36011 with flag 394385/1461128
217.50/216.61	c cleaning 18999 clauses out of 38004 with flag 437312/1481126
220.91/220.09	c cleaning 20003 clauses out of 40005 with flag 484520/1502126
224.60/223.71	c cleaning 20996 clauses out of 42000 with flag 533361/1524124
228.30/227.46	c cleaning 21996 clauses out of 44002 with flag 583718/1547122
232.80/231.91	c cleaning 22995 clauses out of 46006 with flag 637254/1571122
237.30/236.40	c cleaning 24003 clauses out of 48012 with flag 691314/1596123
242.40/241.50	c cleaning 25005 clauses out of 50009 with flag 748359/1622123
248.00/247.15	c cleaning 26001 clauses out of 52009 with flag 809105/1649128
253.60/252.73	c cleaning 26994 clauses out of 54002 with flag 871592/1677122
259.30/258.41	c cleaning 28003 clauses out of 56010 with flag 935213/1706124
265.70/264.89	c cleaning 28998 clauses out of 58005 with flag 1000271/1736122
273.20/272.37	c cleaning 29997 clauses out of 60007 with flag 1067351/1767122
280.80/279.95	c cleaning 30999 clauses out of 62012 with flag 1137666/1799124
288.90/288.01	c cleaning 32003 clauses out of 64012 with flag 1210239/1832123
297.31/296.44	c cleaning 33003 clauses out of 66010 with flag 1284852/1866124
306.13/305.23	c cleaning 34002 clauses out of 68005 with flag 1360629/1901122
315.63/314.73	c cleaning 35002 clauses out of 70003 with flag 1436294/1937122
325.33/324.42	c cleaning 36000 clauses out of 72003 with flag 1512617/1974124
335.13/334.24	c cleaning 37002 clauses out of 74004 with flag 1590486/2012125
345.63/344.70	c cleaning 37999 clauses out of 76001 with flag 1674953/2051124
356.63/355.72	c cleaning 38992 clauses out of 78001 with flag 1763065/2091123
368.53/367.61	c cleaning 40002 clauses out of 80011 with flag 1854256/2132125
381.13/380.26	c cleaning 40999 clauses out of 82006 with flag 1947216/2174122
393.53/392.70	c cleaning 41999 clauses out of 84014 with flag 2045872/2217129
407.43/406.57	c cleaning 43004 clauses out of 86012 with flag 2144144/2261126
421.74/420.86	c cleaning 43999 clauses out of 88004 with flag 2242111/2306122
435.45/434.54	c cleaning 44998 clauses out of 90007 with flag 2342217/2352124
451.66/450.75	c cleaning 46005 clauses out of 92010 with flag 2448088/2399125
468.07/467.12	c cleaning 46998 clauses out of 94004 with flag 2554825/2447124
486.88/485.95	c cleaning 47997 clauses out of 96004 with flag 2663807/2496122
506.29/505.39	c cleaning 49006 clauses out of 98018 with flag 2774901/2546133
525.99/525.09	c cleaning 49993 clauses out of 100002 with flag 2888386/2597123
545.40/544.45	c cleaning 51003 clauses out of 102008 with flag 3002183/2649122
567.00/566.07	c cleaning 52001 clauses out of 104008 with flag 3119712/2702125
567.30/566.37	c Got one! Elapsed wall clock time (in seconds):566.245
567.30/566.37	o 68
568.71/567.74	c cleaning 28642 clauses out of 57296 with flag 9383/2707414
569.71/568.78	c cleaning 17323 clauses out of 34657 with flag 22782/2713417
570.60/569.67	c cleaning 12155 clauses out of 24329 with flag 38513/2720412
571.50/570.57	c cleaning 10085 clauses out of 20179 with flag 56466/2728417
572.50/571.52	c cleaning 9540 clauses out of 19091 with flag 76834/2737414
573.60/572.64	c cleaning 9766 clauses out of 19549 with flag 98583/2747412
574.80/573.89	c cleaning 10389 clauses out of 20784 with flag 122472/2758413
576.31/575.38	c cleaning 11189 clauses out of 22394 with flag 149369/2770412
578.00/577.07	c cleaning 12103 clauses out of 24205 with flag 178867/2783412
579.90/578.99	c cleaning 13046 clauses out of 26104 with flag 211814/2797414
582.10/581.12	c cleaning 14027 clauses out of 28057 with flag 247212/2812413
584.50/583.52	c cleaning 15015 clauses out of 30030 with flag 284397/2828413
587.11/586.15	c cleaning 16006 clauses out of 32017 with flag 323330/2845415
590.02/589.04	c cleaning 17006 clauses out of 34018 with flag 363360/2863422
593.42/592.40	c cleaning 18000 clauses out of 36005 with flag 403162/2882415
597.23/596.25	c cleaning 18999 clauses out of 38002 with flag 446843/2902412
601.22/600.23	c cleaning 19998 clauses out of 40003 with flag 492203/2923412
605.62/604.64	c cleaning 21000 clauses out of 42009 with flag 540138/2945416
609.82/608.85	c cleaning 21996 clauses out of 44007 with flag 591171/2968414
614.62/613.60	c cleaning 23003 clauses out of 46010 with flag 644924/2992413
620.02/619.01	c cleaning 24002 clauses out of 48006 with flag 700233/3017412
624.32/623.38	c Got one! Elapsed wall clock time (in seconds):623.255
624.32/623.38	o 66
625.74/624.76	c cleaning 25724 clauses out of 51465 with flag 12165/3044873
626.95/625.96	c cleaning 15858 clauses out of 31737 with flag 25820/3050869
627.94/626.95	c cleaning 11437 clauses out of 22883 with flag 41204/3057873
628.94/627.93	c cleaning 9710 clauses out of 19442 with flag 59171/3065869
629.94/628.94	c cleaning 9363 clauses out of 18732 with flag 80750/3074869
631.04/630.09	c cleaning 9686 clauses out of 19372 with flag 103555/3084872
632.04/631.00	c Got one! Elapsed wall clock time (in seconds):630.877
632.04/631.00	o 65
632.86/631.81	c cleaning 11714 clauses out of 23432 with flag 11796/3098618
633.57/632.54	c cleaning 8856 clauses out of 17721 with flag 25753/3104621
634.26/633.26	c cleaning 7926 clauses out of 15865 with flag 42082/3111621
635.06/634.08	c cleaning 7962 clauses out of 15939 with flag 60119/3119621
636.06/635.05	c cleaning 8485 clauses out of 16974 with flag 80570/3128618
636.97/635.93	c Got one! Elapsed wall clock time (in seconds):635.809
636.97/635.93	o 64
637.66/636.65	c cleaning 10900 clauses out of 21799 with flag 10522/3141928
638.36/637.37	c cleaning 8446 clauses out of 16900 with flag 23051/3147929
639.17/638.15	c cleaning 7719 clauses out of 15456 with flag 37601/3154931
640.06/639.05	c cleaning 7864 clauses out of 15732 with flag 54274/3162926
641.06/640.03	c cleaning 8424 clauses out of 16868 with flag 72875/3171926
642.16/641.10	c cleaning 9223 clauses out of 18447 with flag 93623/3181929
643.57/642.52	c cleaning 10108 clauses out of 20228 with flag 116473/3192933
645.06/644.07	c cleaning 11049 clauses out of 22113 with flag 141283/3204926
646.96/645.96	c cleaning 12032 clauses out of 24065 with flag 168077/3217927
649.36/648.30	c cleaning 13016 clauses out of 26034 with flag 197258/3231928
651.86/650.84	c cleaning 13994 clauses out of 28016 with flag 228365/3246926
654.66/653.66	c cleaning 15009 clauses out of 30024 with flag 261455/3262928
657.66/656.62	c cleaning 16002 clauses out of 32014 with flag 296431/3279927
661.09/660.10	c cleaning 17007 clauses out of 34013 with flag 333614/3297928
664.89/663.85	c cleaning 18001 clauses out of 36004 with flag 373190/3316926
668.79/667.79	c cleaning 19001 clauses out of 38003 with flag 414960/3336926
673.49/672.43	c cleaning 20000 clauses out of 40003 with flag 458877/3357927
677.19/676.19	c cleaning 21004 clauses out of 42007 with flag 504454/3379931
681.59/680.57	c cleaning 21998 clauses out of 43998 with flag 552289/3402926
686.80/685.78	c cleaning 22992 clauses out of 46000 with flag 601737/3426926
692.50/691.43	c cleaning 24005 clauses out of 48013 with flag 653664/3451931
698.80/697.79	c cleaning 25000 clauses out of 50003 with flag 707375/3477926
705.50/704.40	c cleaning 25994 clauses out of 52003 with flag 763095/3504926
712.40/711.32	c cleaning 27007 clauses out of 54017 with flag 821014/3532934
720.00/718.92	c cleaning 28002 clauses out of 56004 with flag 880672/3561928
727.51/726.41	c cleaning 28996 clauses out of 58001 with flag 942708/3591927
735.61/734.55	c cleaning 29999 clauses out of 60008 with flag 1006846/3622930
744.31/743.29	c cleaning 30992 clauses out of 62006 with flag 1072864/3654927
753.81/752.76	c cleaning 32006 clauses out of 64015 with flag 1141231/3687928
763.71/762.60	c cleaning 33004 clauses out of 66007 with flag 1211418/3721926
774.31/773.29	c cleaning 33995 clauses out of 68003 with flag 1284280/3756926
785.19/784.09	c cleaning 35004 clauses out of 70010 with flag 1359775/3792928
796.40/795.24	c cleaning 36001 clauses out of 72004 with flag 1437934/3829926
807.40/806.26	c cleaning 36999 clauses out of 74003 with flag 1517212/3867926
820.72/819.54	c cleaning 38000 clauses out of 76004 with flag 1598103/3906926
833.01/831.89	c cleaning 38997 clauses out of 78007 with flag 1681412/3946929
846.12/844.97	c cleaning 40003 clauses out of 80010 with flag 1766660/3987929
860.72/859.60	c cleaning 40997 clauses out of 82004 with flag 1852790/4029926
876.71/875.51	c cleaning 42000 clauses out of 84009 with flag 1942502/4072928
893.91/892.77	c cleaning 43007 clauses out of 86013 with flag 2033887/4116932
909.32/908.11	c cleaning 43991 clauses out of 88003 with flag 2126179/4161929
927.02/925.82	c cleaning 45001 clauses out of 90010 with flag 2219982/4207927
946.71/945.46	c cleaning 46001 clauses out of 92009 with flag 2316295/4254927
966.92/965.69	c cleaning 47001 clauses out of 94011 with flag 2415098/4302930
987.23/985.98	c cleaning 48003 clauses out of 96007 with flag 2515942/4351927
1009.43/1008.10	c cleaning 48998 clauses out of 98006 with flag 2619295/4401929
1028.73/1027.46	c cleaning 50002 clauses out of 100005 with flag 2724620/4452926
1051.73/1050.42	c cleaning 50997 clauses out of 102003 with flag 2831569/4504926
1074.23/1072.92	c cleaning 52006 clauses out of 104011 with flag 2941238/4557931
1103.44/1102.14	c cleaning 53000 clauses out of 106000 with flag 3053039/4611926
1132.65/1131.31	c cleaning 53997 clauses out of 108005 with flag 3166391/4666931
1162.28/1160.80	c cleaning 54997 clauses out of 110004 with flag 3282400/4722927
1162.38/1160.98	c Got one! Elapsed wall clock time (in seconds):1160.853
1162.38/1160.98	o 62
1163.28/1161.82	c Got one! Elapsed wall clock time (in seconds):1161.695
1163.28/1161.82	o 61
1164.68/1163.26	c cleaning 30894 clauses out of 61803 with flag 6449/4729723
1166.28/1164.87	c cleaning 18446 clauses out of 36908 with flag 18815/4735722
1167.59/1166.11	c cleaning 12718 clauses out of 25464 with flag 33442/4742724
1168.69/1167.27	c cleaning 10356 clauses out of 20745 with flag 50044/4750723
1169.98/1168.50	c cleaning 9680 clauses out of 19387 with flag 68676/4759721
1171.28/1169.81	c cleaning 9852 clauses out of 19707 with flag 89450/4769721
1172.58/1171.16	c cleaning 10426 clauses out of 20857 with flag 112624/4780723
1174.38/1172.98	c cleaning 11215 clauses out of 22431 with flag 137405/4792723
1176.39/1174.91	c cleaning 12106 clauses out of 24215 with flag 164511/4805722
1178.49/1177.03	c cleaning 13051 clauses out of 26108 with flag 194337/4819721
1178.78/1177.34	c Got one! Elapsed wall clock time (in seconds):1177.214
1178.78/1177.34	o 59
1179.18/1177.77	c cleaning 9383 clauses out of 18798 with flag 6556/4825462
1179.88/1178.49	c cleaning 7707 clauses out of 15420 with flag 19425/4831467
1180.79/1179.31	c cleaning 7351 clauses out of 14712 with flag 34095/4838466
1181.68/1180.25	c cleaning 7677 clauses out of 15356 with flag 51050/4846461
1182.68/1181.28	c cleaning 8335 clauses out of 16682 with flag 70051/4855464
1183.88/1182.50	c cleaning 9174 clauses out of 18349 with flag 91669/4865466
1185.38/1183.91	c cleaning 10085 clauses out of 20171 with flag 114852/4876462
1187.08/1185.60	c cleaning 11042 clauses out of 22085 with flag 139878/4888461
1188.99/1187.53	c cleaning 12019 clauses out of 24043 with flag 166629/4901461
1191.09/1189.69	c cleaning 13009 clauses out of 26024 with flag 195325/4915461
1193.39/1191.99	c cleaning 13998 clauses out of 28015 with flag 226173/4930461
1196.20/1194.73	c cleaning 15005 clauses out of 30020 with flag 259420/4946464
1199.09/1197.61	c cleaning 16005 clauses out of 32013 with flag 294671/4963462
1201.39/1199.99	c Got one! Elapsed wall clock time (in seconds):1199.87
1201.39/1199.99	o 58
1202.59/1201.20	c cleaning 17670 clauses out of 35346 with flag 10578/4982800
1203.59/1202.14	c cleaning 11824 clauses out of 23669 with flag 23117/4988793
1204.49/1203.03	c cleaning 9419 clauses out of 18844 with flag 37511/4995792
1205.49/1204.01	c cleaning 8708 clauses out of 17430 with flag 54062/5003797
1206.39/1204.99	c cleaning 8856 clauses out of 17719 with flag 72835/5012794
1207.59/1206.13	c cleaning 9431 clauses out of 18861 with flag 93478/5022792
1208.09/1206.69	c Got one! Elapsed wall clock time (in seconds):1206.564
1208.09/1206.69	o 56
1208.89/1207.41	c cleaning 10076 clauses out of 20153 with flag 10679/5033515
1209.59/1208.13	c cleaning 8027 clauses out of 16080 with flag 23898/5039518
1210.40/1208.99	c cleaning 7507 clauses out of 15050 with flag 38753/5046515
1211.39/1209.96	c cleaning 7771 clauses out of 15548 with flag 55978/5054520
1212.49/1211.10	c cleaning 8387 clauses out of 16775 with flag 75129/5063518
1213.80/1212.37	c cleaning 9184 clauses out of 18386 with flag 96190/5073516
1215.39/1213.94	c cleaning 10100 clauses out of 20201 with flag 119642/5084515
1217.10/1215.57	c cleaning 11046 clauses out of 22101 with flag 144970/5096515
1218.99/1217.47	c cleaning 12027 clauses out of 24057 with flag 172305/5109517
1221.19/1219.68	c cleaning 13016 clauses out of 26031 with flag 201417/5123518
1223.70/1222.13	c cleaning 14007 clauses out of 28014 with flag 232523/5138517
1226.69/1225.10	c cleaning 15007 clauses out of 30013 with flag 266324/5154523
1229.69/1228.11	c cleaning 15992 clauses out of 32000 with flag 303093/5171517
1232.99/1231.49	c cleaning 16994 clauses out of 34006 with flag 341753/5189515
1237.00/1235.48	c cleaning 18006 clauses out of 36012 with flag 381877/5208515
1241.19/1239.67	c cleaning 18999 clauses out of 38008 with flag 424463/5228517
1244.89/1243.32	c Got one! Elapsed wall clock time (in seconds):1243.194
1244.89/1243.32	o 54
1245.99/1244.47	c cleaning 21224 clauses out of 42451 with flag 11102/5251959
1246.90/1245.37	c cleaning 13611 clauses out of 27225 with flag 24000/5257957
1247.79/1246.22	c cleaning 10302 clauses out of 20614 with flag 38956/5264957
1248.69/1247.13	c cleaning 9143 clauses out of 18312 with flag 55707/5272957
1249.69/1248.10	c cleaning 9066 clauses out of 18170 with flag 74451/5281958
1250.79/1249.27	c cleaning 9554 clauses out of 19113 with flag 95663/5291967
1252.09/1250.53	c cleaning 10274 clauses out of 20549 with flag 118844/5302957
1253.59/1252.05	c cleaning 11138 clauses out of 22275 with flag 143964/5314957
1255.39/1253.83	c cleaning 12071 clauses out of 24142 with flag 171244/5327962
1257.19/1255.68	c cleaning 13029 clauses out of 26068 with flag 200539/5341959
1259.59/1258.02	c cleaning 14013 clauses out of 28037 with flag 231768/5356957
1262.09/1260.52	c cleaning 15012 clauses out of 30024 with flag 265136/5372957
1264.89/1263.35	c cleaning 16007 clauses out of 32013 with flag 300615/5389958
1267.99/1266.49	c cleaning 16995 clauses out of 34006 with flag 338337/5407958
1271.19/1269.69	c cleaning 18005 clauses out of 36012 with flag 377880/5426959
1275.09/1273.55	c cleaning 19002 clauses out of 38006 with flag 419279/5446958
1279.39/1277.80	c cleaning 20002 clauses out of 40007 with flag 463529/5467961
1284.00/1282.47	c cleaning 20998 clauses out of 42004 with flag 509590/5489960
1288.72/1287.11	c cleaning 22003 clauses out of 44007 with flag 557770/5512961
1293.51/1291.91	c cleaning 22994 clauses out of 46000 with flag 607992/5536957
1299.01/1297.48	c cleaning 23995 clauses out of 48007 with flag 660257/5561958
1305.01/1303.47	c cleaning 25003 clauses out of 50012 with flag 714740/5587958
1310.91/1309.31	c cleaning 25996 clauses out of 52009 with flag 770683/5614958
1316.81/1315.28	c cleaning 26999 clauses out of 54015 with flag 828321/5642960
1324.81/1323.22	c cleaning 28006 clauses out of 56018 with flag 889578/5671962
1333.11/1331.53	c cleaning 28994 clauses out of 58009 with flag 952979/5701959
1342.62/1341.02	c cleaning 30005 clauses out of 60017 with flag 1018608/5732961
1351.72/1350.17	c cleaning 31005 clauses out of 62014 with flag 1084713/5764963
1361.61/1360.06	c cleaning 31997 clauses out of 64003 with flag 1152844/5797957
1372.62/1371.05	c cleaning 32998 clauses out of 66006 with flag 1223806/5831957
1383.87/1382.27	c cleaning 34003 clauses out of 68008 with flag 1297300/5866957
1394.27/1392.65	c cleaning 34998 clauses out of 70007 with flag 1373172/5902959
1400.77/1399.13	c Got one! Elapsed wall clock time (in seconds):1399.005
1400.77/1399.13	o 52
1402.67/1401.09	c cleaning 32511 clauses out of 65035 with flag 10528/5932985
1403.97/1402.33	c cleaning 19253 clauses out of 38523 with flag 23008/5938984
1404.97/1403.35	c cleaning 13125 clauses out of 26271 with flag 37537/5945985
1405.87/1404.24	c cleaning 10561 clauses out of 21149 with flag 53894/5953988
1406.77/1405.19	c cleaning 9783 clauses out of 19586 with flag 72882/5962986
1407.87/1406.20	c cleaning 9903 clauses out of 19810 with flag 93965/5972993
1408.96/1407.33	c cleaning 10447 clauses out of 20902 with flag 116828/5983988
1410.26/1408.66	c cleaning 11225 clauses out of 22454 with flag 141642/5995987
1411.87/1410.26	c cleaning 12113 clauses out of 24230 with flag 168723/6008988
1413.66/1412.03	c cleaning 13052 clauses out of 26114 with flag 197866/6022985
1415.56/1413.97	c cleaning 14034 clauses out of 28067 with flag 229165/6037990
1417.96/1416.36	c cleaning 15008 clauses out of 30027 with flag 262720/6053984
1420.86/1419.25	c cleaning 16013 clauses out of 32027 with flag 299310/6070992
1424.07/1422.48	c cleaning 17003 clauses out of 34006 with flag 337676/6088984
1427.46/1425.83	c cleaning 18002 clauses out of 36003 with flag 377576/6107984
1431.36/1429.78	c cleaning 19001 clauses out of 38002 with flag 420739/6127985
1435.66/1434.02	c cleaning 19995 clauses out of 40000 with flag 466137/6148984
1440.36/1438.74	c cleaning 21001 clauses out of 42005 with flag 513506/6170984
1445.56/1443.91	c cleaning 21996 clauses out of 44004 with flag 562366/6193984
1451.16/1449.57	c cleaning 23003 clauses out of 46009 with flag 613682/6217985
1457.03/1455.38	c cleaning 23998 clauses out of 48006 with flag 667452/6242985
1463.43/1461.79	c cleaning 25000 clauses out of 50009 with flag 722608/6268986
1470.24/1468.53	c cleaning 25998 clauses out of 52007 with flag 780035/6295984
1477.93/1476.20	c cleaning 26997 clauses out of 54009 with flag 839846/6323984
1485.43/1483.79	c cleaning 27996 clauses out of 56013 with flag 901374/6352985
1492.93/1491.28	c cleaning 29003 clauses out of 58021 with flag 964378/6382989
1501.03/1499.40	c cleaning 30006 clauses out of 60017 with flag 1030097/6413988
1510.73/1509.01	c cleaning 31005 clauses out of 62009 with flag 1097860/6445986
1520.03/1518.34	c cleaning 32000 clauses out of 64004 with flag 1167250/6478986
1529.23/1527.57	c cleaning 33000 clauses out of 66004 with flag 1239730/6512986
1539.24/1537.57	c cleaning 34000 clauses out of 68004 with flag 1314478/6547986
1549.16/1547.42	c cleaning 35003 clauses out of 70006 with flag 1390537/6583988
1559.28/1557.57	c cleaning 35993 clauses out of 71999 with flag 1469495/6620984
1570.68/1568.95	c cleaning 36992 clauses out of 74006 with flag 1550826/6658984
1582.98/1581.20	c cleaning 38005 clauses out of 76018 with flag 1633841/6697988
1596.90/1595.12	c cleaning 39006 clauses out of 78014 with flag 1718294/6737989
1611.79/1610.06	c cleaning 40004 clauses out of 80009 with flag 1804754/6778990
1627.60/1625.84	c cleaning 40997 clauses out of 82000 with flag 1893636/6820985
1645.69/1643.96	c cleaning 42001 clauses out of 84003 with flag 1984584/6863985
1665.20/1663.46	c cleaning 42996 clauses out of 86001 with flag 2077010/6907984
1683.45/1681.65	c cleaning 43998 clauses out of 88007 with flag 2171217/6952986
1701.95/1700.18	c cleaning 44994 clauses out of 90008 with flag 2268140/6998985
1722.06/1720.24	c cleaning 46007 clauses out of 92014 with flag 2367024/7045985
1742.26/1740.42	c cleaning 47005 clauses out of 94011 with flag 2467894/7093989
1763.35/1761.57	c cleaning 47999 clauses out of 96004 with flag 2570952/7142987
1785.85/1784.05	c cleaning 49000 clauses out of 98002 with flag 2674445/7192984
1800.06/1798.20	c starts		: 1123
1800.06/1798.20	c conflicts		: 7229782
1800.06/1798.20	c decisions		: 7821746
1800.06/1798.20	c propagations		: 90379426
1800.06/1798.20	c inspects		: 36684485364
1800.06/1798.20	c shortcuts		: 0
1800.06/1798.20	c learnt literals	: 0
1800.06/1798.20	c learnt binary clauses	: 0
1800.06/1798.20	c learnt ternary clauses	: 0
1800.06/1798.20	c learnt constraints	: 7229782
1800.06/1798.20	c ignored constraints	: 0
1800.06/1798.20	c root simplifications	: 0
1800.06/1798.20	c removed literals (reason simplification)	: 0
1800.06/1798.20	c reason swapping (by a shorter reason)	: 0
1800.06/1798.20	c Calls to reduceDB	: 367
1800.06/1798.20	c Number of update (reduction) of LBD	: 672367
1800.06/1798.20	c Imported unit clauses	: 0
1800.06/1798.20	c number of reductions to clauses (during analyze)	: 0
1800.06/1798.20	c number of learned constraints concerned by reduction	: 0
1800.06/1798.20	c number of learning phase by resolution	: 0
1800.06/1798.20	c number of learning phase by cutting planes	: 0
1800.06/1798.20	c speed (assignments/second)	: 50265.86182195161
1800.06/1798.20	c non guided choices	1950
1800.06/1798.23	c learnt constraints type 
1800.06/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 85801
1800.06/1798.23	s SATISFIABLE
1800.06/1798.23	c Found 67 solution(s)
1800.06/1798.23	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 x116 x117 x118 x119 -x120 -x121 -x122 x123 x124 x125 -x126 -x127 -x128 x129 x130 x131 -x132 x133 x134 -x135 x136 x137 -x138 -x139 x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 x151 -x152 -x153 x154 x155 -x156 -x157 x158 -x159 x160 -x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 x172 
1800.06/1798.23	c objective function=52
1800.06/1798.23	c Total wall clock time (in seconds): 1798.107

Verifier Data 

OK	52

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-4085459-1465244655/watcher-4085459-1465244655 -o /tmp/evaluation-result-4085459-1465244655/solver-4085459-1465244655 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32604 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085459-1465244655.opb 

pid=4064
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.08 2.16 2.10 3/194 4067
/proc/meminfo: memFree=31496920/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/4067/stat : 4067 (java) R 4064 4067 32587 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 106400286 9515008 185 33554432000 1073741824 1073778376 140736432278784 140736432270008 251143024055 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2323 185 142 9 0 71 0

[startup+0.100061 s]
/proc/loadavg: 2.08 2.16 2.10 3/194 4067
/proc/meminfo: memFree=31496920/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 4352 0 1 0 7 1 0 0 20 0 18 0 106400286 9787879424 4971 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2389619 4971 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20023 s]
/proc/loadavg: 2.08 2.16 2.10 3/194 4067
/proc/meminfo: memFree=31496920/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 4784 0 1 0 23 1 0 0 20 0 19 0 106400286 9856040960 5847 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2406260 5847 2213 9 0 2396937 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9625040

[startup+0.300216 s]
/proc/loadavg: 2.08 2.16 2.10 3/194 4067
/proc/meminfo: memFree=31496920/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 7159 0 1 0 47 2 0 0 20 0 19 0 106400286 9856040960 7785 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2406260 7785 2242 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700171 s]
/proc/loadavg: 2.08 2.16 2.10 3/194 4067
/proc/meminfo: memFree=31496920/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 8775 0 1 0 101 2 0 0 20 0 19 0 106400286 9856040960 8873 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2406260 8873 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.08 2.16 2.10 3/213 4086
/proc/meminfo: memFree=31455872/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 14192 0 1 0 218 4 0 0 20 0 19 0 106400286 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2406260 13059 2260 9 0 2396937 0
[pid=4067/tid=4069] ppid=4064 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/4067/task/4069/stat : 4069 (java) R 4064 4067 32587 0 -1 4202560 2472 0 1 0 144 2 0 0 20 0 19 0 106400287 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851987804464 139851927954339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4070] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4070/stat : 4070 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851926543016 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4071] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4071/stat : 4071 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851925490472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4072] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4072/stat : 4072 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851924437928 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4073] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4073/stat : 4073 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851923385384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4067/tid=4074] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4074/stat : 4074 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851922331816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4075] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4075/stat : 4075 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851921279272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4076] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4076/stat : 4076 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851825101224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4067/tid=4077] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4077/stat : 4077 (java) S 4064 4067 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851824048680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4078] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4078/stat : 4078 (java) S 4064 4067 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106400289 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851811850856 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4079] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (java) S 4064 4067 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851810797176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851809744520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4081] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4081/stat : 4081 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851808693264 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4082] ppid=4064 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/4067/task/4082/stat : 4082 (java) S 4064 4067 32587 0 -1 4202560 8049 0 0 0 51 2 0 0 20 0 19 0 106400292 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851807639608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4083] ppid=4064 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/4067/task/4083/stat : 4083 (java) S 4064 4067 32587 0 -1 4202560 2399 0 0 0 19 0 0 0 20 0 19 0 106400292 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851806587064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4084] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4084/stat : 4084 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851805534712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4085] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4085/stat : 4085 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851804482376 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4086] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4086/stat : 4086 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400304 9856040960 13059 33554432000 1073741824 1073778376 140734168757024 139851803428136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.08 2.16 2.10 3/213 4086
/proc/meminfo: memFree=31450784/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 14205 0 1 0 384 4 0 0 20 0 19 0 106400286 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2406260 14604 2262 9 0 2396937 0
[pid=4067/tid=4069] ppid=4064 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/4067/task/4069/stat : 4069 (java) R 4064 4067 32587 0 -1 4202560 2476 0 1 0 303 2 0 0 20 0 19 0 106400287 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851987812824 139851928017651 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4070] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4070/stat : 4070 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851926543016 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4071] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4071/stat : 4071 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851925490472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4072] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4072/stat : 4072 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851924437928 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4073] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4073/stat : 4073 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851923385384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4067/tid=4074] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4074/stat : 4074 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851922331816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4075] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4075/stat : 4075 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851921279272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4076] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4076/stat : 4076 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851825101224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4067/tid=4077] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4077/stat : 4077 (java) S 4064 4067 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851824048680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4078] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4078/stat : 4078 (java) S 4064 4067 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106400289 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851811850856 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4079] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (java) S 4064 4067 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851810797176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851809744520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4081] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4081/stat : 4081 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851808693264 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4082] ppid=4064 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/4067/task/4082/stat : 4082 (java) S 4064 4067 32587 0 -1 4202560 8055 0 0 0 55 2 0 0 20 0 19 0 106400292 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851807639608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4083] ppid=4064 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/4067/task/4083/stat : 4083 (java) S 4064 4067 32587 0 -1 4202560 2402 0 0 0 23 0 0 0 20 0 19 0 106400292 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851806587064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4084] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4084/stat : 4084 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851805534712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4085] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4085/stat : 4085 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851804482376 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4086] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4086/stat : 4086 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400304 9856040960 14604 33554432000 1073741824 1073778376 140734168757024 139851803428136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.15 2.17 2.10 3/213 4086
/proc/meminfo: memFree=31438156/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9625040 CPUtime=7.08 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 14212 0 1 0 704 4 0 0 20 0 19 0 106400286 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2406260 17059 2263 9 0 2396937 0
[pid=4067/tid=4069] ppid=4064 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/4067/task/4069/stat : 4069 (java) R 4064 4067 32587 0 -1 4202560 2482 0 1 0 623 2 0 0 20 0 19 0 106400287 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851987803840 139851927953984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4070] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4070/stat : 4070 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851926543016 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4071] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4071/stat : 4071 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851925490472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4072] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4072/stat : 4072 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851924437928 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4073] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4073/stat : 4073 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851923385384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4067/tid=4074] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4074/stat : 4074 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851922331816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4075] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4075/stat : 4075 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851921279272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4076] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4076/stat : 4076 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851825101224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4067/tid=4077] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4077/stat : 4077 (java) S 4064 4067 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106400288 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851824048680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4078] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4078/stat : 4078 (java) S 4064 4067 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106400289 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851811850856 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4079] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (java) S 4064 4067 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851810797176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851809744520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4081] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4081/stat : 4081 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851808693264 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4082] ppid=4064 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/4067/task/4082/stat : 4082 (java) S 4064 4067 32587 0 -1 4202560 8055 0 0 0 55 2 0 0 20 0 19 0 106400292 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851807639608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4083] ppid=4064 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/4067/task/4083/stat : 4083 (java) S 4064 4067 32587 0 -1 4202560 2402 0 0 0 23 0 0 0 20 0 19 0 106400292 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851806587064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4084] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4084/stat : 4084 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851805534712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4085] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4085/stat : 4085 (java) S 4064 4067 32587 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851804482376 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4086] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4086/stat : 4086 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400304 9856040960 17059 33554432000 1073741824 1073778376 140734168757024 139851803428136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 9625040


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

[pid=4067/tid=4079] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (java) S 4064 4067 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 81948 33554432000 1073741824 1073778376 140734168757024 139851810797176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (java) S 4064 4067 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 81948 33554432000 1073741824 1073778376 140734168757024 139851809744520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4081] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4081/stat : 4081 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 81948 33554432000 1073741824 1073778376 140734168757024 139851808693264 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4082] ppid=4064 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/4067/task/4082/stat : 4082 (java) S 4064 4067 32587 0 -1 4202560 8061 0 0 0 59 2 0 0 20 0 19 0 106400292 9856040960 81948 33554432000 1073741824 1073778376 140734168757024 139851807639608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4083] ppid=4064 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/4067/task/4083/stat : 4083 (java) S 4064 4067 32587 0 -1 4202560 2435 0 0 0 30 0 0 0 20 0 19 0 106400292 9856040960 81948 33554432000 1073741824 1073778376 140734168757024 139851806587064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4084] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4084/stat : 4084 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 81948 33554432000 1073741824 1073778376 140734168757024 139851805534712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4085] ppid=4064 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/4067/task/4085/stat : 4085 (java) S 4064 4067 32587 0 -1 4202560 98 0 0 0 30 27 0 0 20 0 19 0 106400292 9856040960 81948 33554432000 1073741824 1073778376 140734168757024 139851804482376 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4086] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4086/stat : 4086 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400304 9856040960 81948 33554432000 1073741824 1073778376 140734168757024 139851803428136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1664.1
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/213 4260
/proc/meminfo: memFree=31208516/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9625040 CPUtime=1724.15 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 14984 0 1 0 172366 49 0 0 20 0 19 0 106400286 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2406260 81562 2277 9 0 2396937 0
[pid=4067/tid=4069] ppid=4064 vsize=9625040 CPUtime=1721.93 cores=1,3,5,7
/proc/4067/task/4069/stat : 4069 (java) R 4064 4067 32587 0 -1 4202560 2551 0 1 0 172163 30 0 0 20 0 19 0 106400287 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851987803856 139851928017656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4070] ppid=4064 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/4067/task/4070/stat : 4070 (java) S 4064 4067 32587 0 -1 4202560 102 0 0 0 9 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851926543016 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4071] ppid=4064 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/4067/task/4071/stat : 4071 (java) S 4064 4067 32587 0 -1 4202560 125 0 0 0 11 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851925490472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4072] ppid=4064 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/4067/task/4072/stat : 4072 (java) S 4064 4067 32587 0 -1 4202560 38 0 0 0 9 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851924437928 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4073] ppid=4064 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/4067/task/4073/stat : 4073 (java) S 4064 4067 32587 0 -1 4202560 53 0 0 0 8 2 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851923385384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4074] ppid=4064 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/4067/task/4074/stat : 4074 (java) S 4064 4067 32587 0 -1 4202560 23 0 0 0 4 1 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851922331816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4075] ppid=4064 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/4067/task/4075/stat : 4075 (java) S 4064 4067 32587 0 -1 4202560 43 0 0 0 8 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851921279272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4076] ppid=4064 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/4067/task/4076/stat : 4076 (java) S 4064 4067 32587 0 -1 4202560 98 0 0 0 9 2 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851825101224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4067/tid=4077] ppid=4064 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/4067/task/4077/stat : 4077 (java) S 4064 4067 32587 0 -1 4202560 34 0 0 0 9 2 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851824048680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4078] ppid=4064 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/4067/task/4078/stat : 4078 (java) S 4064 4067 32587 0 -1 4202560 63 0 0 0 1 1 0 0 20 0 19 0 106400289 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851811850856 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4079] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (java) S 4064 4067 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851810797176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (java) S 4064 4067 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851809744520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4081] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4081/stat : 4081 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851808693264 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4082] ppid=4064 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/4067/task/4082/stat : 4082 (java) S 4064 4067 32587 0 -1 4202560 8061 0 0 0 59 2 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851807639608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4083] ppid=4064 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/4067/task/4083/stat : 4083 (java) S 4064 4067 32587 0 -1 4202560 2435 0 0 0 30 0 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851806587064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4084] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4084/stat : 4084 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851805534712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4085] ppid=4064 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/4067/task/4085/stat : 4085 (java) S 4064 4067 32587 0 -1 4202560 100 0 0 0 31 29 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851804482376 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4086] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4086/stat : 4086 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400304 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851803428136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.15
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/213 4261
/proc/meminfo: memFree=31208520/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9625040 CPUtime=1784.15 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 14988 0 1 0 178366 49 0 0 20 0 19 0 106400286 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2406260 81562 2277 9 0 2396937 0
[pid=4067/tid=4069] ppid=4064 vsize=9625040 CPUtime=1781.93 cores=1,3,5,7
/proc/4067/task/4069/stat : 4069 (java) R 4064 4067 32587 0 -1 4202560 2551 0 1 0 178162 31 0 0 20 0 19 0 106400287 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851987803856 139851928017651 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4070] ppid=4064 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/4067/task/4070/stat : 4070 (java) S 4064 4067 32587 0 -1 4202560 102 0 0 0 9 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851926543016 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4071] ppid=4064 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/4067/task/4071/stat : 4071 (java) S 4064 4067 32587 0 -1 4202560 125 0 0 0 11 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851925490472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4072] ppid=4064 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/4067/task/4072/stat : 4072 (java) S 4064 4067 32587 0 -1 4202560 38 0 0 0 9 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851924437928 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4073] ppid=4064 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/4067/task/4073/stat : 4073 (java) S 4064 4067 32587 0 -1 4202560 53 0 0 0 8 2 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851923385384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4074] ppid=4064 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/4067/task/4074/stat : 4074 (java) S 4064 4067 32587 0 -1 4202560 23 0 0 0 4 1 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851922331816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4075] ppid=4064 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/4067/task/4075/stat : 4075 (java) S 4064 4067 32587 0 -1 4202560 43 0 0 0 8 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851921279272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4076] ppid=4064 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/4067/task/4076/stat : 4076 (java) S 4064 4067 32587 0 -1 4202560 98 0 0 0 9 2 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851825101224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4067/tid=4077] ppid=4064 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/4067/task/4077/stat : 4077 (java) S 4064 4067 32587 0 -1 4202560 34 0 0 0 9 2 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851824048680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4078] ppid=4064 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/4067/task/4078/stat : 4078 (java) S 4064 4067 32587 0 -1 4202560 63 0 0 0 1 1 0 0 20 0 19 0 106400289 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851811850856 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4079] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (java) S 4064 4067 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851810797176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (java) S 4064 4067 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851809744520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4081] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4081/stat : 4081 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851808693264 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4082] ppid=4064 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/4067/task/4082/stat : 4082 (java) S 4064 4067 32587 0 -1 4202560 8061 0 0 0 59 2 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851807639608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4083] ppid=4064 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/4067/task/4083/stat : 4083 (java) S 4064 4067 32587 0 -1 4202560 2435 0 0 0 30 0 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851806587064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4084] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4084/stat : 4084 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851805534712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4085] ppid=4064 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/4067/task/4085/stat : 4085 (java) S 4064 4067 32587 0 -1 4202560 104 0 0 0 33 30 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851804482376 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4086] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4086/stat : 4086 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400304 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851803428136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.15
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.10 2.10 2.09 3/213 4261
/proc/meminfo: memFree=31208644/32872528 swapFree=12744/274376
[pid=4067] ppid=4064 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/4067/stat : 4067 (java) S 4064 4067 32587 0 -1 4202496 14988 0 1 0 179956 50 0 0 20 0 19 0 106400286 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 140734168748160 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 2406260 81562 2277 9 0 2396937 0
[pid=4067/tid=4069] ppid=4064 vsize=9625040 CPUtime=1797.83 cores=1,3,5,7
/proc/4067/task/4069/stat : 4069 (java) R 4064 4067 32587 0 -1 4202560 2551 0 1 0 179752 31 0 0 20 0 19 0 106400287 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851987803856 139851928017576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4070] ppid=4064 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/4067/task/4070/stat : 4070 (java) S 4064 4067 32587 0 -1 4202560 102 0 0 0 9 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851926543016 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4071] ppid=4064 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/4067/task/4071/stat : 4071 (java) S 4064 4067 32587 0 -1 4202560 125 0 0 0 11 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851925490472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4072] ppid=4064 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/4067/task/4072/stat : 4072 (java) S 4064 4067 32587 0 -1 4202560 38 0 0 0 9 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851924437928 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4073] ppid=4064 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/4067/task/4073/stat : 4073 (java) S 4064 4067 32587 0 -1 4202560 53 0 0 0 8 2 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851923385384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4074] ppid=4064 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/4067/task/4074/stat : 4074 (java) S 4064 4067 32587 0 -1 4202560 23 0 0 0 4 1 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851922331816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4075] ppid=4064 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/4067/task/4075/stat : 4075 (java) S 4064 4067 32587 0 -1 4202560 43 0 0 0 8 3 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851921279272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4076] ppid=4064 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/4067/task/4076/stat : 4076 (java) S 4064 4067 32587 0 -1 4202560 98 0 0 0 9 2 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851825101224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4067/tid=4077] ppid=4064 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/4067/task/4077/stat : 4077 (java) S 4064 4067 32587 0 -1 4202560 34 0 0 0 9 2 0 0 20 0 19 0 106400288 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851824048680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4078] ppid=4064 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/4067/task/4078/stat : 4078 (java) S 4064 4067 32587 0 -1 4202560 63 0 0 0 1 1 0 0 20 0 19 0 106400289 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851811850856 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4079] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (java) S 4064 4067 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851810797176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (java) S 4064 4067 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106400290 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851809744520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4081] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4081/stat : 4081 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851808693264 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4082] ppid=4064 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/4067/task/4082/stat : 4082 (java) S 4064 4067 32587 0 -1 4202560 8061 0 0 0 59 2 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851807639608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4083] ppid=4064 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/4067/task/4083/stat : 4083 (java) S 4064 4067 32587 0 -1 4202560 2435 0 0 0 30 0 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851806587064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4084] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4084/stat : 4084 (java) S 4064 4067 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851805534712 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4067/tid=4085] ppid=4064 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/4067/task/4085/stat : 4085 (java) S 4064 4067 32587 0 -1 4202560 104 0 0 0 33 31 0 0 20 0 19 0 106400292 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851804482376 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4067/tid=4086] ppid=4064 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4067/task/4086/stat : 4086 (java) S 4064 4067 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106400304 9856040960 81562 33554432000 1073741824 1073778376 140734168757024 139851803428136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1798.24
CPU time (s): 1800.61
CPU user time (s): 1799.62
CPU system time (s): 0.991849
CPU usage (%): 100.132
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.991849
maximum resident set size= 333244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15036
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38375
involuntary context switches= 2858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7522 second user time and 12.2141 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-06 22:24:15
IDJOB=4085459
IDBENCH=2924
IDSOLVER=2546
FILE ID=node107/4085459-1465244655
RUNJOBID= node107-1465220764-32604
PBS_JOBID= 19843224
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085459-1465244655/watcher-4085459-1465244655 -o /tmp/evaluation-result-4085459-1465244655/solver-4085459-1465244655 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32604 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085459-1465244655.opb

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

MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b
RANDOM SEED=1721898540

node107.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.441
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.88
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.441
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.441
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.54
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.441
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.441
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.441
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.441
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.56
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.441
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:        31497564 kB
Buffers:           34520 kB
Cached:            92304 kB
SwapCached:         1684 kB
Active:           328964 kB
Inactive:          67976 kB
Active(anon):     270692 kB
Inactive(anon):     2040 kB
Active(file):      58272 kB
Inactive(file):    65936 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098436 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:        548512 kB
Mapped:            15204 kB
Shmem:                 0 kB
Slab:             567856 kB
SReclaimable:      11120 kB
SUnreclaim:       556736 kB
KernelStack:        1568 kB
PageTables:         5692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1047316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    522240 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= 71740 MiB
End job on node107 at 2016-06-06 22:54:14