Trace number 4085461

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)158 1800.04 1797.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.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-4085461-1465244509.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.17	c ... done. Wall clock time 0.055s.
0.09/0.17	c declared #vars     198
0.09/0.17	c #constraints  16
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.09/0.17	c 16 constraints processed.
0.09/0.17	c objective function length is 128 literals
0.65/0.46	c SATISFIABLE
0.65/0.46	c OPTIMIZING...
0.65/0.46	c Got one! Elapsed wall clock time (in seconds):0.343
0.65/0.46	o 952
0.99/0.70	c cleaning 2987 clauses out of 5992 with flag 6154/5992
0.99/0.75	c Got one! Elapsed wall clock time (in seconds):0.633
0.99/0.75	o 830
1.61/1.16	c cleaning 4276 clauses out of 8576 with flag 10418/11563
1.71/1.24	c Got one! Elapsed wall clock time (in seconds):1.13
1.71/1.24	o 342
2.02/1.55	c cleaning 4735 clauses out of 9486 with flag 8471/16749
2.13/1.65	c Got one! Elapsed wall clock time (in seconds):1.539
2.13/1.65	o 341
2.13/1.67	c Got one! Elapsed wall clock time (in seconds):1.56
2.13/1.67	o 333
2.54/2.01	c cleaning 5296 clauses out of 10601 with flag 8920/22599
2.54/2.02	c Got one! Elapsed wall clock time (in seconds):1.904
2.54/2.02	o 332
2.85/2.31	c Got one! Elapsed wall clock time (in seconds):2.201
2.85/2.31	o 330
2.95/2.42	c cleaning 5237 clauses out of 10508 with flag 2138/27802
3.34/2.88	c cleaning 5624 clauses out of 11270 with flag 14933/33801
3.95/3.48	c cleaning 6322 clauses out of 12648 with flag 29563/40803
3.95/3.49	c Got one! Elapsed wall clock time (in seconds):3.374
3.95/3.49	o 288
4.34/3.83	c Got one! Elapsed wall clock time (in seconds):3.715
4.34/3.83	o 284
4.51/3.94	c cleaning 5830 clauses out of 11672 with flag 2242/46149
5.07/4.47	c cleaning 5909 clauses out of 11843 with flag 15221/52150
5.66/5.08	c cleaning 6455 clauses out of 12932 with flag 30276/59148
5.76/5.10	c Got one! Elapsed wall clock time (in seconds):4.99
5.76/5.10	o 281
6.17/5.51	c cleaning 5930 clauses out of 11860 with flag 11392/64531
6.56/5.96	c Got one! Elapsed wall clock time (in seconds):5.845
6.56/5.96	o 280
7.07/6.46	c cleaning 8300 clauses out of 16611 with flag 10840/75212
7.28/6.70	c Got one! Elapsed wall clock time (in seconds):6.586
7.28/6.70	o 278
7.47/6.89	c cleaning 7045 clauses out of 14112 with flag 4324/81013
7.57/6.94	c Got one! Elapsed wall clock time (in seconds):6.827
7.57/6.94	o 209
7.98/7.39	c cleaning 6442 clauses out of 12885 with flag 11660/86831
8.48/7.88	c cleaning 6225 clauses out of 12449 with flag 26057/92837
9.08/8.46	c cleaning 6605 clauses out of 13216 with flag 40633/99829
9.78/9.17	c cleaning 7308 clauses out of 14615 with flag 57410/107833
10.58/10.00	c cleaning 8150 clauses out of 16307 with flag 76287/116833
11.68/11.06	c cleaning 9077 clauses out of 18156 with flag 97553/126832
12.88/12.22	c cleaning 10039 clauses out of 20086 with flag 121907/137839
14.27/13.60	c cleaning 11021 clauses out of 22042 with flag 147622/149834
15.77/15.14	c cleaning 12007 clauses out of 24022 with flag 176165/162835
17.67/17.00	c cleaning 13000 clauses out of 26010 with flag 206717/176830
19.67/19.07	c cleaning 14007 clauses out of 28014 with flag 238906/191834
22.07/21.43	c cleaning 15004 clauses out of 30007 with flag 272235/207834
24.57/23.99	c cleaning 15990 clauses out of 31998 with flag 312234/224829
27.18/26.59	c cleaning 17002 clauses out of 34009 with flag 353700/242830
29.48/28.82	c cleaning 17993 clauses out of 36007 with flag 401039/261830
30.68/30.06	c Got one! Elapsed wall clock time (in seconds):29.945
30.68/30.06	o 207
31.38/30.72	c cleaning 16728 clauses out of 33464 with flag 11034/277280
31.88/31.21	c cleaning 11361 clauses out of 22733 with flag 24396/283277
32.38/31.78	c cleaning 9183 clauses out of 18377 with flag 40029/290282
32.98/32.37	c cleaning 8591 clauses out of 17191 with flag 57956/298279
33.68/33.10	c cleaning 8784 clauses out of 17598 with flag 78035/307277
34.57/33.95	c cleaning 9407 clauses out of 18820 with flag 99711/317283
35.57/34.91	c cleaning 10208 clauses out of 20415 with flag 123338/328285
36.77/36.11	c cleaning 11099 clauses out of 22200 with flag 150110/340278
38.08/37.50	c cleaning 12045 clauses out of 24100 with flag 178351/353277
39.70/39.03	c cleaning 13023 clauses out of 26056 with flag 209257/367278
41.50/40.84	c cleaning 14011 clauses out of 28032 with flag 241724/382277
43.50/42.89	c cleaning 15007 clauses out of 30024 with flag 276608/398280
45.80/45.19	c cleaning 16000 clauses out of 32014 with flag 314513/415277
48.49/47.86	c cleaning 17006 clauses out of 34014 with flag 354159/433277
51.40/50.74	c cleaning 17990 clauses out of 36008 with flag 396031/452277
54.70/54.08	c cleaning 19008 clauses out of 38018 with flag 442114/472277
58.39/57.70	c cleaning 20002 clauses out of 40010 with flag 488974/493277
62.09/61.50	c cleaning 21000 clauses out of 42010 with flag 537673/515279
66.80/66.11	c cleaning 22004 clauses out of 44008 with flag 588121/538277
71.10/70.45	c cleaning 22997 clauses out of 46005 with flag 640978/562278
75.50/74.81	c cleaning 23997 clauses out of 48009 with flag 698018/587279
80.29/79.65	c cleaning 25004 clauses out of 50015 with flag 754629/613282
83.69/83.05	c Got one! Elapsed wall clock time (in seconds):82.941
83.69/83.05	o 205
84.71/84.08	c cleaning 25704 clauses out of 51429 with flag 11109/639700
85.51/84.82	c cleaning 15848 clauses out of 31725 with flag 24615/645700
85.61/84.98	c Got one! Elapsed wall clock time (in seconds):84.862
85.61/84.98	o 203
85.91/85.25	c cleaning 10533 clauses out of 21078 with flag 6528/650901
86.41/85.72	c cleaning 8263 clauses out of 16540 with flag 19836/656896
86.91/86.29	c cleaning 7633 clauses out of 15278 with flag 34815/663897
87.61/86.91	c cleaning 7825 clauses out of 15650 with flag 51841/671902
88.31/87.68	c cleaning 8406 clauses out of 16819 with flag 70915/680896
89.11/88.49	c cleaning 9207 clauses out of 18414 with flag 92498/690897
90.21/89.56	c cleaning 10102 clauses out of 20206 with flag 116168/701896
91.41/90.73	c cleaning 11048 clauses out of 22105 with flag 141989/713897
92.80/92.10	c cleaning 12023 clauses out of 24056 with flag 169543/726896
94.40/93.74	c cleaning 13014 clauses out of 26033 with flag 199517/740896
96.20/95.55	c cleaning 14011 clauses out of 28031 with flag 231925/755908
98.12/97.49	c cleaning 14998 clauses out of 30009 with flag 266345/771897
100.42/99.72	c cleaning 16001 clauses out of 32013 with flag 303339/788899
102.82/102.14	c cleaning 16997 clauses out of 34010 with flag 342184/806897
105.52/104.86	c cleaning 18001 clauses out of 36013 with flag 384293/825897
108.53/107.89	c cleaning 19004 clauses out of 38015 with flag 428666/845900
111.93/111.22	c cleaning 19995 clauses out of 40010 with flag 475036/866899
115.62/114.96	c cleaning 21002 clauses out of 42012 with flag 523402/888896
119.42/118.70	c cleaning 21999 clauses out of 44012 with flag 574536/911898
123.72/123.08	c cleaning 23004 clauses out of 46012 with flag 629173/935897
125.62/124.91	c Got one! Elapsed wall clock time (in seconds):124.795
125.62/124.91	o 201
126.32/125.69	c cleaning 19983 clauses out of 39974 with flag 10862/952863
127.02/126.35	c cleaning 12987 clauses out of 25989 with flag 24371/958861
127.72/127.01	c cleaning 9985 clauses out of 20002 with flag 39588/965861
128.33/127.69	c cleaning 8997 clauses out of 18019 with flag 56871/973863
129.22/128.52	c cleaning 8999 clauses out of 18022 with flag 76296/982863
130.12/129.48	c cleaning 9508 clauses out of 19021 with flag 98023/992861
131.22/130.51	c cleaning 10250 clauses out of 20513 with flag 123529/1003861
132.42/131.70	c cleaning 11126 clauses out of 22264 with flag 150410/1015862
133.72/133.08	c cleaning 12054 clauses out of 24139 with flag 179679/1028863
135.32/134.68	c cleaning 13037 clauses out of 26084 with flag 211997/1042862
137.02/136.40	c cleaning 14015 clauses out of 28047 with flag 245567/1057862
139.12/138.43	c cleaning 15011 clauses out of 30032 with flag 281330/1073862
141.32/140.68	c cleaning 16005 clauses out of 32022 with flag 319480/1090863
143.82/143.18	c cleaning 17002 clauses out of 34016 with flag 359528/1108862
146.72/146.00	c cleaning 18002 clauses out of 36014 with flag 401811/1127862
149.83/149.17	c cleaning 19001 clauses out of 38011 with flag 446498/1147861
153.04/152.32	c cleaning 20005 clauses out of 40011 with flag 492234/1168862
156.85/156.15	c cleaning 21004 clauses out of 42008 with flag 539812/1190864
160.85/160.17	c cleaning 21997 clauses out of 44001 with flag 591440/1213861
165.24/164.53	c cleaning 22992 clauses out of 46008 with flag 646118/1237865
170.15/169.41	c cleaning 24001 clauses out of 48013 with flag 704279/1262862
174.74/174.09	c cleaning 25005 clauses out of 50013 with flag 764847/1288863
179.14/178.48	c cleaning 25999 clauses out of 52008 with flag 826481/1315863
184.34/183.64	c cleaning 27003 clauses out of 54009 with flag 889967/1343863
189.94/189.29	c cleaning 27994 clauses out of 56008 with flag 957693/1372865
190.14/189.41	c Got one! Elapsed wall clock time (in seconds):189.293
190.14/189.41	o 200
190.84/190.17	c cleaning 16897 clauses out of 33810 with flag 11216/1378661
191.54/190.83	c cleaning 11444 clauses out of 22906 with flag 24823/1384654
192.14/191.49	c cleaning 9226 clauses out of 18462 with flag 40548/1391654
192.93/192.25	c cleaning 8609 clauses out of 17236 with flag 59755/1399654
193.83/193.10	c cleaning 8810 clauses out of 17627 with flag 80679/1408654
194.73/194.07	c cleaning 9409 clauses out of 18819 with flag 103187/1418656
195.83/195.17	c cleaning 10204 clauses out of 20409 with flag 128397/1429655
197.13/196.48	c cleaning 11097 clauses out of 22204 with flag 155713/1441654
198.74/198.01	c cleaning 12044 clauses out of 24107 with flag 184989/1454654
200.53/199.81	c cleaning 13029 clauses out of 26063 with flag 216670/1468654
202.33/201.67	c cleaning 14017 clauses out of 28034 with flag 250727/1483654
204.13/203.46	c Got one! Elapsed wall clock time (in seconds):203.345
204.13/203.46	o 198
204.94/204.26	c cleaning 16913 clauses out of 33826 with flag 11134/1503463
205.64/204.96	c cleaning 11449 clauses out of 22917 with flag 25343/1509467
206.34/205.62	c cleaning 9218 clauses out of 18469 with flag 41492/1516468
207.04/206.35	c cleaning 8620 clauses out of 17248 with flag 60147/1524465
207.84/207.18	c cleaning 8795 clauses out of 17626 with flag 80468/1533463
208.84/208.17	c cleaning 9415 clauses out of 18833 with flag 102428/1543465
209.94/209.25	c cleaning 10204 clauses out of 20416 with flag 129313/1554463
211.14/210.44	c cleaning 11103 clauses out of 22212 with flag 157222/1566463
212.54/211.87	c cleaning 12047 clauses out of 24109 with flag 186880/1579463
214.15/213.50	c cleaning 13028 clauses out of 26063 with flag 221286/1593464
215.94/215.27	c cleaning 14001 clauses out of 28035 with flag 265506/1608464
218.15/217.41	c cleaning 15008 clauses out of 30034 with flag 304368/1624464
220.45/219.79	c cleaning 16009 clauses out of 32025 with flag 345142/1641463
223.15/222.46	c cleaning 17004 clauses out of 34018 with flag 386387/1659465
226.15/225.42	c cleaning 18002 clauses out of 36012 with flag 429995/1678463
229.35/228.60	c cleaning 19006 clauses out of 38012 with flag 476064/1698465
232.86/232.11	c cleaning 19994 clauses out of 40004 with flag 523901/1719463
236.45/235.72	c cleaning 21003 clauses out of 42015 with flag 574000/1741468
240.25/239.55	c cleaning 22003 clauses out of 44013 with flag 626378/1764469
244.15/243.47	c cleaning 22986 clauses out of 46004 with flag 682758/1788463
247.65/246.93	c cleaning 24007 clauses out of 48020 with flag 738918/1813465
251.95/251.21	c cleaning 25002 clauses out of 50011 with flag 796233/1839463
256.15/255.41	c cleaning 26005 clauses out of 52009 with flag 856194/1866463
260.85/260.19	c cleaning 26995 clauses out of 54004 with flag 919688/1894463
266.35/265.67	c cleaning 27999 clauses out of 56010 with flag 982918/1923464
271.75/271.09	c cleaning 28995 clauses out of 58010 with flag 1049772/1953463
277.77/277.02	c cleaning 30008 clauses out of 60015 with flag 1120856/1984463
283.87/283.13	c cleaning 31002 clauses out of 62007 with flag 1195569/2016463
290.47/289.73	c cleaning 31993 clauses out of 64005 with flag 1271467/2049463
297.67/296.95	c cleaning 33002 clauses out of 66013 with flag 1351066/2083464
305.58/304.87	c cleaning 34004 clauses out of 68016 with flag 1432470/2118469
314.07/313.30	c cleaning 34993 clauses out of 70006 with flag 1516938/2154463
324.28/323.59	c cleaning 35993 clauses out of 72013 with flag 1600840/2191463
324.47/323.77	c Got one! Elapsed wall clock time (in seconds):323.659
324.47/323.77	o 196
325.10/324.38	c cleaning 20625 clauses out of 41265 with flag 8910/2196708
325.70/324.93	c cleaning 13315 clauses out of 26639 with flag 21706/2202707
326.30/325.51	c cleaning 10154 clauses out of 20323 with flag 36936/2209706
326.90/326.18	c cleaning 9078 clauses out of 18168 with flag 54882/2217705
327.61/326.88	c cleaning 9036 clauses out of 18091 with flag 74868/2226706
328.61/327.81	c cleaning 9524 clauses out of 19054 with flag 97252/2236705
329.60/328.86	c cleaning 10266 clauses out of 20535 with flag 121339/2247710
330.81/330.02	c cleaning 11129 clauses out of 22266 with flag 148267/2259707
332.20/331.44	c cleaning 12068 clauses out of 24137 with flag 177260/2272707
333.80/333.08	c cleaning 13032 clauses out of 26069 with flag 208280/2286707
335.70/334.99	c cleaning 14011 clauses out of 28035 with flag 243104/2301705
337.81/337.09	c cleaning 15011 clauses out of 30029 with flag 279538/2317710
339.91/339.19	c cleaning 16001 clauses out of 32013 with flag 318207/2334705
342.32/341.50	c cleaning 17000 clauses out of 34012 with flag 359998/2352705
344.62/343.84	c cleaning 18003 clauses out of 36012 with flag 404816/2371705
345.72/344.97	c Got one! Elapsed wall clock time (in seconds):344.86
345.72/344.97	o 194
346.42/345.60	c cleaning 17074 clauses out of 34152 with flag 12557/2387848
346.62/345.80	c Got one! Elapsed wall clock time (in seconds):345.69
346.62/345.80	o 192
346.92/346.10	c cleaning 11265 clauses out of 22540 with flag 6717/2393310
347.43/346.63	c cleaning 8627 clauses out of 17275 with flag 19828/2399310
347.52/346.75	c Got one! Elapsed wall clock time (in seconds):346.638
347.52/346.75	o 191
347.82/347.06	c cleaning 7267 clauses out of 14542 with flag 8941/2405204
348.32/347.54	c cleaning 6627 clauses out of 13277 with flag 22309/2411206
348.62/347.86	c Got one! Elapsed wall clock time (in seconds):347.743
348.62/347.86	o 190
348.72/347.93	c cleaning 6031 clauses out of 12077 with flag 2031/2416633
349.12/348.31	c Got one! Elapsed wall clock time (in seconds):348.195
349.12/348.31	o 188
349.42/348.70	c cleaning 8331 clauses out of 16663 with flag 10945/2427250
349.92/349.19	c cleaning 7162 clauses out of 14328 with flag 23963/2433246
350.52/349.76	c cleaning 7079 clauses out of 14167 with flag 38944/2440247
351.22/350.45	c cleaning 7542 clauses out of 15087 with flag 56173/2448246
352.02/351.23	c cleaning 8265 clauses out of 16543 with flag 75273/2457244
353.02/352.21	c cleaning 9141 clauses out of 18283 with flag 96659/2467249
354.22/353.48	c cleaning 10065 clauses out of 20137 with flag 120241/2478244
355.62/354.80	c cleaning 11031 clauses out of 22074 with flag 148734/2490246
357.23/356.44	c cleaning 12015 clauses out of 24041 with flag 177925/2503244
358.92/358.17	c cleaning 13013 clauses out of 26027 with flag 209116/2517245
360.92/360.19	c cleaning 14002 clauses out of 28015 with flag 241576/2532246
363.32/362.55	c cleaning 14999 clauses out of 30013 with flag 276345/2548246
365.82/365.09	c cleaning 16006 clauses out of 32016 with flag 313142/2565248
368.62/367.86	c cleaning 17006 clauses out of 34013 with flag 352353/2583251
371.82/371.03	c cleaning 17999 clauses out of 36001 with flag 393564/2602245
375.12/374.39	c cleaning 18996 clauses out of 38001 with flag 436200/2622244
378.62/377.87	c cleaning 20002 clauses out of 40006 with flag 484345/2643245
380.92/380.10	c Got one! Elapsed wall clock time (in seconds):379.985
380.92/380.10	o 186
381.72/380.95	c cleaning 20117 clauses out of 40258 with flag 10913/2663499
382.32/381.51	c Got one! Elapsed wall clock time (in seconds):381.399
382.32/381.51	o 185
382.42/381.63	c cleaning 12851 clauses out of 25718 with flag 2030/2669076
382.92/382.18	c cleaning 9428 clauses out of 18869 with flag 15281/2675078
383.52/382.79	c cleaning 8203 clauses out of 16439 with flag 32294/2682076
384.12/383.39	c cleaning 8112 clauses out of 16239 with flag 51662/2690079
384.92/384.15	c cleaning 8551 clauses out of 17126 with flag 71639/2699078
385.83/385.03	c cleaning 9288 clauses out of 18578 with flag 94129/2709081
386.83/386.10	c cleaning 10137 clauses out of 20288 with flag 118873/2720079
388.14/387.35	c cleaning 11074 clauses out of 22149 with flag 145641/2732077
388.33/387.59	c Got one! Elapsed wall clock time (in seconds):387.476
388.33/387.59	o 184
388.53/387.76	c cleaning 8227 clauses out of 16461 with flag 4143/2737463
388.63/387.89	c Got one! Elapsed wall clock time (in seconds):387.774
388.63/387.89	o 183
388.93/388.19	c cleaning 7092 clauses out of 14202 with flag 8627/2743431
389.43/388.68	c cleaning 6540 clauses out of 13110 with flag 21029/2749431
390.03/389.25	c cleaning 6773 clauses out of 13567 with flag 35421/2756428
390.73/389.92	c cleaning 7394 clauses out of 14797 with flag 51910/2764431
391.53/390.72	c cleaning 8196 clauses out of 16404 with flag 70267/2773432
392.44/391.67	c cleaning 9096 clauses out of 18204 with flag 91094/2783428
393.55/392.78	c cleaning 10054 clauses out of 20108 with flag 115200/2794428
394.94/394.15	c cleaning 11028 clauses out of 22055 with flag 141169/2806429
395.04/394.28	c Got one! Elapsed wall clock time (in seconds):394.171
395.04/394.28	o 181
395.44/394.64	c cleaning 8438 clauses out of 16881 with flag 8527/2812283
395.94/395.13	c cleaning 7206 clauses out of 14441 with flag 22113/2818281
396.54/395.72	c cleaning 7105 clauses out of 14237 with flag 37482/2825283
397.24/396.44	c cleaning 7558 clauses out of 15130 with flag 55163/2833281
397.95/397.19	c cleaning 8280 clauses out of 16572 with flag 76239/2842281
398.74/397.92	c Got one! Elapsed wall clock time (in seconds):397.802
398.74/397.92	o 179
399.24/398.43	c cleaning 10960 clauses out of 21924 with flag 11277/2855913
399.44/398.66	c Got one! Elapsed wall clock time (in seconds):398.542
399.44/398.66	o 178
399.74/398.93	c cleaning 8445 clauses out of 16907 with flag 6725/2861856
400.15/399.40	c cleaning 7222 clauses out of 14462 with flag 20966/2867856
400.74/399.94	c cleaning 7108 clauses out of 14239 with flag 36093/2874855
401.44/400.63	c cleaning 7550 clauses out of 15134 with flag 52714/2882858
402.24/401.43	c cleaning 8288 clauses out of 16587 with flag 72098/2891861
403.24/402.42	c cleaning 9142 clauses out of 18293 with flag 93572/2901855
404.34/403.50	c cleaning 10072 clauses out of 20151 with flag 118211/2912855
405.54/404.79	c cleaning 11025 clauses out of 22082 with flag 145296/2924858
406.64/405.83	c Got one! Elapsed wall clock time (in seconds):405.717
406.64/405.83	o 177
406.84/406.04	c Got one! Elapsed wall clock time (in seconds):405.923
406.84/406.04	o 175
407.44/406.61	c cleaning 13497 clauses out of 27006 with flag 8826/2940807
408.04/407.27	c cleaning 9745 clauses out of 19506 with flag 23190/2946804
408.74/407.92	c cleaning 8378 clauses out of 16763 with flag 39105/2953806
409.44/408.65	c cleaning 8186 clauses out of 16392 with flag 55574/2961813
410.24/409.46	c cleaning 8592 clauses out of 17197 with flag 74062/2970804
411.24/410.40	c cleaning 9300 clauses out of 18605 with flag 94693/2980804
412.24/411.45	c Got one! Elapsed wall clock time (in seconds):411.339
412.24/411.45	o 174
412.64/411.85	c Got one! Elapsed wall clock time (in seconds):411.734
412.64/411.85	o 172
412.95/412.14	c cleaning 12256 clauses out of 24516 with flag 4534/2996015
413.55/412.73	c cleaning 9129 clauses out of 18261 with flag 18921/3002016
414.15/413.35	c cleaning 8060 clauses out of 16130 with flag 34633/3009014
414.85/414.07	c cleaning 8025 clauses out of 16070 with flag 52335/3017014
415.66/414.89	c cleaning 8521 clauses out of 17045 with flag 71850/3026014
416.66/415.84	c cleaning 9262 clauses out of 18524 with flag 93827/3036014
417.76/416.95	c cleaning 10129 clauses out of 20265 with flag 118967/3047017
419.05/418.20	c cleaning 11059 clauses out of 22135 with flag 145914/3059016
420.45/419.62	c cleaning 12030 clauses out of 24074 with flag 175751/3072014
420.65/419.80	c Got one! Elapsed wall clock time (in seconds):419.687
420.65/419.80	o 171
420.85/420.03	c cleaning 8667 clauses out of 17348 with flag 6530/3077318
421.26/420.48	c cleaning 7327 clauses out of 14677 with flag 19583/3083314
421.86/421.01	c cleaning 7163 clauses out of 14352 with flag 34777/3090316
422.46/421.63	c cleaning 7589 clauses out of 15189 with flag 52517/3098316
423.16/422.33	c cleaning 8296 clauses out of 16597 with flag 71368/3107313
424.06/423.26	c cleaning 9151 clauses out of 18303 with flag 92324/3117315
425.06/424.28	c cleaning 10067 clauses out of 20150 with flag 115639/3128313
426.26/425.42	c cleaning 11041 clauses out of 22083 with flag 140916/3140313
427.86/427.03	c cleaning 12019 clauses out of 24043 with flag 168215/3153314
429.66/428.87	c cleaning 13003 clauses out of 26025 with flag 198126/3167315
431.66/430.85	c cleaning 14007 clauses out of 28022 with flag 230719/3182315
433.86/433.09	c cleaning 14996 clauses out of 30014 with flag 265973/3198314
435.96/435.13	c cleaning 16007 clauses out of 32021 with flag 303832/3215317
438.26/437.45	c cleaning 16993 clauses out of 34010 with flag 344256/3233313
440.66/439.89	c cleaning 18003 clauses out of 36017 with flag 390085/3252313
443.16/442.35	c cleaning 19003 clauses out of 38014 with flag 436582/3272313
443.76/442.92	c Got one! Elapsed wall clock time (in seconds):442.806
443.76/442.92	o 170
444.36/443.52	c cleaning 15334 clauses out of 30681 with flag 11171/3283983
444.85/444.06	c cleaning 10661 clauses out of 21343 with flag 24885/3289979
445.45/444.66	c cleaning 8833 clauses out of 17679 with flag 40530/3296976
446.05/445.25	c Got one! Elapsed wall clock time (in seconds):445.14
446.05/445.25	o 168
446.55/445.79	c cleaning 10550 clauses out of 21108 with flag 11591/3309238
447.16/446.31	c cleaning 8264 clauses out of 16556 with flag 24991/3315236
447.65/446.86	c cleaning 7638 clauses out of 15298 with flag 41026/3322242
448.35/447.53	c cleaning 7817 clauses out of 15654 with flag 59562/3330236
448.66/447.83	c Got one! Elapsed wall clock time (in seconds):447.714
448.66/447.83	o 166
448.75/447.90	c cleaning 6469 clauses out of 12952 with flag 2031/3335351
449.15/448.30	c cleaning 6238 clauses out of 12487 with flag 16315/3341355
449.66/448.82	c cleaning 6624 clauses out of 13249 with flag 31641/3348355
450.26/449.46	c cleaning 7312 clauses out of 14627 with flag 50710/3356357
450.26/449.49	c Got one! Elapsed wall clock time (in seconds):449.378
450.26/449.49	o 165
450.66/449.88	c cleaning 6457 clauses out of 12934 with flag 10468/3361976
451.16/450.35	c cleaning 6224 clauses out of 12470 with flag 23230/3367969
451.66/450.86	c cleaning 6614 clauses out of 13248 with flag 40694/3374971
452.26/451.49	c cleaning 7317 clauses out of 14636 with flag 59343/3382973
452.36/451.57	c Got one! Elapsed wall clock time (in seconds):451.458
452.36/451.57	o 163
452.66/451.86	c cleaning 6339 clauses out of 12698 with flag 8566/3388352
453.06/452.28	c cleaning 6156 clauses out of 12360 with flag 21598/3394353
453.66/452.83	c cleaning 6600 clauses out of 13202 with flag 37237/3401351
454.35/453.53	c cleaning 7304 clauses out of 14612 with flag 54761/3409361
455.16/454.31	c cleaning 8145 clauses out of 16300 with flag 75126/3418353
456.06/455.25	c cleaning 9072 clauses out of 18153 with flag 97449/3428351
457.16/456.35	c cleaning 10041 clauses out of 20081 with flag 122836/3439351
458.49/457.66	c cleaning 11014 clauses out of 22040 with flag 148836/3451351
459.98/459.15	c cleaning 12008 clauses out of 24032 with flag 177399/3464357
461.79/460.91	c cleaning 13003 clauses out of 26018 with flag 208194/3478351
463.68/462.82	c cleaning 14006 clauses out of 28017 with flag 241609/3493353
465.78/464.96	c cleaning 15004 clauses out of 30011 with flag 277478/3509353
467.88/467.04	c cleaning 15999 clauses out of 32007 with flag 316148/3526353
468.49/467.66	c Got one! Elapsed wall clock time (in seconds):467.551
468.49/467.66	o 162
469.08/468.22	c cleaning 13462 clauses out of 26940 with flag 11214/3537285
469.59/468.76	c cleaning 9730 clauses out of 19481 with flag 24453/3543288
470.18/469.32	c cleaning 8368 clauses out of 16748 with flag 40795/3550285
470.78/469.98	c cleaning 8180 clauses out of 16379 with flag 58397/3558284
471.58/470.77	c cleaning 8594 clauses out of 17201 with flag 77874/3567286
472.48/471.61	c cleaning 9299 clauses out of 18605 with flag 100073/3577284
473.48/472.63	c cleaning 10152 clauses out of 20308 with flag 125544/3588286
474.68/473.80	c cleaning 11074 clauses out of 22156 with flag 152737/3600286
475.88/475.01	c cleaning 12039 clauses out of 24082 with flag 182090/3613286
477.38/476.51	c cleaning 13020 clauses out of 26041 with flag 213122/3627284
479.08/478.21	c cleaning 14011 clauses out of 28021 with flag 246468/3642284
480.98/480.13	c cleaning 14998 clauses out of 30010 with flag 282971/3658284
483.08/482.20	c cleaning 16003 clauses out of 32013 with flag 322802/3675285
485.48/484.67	c cleaning 16999 clauses out of 34010 with flag 362316/3693285
488.38/487.59	c cleaning 17996 clauses out of 36010 with flag 404609/3712284
491.38/490.54	c cleaning 19004 clauses out of 38014 with flag 450208/3732284
494.98/494.11	c cleaning 20005 clauses out of 40011 with flag 497501/3753285
498.58/497.70	c cleaning 21001 clauses out of 42007 with flag 548916/3775286
499.08/498.20	c Got one! Elapsed wall clock time (in seconds):498.089
499.08/498.20	o 161
499.19/498.34	c cleaning 13471 clauses out of 26947 with flag 2203/3781227
499.68/498.89	c cleaning 9731 clauses out of 19476 with flag 15650/3787227
500.29/499.50	c cleaning 8356 clauses out of 16742 with flag 31485/3794224
501.01/500.19	c cleaning 8181 clauses out of 16386 with flag 49325/3802224
501.81/500.99	c cleaning 8600 clauses out of 17207 with flag 68968/3811226
502.81/501.98	c cleaning 9296 clauses out of 18611 with flag 90842/3821230
503.91/503.06	c cleaning 10146 clauses out of 20313 with flag 114443/3832228
505.11/504.24	c cleaning 11079 clauses out of 22166 with flag 141385/3844227
506.31/505.49	c cleaning 12041 clauses out of 24085 with flag 171988/3857225
507.81/506.99	c cleaning 13015 clauses out of 26043 with flag 204169/3871224
509.51/508.66	c cleaning 14005 clauses out of 28031 with flag 240293/3886227
511.42/510.53	c cleaning 15012 clauses out of 30025 with flag 278091/3902226
513.52/512.65	c cleaning 16005 clauses out of 32012 with flag 317401/3919225
514.51/513.66	c Got one! Elapsed wall clock time (in seconds):513.544
514.51/513.66	o 160
515.22/514.34	c cleaning 15533 clauses out of 31075 with flag 10633/3934293
515.83/514.92	c cleaning 10761 clauses out of 21540 with flag 22829/3940291
516.42/515.50	c cleaning 8877 clauses out of 17779 with flag 37216/3947291
517.02/516.12	c cleaning 8440 clauses out of 16904 with flag 53627/3955293
517.72/516.81	c cleaning 8725 clauses out of 17465 with flag 73516/3964294
518.52/517.68	c cleaning 9366 clauses out of 18738 with flag 95384/3974292
519.62/518.76	c cleaning 10182 clauses out of 20371 with flag 120776/3985291
520.42/519.52	c Got one! Elapsed wall clock time (in seconds):519.404
520.42/519.52	o 158
520.92/520.00	c cleaning 12112 clauses out of 24232 with flag 10452/3999334
521.42/520.59	c cleaning 9053 clauses out of 18120 with flag 22865/4005334
522.12/521.25	c cleaning 8024 clauses out of 16067 with flag 37636/4012334
522.92/522.00	c cleaning 8010 clauses out of 16042 with flag 55852/4020333
523.72/522.83	c cleaning 8507 clauses out of 17032 with flag 76070/4029333
524.72/523.87	c cleaning 9255 clauses out of 18530 with flag 98361/4039338
526.02/525.11	c cleaning 10123 clauses out of 20270 with flag 123001/4050333
527.32/526.49	c cleaning 11059 clauses out of 22147 with flag 150914/4062333
529.03/528.12	c cleaning 12028 clauses out of 24089 with flag 181396/4075334
531.02/530.20	c cleaning 13029 clauses out of 26063 with flag 213060/4089336
533.52/532.60	c cleaning 14004 clauses out of 28031 with flag 246175/4104333
535.92/535.08	c cleaning 15016 clauses out of 30031 with flag 278908/4120337
538.22/537.36	c cleaning 16001 clauses out of 32014 with flag 314377/4137336
540.64/539.76	c cleaning 17007 clauses out of 34018 with flag 353979/4155341
543.44/542.54	c cleaning 17999 clauses out of 36005 with flag 394525/4174335
546.55/545.69	c cleaning 19003 clauses out of 38006 with flag 437345/4194335
550.04/549.10	c cleaning 20000 clauses out of 40008 with flag 483244/4215340
553.54/552.67	c cleaning 20988 clauses out of 42001 with flag 530086/4237333
557.94/557.03	c cleaning 22006 clauses out of 44016 with flag 580110/4260336
562.74/561.80	c cleaning 22997 clauses out of 46011 with flag 631561/4284337
567.54/566.66	c cleaning 24004 clauses out of 48015 with flag 686741/4309338
572.83/571.93	c cleaning 25005 clauses out of 50016 with flag 743000/4335343
578.63/577.76	c cleaning 25999 clauses out of 52002 with flag 799574/4362334
584.93/584.06	c cleaning 27002 clauses out of 54005 with flag 860045/4390336
591.53/590.62	c cleaning 28001 clauses out of 56007 with flag 920923/4419340
598.52/597.67	c cleaning 28996 clauses out of 58000 with flag 986738/4449334
605.82/604.90	c cleaning 29994 clauses out of 60005 with flag 1054782/4480335
613.80/612.86	c cleaning 31000 clauses out of 62010 with flag 1124282/4512334
621.99/621.00	c cleaning 32002 clauses out of 64019 with flag 1195801/4545343
630.80/629.84	c cleaning 33000 clauses out of 66008 with flag 1270910/4579334
639.00/638.05	c cleaning 34002 clauses out of 68009 with flag 1350192/4614335
648.20/647.29	c cleaning 34995 clauses out of 70008 with flag 1430736/4650336
657.80/656.82	c cleaning 36002 clauses out of 72018 with flag 1513370/4687341
668.00/667.02	c cleaning 37001 clauses out of 74008 with flag 1599707/4725333
678.70/677.73	c cleaning 37998 clauses out of 76009 with flag 1686780/4764335
690.40/689.43	c cleaning 39002 clauses out of 78009 with flag 1775260/4804333
702.49/701.46	c cleaning 39993 clauses out of 80010 with flag 1863571/4845336
714.78/713.74	c cleaning 41003 clauses out of 82016 with flag 1953772/4887335
728.38/727.33	c cleaning 42004 clauses out of 84018 with flag 2049450/4930340
743.89/742.88	c cleaning 43003 clauses out of 86013 with flag 2146029/4974339
756.59/755.57	c cleaning 44000 clauses out of 88005 with flag 2243046/5019334
772.10/771.08	c cleaning 45002 clauses out of 90006 with flag 2341773/5065335
788.50/787.44	c cleaning 45995 clauses out of 92009 with flag 2445609/5112340
805.81/804.72	c cleaning 47003 clauses out of 94009 with flag 2553333/5160335
821.60/820.48	c cleaning 48000 clauses out of 96007 with flag 2658839/5209336
833.80/832.62	c cleaning 49002 clauses out of 98007 with flag 2763301/5259336
847.91/846.79	c cleaning 50000 clauses out of 100007 with flag 2874432/5310338
862.91/861.76	c cleaning 51000 clauses out of 102002 with flag 2986560/5362333
879.71/878.54	c cleaning 52000 clauses out of 104008 with flag 3100719/5415339
896.31/895.18	c cleaning 52997 clauses out of 106002 with flag 3216967/5469333
915.20/913.84	c cleaning 54000 clauses out of 108009 with flag 3340175/5524337
933.31/931.94	c cleaning 54998 clauses out of 110006 with flag 3463891/5580334
951.91/950.52	c cleaning 56002 clauses out of 112008 with flag 3584119/5637334
970.62/969.21	c cleaning 56996 clauses out of 114005 with flag 3709442/5695333
992.02/990.65	c cleaning 57996 clauses out of 116010 with flag 3842097/5754334
1012.73/1011.30	c cleaning 59007 clauses out of 118014 with flag 3966379/5814334
1035.58/1034.10	c cleaning 59997 clauses out of 120006 with flag 4093465/5875333
1059.27/1057.76	c cleaning 60990 clauses out of 122009 with flag 4225746/5937333
1085.89/1084.32	c cleaning 62003 clauses out of 124020 with flag 4365914/6000334
1113.29/1111.71	c cleaning 63005 clauses out of 126020 with flag 4506828/6064337
1142.60/1141.08	c cleaning 64003 clauses out of 128013 with flag 4644036/6129335
1170.22/1168.53	c cleaning 64994 clauses out of 130009 with flag 4783737/6195334
1202.81/1201.12	c cleaning 65999 clauses out of 132020 with flag 4930508/6262339
1234.50/1232.84	c cleaning 67010 clauses out of 134022 with flag 5078728/6330340
1266.39/1264.79	c cleaning 67989 clauses out of 136005 with flag 5235084/6399333
1298.56/1296.71	c cleaning 68996 clauses out of 138019 with flag 5388586/6469336
1334.25/1332.40	c cleaning 70007 clauses out of 140022 with flag 5554489/6540335
1376.65/1374.85	c cleaning 70997 clauses out of 142013 with flag 5706496/6612333
1414.54/1412.71	c cleaning 71999 clauses out of 144016 with flag 5862920/6685333
1453.95/1452.07	c cleaning 73000 clauses out of 146017 with flag 6021706/6759333
1499.16/1497.27	c cleaning 74003 clauses out of 148020 with flag 6183043/6834336
1539.36/1537.43	c cleaning 74995 clauses out of 150014 with flag 6346346/6910333
1584.46/1582.48	c cleaning 75997 clauses out of 152019 with flag 6513173/6987333
1630.67/1628.66	c cleaning 76997 clauses out of 154022 with flag 6682661/7065333
1673.58/1671.58	c cleaning 78004 clauses out of 156025 with flag 6857253/7144333
1722.67/1720.60	c cleaning 79004 clauses out of 158021 with flag 7038651/7224333
1774.24/1772.18	c cleaning 80002 clauses out of 160023 with flag 7217461/7305339
1800.04/1797.90	c starts		: 1026
1800.04/1797.90	c conflicts		: 7357547
1800.04/1797.90	c decisions		: 8309562
1800.04/1797.90	c propagations		: 127679443
1800.04/1797.90	c inspects		: 37106029026
1800.04/1797.90	c shortcuts		: 0
1800.04/1797.90	c learnt literals	: 0
1800.04/1797.90	c learnt binary clauses	: 0
1800.04/1797.90	c learnt ternary clauses	: 0
1800.04/1797.90	c learnt constraints	: 7357547
1800.04/1797.90	c ignored constraints	: 0
1800.04/1797.90	c root simplifications	: 0
1800.04/1797.90	c removed literals (reason simplification)	: 0
1800.04/1797.90	c reason swapping (by a shorter reason)	: 0
1800.04/1797.90	c Calls to reduceDB	: 385
1800.04/1797.90	c Number of update (reduction) of LBD	: 837358
1800.04/1797.90	c Imported unit clauses	: 0
1800.04/1797.90	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.90	c number of learned constraints concerned by reduction	: 0
1800.04/1797.90	c number of learning phase by resolution	: 0
1800.04/1797.90	c number of learning phase by cutting planes	: 0
1800.04/1797.90	c speed (assignments/second)	: 71022.55176108105
1800.04/1797.90	c non guided choices	1447
1800.04/1797.93	c learnt constraints type 
1800.04/1797.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 132229
1800.04/1797.93	s SATISFIABLE
1800.04/1797.93	c Found 46 solution(s)
1800.04/1797.93	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 
1800.04/1797.93	c objective function=158
1800.04/1797.93	c Total wall clock time (in seconds): 1797.816

Verifier Data 

OK	158

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-4085461-1465244509/watcher-4085461-1465244509 -o /tmp/evaluation-result-4085461-1465244509/solver-4085461-1465244509 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465222695-5849 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085461-1465244509.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.19 2.19 3/194 9453
/proc/meminfo: memFree=30059592/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/9453/stat : 9453 (java) R 9450 9453 5832 0 -1 4202496 442 0 0 0 0 0 0 0 20 0 1 0 106383748 9379840 97 33554432000 1073741824 1073778376 140733864932816 140733864929944 229346680061 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2290 117 89 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 2.16 2.19 2.19 3/194 9453
/proc/meminfo: memFree=30059592/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 106383748 9787879424 6030 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2389619 6030 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200214 s]
/proc/loadavg: 2.16 2.19 2.19 3/194 9453
/proc/meminfo: memFree=30059592/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 4797 0 1 0 26 1 0 0 20 0 19 0 106383748 9856040960 6837 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2406260 6837 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040

[startup+0.300224 s]
/proc/loadavg: 2.16 2.19 2.19 3/194 9453
/proc/meminfo: memFree=30059592/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 7221 0 1 0 51 1 0 0 20 0 19 0 106383748 9856040960 8589 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2406260 8589 2245 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700148 s]
/proc/loadavg: 2.16 2.19 2.19 3/194 9453
/proc/meminfo: memFree=30059592/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 7231 0 1 0 98 1 0 0 20 0 19 0 106383748 9856040960 9621 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2406260 9621 2252 9 0 2396937 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.30 2.22 2.20 3/213 9472
/proc/meminfo: memFree=30022788/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 9789 0 1 0 200 2 0 0 20 0 19 0 106383748 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2406260 11879 2257 9 0 2396937 0
[pid=9453/tid=9455] ppid=9450 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/9453/task/9455/stat : 9455 (java) R 9450 9453 5832 0 -1 4202560 2412 0 1 0 144 1 0 0 20 0 19 0 106383749 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898951670224 139898779105401 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9456] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9456/stat : 9456 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898913163688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9457] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9457/stat : 9457 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898912111144 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9458] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9458/stat : 9458 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898911058088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9459] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9459/stat : 9459 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898910005544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9460] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9460/stat : 9460 (java) S 9450 9453 5832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898908953512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9461] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898907900968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9462] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9462/stat : 9462 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898906847912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9463] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9463/stat : 9463 (java) S 9450 9453 5832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898905795368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9464] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9464/stat : 9464 (java) S 9450 9453 5832 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106383751 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898775386472 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9465] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9465/stat : 9465 (java) S 9450 9453 5832 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898774332792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9466] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9466/stat : 9466 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898773279624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9467] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9467/stat : 9467 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898772228368 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9468] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9468/stat : 9468 (java) R 9450 9453 5832 0 -1 4202560 1299 0 0 0 18 0 0 0 20 0 19 0 106383754 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898771176128 139898957655642 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9469] ppid=9450 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/9453/task/9469/stat : 9469 (java) S 9450 9453 5832 0 -1 4202560 4805 0 0 0 35 0 0 0 20 0 19 0 106383754 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898770123704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9470] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9470/stat : 9470 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898769070840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9471] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9471/stat : 9471 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898768018504 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9472] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9472/stat : 9472 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383766 9856040960 11879 33554432000 1073741824 1073778376 140733864932816 139898766963752 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.30 2.22 2.20 3/213 9472
/proc/meminfo: memFree=30015900/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9625040 CPUtime=3.64 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 9797 0 1 0 362 2 0 0 20 0 19 0 106383748 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2406260 13930 2260 9 0 2396937 0
[pid=9453/tid=9455] ppid=9450 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/9453/task/9455/stat : 9455 (java) R 9450 9453 5832 0 -1 4202560 2417 0 1 0 303 1 0 0 20 0 19 0 106383749 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898951663264 139898779105656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9456] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9456/stat : 9456 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898913163688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9457] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9457/stat : 9457 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898912111144 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9458] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9458/stat : 9458 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898911058088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9459] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9459/stat : 9459 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898910005544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9460] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9460/stat : 9460 (java) S 9450 9453 5832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898908953512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9461] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898907900968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9462] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9462/stat : 9462 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898906847912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9463] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9463/stat : 9463 (java) S 9450 9453 5832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898905795368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9464] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9464/stat : 9464 (java) S 9450 9453 5832 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106383751 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898775386472 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9465] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9465/stat : 9465 (java) S 9450 9453 5832 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898774332792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9466] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9466/stat : 9466 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898773279624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9467] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9467/stat : 9467 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898772228368 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9468] ppid=9450 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/9453/task/9468/stat : 9468 (java) S 9450 9453 5832 0 -1 4202560 1299 0 0 0 19 0 0 0 20 0 19 0 106383754 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898771176248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9469] ppid=9450 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/9453/task/9469/stat : 9469 (java) S 9450 9453 5832 0 -1 4202560 4808 0 0 0 37 0 0 0 20 0 19 0 106383754 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898770123704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9470] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9470/stat : 9470 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898769070840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9471] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9471/stat : 9471 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898768018504 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9472] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9472/stat : 9472 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383766 9856040960 13930 33554432000 1073741824 1073778376 140733864932816 139898766963752 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.28 2.21 2.20 3/213 9472
/proc/meminfo: memFree=30001520/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9625040 CPUtime=6.97 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 10417 0 1 0 694 3 0 0 20 0 19 0 106383748 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2406260 17380 2261 9 0 2396937 0
[pid=9453/tid=9455] ppid=9450 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/9453/task/9455/stat : 9455 (java) R 9450 9453 5832 0 -1 4202560 2425 0 1 0 622 1 0 0 20 0 19 0 106383749 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898951663920 139898779039110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9456] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9456/stat : 9456 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898913163688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9457] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9457/stat : 9457 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898912111144 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9458] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9458/stat : 9458 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898911058088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9459] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9459/stat : 9459 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898910005544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9460] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9460/stat : 9460 (java) S 9450 9453 5832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898908953512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9461] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898907900968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9462] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9462/stat : 9462 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898906847912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9463] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9463/stat : 9463 (java) S 9450 9453 5832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106383750 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898905795368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9464] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9464/stat : 9464 (java) S 9450 9453 5832 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106383751 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898775386472 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9465] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9465/stat : 9465 (java) S 9450 9453 5832 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898774332792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9466] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9466/stat : 9466 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898773279624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9467] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9467/stat : 9467 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898772228368 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9468] ppid=9450 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/9453/task/9468/stat : 9468 (java) S 9450 9453 5832 0 -1 4202560 1299 0 0 0 19 0 0 0 20 0 19 0 106383754 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898771176248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9469] ppid=9450 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/9453/task/9469/stat : 9469 (java) S 9450 9453 5832 0 -1 4202560 5419 0 0 0 50 0 0 0 20 0 19 0 106383754 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898770123704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9470] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9470/stat : 9470 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898769070840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9471] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9471/stat : 9471 (java) S 9450 9453 5832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898768018504 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9472] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9472/stat : 9472 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383766 9856040960 17380 33554432000 1073741824 1073778376 140733864932816 139898766963752 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 9625040


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

[pid=9453/tid=9472] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9472/stat : 9472 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383766 9856040960 127451 33554432000 1073741824 1073778376 140733864932816 139898766963752 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.37
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/213 9581
/proc/meminfo: memFree=29809200/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9625040 CPUtime=1784.44 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 11900 0 1 0 178374 70 0 0 20 0 19 0 106383748 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2406260 128440 2277 9 0 2396937 0
[pid=9453/tid=9455] ppid=9450 vsize=9625040 CPUtime=1776.97 cores=1,3,5,7
/proc/9453/task/9455/stat : 9455 (java) R 9450 9453 5832 0 -1 4202560 2496 0 1 0 177665 32 0 0 20 0 19 0 106383749 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898951663264 139898779041187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9456] ppid=9450 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/9453/task/9456/stat : 9456 (java) S 9450 9453 5832 0 -1 4202560 339 0 0 0 21 5 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898913163688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9457] ppid=9450 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/9453/task/9457/stat : 9457 (java) S 9450 9453 5832 0 -1 4202560 111 0 0 0 23 7 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898912111144 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9458] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9458/stat : 9458 (java) S 9450 9453 5832 0 -1 4202560 53 0 0 0 15 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898911058088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9459] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9459/stat : 9459 (java) S 9450 9453 5832 0 -1 4202560 59 0 0 0 15 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898910005544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9460] ppid=9450 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/9453/task/9460/stat : 9460 (java) S 9450 9453 5832 0 -1 4202560 320 0 0 0 15 4 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898908953512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9461] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (java) S 9450 9453 5832 0 -1 4202560 164 0 0 0 15 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898907900968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9462] ppid=9450 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/9453/task/9462/stat : 9462 (java) S 9450 9453 5832 0 -1 4202560 43 0 0 0 12 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898906847912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9463] ppid=9450 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9453/task/9463/stat : 9463 (java) S 9450 9453 5832 0 -1 4202560 136 0 0 0 18 5 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898905795368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9464] ppid=9450 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/9453/task/9464/stat : 9464 (java) S 9450 9453 5832 0 -1 4202560 88 0 0 0 1 1 0 0 20 0 19 0 106383751 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898775386472 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9465] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9465/stat : 9465 (java) S 9450 9453 5832 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898774332792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9466] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9466/stat : 9466 (java) S 9450 9453 5832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898773279624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9467] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9467/stat : 9467 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898772228368 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9468] ppid=9450 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/9453/task/9468/stat : 9468 (java) S 9450 9453 5832 0 -1 4202560 1301 0 0 0 21 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898771176248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9469] ppid=9450 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/9453/task/9469/stat : 9469 (java) S 9450 9453 5832 0 -1 4202560 5427 0 0 0 57 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898770123704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9470] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9470/stat : 9470 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898769070840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9471] ppid=9450 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/9453/task/9471/stat : 9471 (java) S 9450 9453 5832 0 -1 4202560 104 0 0 0 23 35 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898768018504 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9472] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9472/stat : 9472 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383766 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898766963752 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.15 2.19 2.18 3/213 9581
/proc/meminfo: memFree=29808896/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 11900 0 1 0 179934 70 0 0 20 0 19 0 106383748 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2406260 128440 2277 9 0 2396937 0
[pid=9453/tid=9455] ppid=9450 vsize=9625040 CPUtime=1792.53 cores=1,3,5,7
/proc/9453/task/9455/stat : 9455 (java) R 9450 9453 5832 0 -1 4202560 2496 0 1 0 179221 32 0 0 20 0 19 0 106383749 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898951663264 139898779105396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9456] ppid=9450 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/9453/task/9456/stat : 9456 (java) S 9450 9453 5832 0 -1 4202560 339 0 0 0 21 5 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898913163688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9457] ppid=9450 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/9453/task/9457/stat : 9457 (java) S 9450 9453 5832 0 -1 4202560 111 0 0 0 23 7 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898912111144 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9458] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9458/stat : 9458 (java) S 9450 9453 5832 0 -1 4202560 53 0 0 0 15 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898911058088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9459] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9459/stat : 9459 (java) S 9450 9453 5832 0 -1 4202560 59 0 0 0 15 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898910005544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9460] ppid=9450 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/9453/task/9460/stat : 9460 (java) S 9450 9453 5832 0 -1 4202560 320 0 0 0 15 4 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898908953512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9461] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (java) S 9450 9453 5832 0 -1 4202560 164 0 0 0 15 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898907900968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9462] ppid=9450 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/9453/task/9462/stat : 9462 (java) S 9450 9453 5832 0 -1 4202560 43 0 0 0 12 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898906847912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9463] ppid=9450 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9453/task/9463/stat : 9463 (java) S 9450 9453 5832 0 -1 4202560 136 0 0 0 18 5 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898905795368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9464] ppid=9450 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/9453/task/9464/stat : 9464 (java) S 9450 9453 5832 0 -1 4202560 88 0 0 0 1 1 0 0 20 0 19 0 106383751 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898775386472 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9465] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9465/stat : 9465 (java) S 9450 9453 5832 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898774332792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9466] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9466/stat : 9466 (java) S 9450 9453 5832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898773279624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9467] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9467/stat : 9467 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898772228368 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9468] ppid=9450 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/9453/task/9468/stat : 9468 (java) S 9450 9453 5832 0 -1 4202560 1301 0 0 0 21 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898771176248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9469] ppid=9450 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/9453/task/9469/stat : 9469 (java) S 9450 9453 5832 0 -1 4202560 5427 0 0 0 57 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898770123704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9470] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9470/stat : 9470 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898769070840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9471] ppid=9450 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/9453/task/9471/stat : 9471 (java) S 9450 9453 5832 0 -1 4202560 104 0 0 0 24 35 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898768018504 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9472] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9472/stat : 9472 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383766 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898766963752 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 9453 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.9 s]
/proc/loadavg: 2.15 2.19 2.18 3/213 9581
/proc/meminfo: memFree=29808896/32872528 swapFree=16204/1518544
[pid=9453] ppid=9450 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/9453/stat : 9453 (java) S 9450 9453 5832 0 -1 4202496 11900 0 1 0 179934 70 0 0 20 0 19 0 106383748 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 140733864923952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9453/statm: 2406260 128440 2277 9 0 2396937 0
[pid=9453/tid=9455] ppid=9450 vsize=9625040 CPUtime=1792.53 cores=1,3,5,7
/proc/9453/task/9455/stat : 9455 (java) R 9450 9453 5832 0 -1 4202560 2496 0 1 0 179221 32 0 0 20 0 19 0 106383749 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898951663264 139898779105396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9456] ppid=9450 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/9453/task/9456/stat : 9456 (java) S 9450 9453 5832 0 -1 4202560 339 0 0 0 21 5 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898913163688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9457] ppid=9450 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/9453/task/9457/stat : 9457 (java) S 9450 9453 5832 0 -1 4202560 111 0 0 0 23 7 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898912111144 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9458] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9458/stat : 9458 (java) S 9450 9453 5832 0 -1 4202560 53 0 0 0 15 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898911058088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9459] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9459/stat : 9459 (java) S 9450 9453 5832 0 -1 4202560 59 0 0 0 15 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898910005544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9460] ppid=9450 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/9453/task/9460/stat : 9460 (java) S 9450 9453 5832 0 -1 4202560 320 0 0 0 15 4 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898908953512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9453/tid=9461] ppid=9450 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (java) S 9450 9453 5832 0 -1 4202560 164 0 0 0 15 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898907900968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9462] ppid=9450 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/9453/task/9462/stat : 9462 (java) S 9450 9453 5832 0 -1 4202560 43 0 0 0 12 3 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898906847912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9463] ppid=9450 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9453/task/9463/stat : 9463 (java) S 9450 9453 5832 0 -1 4202560 136 0 0 0 18 5 0 0 20 0 19 0 106383750 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898905795368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9464] ppid=9450 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/9453/task/9464/stat : 9464 (java) S 9450 9453 5832 0 -1 4202560 88 0 0 0 1 1 0 0 20 0 19 0 106383751 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898775386472 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9465] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9465/stat : 9465 (java) S 9450 9453 5832 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898774332792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9466] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9466/stat : 9466 (java) S 9450 9453 5832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106383752 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898773279624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9467] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9467/stat : 9467 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898772228368 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9468] ppid=9450 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/9453/task/9468/stat : 9468 (java) S 9450 9453 5832 0 -1 4202560 1301 0 0 0 21 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898771176248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9453/tid=9469] ppid=9450 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/9453/task/9469/stat : 9469 (java) S 9450 9453 5832 0 -1 4202560 5427 0 0 0 57 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898770123704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9470] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9470/stat : 9470 (java) S 9450 9453 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898769070840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9453/tid=9471] ppid=9450 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/9453/task/9471/stat : 9471 (java) S 9450 9453 5832 0 -1 4202560 104 0 0 0 24 35 0 0 20 0 19 0 106383754 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898768018504 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9453/tid=9472] ppid=9450 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9472/stat : 9472 (java) S 9450 9453 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106383766 9856040960 128440 33554432000 1073741824 1073778376 140733864932816 139898766963752 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1797.94
CPU time (s): 1800.04
CPU user time (s): 1799.34
CPU system time (s): 0.7
CPU usage (%): 100.117
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 1.15282
maximum resident set size= 513916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11946
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38573
involuntary context switches= 11547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8833 second user time and 13.211 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-06 22:21:49
IDJOB=4085461
IDBENCH=2920
IDSOLVER=2546
FILE ID=node129/4085461-1465244509
RUNJOBID= node129-1465222695-5849
PBS_JOBID= 19843233
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27
RANDOM SEED=126969803

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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:        30059988 kB
Buffers:           35984 kB
Cached:            90984 kB
SwapCached:         1820 kB
Active:           524296 kB
Inactive:          66968 kB
Active(anon):     465672 kB
Inactive(anon):     1112 kB
Active(file):      58624 kB
Inactive(file):    65856 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098612 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:       1982288 kB
Mapped:            15272 kB
Shmem:                 0 kB
Slab:             566812 kB
SReclaimable:      10748 kB
SUnreclaim:       556064 kB
KernelStack:        1568 kB
PageTables:         7684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2147340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1955840 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 node129 at 2016-06-06 22:51:47