Trace number 4085173

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)3719 1800.95 1787.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM54b9b4de78a7992fd69d0caeed32daef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3671
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085173-1465223480.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.29/0.28	c ... done. Wall clock time 0.165s.
0.29/0.28	c declared #vars     2756
0.29/0.28	c #constraints  749
0.29/0.28	c constraints type 
0.29/0.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 220
0.29/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 132
0.29/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 397
0.29/0.28	c 749 constraints processed.
0.29/0.28	c objective function length is 2166 literals
0.83/0.43	c SATISFIABLE
0.83/0.43	c OPTIMIZING...
0.83/0.43	c Got one! Elapsed wall clock time (in seconds):0.324
0.83/0.44	o 4307
0.83/0.46	c Got one! Elapsed wall clock time (in seconds):0.344
0.83/0.46	o 4148
0.83/0.47	c Got one! Elapsed wall clock time (in seconds):0.362
0.83/0.47	o 4136
0.83/0.49	c Got one! Elapsed wall clock time (in seconds):0.376
0.83/0.49	o 4131
2.05/1.33	c cleaning 2510 clauses out of 5054 with flag 11456/5054
3.14/2.30	c cleaning 4257 clauses out of 8544 with flag 25726/11054
4.43/3.51	c cleaning 5633 clauses out of 11287 with flag 41203/18054
5.84/4.98	c cleaning 6810 clauses out of 13654 with flag 60541/26054
7.48/6.59	c cleaning 7906 clauses out of 15844 with flag 81633/35054
9.49/8.58	c cleaning 8958 clauses out of 17939 with flag 106854/45055
11.68/10.76	c cleaning 9974 clauses out of 19980 with flag 137455/56054
14.09/13.16	c cleaning 10988 clauses out of 22007 with flag 170779/68055
16.59/15.66	c cleaning 11993 clauses out of 24018 with flag 204523/81054
18.68/17.61	c Got one! Elapsed wall clock time (in seconds):17.502
18.68/17.61	o 4130
18.68/17.68	c Got one! Elapsed wall clock time (in seconds):17.572
18.68/17.68	o 4129
18.97/17.89	c Got one! Elapsed wall clock time (in seconds):17.783
18.97/17.89	o 4128
19.07/17.92	c Got one! Elapsed wall clock time (in seconds):17.806
19.07/17.92	o 4126
19.99/18.84	c cleaning 14023 clauses out of 28064 with flag 21448/97093
20.88/19.77	c cleaning 10014 clauses out of 20041 with flag 44104/103093
22.08/20.95	c cleaning 8505 clauses out of 17027 with flag 70683/110093
23.39/22.29	c cleaning 8255 clauses out of 16523 with flag 101094/118094
24.90/23.76	c cleaning 8629 clauses out of 17270 with flag 137142/127096
26.70/25.50	c cleaning 9308 clauses out of 18640 with flag 175514/137095
28.60/27.42	c cleaning 10160 clauses out of 20331 with flag 214354/148094
30.70/29.52	c cleaning 11076 clauses out of 22170 with flag 255069/160093
33.21/32.01	c cleaning 12039 clauses out of 24094 with flag 303203/173093
36.10/34.94	c cleaning 13017 clauses out of 26058 with flag 358519/187096
39.30/38.13	c cleaning 14012 clauses out of 28039 with flag 417775/202094
42.80/41.63	c cleaning 15002 clauses out of 30026 with flag 478855/218093
46.50/45.37	c cleaning 16003 clauses out of 32024 with flag 545752/235093
50.40/49.28	c cleaning 17007 clauses out of 34022 with flag 612003/253094
54.60/53.42	c cleaning 18000 clauses out of 36015 with flag 679629/272094
58.97/57.79	c cleaning 18996 clauses out of 38015 with flag 750832/292094
63.77/62.55	c cleaning 19992 clauses out of 40019 with flag 834519/313094
68.77/67.58	c cleaning 20998 clauses out of 42027 with flag 923723/335094
73.98/72.71	c cleaning 22004 clauses out of 44028 with flag 1017443/358093
79.98/78.80	c cleaning 23001 clauses out of 46024 with flag 1110093/382093
86.48/85.24	c cleaning 24002 clauses out of 48024 with flag 1210838/407094
93.08/91.81	c cleaning 25003 clauses out of 50021 with flag 1315902/433093
99.41/98.14	c cleaning 25996 clauses out of 52020 with flag 1429434/460095
106.11/104.80	c cleaning 27000 clauses out of 54023 with flag 1540206/488094
113.11/111.87	c cleaning 27999 clauses out of 56023 with flag 1656260/517094
120.60/119.36	c cleaning 29001 clauses out of 58023 with flag 1778137/547093
128.60/127.36	c cleaning 30002 clauses out of 60024 with flag 1904556/578095
130.60/129.33	c Got one! Elapsed wall clock time (in seconds):129.222
130.60/129.33	o 4125
130.60/129.35	c Got one! Elapsed wall clock time (in seconds):129.24
130.60/129.35	o 4124
130.70/129.40	c Got one! Elapsed wall clock time (in seconds):129.294
130.70/129.40	o 4123
130.70/129.42	c Got one! Elapsed wall clock time (in seconds):129.308
130.70/129.42	o 4122
130.70/129.44	c Got one! Elapsed wall clock time (in seconds):129.332
130.70/129.44	o 4121
130.70/129.46	c Got one! Elapsed wall clock time (in seconds):129.349
130.70/129.46	o 4119
131.79/130.46	c Got one! Elapsed wall clock time (in seconds):130.348
131.79/130.46	o 4118
132.40/131.05	c cleaning 21710 clauses out of 43429 with flag 9800/591502
133.79/132.47	c cleaning 13851 clauses out of 27722 with flag 42583/597505
135.39/134.01	c cleaning 10426 clauses out of 20868 with flag 84252/604502
137.09/135.75	c cleaning 9214 clauses out of 18444 with flag 130040/612504
139.00/137.66	c cleaning 9107 clauses out of 18228 with flag 181595/621502
141.20/139.87	c cleaning 9556 clauses out of 19121 with flag 238280/631502
143.70/142.37	c Got one! Elapsed wall clock time (in seconds):142.251
143.70/142.37	o 4117
143.70/142.38	c Got one! Elapsed wall clock time (in seconds):142.272
143.70/142.38	o 4116
143.81/142.40	c Got one! Elapsed wall clock time (in seconds):142.291
143.81/142.40	o 4114
143.81/142.42	c Got one! Elapsed wall clock time (in seconds):142.312
143.81/142.42	o 4111
145.12/143.64	c cleaning 12308 clauses out of 24623 with flag 27433/646560
145.42/143.90	c Got one! Elapsed wall clock time (in seconds):143.788
145.42/143.90	o 4110
145.65/144.18	c Got one! Elapsed wall clock time (in seconds):144.074
145.65/144.18	o 4109
146.55/145.02	c cleaning 8963 clauses out of 17946 with flag 18302/652191
146.75/145.25	c Got one! Elapsed wall clock time (in seconds):145.136
146.75/145.25	o 4108
147.75/146.26	c Got one! Elapsed wall clock time (in seconds):146.152
147.75/146.26	o 4107
148.15/146.67	c cleaning 7714 clauses out of 15439 with flag 9823/658647
148.25/146.72	c Got one! Elapsed wall clock time (in seconds):146.61
148.25/146.72	o 4106
149.05/147.54	c Got one! Elapsed wall clock time (in seconds):147.429
149.05/147.54	o 4105
149.45/147.98	c cleaning 6518 clauses out of 13035 with flag 11169/663957
150.85/149.40	c Got one! Elapsed wall clock time (in seconds):149.285
150.85/149.40	o 4104
152.15/150.63	c cleaning 8439 clauses out of 16881 with flag 28817/674321
152.35/150.85	c Got one! Elapsed wall clock time (in seconds):150.735
152.35/150.85	o 4103
153.35/151.86	c cleaning 6774 clauses out of 13572 with flag 23069/679451
153.55/152.07	c Got one! Elapsed wall clock time (in seconds):151.963
153.55/152.07	o 4101
153.95/152.45	c Got one! Elapsed wall clock time (in seconds):152.337
153.95/152.45	o 4100
154.75/153.21	c cleaning 6181 clauses out of 12390 with flag 18665/685043
154.95/153.43	c Got one! Elapsed wall clock time (in seconds):153.322
154.95/153.43	o 4099
155.55/154.01	c Got one! Elapsed wall clock time (in seconds):153.894
155.55/154.01	o 4098
156.05/154.53	c cleaning 5770 clauses out of 11571 with flag 12802/690405
156.85/155.31	c Got one! Elapsed wall clock time (in seconds):155.2
156.85/155.31	o 4097
157.25/155.77	c cleaning 5793 clauses out of 11617 with flag 11477/696221
157.55/156.02	c Got one! Elapsed wall clock time (in seconds):155.904
157.55/156.02	o 4096
157.97/156.35	c Got one! Elapsed wall clock time (in seconds):156.241
157.97/156.35	o 4095
158.76/157.15	c Got one! Elapsed wall clock time (in seconds):157.039
158.76/157.15	o 4094
159.06/157.42	c cleaning 6143 clauses out of 12293 with flag 6058/702690
159.16/157.52	c Got one! Elapsed wall clock time (in seconds):157.405
159.16/157.52	o 4093
159.86/158.25	c Got one! Elapsed wall clock time (in seconds):158.141
159.86/158.25	o 4092
160.46/158.81	c cleaning 6077 clauses out of 12167 with flag 12548/708707
161.46/159.81	c Got one! Elapsed wall clock time (in seconds):159.702
161.46/159.81	o 4091
161.66/160.07	c cleaning 5802 clauses out of 11619 with flag 5955/714236
161.96/160.32	c Got one! Elapsed wall clock time (in seconds):160.21
161.96/160.32	o 4090
162.56/160.94	c Got one! Elapsed wall clock time (in seconds):160.83
162.56/160.94	o 4089
163.06/161.48	c cleaning 5572 clauses out of 11172 with flag 12402/719591
163.16/161.50	c Got one! Elapsed wall clock time (in seconds):161.392
163.16/161.50	o 4088
164.06/162.46	c Got one! Elapsed wall clock time (in seconds):162.35
164.06/162.46	o 4087
164.66/163.05	c cleaning 5646 clauses out of 11317 with flag 12668/725308
164.86/163.26	c Got one! Elapsed wall clock time (in seconds):163.147
164.86/163.26	o 4086
164.96/163.32	c Got one! Elapsed wall clock time (in seconds):163.209
164.96/163.32	o 4085
165.56/163.92	c Got one! Elapsed wall clock time (in seconds):163.806
165.56/163.92	o 4084
165.86/164.29	c Got one! Elapsed wall clock time (in seconds):164.178
165.86/164.29	o 4083
166.26/164.62	c Got one! Elapsed wall clock time (in seconds):164.513
166.26/164.62	o 4082
166.56/164.96	c cleaning 6422 clauses out of 12843 with flag 7127/732480
167.16/165.57	c Got one! Elapsed wall clock time (in seconds):165.46
167.16/165.57	o 4081
167.76/166.16	c Got one! Elapsed wall clock time (in seconds):166.047
167.76/166.16	o 4080
168.06/166.42	c cleaning 5832 clauses out of 11689 with flag 5797/737748
168.46/166.80	c Got one! Elapsed wall clock time (in seconds):166.686
168.46/166.80	o 4079
168.66/167.03	c Got one! Elapsed wall clock time (in seconds):166.917
168.66/167.03	o 4078
169.26/167.65	c Got one! Elapsed wall clock time (in seconds):167.536
169.26/167.65	o 4077
169.56/167.96	c Got one! Elapsed wall clock time (in seconds):167.852
169.56/167.96	o 4076
169.86/168.24	c cleaning 6568 clauses out of 13148 with flag 6055/745039
170.20/168.59	c Got one! Elapsed wall clock time (in seconds):168.478
170.20/168.59	o 4075
170.60/168.91	c Got one! Elapsed wall clock time (in seconds):168.795
170.60/168.91	o 4074
170.60/168.93	c Got one! Elapsed wall clock time (in seconds):168.819
170.60/168.93	o 4073
170.80/169.16	c Got one! Elapsed wall clock time (in seconds):169.045
170.80/169.16	o 4072
171.50/169.84	c cleaning 6421 clauses out of 12862 with flag 15278/751321
172.00/170.34	c Got one! Elapsed wall clock time (in seconds):170.226
172.00/170.34	o 4071
172.70/171.08	c Got one! Elapsed wall clock time (in seconds):170.97
172.70/171.08	o 4070
172.90/171.30	c cleaning 6238 clauses out of 12487 with flag 4879/757367
174.20/172.56	c cleaning 6119 clauses out of 12251 with flag 35762/763369
174.30/172.68	c Got one! Elapsed wall clock time (in seconds):172.573
174.30/172.68	o 4069
174.60/172.94	c Got one! Elapsed wall clock time (in seconds):172.834
174.60/172.94	o 4068
175.10/173.46	c Got one! Elapsed wall clock time (in seconds):173.351
175.10/173.46	o 4067
175.70/174.04	c Got one! Elapsed wall clock time (in seconds):173.928
175.70/174.04	o 4066
175.90/174.28	c Got one! Elapsed wall clock time (in seconds):174.169
175.90/174.28	o 4065
176.50/174.80	c cleaning 7213 clauses out of 14426 with flag 11505/771663
177.80/176.15	c cleaning 6605 clauses out of 13212 with flag 44039/777662
179.39/177.76	c cleaning 6801 clauses out of 13607 with flag 84690/784662
181.19/179.57	c cleaning 7401 clauses out of 14806 with flag 131319/792662
183.49/181.76	c cleaning 8199 clauses out of 16406 with flag 185074/801663
185.99/184.26	c cleaning 9096 clauses out of 18206 with flag 239619/811662
189.29/187.57	c cleaning 10050 clauses out of 20111 with flag 301676/822663
192.59/190.81	c cleaning 11030 clauses out of 22060 with flag 368192/834662
196.39/194.63	c cleaning 12009 clauses out of 24030 with flag 443467/847662
200.57/198.79	c cleaning 13008 clauses out of 26021 with flag 522689/861662
205.07/203.22	c cleaning 14007 clauses out of 28013 with flag 605226/876662
210.37/208.54	c cleaning 14999 clauses out of 30006 with flag 698995/892662
215.65/213.78	c cleaning 16004 clauses out of 32007 with flag 792503/909662
220.86/218.94	c Got one! Elapsed wall clock time (in seconds):218.833
220.86/218.94	o 4064
221.46/219.52	c Got one! Elapsed wall clock time (in seconds):219.41
221.46/219.52	o 4063
222.76/220.85	c cleaning 18950 clauses out of 37903 with flag 19323/931562
224.36/222.47	c cleaning 12475 clauses out of 24952 with flag 51201/937561
224.66/222.75	c Got one! Elapsed wall clock time (in seconds):222.639
224.66/222.75	o 4062
224.96/223.02	c Got one! Elapsed wall clock time (in seconds):222.905
224.96/223.02	o 4061
225.86/223.96	c cleaning 9232 clauses out of 18467 with flag 20375/943551
227.37/225.40	c cleaning 7612 clauses out of 15234 with flag 53118/949550
228.97/226.95	c cleaning 7308 clauses out of 14622 with flag 92745/956550
230.77/228.78	c cleaning 7647 clauses out of 15314 with flag 134238/964550
232.97/230.97	c cleaning 8329 clauses out of 16667 with flag 184009/973550
235.57/233.58	c cleaning 9169 clauses out of 18339 with flag 237651/983551
238.61/236.59	c cleaning 10084 clauses out of 20169 with flag 298457/994550
242.01/239.96	c cleaning 11041 clauses out of 22085 with flag 365387/1006550
245.31/243.25	c cleaning 12018 clauses out of 24044 with flag 435780/1019550
249.40/247.34	c cleaning 13011 clauses out of 26026 with flag 517448/1033550
254.16/252.05	c cleaning 14004 clauses out of 28016 with flag 610079/1048551
259.15/257.08	c cleaning 15005 clauses out of 30015 with flag 705404/1064554
265.15/263.01	c cleaning 16002 clauses out of 32006 with flag 817444/1081550
270.79/268.60	c cleaning 17003 clauses out of 34006 with flag 919549/1099552
276.39/274.22	c cleaning 17991 clauses out of 36002 with flag 1028582/1118551
282.89/280.69	c cleaning 19004 clauses out of 38010 with flag 1146039/1138550
289.28/287.06	c cleaning 19999 clauses out of 40006 with flag 1266696/1159550
296.64/294.35	c cleaning 21001 clauses out of 42007 with flag 1404597/1181550
303.44/301.15	c cleaning 21996 clauses out of 44007 with flag 1535967/1204551
310.99/308.64	c cleaning 22998 clauses out of 46012 with flag 1674585/1228552
318.39/316.00	c cleaning 24006 clauses out of 48014 with flag 1815650/1253552
327.32/324.95	c cleaning 25003 clauses out of 50008 with flag 1971509/1279552
336.92/334.47	c cleaning 26003 clauses out of 52005 with flag 2128639/1306552
346.61/344.15	c cleaning 27001 clauses out of 54003 with flag 2284959/1334553
357.69/355.19	c cleaning 27999 clauses out of 56000 with flag 2455362/1363551
369.40/366.74	c cleaning 28999 clauses out of 58000 with flag 2635924/1393550
379.61/376.85	c cleaning 30000 clauses out of 60001 with flag 2814402/1424550
390.31/387.58	c cleaning 30995 clauses out of 62001 with flag 2996232/1456550
402.05/399.26	c cleaning 32004 clauses out of 64008 with flag 3173175/1489552
409.41/406.54	c Got one! Elapsed wall clock time (in seconds):406.428
409.41/406.54	o 4060
410.31/407.45	c Got one! Elapsed wall clock time (in seconds):407.339
410.31/407.45	o 4059
411.02/408.11	c cleaning 30534 clauses out of 61089 with flag 9284/1518637
412.71/409.82	c cleaning 18264 clauses out of 36555 with flag 40718/1524637
414.61/411.73	c cleaning 12639 clauses out of 25293 with flag 77424/1531639
416.44/413.53	c cleaning 10316 clauses out of 20652 with flag 118394/1539637
418.64/415.74	c cleaning 9662 clauses out of 19338 with flag 169734/1548639
421.24/418.33	c cleaning 9833 clauses out of 19677 with flag 229597/1558640
423.04/420.11	c Got one! Elapsed wall clock time (in seconds):419.995
423.04/420.11	o 4058
423.74/420.89	c cleaning 11077 clauses out of 22162 with flag 19807/1570958
424.87/421.92	c cleaning 8534 clauses out of 17085 with flag 44380/1576958
425.97/423.03	c cleaning 7763 clauses out of 15553 with flag 72318/1583960
427.17/424.28	c cleaning 7880 clauses out of 15788 with flag 105187/1591958
428.67/425.74	c cleaning 8442 clauses out of 16910 with flag 140223/1600960
429.56/426.69	c Got one! Elapsed wall clock time (in seconds):426.577
429.56/426.69	o 4057
429.77/426.86	c cleaning 7107 clauses out of 14227 with flag 3878/1606719
431.06/428.10	c cleaning 6554 clauses out of 13124 with flag 34771/1612723
432.76/429.84	c cleaning 6771 clauses out of 13565 with flag 76031/1619718
434.86/431.90	c cleaning 7391 clauses out of 14794 with flag 121574/1627718
437.37/434.44	c cleaning 8197 clauses out of 16404 with flag 173422/1636719
440.27/437.38	c cleaning 9104 clauses out of 18208 with flag 231356/1646720
443.57/440.67	c cleaning 10052 clauses out of 20104 with flag 295662/1657720
446.91/443.99	c cleaning 11025 clauses out of 22050 with flag 365726/1669718
450.61/447.65	c cleaning 12011 clauses out of 24026 with flag 437816/1682719
455.03/452.05	c cleaning 13007 clauses out of 26015 with flag 520953/1696719
459.43/456.46	c cleaning 14002 clauses out of 28007 with flag 607781/1711718
464.35/461.31	c cleaning 15001 clauses out of 30005 with flag 699630/1727718
465.65/462.67	c Got one! Elapsed wall clock time (in seconds):462.558
465.65/462.67	o 4056
465.85/462.87	c cleaning 10077 clauses out of 20158 with flag 3835/1732872
466.16/463.17	c Got one! Elapsed wall clock time (in seconds):463.057
466.16/463.17	o 4055
466.95/463.95	c cleaning 7555 clauses out of 15121 with flag 20335/1737912
468.15/465.18	c cleaning 6776 clauses out of 13564 with flag 52534/1743910
469.65/466.64	c cleaning 6887 clauses out of 13788 with flag 90306/1750910
471.46/468.42	c cleaning 7446 clauses out of 14901 with flag 130647/1758910
473.56/470.52	c cleaning 8229 clauses out of 16458 with flag 176586/1767913
474.66/471.66	c Got one! Elapsed wall clock time (in seconds):471.551
474.66/471.66	o 4054
474.76/471.73	c Got one! Elapsed wall clock time (in seconds):471.614
474.76/471.73	o 4053
475.76/472.73	c cleaning 9298 clauses out of 18603 with flag 26523/1778287
477.06/474.04	c cleaning 7650 clauses out of 15305 with flag 61080/1784287
478.48/475.49	c cleaning 7325 clauses out of 14656 with flag 99041/1791288
480.38/477.31	c cleaning 7659 clauses out of 15330 with flag 142658/1799287
482.48/479.43	c cleaning 8335 clauses out of 16672 with flag 191688/1808288
484.78/481.79	c cleaning 9169 clauses out of 18337 with flag 244136/1818288
487.78/484.75	c cleaning 10084 clauses out of 20167 with flag 308980/1829287
490.68/487.63	c cleaning 11037 clauses out of 22083 with flag 374527/1841287
494.30/491.20	c cleaning 12023 clauses out of 24048 with flag 449867/1854289
497.90/494.81	c cleaning 13003 clauses out of 26023 with flag 522664/1868287
502.17/499.01	c cleaning 14010 clauses out of 28021 with flag 603988/1883288
506.77/503.65	c cleaning 15003 clauses out of 30010 with flag 688271/1899287
511.84/508.67	c cleaning 16003 clauses out of 32007 with flag 780778/1916287
517.14/513.97	c cleaning 17002 clauses out of 34006 with flag 880598/1934289
517.94/514.73	c Got one! Elapsed wall clock time (in seconds):514.618
517.94/514.73	o 4052
518.36/515.17	c cleaning 11156 clauses out of 22318 with flag 9524/1939603
519.66/516.47	c cleaning 8577 clauses out of 17161 with flag 43178/1945602
521.26/518.05	c cleaning 7788 clauses out of 15584 with flag 81511/1952602
523.06/519.88	c cleaning 7894 clauses out of 15795 with flag 128595/1960601
525.17/521.99	c cleaning 8450 clauses out of 16901 with flag 181616/1969601
527.56/524.38	c Got one! Elapsed wall clock time (in seconds):524.265
527.56/524.38	o 4050
528.66/525.45	c cleaning 11580 clauses out of 23172 with flag 24947/1984322
530.06/526.80	c cleaning 8789 clauses out of 17594 with flag 59011/1990324
531.76/528.50	c cleaning 7884 clauses out of 15803 with flag 102510/1997322
533.68/530.45	c cleaning 7954 clauses out of 15921 with flag 150325/2005324
535.98/532.72	c cleaning 8479 clauses out of 16966 with flag 204451/2014323
538.68/535.49	c cleaning 9239 clauses out of 18486 with flag 266242/2024322
540.69/537.47	c Got one! Elapsed wall clock time (in seconds):537.359
540.69/537.47	o 4049
540.79/537.54	c Got one! Elapsed wall clock time (in seconds):537.424
540.79/537.54	o 4048
541.59/538.32	c cleaning 11596 clauses out of 23211 with flag 17716/2038286
542.59/539.33	c cleaning 8795 clauses out of 17614 with flag 39732/2044285
543.69/540.46	c cleaning 7898 clauses out of 15820 with flag 65037/2051286
544.49/541.25	c Got one! Elapsed wall clock time (in seconds):541.136
544.49/541.25	o 4047
544.69/541.42	c Got one! Elapsed wall clock time (in seconds):541.306
544.69/541.42	o 4046
544.79/541.58	c cleaning 7288 clauses out of 14592 with flag 3800/2057956
545.79/542.51	c cleaning 6643 clauses out of 13304 with flag 28601/2063956
545.89/542.66	c Got one! Elapsed wall clock time (in seconds):542.546
545.89/542.66	o 4045
547.19/543.91	c cleaning 6217 clauses out of 12443 with flag 29944/2069738
548.90/545.61	c cleaning 6100 clauses out of 12229 with flag 70366/2075741
549.60/546.38	c Got one! Elapsed wall clock time (in seconds):546.265
549.60/546.38	o 4044
549.80/546.59	c Got one! Elapsed wall clock time (in seconds):546.48
549.80/546.59	o 4043
550.20/546.90	c cleaning 6210 clauses out of 12440 with flag 9005/2082052
551.00/547.79	c cleaning 6106 clauses out of 12231 with flag 34528/2088053
552.10/548.89	c cleaning 6553 clauses out of 13125 with flag 62500/2095053
552.70/549.46	c Got one! Elapsed wall clock time (in seconds):549.35
552.70/549.46	o 4042
553.10/549.89	c Got one! Elapsed wall clock time (in seconds):549.78
553.10/549.89	o 4041
553.40/550.15	c cleaning 6383 clauses out of 12799 with flag 4851/2101280
553.40/550.16	c Got one! Elapsed wall clock time (in seconds):550.048
553.40/550.16	o 4040
553.40/550.17	c Got one! Elapsed wall clock time (in seconds):550.061
553.40/550.17	o 4039
554.20/550.92	c cleaning 5758 clauses out of 11534 with flag 20966/2106398
555.10/551.81	c cleaning 5876 clauses out of 11775 with flag 46196/2112397
555.60/552.39	c Got one! Elapsed wall clock time (in seconds):552.28
555.60/552.39	o 4038
555.81/552.54	c Got one! Elapsed wall clock time (in seconds):552.43
555.81/552.54	o 4037
556.21/552.98	c cleaning 6164 clauses out of 12350 with flag 10801/2118848
557.51/554.24	c cleaning 6084 clauses out of 12186 with flag 42826/2124848
559.11/555.88	c cleaning 6542 clauses out of 13104 with flag 84542/2131850
561.11/557.83	c cleaning 7276 clauses out of 14560 with flag 133663/2139848
563.52/560.29	c cleaning 8138 clauses out of 16284 with flag 189794/2148848
566.32/563.02	c cleaning 9070 clauses out of 18146 with flag 251989/2158848
569.14/565.87	c cleaning 10031 clauses out of 20076 with flag 317246/2169848
572.24/568.99	c cleaning 11014 clauses out of 22046 with flag 382908/2181849
574.44/571.13	c Got one! Elapsed wall clock time (in seconds):571.023
574.44/571.13	o 4036
575.58/572.27	c cleaning 11915 clauses out of 23854 with flag 26642/2194671
576.88/573.59	c cleaning 8970 clauses out of 17939 with flag 57318/2200671
578.58/575.23	c cleaning 7980 clauses out of 15969 with flag 95199/2207671
580.48/577.17	c cleaning 7986 clauses out of 15990 with flag 141084/2215672
582.69/579.32	c cleaning 8501 clauses out of 17005 with flag 189357/2224673
585.09/581.77	c cleaning 9249 clauses out of 18503 with flag 245615/2234672
588.11/584.79	c cleaning 10126 clauses out of 20253 with flag 312521/2245671
588.41/585.10	c Got one! Elapsed wall clock time (in seconds):584.984
588.41/585.10	o 4035
588.51/585.10	c Got one! Elapsed wall clock time (in seconds):584.989
588.51/585.10	o 3724
588.51/585.16	c Got one! Elapsed wall clock time (in seconds):585.049
588.51/585.16	o 3723
588.62/585.27	c Got one! Elapsed wall clock time (in seconds):585.159
588.62/585.27	o 3720
588.72/585.32	c Got one! Elapsed wall clock time (in seconds):585.207
588.72/585.32	o 3719
589.82/586.43	c cleaning 8268 clauses out of 16535 with flag 26956/2252079
591.83/588.24	c cleaning 7127 clauses out of 14264 with flag 69414/2258076
594.04/590.16	c cleaning 7061 clauses out of 14136 with flag 118190/2265075
596.35/592.44	c cleaning 7529 clauses out of 15077 with flag 173314/2273077
599.05/595.14	c cleaning 8260 clauses out of 16546 with flag 234742/2282075
602.07/598.10	c cleaning 9136 clauses out of 18290 with flag 305826/2292079
605.07/601.12	c cleaning 10074 clauses out of 20153 with flag 383042/2303078
608.57/604.63	c cleaning 11034 clauses out of 22076 with flag 470211/2315075
612.41/608.49	c cleaning 12016 clauses out of 24042 with flag 566895/2328075
616.43/612.48	c cleaning 13010 clauses out of 26027 with flag 664987/2342076
620.73/616.70	c cleaning 14005 clauses out of 28018 with flag 769849/2357077
625.16/621.11	c cleaning 15002 clauses out of 30011 with flag 865228/2373075
629.86/625.87	c cleaning 16000 clauses out of 32009 with flag 960784/2390075
635.27/631.21	c cleaning 17007 clauses out of 34013 with flag 1067058/2408079
640.61/636.53	c cleaning 18001 clauses out of 36007 with flag 1183437/2427080
645.81/641.76	c cleaning 18990 clauses out of 38001 with flag 1301150/2447075
651.55/647.43	c cleaning 20003 clauses out of 40014 with flag 1426582/2468078
657.47/653.30	c cleaning 20996 clauses out of 42008 with flag 1564445/2490075
664.02/659.82	c cleaning 21999 clauses out of 44013 with flag 1707405/2513076
670.76/666.52	c cleaning 22999 clauses out of 46013 with flag 1856301/2537075
678.60/674.32	c cleaning 24005 clauses out of 48015 with flag 2018452/2562076
686.26/681.97	c cleaning 25004 clauses out of 50014 with flag 2175003/2588080
694.99/690.65	c cleaning 25997 clauses out of 52005 with flag 2345660/2615075
703.43/699.00	c cleaning 27002 clauses out of 54009 with flag 2523959/2643076
712.25/707.87	c cleaning 27993 clauses out of 56006 with flag 2693424/2672075
721.34/716.82	c cleaning 29001 clauses out of 58014 with flag 2877406/2702076
731.98/727.45	c cleaning 29998 clauses out of 60012 with flag 3085842/2733075
743.28/738.60	c cleaning 30997 clauses out of 62014 with flag 3306668/2765075
755.02/750.37	c cleaning 32002 clauses out of 64017 with flag 3539012/2798075
766.88/762.17	c cleaning 32993 clauses out of 66015 with flag 3748513/2832075
779.96/775.13	c cleaning 33997 clauses out of 68023 with flag 3974702/2867076
792.89/788.08	c cleaning 34997 clauses out of 70025 with flag 4193722/2903075
806.12/801.28	c cleaning 36000 clauses out of 72028 with flag 4422752/2940075
820.10/815.18	c cleaning 37004 clauses out of 74029 with flag 4658359/2978076
835.91/830.84	c cleaning 38006 clauses out of 76024 with flag 4917759/3017075
853.62/848.47	c cleaning 39006 clauses out of 78021 with flag 5195005/3057078
871.22/865.98	c cleaning 40006 clauses out of 80013 with flag 5484353/3098076
890.88/885.45	c cleaning 40995 clauses out of 82006 with flag 5790994/3140075
908.97/903.43	c cleaning 42005 clauses out of 84013 with flag 6100867/3183077
929.71/924.02	c cleaning 42999 clauses out of 86007 with flag 6421708/3227076
948.91/943.15	c cleaning 43999 clauses out of 88007 with flag 6744293/3272075
967.34/961.43	c cleaning 44998 clauses out of 90009 with flag 7060218/3318076
988.84/982.89	c cleaning 45998 clauses out of 92010 with flag 7403201/3365075
1010.36/1004.30	c cleaning 46986 clauses out of 94013 with flag 7755126/3413076
1031.28/1025.06	c cleaning 48008 clauses out of 96032 with flag 8110497/3462081
1054.64/1048.20	c cleaning 49003 clauses out of 98021 with flag 8494486/3512078
1079.88/1073.38	c cleaning 50002 clauses out of 100015 with flag 8875771/3563075
1105.37/1098.68	c cleaning 51006 clauses out of 102017 with flag 9281369/3615079
1130.22/1123.35	c cleaning 51987 clauses out of 104008 with flag 9680588/3668076
1157.21/1150.10	c cleaning 53004 clauses out of 106020 with flag 10077824/3722075
1184.18/1176.96	c cleaning 54002 clauses out of 108016 with flag 10495821/3777075
1211.19/1203.79	c cleaning 55002 clauses out of 110016 with flag 10919114/3833077
1239.00/1231.32	c cleaning 55996 clauses out of 112013 with flag 11318550/3890076
1266.98/1259.15	c cleaning 56996 clauses out of 114016 with flag 11697930/3948075
1297.06/1289.04	c cleaning 58006 clauses out of 116020 with flag 12095308/4007075
1324.87/1316.60	c cleaning 58994 clauses out of 118015 with flag 12501751/4067076
1354.70/1346.21	c cleaning 59990 clauses out of 120020 with flag 12919677/4128075
1384.57/1375.83	c cleaning 61003 clauses out of 122030 with flag 13334261/4190075
1414.04/1405.07	c cleaning 61994 clauses out of 124028 with flag 13742019/4253076
1445.00/1435.71	c cleaning 63005 clauses out of 126033 with flag 14166688/4317075
1473.37/1463.70	c cleaning 64002 clauses out of 128030 with flag 14547074/4382077
1501.82/1491.92	c cleaning 65002 clauses out of 130026 with flag 14956159/4448075
1532.41/1522.19	c cleaning 66011 clauses out of 132027 with flag 15378737/4515078
1564.73/1554.10	c cleaning 66998 clauses out of 134018 with flag 15812347/4583080
1598.39/1587.47	c cleaning 68005 clauses out of 136022 with flag 16239805/4652082
1630.53/1619.29	c cleaning 68997 clauses out of 138014 with flag 16654451/4722079
1667.60/1655.99	c cleaning 69989 clauses out of 140014 with flag 17115848/4793076
1709.32/1697.28	c cleaning 71001 clauses out of 142024 with flag 17638784/4865075
1747.61/1735.15	c cleaning 72010 clauses out of 144023 with flag 18163166/4938075
1786.48/1773.69	c cleaning 72994 clauses out of 146013 with flag 18631963/5012075
1800.06/1787.00	c starts		: 30911
1800.06/1787.00	c conflicts		: 5045042
1800.06/1787.00	c decisions		: 12947480
1800.06/1787.00	c propagations		: 691144726
1800.06/1787.00	c inspects		: 15314898784
1800.06/1787.00	c shortcuts		: 0
1800.06/1787.00	c learnt literals	: 0
1800.06/1787.00	c learnt binary clauses	: 1
1800.06/1787.00	c learnt ternary clauses	: 2
1800.06/1787.00	c learnt constraints	: 5045042
1800.06/1787.00	c ignored constraints	: 0
1800.06/1787.00	c root simplifications	: 0
1800.06/1787.00	c removed literals (reason simplification)	: 0
1800.06/1787.00	c reason swapping (by a shorter reason)	: 0
1800.06/1787.00	c Calls to reduceDB	: 258
1800.06/1787.00	c Number of update (reduction) of LBD	: 1134974
1800.06/1787.00	c Imported unit clauses	: 0
1800.06/1787.00	c number of reductions to clauses (during analyze)	: 0
1800.06/1787.00	c number of learned constraints concerned by reduction	: 0
1800.06/1787.00	c number of learning phase by resolution	: 0
1800.06/1787.00	c number of learning phase by cutting planes	: 0
1800.06/1787.00	c speed (assignments/second)	: 386824.70323997195
1800.06/1787.00	c non guided choices	28604
1800.06/1787.03	c learnt constraints type 
1800.06/1787.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.06/1787.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 105985
1800.06/1787.03	s SATISFIABLE
1800.06/1787.03	c Found 97 solution(s)
1800.06/1787.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 x697 x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 x2361 -x2362 -x2363 x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 x2756 
1800.06/1787.04	c objective function=3719
1800.06/1787.04	c Total wall clock time (in seconds): 1786.927

Verifier Data 

OK	3719

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-4085173-1465223480/watcher-4085173-1465223480 -o /tmp/evaluation-result-4085173-1465223480/solver-4085173-1465223480 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465217315-754 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085173-1465223480.opb 

pid=2162
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.14 2.20 2.18 3/194 2165
/proc/meminfo: memFree=30563236/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/2165/stat : 2165 (java) R 2162 2165 737 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 104281118 9379840 108 33554432000 1073741824 1073778376 140735589594768 140735589591896 1073766800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2290 122 94 9 0 38 0

[startup+0.10016 s]
/proc/loadavg: 2.14 2.20 2.18 3/194 2165
/proc/meminfo: memFree=30563236/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 4405 0 1 0 9 0 0 0 20 0 18 0 104281118 9787879424 6032 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2389619 6032 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 2.14 2.20 2.18 3/194 2165
/proc/meminfo: memFree=30563236/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 5025 0 1 0 29 0 0 0 20 0 18 0 104281118 9787879424 6880 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2389619 6880 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 2.14 2.20 2.18 3/194 2165
/proc/meminfo: memFree=30563236/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 10309 0 1 0 52 1 0 0 20 0 19 0 104281118 9856040960 13054 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2406260 13054 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040

[startup+0.700275 s]
/proc/loadavg: 2.14 2.20 2.18 3/194 2165
/proc/meminfo: memFree=30563236/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9625040 CPUtime=1.4 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 10715 0 1 0 139 1 0 0 20 0 19 0 104281118 9856040960 14049 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2406260 14049 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.14 2.20 2.18 3/213 2184
/proc/meminfo: memFree=30510284/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9625040 CPUtime=2.39 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 14809 0 1 0 237 2 0 0 20 0 19 0 104281118 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2406260 17575 2264 9 0 2396937 0
[pid=2165/tid=2167] ppid=2162 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/2165/task/2167/stat : 2167 (java) R 2162 2165 737 0 -1 4202560 2449 0 1 0 145 2 0 0 20 0 19 0 104281119 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021810825720 140021655490480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2168] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021654874536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2169] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021653821992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2170] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021652768936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2171] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021651716392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2172] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021650664360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2173] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021649611816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2174] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021648558760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2175] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2162 2165 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021647506216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2176] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2176/stat : 2176 (java) S 2162 2165 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021165177192 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2177] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2177/stat : 2177 (java) S 2162 2165 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021164123512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2178] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2178/stat : 2178 (java) S 2162 2165 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021163070344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2179] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2179/stat : 2179 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021162019088 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2180] ppid=2162 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/2165/task/2180/stat : 2180 (java) S 2162 2165 737 0 -1 4202560 4491 0 0 0 39 0 0 0 20 0 19 0 104281124 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021160966968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2181] ppid=2162 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2162 2165 737 0 -1 4202560 6592 0 0 0 51 0 0 0 20 0 19 0 104281124 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021159914424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2182] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021158861560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2183] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021157809224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2184] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2162 2165 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104281147 9856040960 17575 33554432000 1073741824 1073778376 140735589594768 140021156754472 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.14 2.20 2.18 3/213 2184
/proc/meminfo: memFree=30496824/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9625040 CPUtime=4.03 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 14813 0 1 0 401 2 0 0 20 0 19 0 104281118 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2406260 19623 2264 9 0 2396937 0
[pid=2165/tid=2167] ppid=2162 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/2165/task/2167/stat : 2167 (java) R 2162 2165 737 0 -1 4202560 2453 0 1 0 305 2 0 0 20 0 19 0 104281119 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021810825720 140021655478080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2168] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021654874536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2169] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021653821992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2170] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021652768936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2171] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021651716392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2172] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021650664360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2173] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021649611816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2174] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021648558760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2175] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2162 2165 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021647506216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2176] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2176/stat : 2176 (java) S 2162 2165 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021165177192 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2177] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2177/stat : 2177 (java) S 2162 2165 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021164123512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2178] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2178/stat : 2178 (java) S 2162 2165 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021163070344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2179] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2179/stat : 2179 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021162019088 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2180] ppid=2162 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/2165/task/2180/stat : 2180 (java) S 2162 2165 737 0 -1 4202560 4491 0 0 0 41 0 0 0 20 0 19 0 104281124 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021160966968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2181] ppid=2162 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2162 2165 737 0 -1 4202560 6592 0 0 0 53 0 0 0 20 0 19 0 104281124 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021159914424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2182] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021158861560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2183] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021157809224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2184] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2162 2165 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104281147 9856040960 19623 33554432000 1073741824 1073778376 140735589594768 140021156754472 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.21 2.22 2.18 3/213 2184
/proc/meminfo: memFree=30479364/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9625040 CPUtime=7.28 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 14823 0 1 0 725 3 0 0 20 0 19 0 104281118 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2406260 22886 2265 9 0 2396937 0
[pid=2165/tid=2167] ppid=2162 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/2165/task/2167/stat : 2167 (java) R 2162 2165 737 0 -1 4202560 2462 0 1 0 625 2 0 0 20 0 19 0 104281119 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021810827592 140021655629232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2168] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021654874536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2169] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021653821992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2170] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021652768936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2171] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021651716392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2172] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021650664360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2173] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021649611816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2174] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021648558760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2175] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2162 2165 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104281120 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021647506216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2176] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2176/stat : 2176 (java) S 2162 2165 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021165177192 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2177] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2177/stat : 2177 (java) S 2162 2165 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021164123512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2178] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2178/stat : 2178 (java) S 2162 2165 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021163070344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2179] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2179/stat : 2179 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021162019088 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2180] ppid=2162 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/2165/task/2180/stat : 2180 (java) S 2162 2165 737 0 -1 4202560 4491 0 0 0 41 0 0 0 20 0 19 0 104281124 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021160966968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2181] ppid=2162 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2162 2165 737 0 -1 4202560 6592 0 0 0 57 0 0 0 20 0 19 0 104281124 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021159914424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2182] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021158861560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2183] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2162 2165 737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021157809224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2184] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2162 2165 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104281147 9856040960 22886 33554432000 1073741824 1073778376 140735589594768 140021156754472 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9625040


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

[pid=2165/tid=2177] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2177/stat : 2177 (java) S 2162 2165 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 66520 33554432000 1073741824 1073778376 140735589594768 140021164123512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2178] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2178/stat : 2178 (java) S 2162 2165 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 66520 33554432000 1073741824 1073778376 140735589594768 140021163070344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2179] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2179/stat : 2179 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 66520 33554432000 1073741824 1073778376 140735589594768 140021162019088 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2180] ppid=2162 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/2165/task/2180/stat : 2180 (java) S 2162 2165 737 0 -1 4202560 13769 0 0 0 102 2 0 0 20 0 19 0 104281124 9856040960 66520 33554432000 1073741824 1073778376 140735589594768 140021160966968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2181] ppid=2162 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2162 2165 737 0 -1 4202560 6645 0 0 0 76 0 0 0 20 0 19 0 104281124 9856040960 66520 33554432000 1073741824 1073778376 140735589594768 140021159914424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2182] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 66520 33554432000 1073741824 1073778376 140735589594768 140021158861560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2183] ppid=2162 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2162 2165 737 0 -1 4202560 95 0 0 0 24 23 0 0 20 0 19 0 104281124 9856040960 66520 33554432000 1073741824 1073778376 140735589594768 140021157809224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2184] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2162 2165 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104281147 9856040960 66520 33554432000 1073741824 1073778376 140735589594768 140021156754472 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1674.12
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.26 2.23 2.18 4/214 2290
/proc/meminfo: memFree=30122944/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9625040 CPUtime=1734.74 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 33455 0 1 0 173354 120 0 0 20 0 19 0 104281118 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2406260 58772 2290 9 0 2396937 0
[pid=2165/tid=2167] ppid=2162 vsize=9625040 CPUtime=1714.51 cores=0,2,4,6
/proc/2165/task/2167/stat : 2167 (java) R 2162 2165 737 0 -1 4202560 2886 0 1 0 171420 31 0 0 20 0 19 0 104281119 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021810826496 140021655629378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2168] ppid=2162 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2162 2165 737 0 -1 4202560 1030 0 0 0 187 12 0 0 20 0 19 0 104281120 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021654874536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2169] ppid=2162 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2162 2165 737 0 -1 4202560 922 0 0 0 181 13 0 0 20 0 19 0 104281120 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021653821992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2170] ppid=2162 vsize=9625040 CPUtime=2.02 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2162 2165 737 0 -1 4202560 607 0 0 0 192 10 0 0 20 0 19 0 104281120 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021652768936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2171] ppid=2162 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2162 2165 737 0 -1 4202560 1207 0 0 0 176 11 0 0 20 0 19 0 104281120 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021651716392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2172] ppid=2162 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2162 2165 737 0 -1 4202560 1563 0 0 0 185 14 0 0 20 0 19 0 104281120 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021650664360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2173] ppid=2162 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2162 2165 737 0 -1 4202560 991 0 0 0 184 10 0 0 20 0 19 0 104281120 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021649611816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2174] ppid=2162 vsize=9625040 CPUtime=1.85 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2162 2165 737 0 -1 4202560 1215 0 0 0 175 10 0 0 20 0 19 0 104281120 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021648558760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2175] ppid=2162 vsize=9625040 CPUtime=2 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2162 2165 737 0 -1 4202560 535 0 0 0 189 11 0 0 20 0 19 0 104281120 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021647506216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2176] ppid=2162 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/2165/task/2176/stat : 2176 (java) S 2162 2165 737 0 -1 4202560 723 0 0 0 275 6 0 0 20 0 19 0 104281121 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021165177192 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2177] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2177/stat : 2177 (java) S 2162 2165 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021164123512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2178] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2178/stat : 2178 (java) S 2162 2165 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021163070344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2179] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2179/stat : 2179 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021162019088 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2180] ppid=2162 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/2165/task/2180/stat : 2180 (java) S 2162 2165 737 0 -1 4202560 13769 0 0 0 102 2 0 0 20 0 19 0 104281124 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021160966968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2181] ppid=2162 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2162 2165 737 0 -1 4202560 6645 0 0 0 76 0 0 0 20 0 19 0 104281124 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021159914424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2182] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021158861560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2183] ppid=2162 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2162 2165 737 0 -1 4202560 98 0 0 0 27 24 0 0 20 0 19 0 104281124 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021157809224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2184] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2162 2165 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104281147 9856040960 58772 33554432000 1073741824 1073778376 140735589594768 140021156754472 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1734.74
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/214 2317
/proc/meminfo: memFree=30084468/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9625040 CPUtime=1795.3 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 34994 0 1 0 179403 127 0 0 20 0 19 0 104281118 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2406260 67292 2290 9 0 2396937 0
[pid=2165/tid=2167] ppid=2162 vsize=9625040 CPUtime=1773.98 cores=0,2,4,6
/proc/2165/task/2167/stat : 2167 (java) R 2162 2165 737 0 -1 4202560 2912 0 1 0 177367 31 0 0 20 0 19 0 104281119 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021810826496 140021655629378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2168] ppid=2162 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2162 2165 737 0 -1 4202560 1116 0 0 0 196 12 0 0 20 0 19 0 104281120 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021654874536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2169] ppid=2162 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2162 2165 737 0 -1 4202560 1155 0 0 0 194 13 0 0 20 0 19 0 104281120 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021653821992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2170] ppid=2162 vsize=9625040 CPUtime=2.11 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2162 2165 737 0 -1 4202560 653 0 0 0 200 11 0 0 20 0 19 0 104281120 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021652768936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2171] ppid=2162 vsize=9625040 CPUtime=1.97 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2162 2165 737 0 -1 4202560 1505 0 0 0 185 12 0 0 20 0 19 0 104281120 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021651716392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2172] ppid=2162 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2162 2165 737 0 -1 4202560 1674 0 0 0 196 14 0 0 20 0 19 0 104281120 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021650664360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2173] ppid=2162 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2162 2165 737 0 -1 4202560 1280 0 0 0 196 11 0 0 20 0 19 0 104281120 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021649611816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2174] ppid=2162 vsize=9625040 CPUtime=1.95 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2162 2165 737 0 -1 4202560 1463 0 0 0 185 10 0 0 20 0 19 0 104281120 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021648558760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2175] ppid=2162 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2162 2165 737 0 -1 4202560 623 0 0 0 198 12 0 0 20 0 19 0 104281120 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021647506216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2176] ppid=2162 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/2165/task/2176/stat : 2176 (java) S 2162 2165 737 0 -1 4202560 833 0 0 0 300 6 0 0 20 0 19 0 104281121 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021165177192 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2177] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2177/stat : 2177 (java) S 2162 2165 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021164123512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2178] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2178/stat : 2178 (java) S 2162 2165 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021163070344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2179] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2179/stat : 2179 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021162019088 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2180] ppid=2162 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/2165/task/2180/stat : 2180 (java) S 2162 2165 737 0 -1 4202560 13769 0 0 0 102 2 0 0 20 0 19 0 104281124 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021160966968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2181] ppid=2162 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2162 2165 737 0 -1 4202560 6645 0 0 0 76 0 0 0 20 0 19 0 104281124 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021159914424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2182] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021158861560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2183] ppid=2162 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2162 2165 737 0 -1 4202560 102 0 0 0 28 24 0 0 20 0 19 0 104281124 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021157809224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2184] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2162 2165 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104281147 9856040960 67292 33554432000 1073741824 1073778376 140735589594768 140021156754472 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1795.3
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787 s]
/proc/loadavg: 2.18 2.22 2.18 3/214 2317
/proc/meminfo: memFree=30076416/32872528 swapFree=16252/1391864
[pid=2165] ppid=2162 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2162 2165 737 0 -1 4202496 35029 0 1 0 179877 129 0 0 20 0 19 0 104281118 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140735589585904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2165/statm: 2406260 62327 2290 9 0 2396937 0
[pid=2165/tid=2167] ppid=2162 vsize=9625040 CPUtime=1778.59 cores=0,2,4,6
/proc/2165/task/2167/stat : 2167 (java) R 2162 2165 737 0 -1 4202560 2914 0 1 0 177827 32 0 0 20 0 19 0 104281119 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021810826496 140021655409013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2168] ppid=2162 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2162 2165 737 0 -1 4202560 1123 0 0 0 197 13 0 0 20 0 19 0 104281120 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021654874536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2169] ppid=2162 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2162 2165 737 0 -1 4202560 1163 0 0 0 195 13 0 0 20 0 19 0 104281120 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021653821992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2170] ppid=2162 vsize=9625040 CPUtime=2.12 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2162 2165 737 0 -1 4202560 656 0 0 0 200 12 0 0 20 0 19 0 104281120 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021652768936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2171] ppid=2162 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2162 2165 737 0 -1 4202560 1512 0 0 0 186 13 0 0 20 0 19 0 104281120 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021651716392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2172] ppid=2162 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2162 2165 737 0 -1 4202560 1674 0 0 0 196 14 0 0 20 0 19 0 104281120 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021650664360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2173] ppid=2162 vsize=9625040 CPUtime=2.09 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2162 2165 737 0 -1 4202560 1283 0 0 0 198 11 0 0 20 0 19 0 104281120 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021649611816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2165/tid=2174] ppid=2162 vsize=9625040 CPUtime=1.96 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2162 2165 737 0 -1 4202560 1466 0 0 0 185 11 0 0 20 0 19 0 104281120 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021648558760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2175] ppid=2162 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2162 2165 737 0 -1 4202560 625 0 0 0 198 12 0 0 20 0 19 0 104281120 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021647506216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2176] ppid=2162 vsize=9625040 CPUtime=3.13 cores=0,2,4,6
/proc/2165/task/2176/stat : 2176 (java) S 2162 2165 737 0 -1 4202560 833 0 0 0 307 6 0 0 20 0 19 0 104281121 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021165177192 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2177] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2177/stat : 2177 (java) S 2162 2165 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021164123512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2178] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2178/stat : 2178 (java) S 2162 2165 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104281121 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021163070344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2179] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2179/stat : 2179 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021162019088 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2165/tid=2180] ppid=2162 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/2165/task/2180/stat : 2180 (java) S 2162 2165 737 0 -1 4202560 13769 0 0 0 102 2 0 0 20 0 19 0 104281124 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021160966968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2181] ppid=2162 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2162 2165 737 0 -1 4202560 6645 0 0 0 76 0 0 0 20 0 19 0 104281124 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021159914424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2165/tid=2182] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2162 2165 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104281124 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021158861560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2183] ppid=2162 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2162 2165 737 0 -1 4202560 102 0 0 0 28 24 0 0 20 0 19 0 104281124 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021157809224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2165/tid=2184] ppid=2162 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2162 2165 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104281147 9856040960 62327 33554432000 1073741824 1073778376 140735589594768 140021156754472 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 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 2165 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1787.06
CPU time (s): 1800.95
CPU user time (s): 1799.17
CPU system time (s): 1.78073
CPU usage (%): 100.778
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 1.78073
maximum resident set size= 570528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35074
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50285
involuntary context switches= 41660

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77867 second user time and 9.29859 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-06 16:31:20
IDJOB=4085173
IDBENCH=1871
IDSOLVER=2546
FILE ID=node119/4085173-1465223480
RUNJOBID= node119-1465217315-754
PBS_JOBID= 19843200
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085173-1465223480/watcher-4085173-1465223480 -o /tmp/evaluation-result-4085173-1465223480/solver-4085173-1465223480 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465217315-754 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085173-1465223480.opb

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

MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef
RANDOM SEED=802209708

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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.410
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.410
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.410
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.410
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:        30563764 kB
Buffers:           13816 kB
Cached:            84532 kB
SwapCached:          832 kB
Active:           164048 kB
Inactive:          42520 kB
Active(anon):     108884 kB
Inactive(anon):     1608 kB
Active(file):      55164 kB
Inactive(file):    40912 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100128 kB
Dirty:               936 kB
Writeback:             0 kB
AnonPages:       1511732 kB
Mapped:            15228 kB
Shmem:                 0 kB
Slab:             565444 kB
SReclaimable:       9416 kB
SUnreclaim:       556028 kB
KernelStack:        1584 kB
PageTables:         7272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2079768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1478656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node119 at 2016-06-06 17:01:07