Trace number 4101170

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)-14 1800.23 894.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc105.opb
MD5SUM9af0146fd6df1c22fb98014c5db68dfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables3090
Total number of constraints104
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 constraints104
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524370
Number of bits of the biggest sum of numbers20
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 	16
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4101170-1466213253.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.56/0.36	c ... done. Wall clock time 0.238s.
0.56/0.36	c declared #vars     3090
0.56/0.36	c #constraints  149
0.56/0.36	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.56/0.36	c constraints type 
0.56/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 149
0.56/0.36	c 149 constraints processed.
0.56/0.36	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.56/0.36	c constraints type 
0.56/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPb => 149
0.56/0.36	c 149 constraints processed.
0.56/0.36	c objective function length is 30 literals
2.86/0.90	c And the winner is solver1
2.97/1.36	c SATISFIABLE
2.97/1.36	c OPTIMIZING...
2.97/1.36	c Got one! Elapsed wall clock time (in seconds):1.244
2.97/1.36	o 0
3.48/1.59	c cleaning 2762 clauses out of 5527 with flag 9684/5537
4.71/1.86	c cleaning 4382 clauses out of 8765 with flag 27345/11537
5.43/2.08	c cleaning 5686 clauses out of 11385 with flag 42864/18541
6.33/2.44	c cleaning 6846 clauses out of 13693 with flag 69136/26537
7.72/3.05	c cleaning 7923 clauses out of 15847 with flag 101534/35537
9.26/3.70	c cleaning 8953 clauses out of 17924 with flag 130403/45537
10.06/4.13	c cleaning 9976 clauses out of 19969 with flag 157396/56542
12.40/5.27	c cleaning 10987 clauses out of 21988 with flag 183040/68537
14.00/6.01	c cleaning 11997 clauses out of 24003 with flag 209878/81539
17.41/7.60	c cleaning 12993 clauses out of 26004 with flag 239067/95537
19.41/8.60	c cleaning 13999 clauses out of 28012 with flag 274670/110539
21.63/9.63	c cleaning 15004 clauses out of 30007 with flag 308144/126539
23.63/10.66	c cleaning 16001 clauses out of 32001 with flag 346736/143537
26.23/12.00	c cleaning 17000 clauses out of 34000 with flag 392578/161537
30.24/13.91	c cleaning 17987 clauses out of 36000 with flag 437176/180537
35.42/16.34	c cleaning 19000 clauses out of 38013 with flag 482060/200537
40.45/18.88	c cleaning 20003 clauses out of 40013 with flag 536930/221537
45.51/21.29	c cleaning 21004 clauses out of 42014 with flag 602473/243541
50.51/23.73	c cleaning 22000 clauses out of 44007 with flag 670758/266538
53.31/25.13	c cleaning 22998 clauses out of 46006 with flag 734352/290538
56.31/26.61	c cleaning 23998 clauses out of 48007 with flag 799950/315537
63.22/29.90	c cleaning 25002 clauses out of 50010 with flag 876247/341538
70.09/33.34	c cleaning 25998 clauses out of 52008 with flag 962031/368538
76.69/36.68	c cleaning 27005 clauses out of 54011 with flag 1053716/396539
80.93/38.69	c cleaning 27990 clauses out of 56000 with flag 1141680/425537
82.93/39.68	c And the winner is solver1
82.93/39.89	c Got one! Elapsed wall clock time (in seconds):39.768
82.93/39.89	o -1
83.37/40.15	c cleaning 22191 clauses out of 44387 with flag 11958/441915
83.97/40.41	c cleaning 14090 clauses out of 28199 with flag 27972/447918
84.37/40.71	c cleaning 10546 clauses out of 21106 with flag 45404/454915
84.97/40.94	c And the winner is solver0
85.12/41.39	c Got one! Elapsed wall clock time (in seconds):41.271
85.12/41.39	o -2
85.40/41.54	c cleaning 11176 clauses out of 22353 with flag 11092/466708
85.80/41.71	c cleaning 8586 clauses out of 17175 with flag 26200/472707
86.22/41.92	c cleaning 7793 clauses out of 15591 with flag 41182/479709
86.60/42.15	c cleaning 7896 clauses out of 15796 with flag 59829/487707
87.20/42.43	c cleaning 8439 clauses out of 16899 with flag 83972/496707
87.80/42.77	c cleaning 9220 clauses out of 18459 with flag 106919/506707
88.60/43.12	c cleaning 10117 clauses out of 20240 with flag 130885/517710
89.80/43.76	c cleaning 11047 clauses out of 22121 with flag 167293/529708
90.80/44.25	c cleaning 12031 clauses out of 24072 with flag 201716/542707
91.80/44.75	c cleaning 13018 clauses out of 26043 with flag 234689/556709
92.82/45.28	c cleaning 14008 clauses out of 28022 with flag 271034/571707
94.00/45.82	c And the winner is solver0
94.00/45.89	c Got one! Elapsed wall clock time (in seconds):45.774
94.00/45.89	o -3
94.33/46.06	c cleaning 16991 clauses out of 33996 with flag 10613/591689
94.75/46.28	c cleaning 11491 clauses out of 23004 with flag 24452/597689
95.35/46.52	c cleaning 9253 clauses out of 18513 with flag 39114/604689
95.75/46.79	c cleaning 8624 clauses out of 17260 with flag 56668/612689
96.35/47.04	c cleaning 8806 clauses out of 17636 with flag 75857/621690
96.96/47.35	c cleaning 9406 clauses out of 18824 with flag 100710/631688
97.75/47.72	c cleaning 10198 clauses out of 20420 with flag 128498/642690
98.55/48.17	c cleaning 11107 clauses out of 22220 with flag 159190/654688
99.55/48.63	c cleaning 12054 clauses out of 24115 with flag 190148/667690
100.55/49.12	c cleaning 13024 clauses out of 26060 with flag 225840/681689
101.57/49.67	c cleaning 14003 clauses out of 28035 with flag 265243/696688
102.75/50.22	c cleaning 15013 clauses out of 30032 with flag 301711/712688
104.15/50.97	c cleaning 16008 clauses out of 32019 with flag 347368/729688
105.77/51.73	c cleaning 17002 clauses out of 34011 with flag 393112/747688
106.80/52.12	c And the winner is solver0
106.92/52.40	c Got one! Elapsed wall clock time (in seconds):52.276
106.92/52.40	o -4
107.13/52.53	c cleaning 14763 clauses out of 29542 with flag 11275/760228
107.53/52.72	c cleaning 10372 clauses out of 20778 with flag 26280/766227
108.13/53.02	c cleaning 8698 clauses out of 17406 with flag 46657/773227
108.53/53.29	c cleaning 8350 clauses out of 16709 with flag 67345/781230
109.13/53.59	c cleaning 8677 clauses out of 17357 with flag 91868/790228
109.95/54.00	c cleaning 9339 clauses out of 18679 with flag 118077/800227
110.73/54.35	c cleaning 10170 clauses out of 20345 with flag 145611/811233
111.93/54.96	c cleaning 11083 clauses out of 22172 with flag 172257/823230
113.73/55.82	c cleaning 12039 clauses out of 24086 with flag 200982/836227
115.13/56.56	c cleaning 13012 clauses out of 26047 with flag 233591/850227
116.33/57.19	c cleaning 14011 clauses out of 28035 with flag 272145/865227
119.13/58.50	c cleaning 15002 clauses out of 30024 with flag 305681/881227
120.33/59.11	c cleaning 16008 clauses out of 32023 with flag 345340/898228
121.73/59.84	c cleaning 17003 clauses out of 34014 with flag 389421/916227
124.13/61.05	c cleaning 17998 clauses out of 36010 with flag 440480/935227
125.93/61.91	c cleaning 19001 clauses out of 38012 with flag 490333/955227
128.13/63.07	c cleaning 19998 clauses out of 40010 with flag 544762/976228
130.33/64.11	c cleaning 20999 clauses out of 42011 with flag 599974/998227
132.53/65.22	c cleaning 22002 clauses out of 44014 with flag 656248/1021232
135.53/66.75	c cleaning 22995 clauses out of 46007 with flag 722898/1045227
137.53/67.76	c cleaning 24001 clauses out of 48012 with flag 785488/1070227
142.46/70.05	c cleaning 24999 clauses out of 50013 with flag 858968/1096229
145.26/71.40	c cleaning 26003 clauses out of 52014 with flag 934751/1123230
147.68/72.64	c cleaning 26995 clauses out of 54008 with flag 1005834/1151228
150.86/74.28	c cleaning 27993 clauses out of 56012 with flag 1086631/1180227
155.06/76.33	c cleaning 29005 clauses out of 58019 with flag 1168766/1210229
159.46/78.57	c cleaning 30002 clauses out of 60013 with flag 1263644/1241228
163.29/80.46	c cleaning 31001 clauses out of 62010 with flag 1341470/1273228
166.67/82.16	c cleaning 32004 clauses out of 64010 with flag 1423794/1306229
171.27/84.44	c cleaning 32995 clauses out of 66005 with flag 1508082/1340228
176.97/87.12	c cleaning 34001 clauses out of 68009 with flag 1605219/1375227
182.36/89.86	c cleaning 34993 clauses out of 70008 with flag 1709581/1411227
186.56/91.90	c cleaning 36002 clauses out of 72016 with flag 1806758/1448228
192.18/94.75	c cleaning 36992 clauses out of 74013 with flag 1905017/1486227
197.36/97.32	c cleaning 38007 clauses out of 76022 with flag 2003016/1525228
205.90/101.46	c cleaning 39000 clauses out of 78014 with flag 2131876/1565227
209.70/103.40	c cleaning 39999 clauses out of 80014 with flag 2236952/1606228
220.50/108.73	c cleaning 41001 clauses out of 82015 with flag 2359655/1648228
226.52/111.78	c And the winner is solver1
226.52/111.94	c Got one! Elapsed wall clock time (in seconds):111.816
226.52/111.94	o -5
227.26/112.40	c cleaning 41601 clauses out of 83205 with flag 13093/1690429
228.03/112.70	c cleaning 23799 clauses out of 47603 with flag 27870/1696428
228.43/112.98	c cleaning 15396 clauses out of 30806 with flag 47759/1703430
229.03/113.21	c cleaning 11701 clauses out of 23411 with flag 66037/1711431
229.63/113.55	c cleaning 10330 clauses out of 20708 with flag 90023/1720429
229.83/113.68	c And the winner is solver0
230.06/113.94	c Got one! Elapsed wall clock time (in seconds):113.818
230.06/113.94	o -6
230.06/113.96	c cleaning 7918 clauses out of 15851 with flag 2770/1725902
230.48/114.18	c cleaning 6968 clauses out of 13936 with flag 16588/1731905
230.88/114.40	c cleaning 6980 clauses out of 13967 with flag 32894/1738904
231.47/114.62	c cleaning 7484 clauses out of 14992 with flag 51656/1746909
231.87/114.88	c cleaning 8248 clauses out of 16502 with flag 74811/1755903
232.67/115.20	c cleaning 9124 clauses out of 18253 with flag 99054/1765902
233.29/115.57	c cleaning 10065 clauses out of 20130 with flag 126666/1776903
234.27/116.03	c cleaning 11027 clauses out of 22064 with flag 158123/1788902
235.55/116.52	c cleaning 12002 clauses out of 24037 with flag 195083/1801902
236.55/117.05	c cleaning 13019 clauses out of 26038 with flag 230399/1815905
237.55/117.54	c cleaning 14005 clauses out of 28015 with flag 266398/1830902
238.55/118.08	c cleaning 14997 clauses out of 30010 with flag 305210/1846902
240.17/118.89	c cleaning 16002 clauses out of 32014 with flag 352015/1863903
241.55/119.51	c cleaning 17001 clauses out of 34010 with flag 397998/1881902
243.15/120.33	c cleaning 18001 clauses out of 36011 with flag 448629/1900904
244.95/121.24	c cleaning 18983 clauses out of 38008 with flag 500186/1920902
246.97/122.27	c cleaning 20010 clauses out of 40032 with flag 552574/1941909
247.15/122.39	c And the winner is solver0
247.32/122.49	c Got one! Elapsed wall clock time (in seconds):122.37
247.32/122.49	o -7
247.39/122.53	c cleaning 12516 clauses out of 25040 with flag 2604/1946927
247.79/122.70	c cleaning 9255 clauses out of 18514 with flag 16347/1952917
248.18/122.91	c cleaning 8129 clauses out of 16260 with flag 31598/1959918
248.58/123.14	c cleaning 8044 clauses out of 16133 with flag 48625/1967920
249.18/123.44	c cleaning 8530 clauses out of 17088 with flag 71049/1976919
249.78/123.77	c cleaning 9279 clauses out of 18562 with flag 95554/1986924
250.58/124.12	c cleaning 10129 clauses out of 20276 with flag 120953/1997917
251.38/124.53	c cleaning 11070 clauses out of 22147 with flag 149655/2009917
252.18/124.93	c cleaning 12039 clauses out of 24078 with flag 178421/2022918
253.58/125.63	c cleaning 13005 clauses out of 26037 with flag 215743/2036917
254.78/126.26	c cleaning 14010 clauses out of 28026 with flag 253528/2051917
256.38/127.05	c cleaning 15009 clauses out of 30017 with flag 294838/2067918
257.60/127.66	c cleaning 15998 clauses out of 32006 with flag 337118/2084917
258.98/128.34	c cleaning 16989 clauses out of 34012 with flag 381216/2102921
260.38/129.07	c cleaning 18003 clauses out of 36018 with flag 429385/2121918
261.78/129.80	c cleaning 18994 clauses out of 38015 with flag 476937/2141918
264.46/130.93	c cleaning 20004 clauses out of 40020 with flag 530017/2162917
266.04/131.79	c cleaning 20993 clauses out of 42017 with flag 589645/2184918
268.24/132.89	c cleaning 22009 clauses out of 44024 with flag 650394/2207918
270.44/133.97	c cleaning 23009 clauses out of 46017 with flag 712354/2231920
272.83/135.12	c cleaning 23997 clauses out of 48006 with flag 777962/2256918
275.45/136.49	c cleaning 25003 clauses out of 50008 with flag 848160/2282917
277.67/137.55	c cleaning 26002 clauses out of 52007 with flag 916253/2309919
280.07/138.76	c cleaning 26997 clauses out of 54004 with flag 987528/2337918
282.44/139.92	c cleaning 28000 clauses out of 56008 with flag 1060448/2366919
285.04/141.28	c cleaning 29004 clauses out of 58007 with flag 1138284/2396918
289.04/143.29	c cleaning 29993 clauses out of 60002 with flag 1221147/2427917
294.66/145.96	c cleaning 31003 clauses out of 62010 with flag 1311963/2459918
298.86/148.02	c cleaning 31995 clauses out of 64006 with flag 1402385/2492917
299.06/148.20	c And the winner is solver1
299.26/148.49	c Got one! Elapsed wall clock time (in seconds):148.374
299.26/148.49	o -8
299.29/148.55	c cleaning 18830 clauses out of 37670 with flag 2506/2498576
299.67/148.78	c cleaning 12405 clauses out of 24840 with flag 19299/2504576
300.27/149.05	c cleaning 9700 clauses out of 19437 with flag 37541/2511578
300.87/149.32	c cleaning 8852 clauses out of 17734 with flag 56274/2519575
301.49/149.62	c cleaning 8923 clauses out of 17882 with flag 80633/2528575
302.07/149.94	c cleaning 9476 clauses out of 18961 with flag 104594/2538577
302.67/150.27	c cleaning 10218 clauses out of 20483 with flag 130547/2549575
303.69/150.74	c cleaning 11130 clauses out of 22265 with flag 165680/2561575
304.87/151.33	c cleaning 12068 clauses out of 24136 with flag 200144/2574576
305.89/151.87	c cleaning 13034 clauses out of 26070 with flag 235166/2588578
306.87/152.39	c cleaning 14016 clauses out of 28033 with flag 272269/2603575
308.09/152.95	c cleaning 14998 clauses out of 30018 with flag 314133/2619576
309.27/153.52	c cleaning 16009 clauses out of 32022 with flag 355671/2636578
310.67/154.26	c cleaning 17002 clauses out of 34010 with flag 401933/2654575
312.49/155.14	c cleaning 17998 clauses out of 36007 with flag 451934/2673575
314.07/155.90	c cleaning 18998 clauses out of 38012 with flag 500663/2693578
315.47/156.61	c cleaning 19989 clauses out of 40011 with flag 549474/2714575
317.28/157.55	c cleaning 21009 clauses out of 42023 with flag 607852/2736576
319.31/158.43	c cleaning 21986 clauses out of 44013 with flag 665017/2759575
322.29/159.91	c cleaning 23006 clauses out of 46028 with flag 732447/2783576
324.09/160.87	c cleaning 23998 clauses out of 48021 with flag 803166/2808575
326.30/161.91	c cleaning 25011 clauses out of 50026 with flag 868683/2834578
328.32/162.92	c cleaning 25998 clauses out of 52012 with flag 934203/2861575
330.90/164.26	c cleaning 27003 clauses out of 54014 with flag 1010400/2889575
333.70/165.65	c cleaning 28001 clauses out of 56011 with flag 1084550/2918575
336.50/167.05	c cleaning 29004 clauses out of 58013 with flag 1161658/2948578
339.32/168.46	c cleaning 30000 clauses out of 60008 with flag 1243442/2979577
342.50/170.06	c cleaning 30992 clauses out of 62007 with flag 1341964/3011576
346.72/172.02	c cleaning 31995 clauses out of 64015 with flag 1443705/3044576
349.92/173.60	c cleaning 33004 clauses out of 66022 with flag 1531944/3078578
353.53/175.48	c cleaning 34003 clauses out of 68015 with flag 1627704/3113575
356.73/177.00	c And the winner is solver0
356.73/177.10	c Got one! Elapsed wall clock time (in seconds):176.979
356.73/177.10	o -9
357.31/177.41	c cleaning 36700 clauses out of 73402 with flag 11461/3152967
357.71/177.64	c cleaning 21351 clauses out of 42701 with flag 29243/3158967
358.31/177.96	c cleaning 14171 clauses out of 28350 with flag 49485/3165967
359.13/178.36	c cleaning 11070 clauses out of 22181 with flag 72300/3173969
359.92/178.71	c cleaning 10039 clauses out of 20109 with flag 96749/3182967
360.52/179.10	c cleaning 10033 clauses out of 20074 with flag 122296/3192971
361.52/179.51	c cleaning 10510 clauses out of 21039 with flag 154147/3203969
362.32/179.94	c cleaning 11261 clauses out of 22530 with flag 183099/3215970
363.12/180.34	c cleaning 12124 clauses out of 24265 with flag 217972/3228967
364.12/180.81	c cleaning 13057 clauses out of 26148 with flag 251865/3242974
365.12/181.33	c cleaning 14034 clauses out of 28087 with flag 286739/3257970
366.32/181.94	c cleaning 15025 clauses out of 30050 with flag 329314/3273967
367.52/182.59	c cleaning 16002 clauses out of 32025 with flag 379912/3290967
369.12/183.30	c cleaning 17010 clauses out of 34024 with flag 427332/3308968
370.52/184.03	c cleaning 18006 clauses out of 36017 with flag 472262/3327971
373.02/185.47	c cleaning 18983 clauses out of 38007 with flag 526510/3347967
374.82/186.33	c cleaning 20012 clauses out of 40025 with flag 586170/3368968
378.44/188.19	c cleaning 21004 clauses out of 42016 with flag 650622/3390971
380.42/189.15	c cleaning 21990 clauses out of 44010 with flag 709754/3413969
382.62/190.31	c cleaning 23007 clauses out of 46019 with flag 775256/3437968
385.04/191.50	c cleaning 24005 clauses out of 48011 with flag 839292/3462967
387.44/192.66	c cleaning 24988 clauses out of 50008 with flag 911312/3488969
390.02/193.98	c cleaning 25996 clauses out of 52018 with flag 984144/3515967
392.22/195.09	c cleaning 27002 clauses out of 54025 with flag 1058421/3543970
394.62/196.29	c cleaning 28011 clauses out of 56022 with flag 1134152/3572969
397.94/197.84	c cleaning 28998 clauses out of 58010 with flag 1213718/3602968
400.34/199.11	c cleaning 30002 clauses out of 60012 with flag 1295155/3633968
403.34/200.58	c cleaning 31004 clauses out of 62009 with flag 1385882/3665967
406.54/202.14	c cleaning 31989 clauses out of 64005 with flag 1477614/3698967
409.94/203.87	c cleaning 33005 clauses out of 66018 with flag 1565477/3732969
413.76/205.80	c cleaning 34002 clauses out of 68011 with flag 1663763/3767967
417.54/207.66	c cleaning 34983 clauses out of 70009 with flag 1761477/3803967
421.53/209.59	c cleaning 36011 clauses out of 72025 with flag 1859278/3840967
425.33/211.43	c cleaning 37009 clauses out of 74017 with flag 1966751/3878970
430.53/214.00	c cleaning 38000 clauses out of 76007 with flag 2078680/3917969
434.53/216.03	c cleaning 39003 clauses out of 78005 with flag 2188893/3957967
438.53/218.01	c cleaning 40000 clauses out of 80005 with flag 2292782/3998971
443.53/220.53	c cleaning 40998 clauses out of 82001 with flag 2414922/4040967
447.93/222.76	c cleaning 42000 clauses out of 84003 with flag 2534709/4083967
453.09/225.29	c cleaning 43000 clauses out of 86005 with flag 2652525/4127969
458.89/228.16	c cleaning 43994 clauses out of 88004 with flag 2779396/4172968
463.49/230.50	c cleaning 45003 clauses out of 90009 with flag 2901472/4218967
469.31/233.32	c cleaning 46001 clauses out of 92005 with flag 3035607/4265967
475.85/236.53	c cleaning 46987 clauses out of 94004 with flag 3175178/4313968
491.63/244.49	c cleaning 47997 clauses out of 96016 with flag 3337803/4362967
499.53/248.32	c cleaning 49001 clauses out of 98019 with flag 3489681/4412967
508.95/253.01	c cleaning 50009 clauses out of 100019 with flag 3632987/4463968
516.87/256.93	c cleaning 51003 clauses out of 102012 with flag 3782843/4515971
524.28/260.62	c cleaning 52001 clauses out of 104009 with flag 3932977/4568971
531.30/264.13	c cleaning 52995 clauses out of 106004 with flag 4079911/4622967
540.06/268.42	c cleaning 53998 clauses out of 108011 with flag 4238398/4677969
550.24/273.54	c cleaning 54999 clauses out of 110011 with flag 4395048/4733967
559.03/277.88	c cleaning 56006 clauses out of 112015 with flag 4551625/4790970
566.65/281.63	c cleaning 56991 clauses out of 114008 with flag 4715600/4848969
576.19/286.35	c cleaning 58005 clauses out of 116016 with flag 4892462/4907968
583.58/290.04	c cleaning 58989 clauses out of 118010 with flag 5070986/4967967
593.11/294.77	c cleaning 60007 clauses out of 120023 with flag 5243933/5028969
601.11/298.78	c cleaning 60984 clauses out of 122014 with flag 5432807/5090967
610.26/303.24	c cleaning 62016 clauses out of 124031 with flag 5614651/5153968
618.86/307.49	c cleaning 0 clauses out of 7518 with flag 0/7518
620.51/308.12	c cleaning 63005 clauses out of 126016 with flag 5785455/5217969
629.89/312.83	c cleaning 63996 clauses out of 128009 with flag 5956581/5282967
641.26/318.50	c cleaning 65005 clauses out of 130014 with flag 6142210/5348968
668.74/332.37	c cleaning 65996 clauses out of 132008 with flag 6348526/5415967
681.25/338.54	c cleaning 67003 clauses out of 134014 with flag 6538760/5483969
693.76/344.71	c cleaning 68002 clauses out of 136010 with flag 6732305/5552968
710.92/353.25	c cleaning 69003 clauses out of 138009 with flag 6933540/5622969
739.71/367.45	c cleaning 69997 clauses out of 140007 with flag 7140235/5693970
774.34/384.50	c cleaning 70995 clauses out of 142008 with flag 7352493/5765968
790.35/392.46	c cleaning 71991 clauses out of 144014 with flag 7566098/5838969
804.67/399.42	c cleaning 73007 clauses out of 146023 with flag 7777484/5912969
814.72/404.47	c And the winner is solver1
814.72/404.77	c Got one! Elapsed wall clock time (in seconds):404.648
814.72/404.77	o -10
815.37/405.17	c cleaning 59468 clauses out of 118940 with flag 12778/5958893
816.23/405.51	c cleaning 32733 clauses out of 65474 with flag 32093/5964895
816.63/405.76	c cleaning 19861 clauses out of 39737 with flag 49195/5971891
817.43/406.10	c cleaning 13924 clauses out of 27875 with flag 75399/5979890
818.03/406.44	c cleaning 11472 clauses out of 22951 with flag 97376/5988890
818.63/406.72	c cleaning 10730 clauses out of 21480 with flag 119766/5998891
819.25/407.06	c cleaning 10875 clauses out of 21751 with flag 144327/6009892
820.03/407.47	c cleaning 11430 clauses out of 22875 with flag 172984/6021891
820.83/407.88	c cleaning 12222 clauses out of 24444 with flag 203751/6034890
821.83/408.38	c cleaning 13112 clauses out of 26225 with flag 237475/6048893
822.83/408.89	c cleaning 14047 clauses out of 28112 with flag 273554/6063892
824.90/409.80	c cleaning 15027 clauses out of 30063 with flag 319599/6079890
826.50/410.63	c cleaning 16018 clauses out of 32036 with flag 367511/6096890
827.90/411.40	c cleaning 17007 clauses out of 34020 with flag 410426/6114892
829.70/412.24	c cleaning 18002 clauses out of 36011 with flag 459269/6133890
831.40/413.05	c cleaning 18999 clauses out of 38009 with flag 509937/6153890
833.40/414.08	c cleaning 20004 clauses out of 40011 with flag 568315/6174891
835.60/415.13	c cleaning 20992 clauses out of 42008 with flag 625361/6196892
838.51/416.50	c cleaning 22000 clauses out of 44014 with flag 692301/6219890
840.71/417.62	c cleaning 23005 clauses out of 46014 with flag 756788/6243890
843.25/418.82	c cleaning 23998 clauses out of 48009 with flag 819739/6268890
846.06/420.22	c cleaning 25008 clauses out of 50015 with flag 891012/6294894
848.26/421.39	c cleaning 25989 clauses out of 52003 with flag 961126/6321890
850.83/422.53	c cleaning 27002 clauses out of 54017 with flag 1028552/6349893
853.41/423.86	c cleaning 27992 clauses out of 56012 with flag 1104091/6378890
856.01/425.17	c cleaning 29004 clauses out of 58021 with flag 1175866/6408891
858.98/426.59	c cleaning 30005 clauses out of 60016 with flag 1251079/6439890
862.00/428.03	c cleaning 30999 clauses out of 62012 with flag 1332417/6471891
866.13/430.04	c cleaning 32005 clauses out of 64012 with flag 1417895/6504890
869.13/431.59	c cleaning 33001 clauses out of 66007 with flag 1505536/6538890
873.26/433.59	c cleaning 34003 clauses out of 68008 with flag 1596124/6573892
876.64/435.26	c cleaning 35003 clauses out of 70006 with flag 1687454/6609893
882.19/437.92	c cleaning 35996 clauses out of 71995 with flag 1801322/6646890
886.17/439.97	c cleaning 36996 clauses out of 74000 with flag 1903160/6684891
890.99/442.36	c cleaning 38001 clauses out of 76004 with flag 2017136/6723891
895.38/444.52	c cleaning 39002 clauses out of 78004 with flag 2131185/6763892
898.96/446.34	c cleaning 39989 clauses out of 80001 with flag 2232168/6804891
904.71/449.18	c cleaning 41002 clauses out of 82010 with flag 2351482/6846890
911.11/452.32	c cleaning 42000 clauses out of 84008 with flag 2463495/6889890
916.61/455.05	c cleaning 43006 clauses out of 86015 with flag 2583693/6933897
922.21/457.89	c cleaning 44000 clauses out of 88003 with flag 2697659/6978891
934.79/464.39	c cleaning 44992 clauses out of 90002 with flag 2828762/7024890
939.77/466.85	c cleaning 46000 clauses out of 92011 with flag 2962800/7071891
945.49/469.64	c cleaning 47000 clauses out of 94010 with flag 3087003/7119890
951.89/472.85	c cleaning 48005 clauses out of 96010 with flag 3226115/7168890
960.21/476.92	c cleaning 48998 clauses out of 98008 with flag 3358041/7218893
963.33/478.44	c And the winner is solver1
963.33/478.52	c Got one! Elapsed wall clock time (in seconds):478.403
963.33/478.52	o -11
963.86/478.85	c cleaning 37850 clauses out of 75704 with flag 13991/7245587
964.46/479.13	c cleaning 21922 clauses out of 43852 with flag 28594/7251585
965.26/479.53	c cleaning 14447 clauses out of 28931 with flag 49114/7258586
965.68/479.79	c cleaning 11238 clauses out of 22486 with flag 66584/7266588
966.26/480.07	c cleaning 10121 clauses out of 20246 with flag 88478/7275586
967.06/480.45	c cleaning 10058 clauses out of 20124 with flag 113313/7285585
968.06/480.97	c cleaning 10524 clauses out of 21073 with flag 141437/7296592
969.55/481.66	c cleaning 11272 clauses out of 22543 with flag 174483/7308586
970.55/482.12	c cleaning 12134 clauses out of 24272 with flag 203989/7321587
971.55/482.67	c cleaning 13071 clauses out of 26142 with flag 239382/7335591
972.95/483.34	c cleaning 14033 clauses out of 28065 with flag 277318/7350585
974.15/483.94	c cleaning 15014 clauses out of 30032 with flag 316082/7366585
976.15/484.96	c cleaning 16006 clauses out of 32019 with flag 360422/7383586
977.82/485.75	c cleaning 17006 clauses out of 34012 with flag 404805/7401585
980.22/486.91	c cleaning 17998 clauses out of 36006 with flag 452056/7420585
981.82/487.77	c cleaning 18999 clauses out of 38008 with flag 502136/7440585
983.44/488.59	c cleaning 19994 clauses out of 40009 with flag 555405/7461585
986.54/490.02	c cleaning 21008 clauses out of 42015 with flag 611134/7483585
988.94/491.30	c cleaning 22003 clauses out of 44012 with flag 670494/7506590
991.34/492.48	c cleaning 23003 clauses out of 46008 with flag 730321/7530589
995.07/494.28	c cleaning 23984 clauses out of 48003 with flag 796284/7555587
997.47/495.43	c cleaning 25003 clauses out of 50018 with flag 858359/7581586
1000.37/496.86	c cleaning 26004 clauses out of 52014 with flag 930802/7608585
1004.37/498.81	c cleaning 26997 clauses out of 54012 with flag 1004644/7636587
1007.17/500.20	c cleaning 28006 clauses out of 56014 with flag 1073891/7665586
1010.28/501.75	c cleaning 28984 clauses out of 58007 with flag 1149916/7695585
1013.26/503.30	c cleaning 30006 clauses out of 60026 with flag 1227143/7726588
1016.77/504.97	c cleaning 31001 clauses out of 62017 with flag 1305364/7758585
1020.55/506.85	c cleaning 32003 clauses out of 64017 with flag 1392233/7791586
1025.41/509.24	c cleaning 33005 clauses out of 66015 with flag 1484380/7825587
1029.21/511.16	c cleaning 33991 clauses out of 68008 with flag 1575017/7860585
1032.69/512.83	c And the winner is solver1
1032.69/513.05	c Got one! Elapsed wall clock time (in seconds):512.927
1032.69/513.05	o -12
1033.58/513.52	c cleaning 34973 clauses out of 69949 with flag 14247/7896517
1034.01/513.79	c cleaning 20478 clauses out of 40976 with flag 31217/7902517
1034.58/514.05	c cleaning 13747 clauses out of 27502 with flag 50106/7909521
1035.06/514.29	c cleaning 10871 clauses out of 21751 with flag 68482/7917517
1035.86/514.62	c cleaning 9937 clauses out of 19883 with flag 89089/7926520
1036.48/515.00	c cleaning 9966 clauses out of 19944 with flag 113309/7936518
1037.26/515.38	c cleaning 10477 clauses out of 20979 with flag 138042/7947519
1038.06/515.76	c cleaning 11247 clauses out of 22501 with flag 164246/7959518
1039.26/516.39	c cleaning 12127 clauses out of 24256 with flag 196257/7972520
1040.26/516.87	c cleaning 13049 clauses out of 26128 with flag 230017/7986519
1041.57/517.45	c cleaning 14038 clauses out of 28077 with flag 267151/8001517
1042.77/518.06	c cleaning 15019 clauses out of 30039 with flag 307977/8017517
1043.97/518.61	c cleaning 16005 clauses out of 32021 with flag 347972/8034518
1045.39/519.38	c cleaning 17004 clauses out of 34015 with flag 393545/8052517
1047.17/520.23	c cleaning 18000 clauses out of 36011 with flag 440345/8071517
1048.57/520.97	c cleaning 19004 clauses out of 38011 with flag 488865/8091517
1050.37/521.88	c cleaning 20004 clauses out of 40009 with flag 543255/8112519
1051.99/522.66	c cleaning 21003 clauses out of 42007 with flag 596893/8134521
1054.87/524.06	c cleaning 21986 clauses out of 44001 with flag 661118/8157518
1056.67/524.97	c cleaning 22998 clauses out of 46014 with flag 716344/8181517
1058.87/526.04	c cleaning 24013 clauses out of 48025 with flag 775790/8206526
1061.27/527.25	c cleaning 25003 clauses out of 50006 with flag 839965/8232520
1064.15/528.67	c cleaning 25995 clauses out of 52001 with flag 906813/8259518
1067.15/530.19	c cleaning 26998 clauses out of 54006 with flag 974250/8287518
1069.35/531.26	c cleaning 28000 clauses out of 56014 with flag 1042841/8316524
1072.07/532.52	c cleaning 28999 clauses out of 58007 with flag 1117415/8346517
1075.05/534.03	c cleaning 29999 clauses out of 60009 with flag 1197571/8377518
1078.67/535.83	c cleaning 31004 clauses out of 62012 with flag 1278430/8409520
1082.14/537.59	c cleaning 32003 clauses out of 64006 with flag 1361490/8442518
1085.67/539.26	c cleaning 32971 clauses out of 66005 with flag 1448773/8476520
1088.87/540.87	c cleaning 34004 clauses out of 68031 with flag 1540322/8511517
1093.19/542.96	c cleaning 35005 clauses out of 70028 with flag 1639321/8547518
1102.11/547.30	c cleaning 36013 clauses out of 72030 with flag 1761467/8584525
1106.11/549.37	c cleaning 36994 clauses out of 74009 with flag 1866239/8622517
1112.04/552.26	c cleaning 38006 clauses out of 76019 with flag 1984457/8661521
1116.34/554.37	c cleaning 39003 clauses out of 78009 with flag 2089493/8701517
1120.14/556.26	c cleaning 39991 clauses out of 80010 with flag 2194615/8742521
1125.54/558.83	c cleaning 41002 clauses out of 82022 with flag 2309762/8784524
1130.72/561.48	c cleaning 41999 clauses out of 84013 with flag 2418236/8827517
1137.70/564.88	c cleaning 43002 clauses out of 86014 with flag 2546796/8871517
1144.11/568.00	c cleaning 44005 clauses out of 88014 with flag 2663761/8916519
1152.67/572.21	c cleaning 45003 clauses out of 90008 with flag 2784260/8962518
1166.41/579.02	c cleaning 45990 clauses out of 92005 with flag 2927431/9009518
1174.39/582.94	c cleaning 47001 clauses out of 94014 with flag 3052783/9057517
1180.59/586.09	c cleaning 48006 clauses out of 96013 with flag 3183464/9106517
1189.72/590.51	c cleaning 48999 clauses out of 98008 with flag 3316638/9156518
1201.58/596.46	c cleaning 50002 clauses out of 100008 with flag 3461995/9207517
1211.70/601.45	c cleaning 50996 clauses out of 102009 with flag 3617977/9259520
1224.62/607.86	c cleaning 51997 clauses out of 104010 with flag 3763911/9312517
1232.34/611.69	c cleaning 52994 clauses out of 106013 with flag 3902550/9366517
1243.23/617.09	c cleaning 54005 clauses out of 108020 with flag 4040614/9421518
1254.49/622.52	c cleaning 55001 clauses out of 110014 with flag 4197803/9477517
1268.89/630.28	c cleaning 56006 clauses out of 112015 with flag 4346872/9534519
1276.99/634.29	c cleaning 56999 clauses out of 114007 with flag 4497377/9592517
1293.67/642.49	c cleaning 57998 clauses out of 116008 with flag 4665486/9651517
1309.84/650.54	c cleaning 59002 clauses out of 118014 with flag 4837420/9711521
1319.18/655.19	c cleaning 59993 clauses out of 120009 with flag 5004477/9772518
1327.98/659.58	c cleaning 60999 clauses out of 122015 with flag 5170151/9834518
1343.64/667.27	c cleaning 61996 clauses out of 124016 with flag 5363645/9897518
1354.37/672.57	c cleaning 62994 clauses out of 126019 with flag 5557085/9961517
1365.10/677.84	c cleaning 63992 clauses out of 128026 with flag 5729771/10026518
1374.42/682.48	c cleaning 65012 clauses out of 130033 with flag 5892316/10092517
1386.28/688.28	c cleaning 66005 clauses out of 132021 with flag 6070793/10159517
1399.22/694.62	c cleaning 67006 clauses out of 134017 with flag 6264694/10227518
1435.10/712.41	c cleaning 67997 clauses out of 136015 with flag 6469583/10296522
1448.93/719.30	c cleaning 68989 clauses out of 138014 with flag 6669556/10366518
1464.66/727.05	c cleaning 70011 clauses out of 140025 with flag 6872061/10437518
1472.99/731.16	c And the winner is solver1
1472.99/731.18	c Got one! Elapsed wall clock time (in seconds):731.06
1472.99/731.18	o -13
1474.44/731.99	c cleaning 52517 clauses out of 105051 with flag 14241/10472555
1475.44/732.42	c cleaning 29262 clauses out of 58537 with flag 34710/10478558
1476.24/732.81	c cleaning 18130 clauses out of 36273 with flag 58717/10485556
1476.84/733.11	c cleaning 13062 clauses out of 26142 with flag 80347/10493555
1477.24/733.38	c cleaning 11032 clauses out of 22080 with flag 103058/10502555
1478.06/733.75	c cleaning 10523 clauses out of 21050 with flag 127999/10512557
1478.84/734.16	c cleaning 10748 clauses out of 21528 with flag 156329/10523558
1479.73/734.57	c cleaning 11383 clauses out of 22777 with flag 185708/10535555
1481.13/735.28	c cleaning 12192 clauses out of 24394 with flag 221089/10548555
1482.33/735.82	c cleaning 13088 clauses out of 26207 with flag 254150/10562560
1483.32/736.39	c cleaning 14049 clauses out of 28114 with flag 288213/10577555
1484.52/736.97	c cleaning 15031 clauses out of 30065 with flag 324436/10593555
1486.42/737.82	c cleaning 16016 clauses out of 32038 with flag 364583/10610559
1488.22/738.71	c cleaning 17010 clauses out of 34019 with flag 409356/10628556
1490.61/739.92	c cleaning 18002 clauses out of 36009 with flag 458799/10647556
1492.41/740.80	c cleaning 18997 clauses out of 38006 with flag 508314/10667555
1494.34/741.70	c cleaning 20005 clauses out of 40009 with flag 559697/10688555
1496.34/742.73	c cleaning 21000 clauses out of 42007 with flag 615883/10710558
1498.36/743.77	c cleaning 22003 clauses out of 44008 with flag 671400/10733559
1503.54/746.32	c cleaning 23001 clauses out of 46001 with flag 740134/10757555
1507.50/748.21	c cleaning 23997 clauses out of 48000 with flag 808034/10782555
1509.70/749.38	c cleaning 25001 clauses out of 50003 with flag 870666/10808555
1512.90/750.93	c cleaning 26003 clauses out of 52005 with flag 946260/10835558
1515.30/752.16	c cleaning 26997 clauses out of 54000 with flag 1019651/10863556
1518.26/753.59	c cleaning 27999 clauses out of 56002 with flag 1093705/10892555
1521.44/755.13	c cleaning 28995 clauses out of 58003 with flag 1175827/10922555
1524.86/756.89	c cleaning 30003 clauses out of 60009 with flag 1251962/10953556
1528.84/758.88	c cleaning 31003 clauses out of 62007 with flag 1334659/10985557
1533.18/760.99	c cleaning 31985 clauses out of 64002 with flag 1414001/11018555
1537.58/763.17	c cleaning 33004 clauses out of 66018 with flag 1504934/11052556
1543.38/766.08	c cleaning 34003 clauses out of 68013 with flag 1595108/11087555
1549.72/769.18	c cleaning 34993 clauses out of 70011 with flag 1689366/11123556
1553.52/771.04	c cleaning 36000 clauses out of 72017 with flag 1783303/11160555
1558.46/773.88	c cleaning 37003 clauses out of 74021 with flag 1884886/11198559
1564.86/777.09	c cleaning 38000 clauses out of 76016 with flag 1987761/11237557
1570.89/779.95	c cleaning 38996 clauses out of 78014 with flag 2092812/11277555
1575.67/782.32	c cleaning 40010 clauses out of 80020 with flag 2203305/11318557
1581.47/785.26	c cleaning 41001 clauses out of 82010 with flag 2313529/11360557
1585.87/787.30	c cleaning 41995 clauses out of 84007 with flag 2417575/11403555
1590.07/789.50	c cleaning 43000 clauses out of 86013 with flag 2528882/11447556
1599.89/794.33	c cleaning 44004 clauses out of 88012 with flag 2649127/11492555
1608.28/798.46	c cleaning 45001 clauses out of 90008 with flag 2771310/11538556
1616.88/802.74	c cleaning 45999 clauses out of 92007 with flag 2896509/11585556
1623.44/805.93	c cleaning 46997 clauses out of 94007 with flag 3037403/11633555
1629.65/809.01	c cleaning 47998 clauses out of 96010 with flag 3163619/11682555
1648.89/818.52	c cleaning 49007 clauses out of 98014 with flag 3310044/11732557
1658.87/823.56	c cleaning 50003 clauses out of 100005 with flag 3449256/11783555
1665.07/826.54	c cleaning 50998 clauses out of 102002 with flag 3584937/11835555
1676.08/831.92	c cleaning 51995 clauses out of 104005 with flag 3735206/11888556
1685.63/836.64	c cleaning 52996 clauses out of 106009 with flag 3881652/11942555
1693.45/840.57	c cleaning 53994 clauses out of 108015 with flag 4033733/11997557
1701.51/844.52	c cleaning 55008 clauses out of 110021 with flag 4194145/12053557
1709.84/848.64	c cleaning 55994 clauses out of 112011 with flag 4354417/12110555
1717.36/852.36	c cleaning 57007 clauses out of 114020 with flag 4511572/12168558
1728.18/857.60	c cleaning 57993 clauses out of 116010 with flag 4673370/12227555
1747.16/867.03	c cleaning 59007 clauses out of 118018 with flag 4837074/12287556
1752.24/869.58	c And the winner is solver1
1752.24/869.91	c Got one! Elapsed wall clock time (in seconds):869.785
1752.24/869.91	o -14
1752.84/870.27	c cleaning 45293 clauses out of 90598 with flag 13765/12319143
1753.82/870.77	c cleaning 25650 clauses out of 51302 with flag 29710/12325142
1754.42/871.06	c cleaning 16322 clauses out of 32652 with flag 50543/12332142
1755.22/871.47	c cleaning 12154 clauses out of 24329 with flag 71543/12340141
1756.02/871.81	c cleaning 10584 clauses out of 21175 with flag 93330/12349141
1756.62/872.16	c cleaning 10286 clauses out of 20592 with flag 116714/12359142
1757.42/872.58	c cleaning 10654 clauses out of 21307 with flag 142881/12370143
1758.42/873.05	c cleaning 11321 clauses out of 22651 with flag 172036/12382141
1759.62/873.69	c cleaning 12161 clauses out of 24330 with flag 201977/12395141
1760.92/874.24	c cleaning 13080 clauses out of 26170 with flag 234375/12409142
1761.92/874.77	c cleaning 14043 clauses out of 28090 with flag 267605/12424142
1763.12/875.37	c cleaning 15023 clauses out of 30046 with flag 306336/12440141
1764.52/876.00	c cleaning 16002 clauses out of 32023 with flag 345153/12457141
1765.72/876.68	c cleaning 17012 clauses out of 34024 with flag 385693/12475144
1767.12/877.37	c cleaning 17999 clauses out of 36010 with flag 430181/12494142
1768.92/878.26	c cleaning 18999 clauses out of 38010 with flag 477452/12514141
1770.88/879.18	c cleaning 20006 clauses out of 40012 with flag 528346/12535142
1772.90/880.13	c cleaning 21002 clauses out of 42006 with flag 580638/12557142
1774.47/880.96	c cleaning 21999 clauses out of 44005 with flag 632624/12580143
1776.47/881.97	c cleaning 23001 clauses out of 46011 with flag 693711/12604148
1779.01/883.13	c cleaning 24001 clauses out of 48003 with flag 758904/12629141
1781.28/884.23	c cleaning 25000 clauses out of 50004 with flag 819625/12655143
1783.48/885.40	c cleaning 25996 clauses out of 52004 with flag 883751/12682143
1786.49/886.83	c cleaning 26998 clauses out of 54006 with flag 957932/12710141
1789.49/888.31	c cleaning 28002 clauses out of 56008 with flag 1039706/12739141
1793.55/890.73	c cleaning 29000 clauses out of 58009 with flag 1111153/12769144
1797.95/892.96	c cleaning 30002 clauses out of 60006 with flag 1192146/12800141
1800.15/894.00	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.15/894.00	c starts		: 166304
1800.15/894.00	c conflicts		: 12825622
1800.15/894.00	c decisions		: 23553154
1800.15/894.00	c propagations		: 212196410
1800.15/894.00	c inspects		: 14090068303
1800.15/894.00	c shortcuts		: 0
1800.15/894.00	c learnt literals	: 112
1800.15/894.00	c learnt binary clauses	: 234
1800.15/894.00	c learnt ternary clauses	: 698
1800.15/894.00	c learnt constraints	: 12825510
1800.15/894.00	c ignored constraints	: 0
1800.15/894.00	c root simplifications	: 0
1800.15/894.00	c removed literals (reason simplification)	: 40702651
1800.15/894.00	c reason swapping (by a shorter reason)	: 0
1800.15/894.00	c Calls to reduceDB	: 470
1800.15/894.00	c Number of update (reduction) of LBD	: 1334169
1800.15/894.00	c Imported unit clauses	: 0
1800.15/894.00	c number of reductions to clauses (during analyze)	: 0
1800.15/894.00	c number of learned constraints concerned by reduction	: 0
1800.15/894.00	c number of learning phase by resolution	: 0
1800.15/894.00	c number of learning phase by cutting planes	: 0
1800.15/894.00	c speed (assignments/second)	: 8805926.46387517
1800.15/894.00	c non guided choices	1265473
1800.15/894.02	c learnt constraints type 
1800.15/894.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 234
1800.15/894.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 55251
1800.15/894.03	c >>>>>>>>>> Solver number 1 (9 answers) <<<<<<<<<<<<<<<<<<
1800.15/894.03	c starts		: 44
1800.15/894.03	c conflicts		: 11506
1800.15/894.03	c decisions		: 309586
1800.15/894.03	c propagations		: 1065838
1800.15/894.03	c inspects		: 320485588
1800.15/894.03	c shortcuts		: 0
1800.15/894.03	c learnt literals	: 0
1800.15/894.03	c learnt binary clauses	: 0
1800.15/894.03	c learnt ternary clauses	: 0
1800.15/894.03	c learnt constraints	: 11506
1800.15/894.03	c ignored constraints	: 0
1800.15/894.03	c root simplifications	: 0
1800.15/894.03	c removed literals (reason simplification)	: 0
1800.15/894.03	c reason swapping (by a shorter reason)	: 0
1800.15/894.03	c Calls to reduceDB	: 1
1800.15/894.03	c Number of update (reduction) of LBD	: 0
1800.15/894.03	c Imported unit clauses	: 0
1800.15/894.03	c number of reductions to clauses (during analyze)	: 0
1800.15/894.03	c number of learned constraints concerned by reduction	: 0
1800.15/894.03	c number of learning phase by resolution	: 0
1800.15/894.03	c number of learning phase by cutting planes	: 0
1800.15/894.03	c speed (assignments/second)	: 1486.9516206887893
1800.15/894.03	c non guided choices	5926
1800.15/894.03	c learnt constraints type 
1800.15/894.03	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.15/894.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11504
1800.15/894.03	s SATISFIABLE
1800.15/894.03	c Found 15 solution(s)
1800.15/894.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 x213 -x214 x215 x216 x217 -x218 x219 x220 x221 x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 x427 x428 x429 x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 -x963 -x964 x965 x966 x967 -x968 -x969 x970 -x971 x972 -x973 -x974 x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 x1214 x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 -x1263 x1264 -x1265 x1266 x1267 x1268 x1269 x1270 x1271 -x1272 x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1448 x1449 x1450 x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 x1514 x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 x1634 x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 x1713 x1714 -x1715 x1716 x1717 -x1718 x1719 x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 x1772 x1773 x1774 x1775 x1776 x1777 x1778 x1779 x1780 x1781 x1782 x1783 x1784 -x1785 x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 x1844 x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 x1874 x1875 -x1876 x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 x1931 x1932 x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 x2111 x2112 x2113 -x2114 -x2115 x2116 x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 -x2163 -x2164 x2165 -x2166 -x2167 x2168 -x2169 x2170 -x2171 -x2172 x2173 x2174 x2175 x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 x2204 x2205 -x2206 x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 x2252 x2253 x2254 x2255 x2256 x2257 x2258 x2259 x2260 x2261 x2262 x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 x2432 x2433 x2434 x2435 x2436 x2437 x2438 x2439 x2440 x2441 x2442 -x2443 x2444 -x2445 x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 x2527 x2528 -x2529 -x2530 -x2531 x2532 x2533 -x2534 x2535 -x2536 x2537 x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 x2616 -x2617 -x2618 x2619 x2620 -x2621 x2622 x2623 x2624 x2625 x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 x2732 x2733 x2734 x2735 x2736 x2737 x2738 x2739 x2740 x2741 x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 x2763 x2764 x2765 x2766 x2767 x2768 x2769 -x2770 x2771 x2772 -x2773 x2774 -x2775 -x2776 -x2777 x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 x2834 -x2835 x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 x2852 x2853 x2854 x2855 x2856 x2857 x2858 x2859 x2860 x2861 -x2862 -x2863 x2864 -x2865 x2866 -x2867 x2868 x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 x2883 x2884 x2885 -x2886 x2887 x2888 x2889 -x2890 x2891 x2892 x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 x2913 x2914 x2915 x2916 x2917 x2918 x2919 x2920 x2921 x2922 x2923 -x2924 x2925 x2926 x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 x2941 -x2942 x2943 x2944 x2945 x2946 x2947 x2948 x2949 x2950 x2951 x2952 x2953 x2954 x2955 x2956 x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3061 x3062 x3063 x3064 -x3065 x3066 x3067 -x3068 x3069 x3070 -x3071 x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 
1800.15/894.05	c objective function=-14
1800.15/894.05	c Total wall clock time (in seconds): 893.925

Verifier Data 

OK	-14

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-4101170-1466213253/watcher-4101170-1466213253 -o /tmp/evaluation-result-4101170-1466213253/solver-4101170-1466213253 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15308 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101170-1466213253.opb 

pid=19969
running on 8 cores: 0-3,8-11

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


[startup+0 s]
/proc/loadavg: 4.00 4.02 4.08 4/285 19972
/proc/meminfo: memFree=28589540/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=23236 CPUtime=0 cores=0-3,8-11
/proc/19972/stat : 19972 (java) R 19969 19972 15292 0 -1 4202496 1023 0 0 0 0 0 0 0 20 0 1 0 23369863 23793664 674 33554432000 1073741824 1073778376 140735385193008 140735385182072 216799427137 0 0 4096 0 0 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 5809 687 505 9 0 128 0

[startup+0.100168 s]
/proc/loadavg: 4.00 4.02 4.08 4/285 19972
/proc/meminfo: memFree=28589540/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=9896436 CPUtime=0.09 cores=0-3,8-11
/proc/19972/stat : 19972 (java) S 19969 19972 15292 0 -1 4202496 4462 0 1 0 8 1 0 0 20 0 23 0 23369863 10133950464 6097 33554432000 1073741824 1073778376 140735385193008 140735385184144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 2474109 6098 2126 9 0 2464786 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9896436

[startup+0.200225 s]
/proc/loadavg: 4.00 4.02 4.08 4/285 19972
/proc/meminfo: memFree=28589540/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=9896436 CPUtime=0.25 cores=0-3,8-11
/proc/19972/stat : 19972 (java) S 19969 19972 15292 0 -1 4202496 4876 0 1 0 24 1 0 0 20 0 23 0 23369863 10133950464 6928 33554432000 1073741824 1073778376 140735385193008 140735385184144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 2474109 6928 2217 9 0 2464786 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9896436

[startup+0.300226 s]
/proc/loadavg: 4.00 4.02 4.08 4/285 19972
/proc/meminfo: memFree=28589540/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=9896436 CPUtime=0.56 cores=0-3,8-11
/proc/19972/stat : 19972 (java) S 19969 19972 15292 0 -1 4202496 12756 0 1 0 53 3 0 0 20 0 23 0 23369863 10133950464 14258 33554432000 1073741824 1073778376 140735385193008 140735385184144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 2474109 14258 2232 9 0 2464786 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9896436

[startup+0.70019 s]
/proc/loadavg: 4.00 4.02 4.08 4/285 19972
/proc/meminfo: memFree=28589540/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=10162692 CPUtime=2.08 cores=0-3,8-11
/proc/19972/stat : 19972 (java) S 19969 19972 15292 0 -1 4202496 21463 0 1 0 204 4 0 0 20 0 27 0 23369863 10406596608 19313 33554432000 1073741824 1073778376 140735385193008 140735385184144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 2540673 19313 2254 9 0 2531350 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 10162692

[startup+1.50093 s]
/proc/loadavg: 4.00 4.02 4.08 3/309 19999
/proc/meminfo: memFree=28482620/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=10162692 CPUtime=3.48 cores=0-3,8-11
/proc/19972/stat : 19972 (java) S 19969 19972 15292 0 -1 4202496 23027 0 1 0 342 6 0 0 20 0 27 0 23369863 10406596608 34715 33554432000 1073741824 1073778376 140735385193008 140735385184144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 2540673 34715 2268 9 0 2531350 0
[pid=19972/tid=19974] ppid=19969 vsize=10162692 CPUtime=0.33 cores=0-3,8-11
/proc/19972/task/19974/stat : 19974 (java) S 19969 19972 15292 0 -1 4202560 2479 0 1 0 33 0 0 0 20 0 27 0 23369864 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140573088211832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19975] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19975/stat : 19975 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140573077273128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19976] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19976/stat : 19976 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140573076220328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19977] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19977/stat : 19977 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140573075167528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=19978] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19978/stat : 19978 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140573074114728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=19979] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19979/stat : 19979 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140573073062952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19980] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19980/stat : 19980 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572926622632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=19981] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19981/stat : 19981 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572925569832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19982] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19982/stat : 19982 (java) S 19969 19972 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572924517032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19983] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19983/stat : 19983 (java) S 19969 19972 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572923464232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19984] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19984/stat : 19984 (java) S 19969 19972 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572922411432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19972/tid=19985] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19985/stat : 19985 (java) S 19969 19972 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572921358632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19986] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19986/stat : 19986 (java) S 19969 19972 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572920305832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19987] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19987/stat : 19987 (java) S 19969 19972 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572919254056 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19972/tid=19988] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19988/stat : 19988 (java) S 19969 19972 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23369866 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572901792616 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19989] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19989/stat : 19989 (java) S 19969 19972 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 23369867 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572900738680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19990] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19990/stat : 19990 (java) S 19969 19972 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23369867 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572899685768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19991] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19991/stat : 19991 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572898634256 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19992] ppid=19969 vsize=10162692 CPUtime=0.91 cores=0-3,8-11
/proc/19972/task/19992/stat : 19992 (java) R 19969 19972 15292 0 -1 4202560 9012 0 0 0 89 2 0 0 20 0 27 0 23369869 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572897581352 140573090818881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19993] ppid=19969 vsize=10162692 CPUtime=0.87 cores=0-3,8-11
/proc/19972/task/19993/stat : 19993 (java) R 19969 19972 15292 0 -1 4202560 10152 0 0 0 87 0 0 0 20 0 27 0 23369869 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572896516096 140573092307600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19994] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19994/stat : 19994 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572895475960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19995] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19995/stat : 19995 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572894424392 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19998] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19998/stat : 19998 (java) S 19969 19972 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23369900 10406596608 35227 33554432000 1073741824 1073778376 140735385193008 140572891165992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10162692

[startup+3.10111 s]
/proc/loadavg: 4.00 4.02 4.08 5/312 20002
/proc/meminfo: memFree=28393912/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=10162692 CPUtime=7.91 cores=0-3,8-11
/proc/19972/stat : 19972 (java) S 19969 19972 15292 0 -1 4202496 28041 0 1 0 767 24 0 0 20 0 27 0 23369863 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140735385184144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 2540673 67584 2286 9 0 2531350 0
[pid=19972/tid=19974] ppid=19969 vsize=10162692 CPUtime=0.33 cores=0-3,8-11
/proc/19972/task/19974/stat : 19974 (java) S 19969 19972 15292 0 -1 4202560 2479 0 1 0 33 0 0 0 20 0 27 0 23369864 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140573088211832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19975] ppid=19969 vsize=10162692 CPUtime=0.02 cores=0-3,8-11
/proc/19972/task/19975/stat : 19975 (java) S 19969 19972 15292 0 -1 4202560 12 0 0 0 1 1 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140573077273128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19972/tid=19976] ppid=19969 vsize=10162692 CPUtime=0.03 cores=0-3,8-11
/proc/19972/task/19976/stat : 19976 (java) S 19969 19972 15292 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140573076220328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19977] ppid=19969 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19972/task/19977/stat : 19977 (java) S 19969 19972 15292 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140573075167528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=19978] ppid=19969 vsize=10162692 CPUtime=0.03 cores=0-3,8-11
/proc/19972/task/19978/stat : 19978 (java) S 19969 19972 15292 0 -1 4202560 19 0 0 0 1 2 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140573074114728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19979] ppid=19969 vsize=10162692 CPUtime=0.03 cores=0-3,8-11
/proc/19972/task/19979/stat : 19979 (java) S 19969 19972 15292 0 -1 4202560 14 0 0 0 1 2 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140573073062952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19980] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19980/stat : 19980 (java) S 19969 19972 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572926622632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19972/tid=19981] ppid=19969 vsize=10162692 CPUtime=0.04 cores=0-3,8-11
/proc/19972/task/19981/stat : 19981 (java) S 19969 19972 15292 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572925569832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19982] ppid=19969 vsize=10162692 CPUtime=0.02 cores=0-3,8-11
/proc/19972/task/19982/stat : 19982 (java) S 19969 19972 15292 0 -1 4202560 12 0 0 0 1 1 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572924517032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19983] ppid=19969 vsize=10162692 CPUtime=0.02 cores=0-3,8-11
/proc/19972/task/19983/stat : 19983 (java) S 19969 19972 15292 0 -1 4202560 12 0 0 0 0 2 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572923464232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19984] ppid=19969 vsize=10162692 CPUtime=0.03 cores=0-3,8-11
/proc/19972/task/19984/stat : 19984 (java) S 19969 19972 15292 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572922411432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19985] ppid=19969 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19972/task/19985/stat : 19985 (java) S 19969 19972 15292 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572921358632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=19986] ppid=19969 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19972/task/19986/stat : 19986 (java) S 19969 19972 15292 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572920305832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19972/tid=19987] ppid=19969 vsize=10162692 CPUtime=0.03 cores=0-3,8-11
/proc/19972/task/19987/stat : 19987 (java) S 19969 19972 15292 0 -1 4202560 17 0 0 0 1 2 0 0 20 0 27 0 23369865 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572919254056 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19988] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19988/stat : 19988 (java) S 19969 19972 15292 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 27 0 23369866 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572901792616 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19989] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19989/stat : 19989 (java) S 19969 19972 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23369867 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572900738680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19990] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19990/stat : 19990 (java) S 19969 19972 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23369867 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572899685768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19991] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19991/stat : 19991 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572898634256 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19992] ppid=19969 vsize=10162692 CPUtime=1.41 cores=0-3,8-11
/proc/19972/task/19992/stat : 19992 (java) S 19969 19972 15292 0 -1 4202560 12196 0 0 0 139 2 0 0 20 0 27 0 23369869 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572897581368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19993] ppid=19969 vsize=10162692 CPUtime=1.28 cores=0-3,8-11
/proc/19972/task/19993/stat : 19993 (java) S 19969 19972 15292 0 -1 4202560 11706 0 0 0 126 2 0 0 20 0 27 0 23369869 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572896528568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19994] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19994/stat : 19994 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572895475960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19995] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19995/stat : 19995 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572894424392 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19998] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19998/stat : 19998 (java) S 19969 19972 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23369900 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572891165992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19972/tid=20000] ppid=19969 vsize=10162692 CPUtime=1.63 cores=0-3,8-11
/proc/19972/task/20000/stat : 20000 (java) R 19969 19972 15292 0 -1 4202560 6 0 0 0 163 0 0 0 20 0 27 0 23370000 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572893261712 140572954946938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19972/tid=20001] ppid=19969 vsize=10162692 CPUtime=1.63 cores=0-3,8-11
/proc/19972/task/20001/stat : 20001 (java) R 19969 19972 15292 0 -1 4202560 63 0 0 0 162 1 0 0 20 0 27 0 23370000 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140572892217672 140572954891026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=20002] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/20002/stat : 20002 (java) S 19969 19972 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 23370000 10406596608 67584 33554432000 1073741824 1073778376 140735385193008 140571326800680 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 10162692

[startup+6.30114 s]
/proc/loadavg: 4.00 4.02 4.08 5/312 20002
/proc/meminfo: memFree=28230324/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=10162692 CPUtime=14.6 cores=0-3,8-11
/proc/19972/stat : 19972 (java) S 19969 19972 15292 0 -1 4202496 28404 0 1 0 1415 45 0 0 20 0 27 0 23369863 10406596608 119062 33554432000 1073741824 1073778376 140735385193008 140735385184144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 2540673 119062 2286 9 0 2531350 0
[pid=19972/tid=19974] ppid=19969 vsize=10162692 CPUtime=0.33 cores=0-3,8-11
/proc/19972/task/19974/stat : 19974 (java) S 19969 19972 15292 0 -1 4202560 2479 0 1 0 33 0 0 0 20 0 27 0 23369864 10406596608 119062 33554432000 1073741824 1073778376 140735385193008 140573088211832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19975] ppid=19969 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/19972/task/19975/stat : 19975 (java) S 19969 19972 15292 0 -1 4202560 25 0 0 0 2 3 0 0 20 0 27 0 23369865 10406596608 119062 33554432000 1073741824 1073778376 140735385193008 140573077273128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19972/tid=19976] ppid=19969 vsize=10162692 CPUtime=0.04 cores=0-3,8-11
/proc/19972/task/19976/stat : 19976 (java) S 19969 19972 15292 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 27 0 23369865 10406596608 119062 33554432000 1073741824 1073778376 140735385193008 140573076220328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19977] ppid=19969 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/19972/task/19977/stat : 19977 (java) S 19969 19972 15292 0 -1 4202560 23 0 0 0 3 2 0 0 20 0 27 0 23369865 10406596608 119062 33554432000 1073741824 1073778376 140735385193008 140573075167528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19978] ppid=19969 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/19972/task/19978/stat : 19978 (java) S 19969 19972 15292 0 -1 4202560 36 0 0 0 2 3 0 0 20 0 27 0 23369865 10406596608 119062 33554432000 1073741824 1073778376 140735385193008 140573074114728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19979] ppid=19969 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/19972/task/19979/stat : 19979 (java) S 19969 19972 15292 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 27 0 23369865 10406596608 119062 33554432000 1073741824 1073778376 140735385193008 140573073062952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19980] ppid=19969 vsize=10162692 CPUtime=0.03 cores=0-3,8-11

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

/proc/19972/task/19988/stat : 19988 (java) S 19969 19972 15292 0 -1 4202560 1671 0 0 0 386 5 0 0 20 0 24 0 23369866 10406596608 499146 33554432000 1073741824 1073778376 140735385193008 140572901792616 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19989] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19989/stat : 19989 (java) S 19969 19972 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 23369867 10406596608 499146 33554432000 1073741824 1073778376 140735385193008 140572900738680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19990] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19990/stat : 19990 (java) S 19969 19972 15292 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 24 0 23369867 10406596608 499146 33554432000 1073741824 1073778376 140735385193008 140572899685768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19991] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19991/stat : 19991 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23369869 10406596608 499146 33554432000 1073741824 1073778376 140735385193008 140572898634256 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19992] ppid=19969 vsize=10162692 CPUtime=1.63 cores=0-3,8-11
/proc/19972/task/19992/stat : 19992 (java) S 19969 19972 15292 0 -1 4202560 12203 0 0 0 160 3 0 0 20 0 24 0 23369869 10406596608 499146 33554432000 1073741824 1073778376 140735385193008 140572897581368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19993] ppid=19969 vsize=10162692 CPUtime=1.75 cores=0-3,8-11
/proc/19972/task/19993/stat : 19993 (java) S 19969 19972 15292 0 -1 4202560 11726 0 0 0 173 2 0 0 20 0 24 0 23369869 10406596608 499146 33554432000 1073741824 1073778376 140735385193008 140572896528568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19994] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19994/stat : 19994 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23369869 10406596608 499146 33554432000 1073741824 1073778376 140735385193008 140572895475960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19995] ppid=19969 vsize=10162692 CPUtime=0.32 cores=0-3,8-11
/proc/19972/task/19995/stat : 19995 (java) S 19969 19972 15292 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 24 0 23369869 10406596608 499146 33554432000 1073741824 1073778376 140735385193008 140572894424392 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=19972/tid=20177] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/20177/stat : 20177 (java) S 19969 19972 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 23387586 10406596608 499146 33554432000 1073741824 1073778376 140735385193008 140572891166120 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1749.23
Current children cumulated vsize (KiB) 10162692
#
############


[startup+882.312 s]
/proc/loadavg: 4.82 4.41 4.24 5/311 20417
/proc/meminfo: memFree=26288288/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=10162692 CPUtime=1774.29 cores=0-3,8-11
/proc/19972/stat : 19972 (java) S 19969 19972 15292 0 -1 4202496 37712 0 1 0 177014 415 0 0 20 0 27 0 23369863 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140735385184144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 2540673 493492 2295 9 0 2531350 0
[pid=19972/tid=19974] ppid=19969 vsize=10162692 CPUtime=0.39 cores=0-3,8-11
/proc/19972/task/19974/stat : 19974 (java) S 19969 19972 15292 0 -1 4202560 2486 0 1 0 36 3 0 0 20 0 27 0 23369864 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140573088211832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19975] ppid=19969 vsize=10162692 CPUtime=2.33 cores=0-3,8-11
/proc/19972/task/19975/stat : 19975 (java) S 19969 19972 15292 0 -1 4202560 472 0 0 0 207 26 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140573077273128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19972/tid=19976] ppid=19969 vsize=10162692 CPUtime=2.43 cores=0-3,8-11
/proc/19972/task/19976/stat : 19976 (java) S 19969 19972 15292 0 -1 4202560 479 0 0 0 217 26 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140573076220328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19977] ppid=19969 vsize=10162692 CPUtime=2.19 cores=0-3,8-11
/proc/19972/task/19977/stat : 19977 (java) S 19969 19972 15292 0 -1 4202560 479 0 0 0 194 25 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140573075167528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19978] ppid=19969 vsize=10162692 CPUtime=2.09 cores=0-3,8-11
/proc/19972/task/19978/stat : 19978 (java) S 19969 19972 15292 0 -1 4202560 435 0 0 0 189 20 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140573074114728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19979] ppid=19969 vsize=10162692 CPUtime=2.18 cores=0-3,8-11
/proc/19972/task/19979/stat : 19979 (java) S 19969 19972 15292 0 -1 4202560 437 0 0 0 194 24 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140573073062952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19980] ppid=19969 vsize=10162692 CPUtime=2.18 cores=0-3,8-11
/proc/19972/task/19980/stat : 19980 (java) S 19969 19972 15292 0 -1 4202560 415 0 0 0 199 19 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572926622632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19972/tid=19981] ppid=19969 vsize=10162692 CPUtime=2.21 cores=0-3,8-11
/proc/19972/task/19981/stat : 19981 (java) S 19969 19972 15292 0 -1 4202560 577 0 0 0 196 25 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572925569832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19982] ppid=19969 vsize=10162692 CPUtime=2.13 cores=0-3,8-11
/proc/19972/task/19982/stat : 19982 (java) S 19969 19972 15292 0 -1 4202560 544 0 0 0 188 25 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572924517032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=19983] ppid=19969 vsize=10162692 CPUtime=2.09 cores=0-3,8-11
/proc/19972/task/19983/stat : 19983 (java) S 19969 19972 15292 0 -1 4202560 429 0 0 0 188 21 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572923464232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=19984] ppid=19969 vsize=10162692 CPUtime=2.19 cores=0-3,8-11
/proc/19972/task/19984/stat : 19984 (java) S 19969 19972 15292 0 -1 4202560 461 0 0 0 196 23 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572922411432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19985] ppid=19969 vsize=10162692 CPUtime=2.1 cores=0-3,8-11
/proc/19972/task/19985/stat : 19985 (java) S 19969 19972 15292 0 -1 4202560 511 0 0 0 188 22 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572921358632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19986] ppid=19969 vsize=10162692 CPUtime=2.22 cores=0-3,8-11
/proc/19972/task/19986/stat : 19986 (java) S 19969 19972 15292 0 -1 4202560 417 0 0 0 199 23 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572920305832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19987] ppid=19969 vsize=10162692 CPUtime=2.29 cores=0-3,8-11
/proc/19972/task/19987/stat : 19987 (java) S 19969 19972 15292 0 -1 4202560 471 0 0 0 205 24 0 0 20 0 27 0 23369865 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572919254056 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19988] ppid=19969 vsize=10162692 CPUtime=3.91 cores=0-3,8-11
/proc/19972/task/19988/stat : 19988 (java) S 19969 19972 15292 0 -1 4202560 1671 0 0 0 386 5 0 0 20 0 27 0 23369866 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572901792616 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19989] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19989/stat : 19989 (java) S 19969 19972 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23369867 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572900738680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19990] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19990/stat : 19990 (java) S 19969 19972 15292 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 27 0 23369867 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572899685768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19991] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19991/stat : 19991 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572898634256 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19992] ppid=19969 vsize=10162692 CPUtime=1.63 cores=0-3,8-11
/proc/19972/task/19992/stat : 19992 (java) S 19969 19972 15292 0 -1 4202560 12203 0 0 0 160 3 0 0 20 0 27 0 23369869 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572897581368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19993] ppid=19969 vsize=10162692 CPUtime=1.75 cores=0-3,8-11
/proc/19972/task/19993/stat : 19993 (java) S 19969 19972 15292 0 -1 4202560 11726 0 0 0 173 2 0 0 20 0 27 0 23369869 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572896528568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19994] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19994/stat : 19994 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572895475960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19995] ppid=19969 vsize=10162692 CPUtime=0.32 cores=0-3,8-11
/proc/19972/task/19995/stat : 19995 (java) S 19969 19972 15292 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 27 0 23369869 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572894424392 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=19972/tid=20177] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/20177/stat : 20177 (java) S 19969 19972 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 23387586 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572891166120 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=20415] ppid=19969 vsize=10162692 CPUtime=12.3 cores=0-3,8-11
/proc/19972/task/20415/stat : 20415 (java) R 19969 19972 15292 0 -1 4202560 6 0 0 0 1230 0 0 0 20 0 27 0 23456854 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140571326791296 140572954946337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=20416] ppid=19969 vsize=10162692 CPUtime=12.3 cores=0-3,8-11
/proc/19972/task/20416/stat : 20416 (java) R 19969 19972 15292 0 -1 4202560 2 0 0 0 1230 0 0 0 20 0 27 0 23456854 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572893270048 140572954898638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=20417] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/20417/stat : 20417 (java) S 19969 19972 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 23456854 10406596608 493492 33554432000 1073741824 1073778376 140735385193008 140572892218920 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1774.29
Current children cumulated vsize (KiB) 10162692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.001 s]
/proc/loadavg: 4.70 4.40 4.23 5/311 20417
/proc/meminfo: memFree=26269236/32872528 swapFree=7804/7804
[pid=19972] ppid=19969 vsize=10162692 CPUtime=1797.14 cores=0-3,8-11
/proc/19972/stat : 19972 (java) S 19969 19972 15292 0 -1 4202496 37902 0 1 0 179294 420 0 0 20 0 27 0 23369863 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140735385184144 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/19972/statm: 2540673 491600 2295 9 0 2531350 0
[pid=19972/tid=19974] ppid=19969 vsize=10162692 CPUtime=0.39 cores=0-3,8-11
/proc/19972/task/19974/stat : 19974 (java) S 19969 19972 15292 0 -1 4202560 2486 0 1 0 36 3 0 0 20 0 27 0 23369864 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140573088211832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19975] ppid=19969 vsize=10162692 CPUtime=2.35 cores=0-3,8-11
/proc/19972/task/19975/stat : 19975 (java) S 19969 19972 15292 0 -1 4202560 473 0 0 0 209 26 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140573077273128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19972/tid=19976] ppid=19969 vsize=10162692 CPUtime=2.48 cores=0-3,8-11
/proc/19972/task/19976/stat : 19976 (java) S 19969 19972 15292 0 -1 4202560 489 0 0 0 222 26 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140573076220328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19972/tid=19977] ppid=19969 vsize=10162692 CPUtime=2.26 cores=0-3,8-11
/proc/19972/task/19977/stat : 19977 (java) S 19969 19972 15292 0 -1 4202560 484 0 0 0 200 26 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140573075167528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=19978] ppid=19969 vsize=10162692 CPUtime=2.13 cores=0-3,8-11
/proc/19972/task/19978/stat : 19978 (java) S 19969 19972 15292 0 -1 4202560 440 0 0 0 192 21 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140573074114728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19972/tid=19979] ppid=19969 vsize=10162692 CPUtime=2.25 cores=0-3,8-11
/proc/19972/task/19979/stat : 19979 (java) S 19969 19972 15292 0 -1 4202560 441 0 0 0 200 25 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140573073062952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19980] ppid=19969 vsize=10162692 CPUtime=2.22 cores=0-3,8-11
/proc/19972/task/19980/stat : 19980 (java) S 19969 19972 15292 0 -1 4202560 422 0 0 0 203 19 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572926622632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19972/tid=19981] ppid=19969 vsize=10162692 CPUtime=2.26 cores=0-3,8-11
/proc/19972/task/19981/stat : 19981 (java) S 19969 19972 15292 0 -1 4202560 590 0 0 0 200 26 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572925569832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19982] ppid=19969 vsize=10162692 CPUtime=2.16 cores=0-3,8-11
/proc/19972/task/19982/stat : 19982 (java) S 19969 19972 15292 0 -1 4202560 544 0 0 0 191 25 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572924517032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=19983] ppid=19969 vsize=10162692 CPUtime=2.12 cores=0-3,8-11
/proc/19972/task/19983/stat : 19983 (java) S 19969 19972 15292 0 -1 4202560 431 0 0 0 191 21 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572923464232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19984] ppid=19969 vsize=10162692 CPUtime=2.24 cores=0-3,8-11
/proc/19972/task/19984/stat : 19984 (java) S 19969 19972 15292 0 -1 4202560 467 0 0 0 201 23 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572922411432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=19985] ppid=19969 vsize=10162692 CPUtime=2.13 cores=0-3,8-11
/proc/19972/task/19985/stat : 19985 (java) S 19969 19972 15292 0 -1 4202560 513 0 0 0 191 22 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572921358632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19986] ppid=19969 vsize=10162692 CPUtime=2.24 cores=0-3,8-11
/proc/19972/task/19986/stat : 19986 (java) S 19969 19972 15292 0 -1 4202560 422 0 0 0 201 23 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572920305832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19972/tid=19987] ppid=19969 vsize=10162692 CPUtime=2.31 cores=0-3,8-11
/proc/19972/task/19987/stat : 19987 (java) S 19969 19972 15292 0 -1 4202560 474 0 0 0 207 24 0 0 20 0 27 0 23369865 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572919254056 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19988] ppid=19969 vsize=10162692 CPUtime=4.84 cores=0-3,8-11
/proc/19972/task/19988/stat : 19988 (java) S 19969 19972 15292 0 -1 4202560 1795 0 0 0 478 6 0 0 20 0 27 0 23369866 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572901792616 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19989] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19989/stat : 19989 (java) S 19969 19972 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23369867 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572900738680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19990] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19990/stat : 19990 (java) S 19969 19972 15292 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 27 0 23369867 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572899685768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19991] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19991/stat : 19991 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572898634256 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19972/tid=19992] ppid=19969 vsize=10162692 CPUtime=1.63 cores=0-3,8-11
/proc/19972/task/19992/stat : 19992 (java) S 19969 19972 15292 0 -1 4202560 12203 0 0 0 160 3 0 0 20 0 27 0 23369869 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572897581368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19972/tid=19993] ppid=19969 vsize=10162692 CPUtime=1.75 cores=0-3,8-11
/proc/19972/task/19993/stat : 19993 (java) S 19969 19972 15292 0 -1 4202560 11726 0 0 0 173 2 0 0 20 0 27 0 23369869 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572896528568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=19994] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/19994/stat : 19994 (java) S 19969 19972 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23369869 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572895475960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19972/tid=19995] ppid=19969 vsize=10162692 CPUtime=0.33 cores=0-3,8-11
/proc/19972/task/19995/stat : 19995 (java) S 19969 19972 15292 0 -1 4202560 51 0 0 0 15 18 0 0 20 0 27 0 23369869 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572894424392 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=19972/tid=20177] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/20177/stat : 20177 (java) S 19969 19972 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 23387586 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572891166120 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19972/tid=20415] ppid=19969 vsize=10162692 CPUtime=22.95 cores=0-3,8-11
/proc/19972/task/20415/stat : 20415 (java) R 19969 19972 15292 0 -1 4202560 7 0 0 0 2295 0 0 0 20 0 27 0 23456854 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140571326791296 140572955158801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19972/tid=20416] ppid=19969 vsize=10162692 CPUtime=22.95 cores=0-3,8-11
/proc/19972/task/20416/stat : 20416 (java) R 19969 19972 15292 0 -1 4202560 4 0 0 0 2295 0 0 0 20 0 27 0 23456854 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572893271368 140572954898240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19972/tid=20417] ppid=19969 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19972/task/20417/stat : 20417 (java) S 19969 19972 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 23456854 10406596608 491600 33554432000 1073741824 1073778376 140735385193008 140572892218920 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 10162692

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 19972 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 894.07
CPU time (s): 1800.23
CPU user time (s): 1796.12
CPU system time (s): 4.11233
CPU usage (%): 201.352
Max. virtual memory (cumulated for all children) (KiB): 10162692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.8
system time used= 4.42233
maximum resident set size= 2969020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37946
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28086
involuntary context switches= 25362

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.9048 second user time and 9.31458 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-18 03:27:33
IDJOB=4101170
IDBENCH=1709
IDSOLVER=2543
FILE ID=node132/4101170-1466213253
RUNJOBID= node132-1466206058-15308
PBS_JOBID= 19918145
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101170-1466213253/watcher-4101170-1466213253 -o /tmp/evaluation-result-4101170-1466213253/solver-4101170-1466213253 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15308 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101170-1466213253.opb

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

MD5SUM BENCH= 9af0146fd6df1c22fb98014c5db68dfb
RANDOM SEED=2010628801

node132.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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.53
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28588788 kB
Buffers:           42276 kB
Cached:            95636 kB
SwapCached:         1804 kB
Active:          3466748 kB
Inactive:          86092 kB
Active(anon):    3416280 kB
Inactive(anon):     1212 kB
Active(file):      50468 kB
Inactive(file):    84880 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099272 kB
Dirty:               544 kB
Writeback:             0 kB
AnonPages:       3544680 kB
Mapped:            15464 kB
Shmem:                 0 kB
Slab:             575956 kB
SReclaimable:      16272 kB
SUnreclaim:       559684 kB
KernelStack:        2616 kB
PageTables:        11116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3802440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3473408 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= 71728 MiB
End job on node132 at 2016-06-18 03:42:27