Trace number 4103564

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-136069369 1800.03 1795.96

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-recipe.opb
MD5SUM19c812fe81842f9b63508fc356bab039
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-136341504
Best CPU time to get the best result obtained on this benchmark5.57415
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -130330680
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
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 constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 65536000
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 584330055
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5681631310381056
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 98271137637301167
Number of bits of the biggest sum of numbers57
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	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.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4103564-1466243632.opb
0.10/0.10	c reading problem ... 
0.10/0.11	c  objective function found
0.61/0.34	c ... done. Wall clock time 0.233s.
0.61/0.34	c declared #vars     3671
0.61/0.34	c #constraints  223
0.61/0.34	c constraints type 
0.61/0.34	c org.sat4j.specs.Constr$1 => 12
0.61/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 211
0.61/0.34	c 223 constraints processed.
0.61/0.34	c objective function length is 1055 literals
1.18/0.52	c SATISFIABLE
1.18/0.52	c OPTIMIZING...
1.18/0.53	c Got one! Elapsed wall clock time (in seconds):0.413
1.18/0.53	o -106068413
1.18/0.59	c Got one! Elapsed wall clock time (in seconds):0.49
1.18/0.59	o -125918947
1.37/0.68	c Got one! Elapsed wall clock time (in seconds):0.58
1.37/0.68	o -133946026
1.58/0.76	c cleaning 3341 clauses out of 6687 with flag 2657/6711
1.77/0.84	c Got one! Elapsed wall clock time (in seconds):0.738
1.77/0.84	o -134147678
1.93/0.97	c cleaning 4347 clauses out of 8701 with flag 9055/12066
2.14/1.19	c cleaning 5164 clauses out of 10355 with flag 27246/18067
2.45/1.45	c cleaning 6085 clauses out of 12191 with flag 45205/25067
2.86/1.81	c cleaning 7050 clauses out of 14106 with flag 66771/33067
3.16/2.18	c cleaning 8023 clauses out of 16057 with flag 87754/42068
3.27/2.24	c Got one! Elapsed wall clock time (in seconds):2.136
3.27/2.24	o -135339681
3.51/2.42	c cleaning 6867 clauses out of 13734 with flag 11496/47768
3.81/2.73	c cleaning 6431 clauses out of 12866 with flag 26883/53767
4.21/3.16	c cleaning 6716 clauses out of 13435 with flag 46597/60767
4.61/3.55	c cleaning 7354 clauses out of 14720 with flag 67498/68768
5.11/4.06	c cleaning 8180 clauses out of 16365 with flag 88048/77767
5.81/4.79	c cleaning 9093 clauses out of 18186 with flag 117497/87768
6.51/5.47	c cleaning 10044 clauses out of 20093 with flag 147868/98768
7.11/6.00	c cleaning 11018 clauses out of 22048 with flag 180582/110767
8.02/6.95	c cleaning 12004 clauses out of 24030 with flag 208991/123767
9.22/8.10	c cleaning 13001 clauses out of 26026 with flag 244072/137767
10.22/9.13	c cleaning 14003 clauses out of 28026 with flag 286711/152768
11.03/9.95	c cleaning 15002 clauses out of 30022 with flag 335501/168767
12.62/11.56	c cleaning 16005 clauses out of 32022 with flag 384200/185769
15.02/13.93	c cleaning 17005 clauses out of 34017 with flag 434267/203769
17.72/16.61	c cleaning 17999 clauses out of 36010 with flag 488860/222767
19.35/18.28	c cleaning 19005 clauses out of 38011 with flag 542194/242767
21.75/20.63	c cleaning 19995 clauses out of 40006 with flag 599594/263767
24.35/23.21	c cleaning 21002 clauses out of 42011 with flag 670381/285767
27.55/26.41	c cleaning 22005 clauses out of 44010 with flag 725888/308768
29.64/28.60	c cleaning 23002 clauses out of 46004 with flag 812550/332767
31.24/30.18	c cleaning 23997 clauses out of 48003 with flag 881011/357768
33.84/32.78	c cleaning 24993 clauses out of 50005 with flag 964549/383767
38.25/37.18	c cleaning 26003 clauses out of 52012 with flag 1041584/410767
43.25/42.19	c cleaning 27000 clauses out of 54009 with flag 1133514/438767
48.64/47.58	c cleaning 28001 clauses out of 56010 with flag 1220633/467768
51.22/50.00	c cleaning 28998 clauses out of 58008 with flag 1329654/497767
56.12/54.91	c cleaning 30000 clauses out of 60010 with flag 1449542/528767
61.32/60.10	c cleaning 30999 clauses out of 62010 with flag 1567821/560767
67.02/65.88	c cleaning 32003 clauses out of 64013 with flag 1670016/593769
70.82/69.62	c cleaning 32998 clauses out of 66007 with flag 1763055/627768
73.52/72.35	c cleaning 33998 clauses out of 68009 with flag 1875071/662768
76.92/75.71	c cleaning 34994 clauses out of 70010 with flag 1981736/698767
79.82/78.65	c cleaning 35998 clauses out of 72016 with flag 2091553/735767
84.32/83.13	c cleaning 37003 clauses out of 74019 with flag 2223247/773768
87.57/86.37	c cleaning 38004 clauses out of 76015 with flag 2348100/812767
91.48/90.27	c cleaning 38990 clauses out of 78011 with flag 2468628/852767
97.37/96.14	c cleaning 40000 clauses out of 80021 with flag 2596546/893767
100.68/99.40	c cleaning 41006 clauses out of 82021 with flag 2736031/935767
105.58/104.32	c cleaning 42003 clauses out of 84015 with flag 2889429/978767
110.28/109.08	c cleaning 42995 clauses out of 86012 with flag 3062102/1022767
120.14/118.85	c cleaning 44000 clauses out of 88017 with flag 3207015/1067767
127.94/126.62	c cleaning 45007 clauses out of 90021 with flag 3362979/1113771
135.24/133.92	c cleaning 46002 clauses out of 92010 with flag 3515043/1160767
137.84/136.51	c Got one! Elapsed wall clock time (in seconds):136.408
137.84/136.51	o -136020950
138.63/137.35	c cleaning 40334 clauses out of 80685 with flag 15443/1195444
139.13/137.84	c cleaning 23169 clauses out of 46351 with flag 40818/1201444
139.73/138.42	c cleaning 15080 clauses out of 30182 with flag 67736/1208444
140.33/139.04	c cleaning 11541 clauses out of 23103 with flag 92889/1216445
140.93/139.70	c cleaning 10272 clauses out of 20563 with flag 115956/1225446
141.83/140.59	c cleaning 10134 clauses out of 20289 with flag 141758/1235444
142.94/141.63	c cleaning 10574 clauses out of 21158 with flag 173277/1246447
144.14/142.87	c cleaning 11290 clauses out of 22584 with flag 211196/1258447
145.54/144.29	c cleaning 12143 clauses out of 24292 with flag 241565/1271445
147.06/145.75	c cleaning 13073 clauses out of 26148 with flag 284705/1285444
148.76/147.44	c cleaning 14031 clauses out of 28075 with flag 338425/1300444
150.55/149.29	c cleaning 15022 clauses out of 30044 with flag 393163/1316444
152.65/151.35	c cleaning 16007 clauses out of 32022 with flag 452981/1333444
155.08/153.78	c cleaning 17005 clauses out of 34016 with flag 513559/1351445
157.59/156.30	c cleaning 17999 clauses out of 36010 with flag 572324/1370444
160.38/159.09	c cleaning 19005 clauses out of 38013 with flag 646259/1390446
162.38/161.04	c cleaning 19991 clauses out of 40006 with flag 704438/1411444
163.48/162.18	c cleaning 20988 clauses out of 42016 with flag 749820/1433445
165.38/164.07	c cleaning 22009 clauses out of 44027 with flag 805325/1456444
166.78/165.40	c cleaning 22999 clauses out of 46018 with flag 873970/1480444
168.28/166.91	c cleaning 23997 clauses out of 48020 with flag 936677/1505445
171.48/170.10	c cleaning 25004 clauses out of 50024 with flag 1003862/1531446
175.88/174.51	c cleaning 26007 clauses out of 52019 with flag 1080058/1558445
180.89/179.53	c cleaning 26999 clauses out of 54012 with flag 1174347/1586445
186.37/184.94	c cleaning 28005 clauses out of 56016 with flag 1269596/1615448
188.87/187.44	c cleaning 29000 clauses out of 58008 with flag 1357870/1645445
190.97/189.58	c cleaning 30002 clauses out of 60007 with flag 1446573/1676444
193.47/192.02	c cleaning 30996 clauses out of 62006 with flag 1568585/1708445
196.47/195.09	c cleaning 32001 clauses out of 64009 with flag 1708065/1741444
203.17/201.71	c cleaning 33000 clauses out of 66008 with flag 1821874/1775444
210.17/208.72	c cleaning 34002 clauses out of 68009 with flag 1934061/1810445
217.76/216.33	c cleaning 34994 clauses out of 70006 with flag 2040515/1846444
221.64/220.12	c cleaning 35992 clauses out of 72012 with flag 2146323/1883444
228.73/227.23	c cleaning 36997 clauses out of 74021 with flag 2245246/1921445
240.83/239.31	c cleaning 38003 clauses out of 76024 with flag 2356309/1960445
251.73/250.27	c cleaning 39001 clauses out of 78021 with flag 2457880/2000445
255.33/253.81	c cleaning 39998 clauses out of 80019 with flag 2574341/2041444
259.53/258.05	c cleaning 41000 clauses out of 82021 with flag 2737176/2083444
268.05/266.43	c cleaning 42011 clauses out of 84022 with flag 2902856/2126445
274.75/273.11	c cleaning 42995 clauses out of 86010 with flag 3050783/2170444
279.35/277.76	c cleaning 44001 clauses out of 88015 with flag 3182856/2215444
284.74/283.11	c cleaning 44998 clauses out of 90014 with flag 3340215/2261444
290.14/288.55	c cleaning 46005 clauses out of 92016 with flag 3496939/2308444
298.73/297.06	c cleaning 47003 clauses out of 94012 with flag 3620523/2356445
302.92/301.28	c cleaning 47999 clauses out of 96009 with flag 3766208/2405445
308.83/307.12	c cleaning 48996 clauses out of 98009 with flag 3912698/2455444
314.42/312.71	c cleaning 49997 clauses out of 100013 with flag 4045537/2506444
318.19/316.36	c cleaning 51007 clauses out of 102017 with flag 4181382/2558445
318.19/316.38	c Got one! Elapsed wall clock time (in seconds):316.28
318.19/316.38	o -136023112
318.53/316.62	c cleaning 28212 clauses out of 56473 with flag 13863/2563908
318.83/317.00	c cleaning 17095 clauses out of 34261 with flag 27700/2569908
319.33/317.43	c cleaning 12048 clauses out of 24167 with flag 43506/2576909
319.83/317.92	c cleaning 10027 clauses out of 20118 with flag 63050/2584908
320.33/318.49	c cleaning 9519 clauses out of 19092 with flag 85407/2593909
321.03/319.11	c cleaning 9761 clauses out of 19572 with flag 107564/2603908
321.83/319.95	c cleaning 10389 clauses out of 20812 with flag 135500/2614909
322.93/321.01	c cleaning 11202 clauses out of 22423 with flag 162844/2626909
324.23/322.39	c cleaning 12104 clauses out of 24220 with flag 200912/2639908
325.52/323.61	c cleaning 13051 clauses out of 26119 with flag 240132/2653911
326.82/324.99	c cleaning 14019 clauses out of 28065 with flag 284322/2668908
328.43/326.58	c cleaning 15011 clauses out of 30046 with flag 336887/2684908
330.13/328.27	c cleaning 16008 clauses out of 32037 with flag 393411/2701910
332.33/330.41	c cleaning 17005 clauses out of 34028 with flag 455323/2719909
334.73/332.85	c cleaning 18004 clauses out of 36025 with flag 509593/2738911
337.48/335.49	c cleaning 18997 clauses out of 38018 with flag 578321/2758908
340.78/338.78	c cleaning 20004 clauses out of 40023 with flag 653271/2779910
344.08/342.03	c cleaning 20997 clauses out of 42019 with flag 727934/2801910
347.88/345.81	c cleaning 21998 clauses out of 44024 with flag 804037/2824912
351.58/349.55	c cleaning 22996 clauses out of 46023 with flag 884181/2848909
355.58/353.59	c cleaning 23993 clauses out of 48026 with flag 969038/2873908
357.28/355.29	c cleaning 25006 clauses out of 50033 with flag 1053570/2899908
361.48/359.42	c cleaning 26002 clauses out of 52027 with flag 1130819/2926908
365.09/363.05	c cleaning 27007 clauses out of 54025 with flag 1220499/2954908
367.14/365.04	c cleaning 27988 clauses out of 56018 with flag 1309433/2983908
369.65/367.55	c cleaning 29014 clauses out of 58030 with flag 1437628/3013908
371.94/369.87	c cleaning 29998 clauses out of 60017 with flag 1541080/3044909
371.94/369.89	c Got one! Elapsed wall clock time (in seconds):369.785
371.94/369.89	o -136069369
372.14/370.08	c cleaning 17624 clauses out of 35258 with flag 14890/3050148
372.44/370.35	c cleaning 11804 clauses out of 23633 with flag 27632/3056147
372.85/370.76	c cleaning 9397 clauses out of 18829 with flag 41632/3063147
373.34/371.26	c cleaning 8699 clauses out of 17432 with flag 57632/3071147
373.95/371.88	c cleaning 8860 clauses out of 17733 with flag 75632/3080147
374.74/372.64	c cleaning 9431 clauses out of 18873 with flag 95632/3090147
375.64/373.57	c cleaning 10212 clauses out of 20442 with flag 117632/3101147
376.84/374.70	c cleaning 11108 clauses out of 22230 with flag 141632/3113147
378.14/376.06	c cleaning 12051 clauses out of 24122 with flag 167632/3126147
379.84/377.73	c cleaning 13030 clauses out of 26071 with flag 195632/3140147
381.75/379.66	c cleaning 14012 clauses out of 28041 with flag 225632/3155147
384.04/381.97	c cleaning 15007 clauses out of 30029 with flag 257632/3171147
386.64/384.54	c cleaning 16003 clauses out of 32022 with flag 291635/3188147
389.54/387.46	c cleaning 17006 clauses out of 34019 with flag 327635/3206147
392.84/390.74	c cleaning 18001 clauses out of 36013 with flag 365635/3225147
396.31/394.14	c cleaning 19001 clauses out of 38012 with flag 405635/3245147
399.81/397.63	c cleaning 20001 clauses out of 40012 with flag 454692/3266148
404.01/401.89	c cleaning 21002 clauses out of 42010 with flag 527747/3288147
408.91/406.76	c cleaning 22001 clauses out of 44009 with flag 603252/3311148
414.31/412.14	c cleaning 23001 clauses out of 46008 with flag 686172/3335148
419.81/417.66	c cleaning 24001 clauses out of 48008 with flag 773762/3360149
422.41/420.22	c cleaning 24995 clauses out of 50005 with flag 853736/3386148
427.61/425.43	c cleaning 25996 clauses out of 52010 with flag 948952/3413148
432.00/429.79	c cleaning 27002 clauses out of 54013 with flag 1035585/3441147
437.60/435.33	c cleaning 28002 clauses out of 56011 with flag 1120831/3470147
444.61/442.32	c cleaning 29002 clauses out of 58010 with flag 1219112/3500148
448.50/446.27	c cleaning 30001 clauses out of 60007 with flag 1316518/3531147
453.20/450.93	c cleaning 30991 clauses out of 62006 with flag 1409678/3563147
461.90/459.69	c cleaning 32001 clauses out of 64015 with flag 1513166/3596147
464.92/462.50	c cleaning 32995 clauses out of 66014 with flag 1616441/3630147
467.73/465.32	c cleaning 33995 clauses out of 68019 with flag 1727368/3665147
474.62/472.21	c cleaning 34999 clauses out of 70024 with flag 1843171/3701147
478.52/476.10	c cleaning 36007 clauses out of 72026 with flag 1965069/3738148
482.12/479.71	c cleaning 37005 clauses out of 74018 with flag 2102451/3776147
488.92/486.51	c cleaning 38000 clauses out of 76015 with flag 2242510/3815149
497.02/494.60	c cleaning 38995 clauses out of 78013 with flag 2387455/3855147
507.84/505.39	c cleaning 39998 clauses out of 80018 with flag 2543323/3896147
516.44/513.93	c cleaning 41000 clauses out of 82021 with flag 2689104/3938148
528.24/525.80	c cleaning 42008 clauses out of 84021 with flag 2838460/3981148
540.64/538.12	c cleaning 43000 clauses out of 86013 with flag 2993382/4025148
554.75/552.22	c cleaning 44001 clauses out of 88012 with flag 3161729/4070147
566.05/563.53	c cleaning 44994 clauses out of 90011 with flag 3320205/4116147
569.13/566.53	c cleaning 46004 clauses out of 92017 with flag 3486853/4163147
578.12/575.53	c cleaning 47001 clauses out of 94013 with flag 3650158/4211147
591.62/589.07	c cleaning 48006 clauses out of 96014 with flag 3781534/4260149
601.63/599.05	c cleaning 49000 clauses out of 98006 with flag 3944117/4310147
606.70/604.07	c cleaning 49999 clauses out of 100007 with flag 4121756/4361148
620.50/617.84	c cleaning 51001 clauses out of 102008 with flag 4234015/4413148
639.90/637.27	c cleaning 51999 clauses out of 104007 with flag 4344329/4466148
660.10/657.44	c cleaning 53001 clauses out of 106008 with flag 4456866/4520148
681.50/678.80	c cleaning 54004 clauses out of 108007 with flag 4571384/4575148
704.49/701.77	c cleaning 54998 clauses out of 110003 with flag 4687795/4631148
729.39/726.66	c cleaning 56002 clauses out of 112005 with flag 4807024/4688148
755.29/752.56	c cleaning 56998 clauses out of 114003 with flag 4928443/4746148
782.79/780.09	c cleaning 58000 clauses out of 116005 with flag 5050840/4805148
810.83/808.08	c cleaning 58998 clauses out of 118005 with flag 5175401/4865148
841.03/838.28	c cleaning 59999 clauses out of 120006 with flag 5301880/4926147
873.91/871.18	c cleaning 61001 clauses out of 122008 with flag 5428602/4988148
908.81/906.08	c cleaning 62002 clauses out of 124007 with flag 5556810/5051148
940.85/938.08	c cleaning 62999 clauses out of 126005 with flag 5686554/5115148
976.73/973.93	c cleaning 64001 clauses out of 128006 with flag 5818146/5180148
1016.03/1013.22	c cleaning 65001 clauses out of 130005 with flag 5951195/5246148
1030.33/1027.53	c cleaning 65997 clauses out of 132003 with flag 6142782/5313147
1043.33/1040.50	c cleaning 67003 clauses out of 134006 with flag 6344655/5381147
1062.13/1059.23	c cleaning 67996 clauses out of 136003 with flag 6563597/5450147
1086.83/1083.80	c cleaning 68987 clauses out of 138007 with flag 6776807/5520147
1127.62/1124.62	c cleaning 70000 clauses out of 140024 with flag 6978648/5591151
1156.22/1153.17	c cleaning 71000 clauses out of 142021 with flag 7208653/5663148
1180.02/1176.93	c cleaning 72008 clauses out of 144020 with flag 7458473/5736147
1206.92/1203.77	c cleaning 72999 clauses out of 146013 with flag 7708621/5810148
1223.93/1220.73	c cleaning 74006 clauses out of 148014 with flag 7948982/5885148
1236.52/1233.26	c cleaning 75000 clauses out of 150007 with flag 8201459/5961147
1247.52/1244.22	c cleaning 75997 clauses out of 152008 with flag 8413230/6038148
1282.25/1278.92	c cleaning 76997 clauses out of 154011 with flag 8698632/6116148
1293.66/1290.32	c cleaning 77999 clauses out of 156013 with flag 8950143/6195147
1342.83/1339.48	c cleaning 79001 clauses out of 158015 with flag 9186311/6275148
1383.73/1380.38	c cleaning 80003 clauses out of 160013 with flag 9453531/6356147
1395.31/1391.86	c cleaning 80998 clauses out of 162010 with flag 9713559/6438147
1407.51/1403.97	c cleaning 81999 clauses out of 164012 with flag 9950761/6521147
1418.61/1415.03	c cleaning 83000 clauses out of 166014 with flag 10236221/6605148
1429.37/1425.77	c cleaning 83995 clauses out of 168013 with flag 10493587/6690147
1445.87/1442.20	c cleaning 84997 clauses out of 170018 with flag 10694300/6776147
1463.06/1459.33	c cleaning 86010 clauses out of 172021 with flag 11011097/6863147
1475.82/1472.06	c cleaning 86988 clauses out of 174013 with flag 11278915/6951149
1492.91/1489.03	c cleaning 88004 clauses out of 176023 with flag 11533417/7040147
1507.41/1503.56	c cleaning 88993 clauses out of 178019 with flag 11808201/7130147
1578.39/1574.45	c cleaning 90000 clauses out of 180026 with flag 11990216/7221147
1651.00/1647.02	c cleaning 91001 clauses out of 182027 with flag 12174236/7313148
1725.62/1721.56	c cleaning 92000 clauses out of 184025 with flag 12360250/7406147
1800.03/1795.90	c starts		: 18827
1800.03/1795.90	c conflicts		: 7499378
1800.03/1795.90	c decisions		: 9932746
1800.03/1795.90	c propagations		: 95584246
1800.03/1795.90	c inspects		: 39181580556
1800.03/1795.90	c shortcuts		: 0
1800.03/1795.90	c learnt literals	: 27
1800.03/1795.90	c learnt binary clauses	: 66
1800.03/1795.90	c learnt ternary clauses	: 112
1800.03/1795.90	c learnt constraints	: 7499351
1800.03/1795.90	c ignored constraints	: 0
1800.03/1795.90	c root simplifications	: 0
1800.03/1795.90	c removed literals (reason simplification)	: 0
1800.03/1795.90	c reason swapping (by a shorter reason)	: 0
1800.03/1795.90	c Calls to reduceDB	: 213
1800.03/1795.90	c Number of update (reduction) of LBD	: 506007
1800.03/1795.90	c Imported unit clauses	: 0
1800.03/1795.90	c number of reductions to clauses (during analyze)	: 0
1800.03/1795.90	c number of learned constraints concerned by reduction	: 0
1800.03/1795.90	c number of learning phase by resolution	: 0
1800.03/1795.90	c number of learning phase by cutting planes	: 0
1800.03/1795.90	c speed (assignments/second)	: 53233.99472807481
1800.03/1795.90	c non guided choices	304792
1800.03/1795.93	c learnt constraints type 
1800.03/1795.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 66
1800.03/1795.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 185190
1800.03/1795.93	s SATISFIABLE
1800.03/1795.93	c Found 8 solution(s)
1800.03/1795.94	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 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 
1800.03/1795.95	c objective function=-136069369
1800.03/1795.95	c Total wall clock time (in seconds): 1795.844

Verifier Data 

OK	-136069369

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-4103564-1466243632/watcher-4103564-1466243632 -o /tmp/evaluation-result-4103564-1466243632/solver-4103564-1466243632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103564-1466243632.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.26 2.12 3/194 7285
/proc/meminfo: memFree=30012404/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7285/stat : 7285 (java) R 7282 7285 6916 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 26410038 9515008 185 33554432000 1073741824 1073778376 140736891523936 140736891506664 259115764432 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2323 186 143 9 0 71 0

[startup+0.100163 s]
/proc/loadavg: 2.25 2.26 2.12 3/194 7285
/proc/meminfo: memFree=30012404/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 4431 0 1 0 9 1 0 0 20 0 18 0 26410038 9787879424 6057 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2389619 6057 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200339 s]
/proc/loadavg: 2.25 2.26 2.12 3/194 7285
/proc/meminfo: memFree=30012404/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 5054 0 1 0 29 1 0 0 20 0 18 0 26410038 9787879424 7465 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2389619 7465 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300376 s]
/proc/loadavg: 2.25 2.26 2.12 3/194 7285
/proc/meminfo: memFree=30012404/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9558476 CPUtime=0.61 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 10199 0 1 0 58 3 0 0 20 0 18 0 26410038 9787879424 12988 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2389619 12988 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 9558476

[startup+0.700197 s]
/proc/loadavg: 2.25 2.26 2.12 3/194 7285
/proc/meminfo: memFree=30012404/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 10390 0 1 0 155 3 0 0 20 0 19 0 26410038 9856040960 15615 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2406260 15615 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.25 2.26 2.12 3/213 7304
/proc/meminfo: memFree=29943060/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9625040 CPUtime=2.56 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 10403 0 1 0 253 3 0 0 20 0 19 0 26410038 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2406260 17671 2265 9 0 2396937 0
[pid=7285/tid=7287] ppid=7282 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/7285/task/7287/stat : 7287 (java) R 7282 7285 6916 0 -1 4202560 2432 0 1 0 145 2 0 0 20 0 19 0 26410039 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305919091032 140305792408032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7288] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305763137960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7289] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305762085416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7290] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305761032360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7291] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7291/stat : 7291 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305759979816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7292] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7292/stat : 7292 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305758927784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7293] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7293/stat : 7293 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305757875240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7294] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7294/stat : 7294 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305756822184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7295] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7295/stat : 7295 (java) S 7282 7285 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305755769640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7296] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7296/stat : 7296 (java) S 7282 7285 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26410040 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305743358312 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7297] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7297/stat : 7297 (java) S 7282 7285 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305742304632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7298] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7298/stat : 7298 (java) S 7282 7285 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305741251464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7299] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7299/stat : 7299 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305740200208 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7300] ppid=7282 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/7285/task/7300/stat : 7300 (java) S 7282 7285 6916 0 -1 4202560 4128 0 0 0 55 1 0 0 20 0 19 0 26410043 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305739148088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7301] ppid=7282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7285/task/7301/stat : 7301 (java) S 7282 7285 6916 0 -1 4202560 2565 0 0 0 49 0 0 0 20 0 19 0 26410043 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305738095544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7302] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7302/stat : 7302 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305737042680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7303] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7303/stat : 7303 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305735990344 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7304] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7304/stat : 7304 (java) S 7282 7285 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26410073 9856040960 17671 33554432000 1073741824 1073778376 140736891523936 140305734886440 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.25 2.26 2.12 3/213 7304
/proc/meminfo: memFree=29917492/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9625040 CPUtime=4.21 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 10411 0 1 0 418 3 0 0 20 0 19 0 26410038 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2406260 21767 2265 9 0 2396937 0
[pid=7285/tid=7287] ppid=7282 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/7285/task/7287/stat : 7287 (java) R 7282 7285 6916 0 -1 4202560 2440 0 1 0 305 2 0 0 20 0 19 0 26410039 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305919082176 140305792419376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7288] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305763137960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7289] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305762085416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7290] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305761032360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7291] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7291/stat : 7291 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305759979816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7292] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7292/stat : 7292 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305758927784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7293] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7293/stat : 7293 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305757875240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7294] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7294/stat : 7294 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305756822184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7295] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7295/stat : 7295 (java) S 7282 7285 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305755769640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7296] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7296/stat : 7296 (java) S 7282 7285 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26410040 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305743358312 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7297] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7297/stat : 7297 (java) S 7282 7285 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305742304632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7298] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7298/stat : 7298 (java) S 7282 7285 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305741251464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7299] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7299/stat : 7299 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305740200208 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7300] ppid=7282 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7285/task/7300/stat : 7300 (java) S 7282 7285 6916 0 -1 4202560 4128 0 0 0 57 1 0 0 20 0 19 0 26410043 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305739148088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7301] ppid=7282 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/7285/task/7301/stat : 7301 (java) S 7282 7285 6916 0 -1 4202560 2565 0 0 0 51 0 0 0 20 0 19 0 26410043 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305738095544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7302] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7302/stat : 7302 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305737042680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7303] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7303/stat : 7303 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305735990344 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7304] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7304/stat : 7304 (java) S 7282 7285 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26410073 9856040960 21767 33554432000 1073741824 1073778376 140736891523936 140305734886440 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 9625040

[startup+6.30088 s]
/proc/loadavg: 2.23 2.26 2.12 3/213 7304
/proc/meminfo: memFree=29886888/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9625040 CPUtime=7.41 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 10428 0 1 0 738 3 0 0 20 0 19 0 26410038 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2406260 29295 2266 9 0 2396937 0
[pid=7285/tid=7287] ppid=7282 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/7285/task/7287/stat : 7287 (java) R 7282 7285 6916 0 -1 4202560 2456 0 1 0 623 2 0 0 20 0 19 0 26410039 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305919082176 140305792318208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7288] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305763137960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7289] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305762085416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7290] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305761032360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7291] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7291/stat : 7291 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305759979816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7292] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7292/stat : 7292 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305758927784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7293] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7293/stat : 7293 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305757875240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7294] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7294/stat : 7294 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305756822184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7295] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7295/stat : 7295 (java) S 7282 7285 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26410039 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305755769640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7296] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7296/stat : 7296 (java) S 7282 7285 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26410040 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305743358312 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7297] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7297/stat : 7297 (java) S 7282 7285 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305742304632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7298] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7298/stat : 7298 (java) S 7282 7285 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305741251464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7299] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7299/stat : 7299 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305740200208 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7300] ppid=7282 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7285/task/7300/stat : 7300 (java) S 7282 7285 6916 0 -1 4202560 4128 0 0 0 57 1 0 0 20 0 19 0 26410043 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305739148088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7301] ppid=7282 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/7285/task/7301/stat : 7301 (java) S 7282 7285 6916 0 -1 4202560 2565 0 0 0 52 0 0 0 20 0 19 0 26410043 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305738095544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7302] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7302/stat : 7302 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305737042680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7303] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7303/stat : 7303 (java) S 7282 7285 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305735990344 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7304] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7304/stat : 7304 (java) S 7282 7285 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26410073 9856040960 29295 33554432000 1073741824 1073778376 140736891523936 140305734886440 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9625040


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

[pid=7285/tid=7304] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7304/stat : 7304 (java) S 7282 7285 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26410073 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305734886440 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.42
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.16 2.18 2.18 4/213 7436
/proc/meminfo: memFree=29590348/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9625040 CPUtime=1786.42 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 13728 0 1 0 178567 75 0 0 20 0 19 0 26410038 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2406260 100486 2288 9 0 2396937 0
[pid=7285/tid=7287] ppid=7282 vsize=9625040 CPUtime=1776.05 cores=1,3,5,7
/proc/7285/task/7287/stat : 7287 (java) R 7282 7285 6916 0 -1 4202560 2521 0 1 0 177572 33 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305919082224 140305792541595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7288] ppid=7282 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (java) S 7282 7285 6916 0 -1 4202560 453 0 0 0 41 4 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305763137960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7289] ppid=7282 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (java) S 7282 7285 6916 0 -1 4202560 383 0 0 0 48 7 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305762085416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7290] ppid=7282 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (java) S 7282 7285 6916 0 -1 4202560 321 0 0 0 43 5 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305761032360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7291] ppid=7282 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7285/task/7291/stat : 7291 (java) S 7282 7285 6916 0 -1 4202560 431 0 0 0 48 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305759979816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7292] ppid=7282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7285/task/7292/stat : 7292 (java) S 7282 7285 6916 0 -1 4202560 381 0 0 0 43 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305758927784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7293] ppid=7282 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7285/task/7293/stat : 7293 (java) S 7282 7285 6916 0 -1 4202560 415 0 0 0 42 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305757875240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7294] ppid=7282 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/7285/task/7294/stat : 7294 (java) S 7282 7285 6916 0 -1 4202560 304 0 0 0 46 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305756822184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7295] ppid=7282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7285/task/7295/stat : 7295 (java) S 7282 7285 6916 0 -1 4202560 234 0 0 0 44 5 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305755769640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7296] ppid=7282 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7285/task/7296/stat : 7296 (java) S 7282 7285 6916 0 -1 4202560 125 0 0 0 23 2 0 0 20 0 19 0 26410040 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305743358312 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7297] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7297/stat : 7297 (java) S 7282 7285 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305742304632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7298] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7298/stat : 7298 (java) S 7282 7285 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305741251464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7299] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7299/stat : 7299 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305740200208 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7300] ppid=7282 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7285/task/7300/stat : 7300 (java) S 7282 7285 6916 0 -1 4202560 4128 0 0 0 57 1 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305739148088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7301] ppid=7282 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/7285/task/7301/stat : 7301 (java) S 7282 7285 6916 0 -1 4202560 2663 0 0 0 59 0 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305738095544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7302] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7302/stat : 7302 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305737042680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7303] ppid=7282 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/7285/task/7303/stat : 7303 (java) S 7282 7285 6916 0 -1 4202560 104 0 0 0 20 25 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305735990344 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7304] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7304/stat : 7304 (java) S 7282 7285 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26410073 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305734886440 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.42
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.9 s]
/proc/loadavg: 2.27 2.21 2.18 6/212 7500
/proc/meminfo: memFree=29728908/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 13728 0 1 0 179927 76 0 0 20 0 19 0 26410038 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2406260 100486 2288 9 0 2396937 0
[pid=7285/tid=7287] ppid=7282 vsize=9625040 CPUtime=1789.61 cores=1,3,5,7
/proc/7285/task/7287/stat : 7287 (java) R 7282 7285 6916 0 -1 4202560 2521 0 1 0 178927 34 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305919082224 140305792541595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7288] ppid=7282 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (java) S 7282 7285 6916 0 -1 4202560 453 0 0 0 41 4 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305763137960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7289] ppid=7282 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (java) S 7282 7285 6916 0 -1 4202560 383 0 0 0 48 7 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305762085416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7290] ppid=7282 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (java) S 7282 7285 6916 0 -1 4202560 321 0 0 0 43 5 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305761032360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7291] ppid=7282 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7285/task/7291/stat : 7291 (java) S 7282 7285 6916 0 -1 4202560 431 0 0 0 48 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305759979816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7292] ppid=7282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7285/task/7292/stat : 7292 (java) S 7282 7285 6916 0 -1 4202560 381 0 0 0 43 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305758927784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7293] ppid=7282 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7285/task/7293/stat : 7293 (java) S 7282 7285 6916 0 -1 4202560 415 0 0 0 42 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305757875240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7294] ppid=7282 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/7285/task/7294/stat : 7294 (java) S 7282 7285 6916 0 -1 4202560 304 0 0 0 46 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305756822184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7295] ppid=7282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7285/task/7295/stat : 7295 (java) S 7282 7285 6916 0 -1 4202560 234 0 0 0 44 5 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305755769640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7296] ppid=7282 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7285/task/7296/stat : 7296 (java) S 7282 7285 6916 0 -1 4202560 125 0 0 0 23 2 0 0 20 0 19 0 26410040 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305743358312 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7297] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7297/stat : 7297 (java) S 7282 7285 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305742304632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7298] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7298/stat : 7298 (java) S 7282 7285 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305741251464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7299] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7299/stat : 7299 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305740200208 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7300] ppid=7282 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7285/task/7300/stat : 7300 (java) S 7282 7285 6916 0 -1 4202560 4128 0 0 0 57 1 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305739148088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7301] ppid=7282 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/7285/task/7301/stat : 7301 (java) S 7282 7285 6916 0 -1 4202560 2663 0 0 0 59 0 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305738095544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7302] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7302/stat : 7302 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305737042680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7303] ppid=7282 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/7285/task/7303/stat : 7303 (java) S 7282 7285 6916 0 -1 4202560 104 0 0 0 20 26 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305735990344 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7304] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7304/stat : 7304 (java) S 7282 7285 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26410073 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305734886440 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1795.9 s]
/proc/loadavg: 2.27 2.21 2.18 6/212 7500
/proc/meminfo: memFree=29728908/32872528 swapFree=1497824/1644992
[pid=7285] ppid=7282 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/7285/stat : 7285 (java) S 7282 7285 6916 0 -1 4202496 13728 0 1 0 179927 76 0 0 20 0 19 0 26410038 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140736891515072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7285/statm: 2406260 100486 2288 9 0 2396937 0
[pid=7285/tid=7287] ppid=7282 vsize=9625040 CPUtime=1789.61 cores=1,3,5,7
/proc/7285/task/7287/stat : 7287 (java) R 7282 7285 6916 0 -1 4202560 2521 0 1 0 178927 34 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305919082224 140305792541595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7288] ppid=7282 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/7285/task/7288/stat : 7288 (java) S 7282 7285 6916 0 -1 4202560 453 0 0 0 41 4 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305763137960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7289] ppid=7282 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7285/task/7289/stat : 7289 (java) S 7282 7285 6916 0 -1 4202560 383 0 0 0 48 7 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305762085416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7290] ppid=7282 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7285/task/7290/stat : 7290 (java) S 7282 7285 6916 0 -1 4202560 321 0 0 0 43 5 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305761032360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7291] ppid=7282 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7285/task/7291/stat : 7291 (java) S 7282 7285 6916 0 -1 4202560 431 0 0 0 48 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305759979816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7292] ppid=7282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7285/task/7292/stat : 7292 (java) S 7282 7285 6916 0 -1 4202560 381 0 0 0 43 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305758927784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7293] ppid=7282 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7285/task/7293/stat : 7293 (java) S 7282 7285 6916 0 -1 4202560 415 0 0 0 42 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305757875240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7294] ppid=7282 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/7285/task/7294/stat : 7294 (java) S 7282 7285 6916 0 -1 4202560 304 0 0 0 46 6 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305756822184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7295] ppid=7282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7285/task/7295/stat : 7295 (java) S 7282 7285 6916 0 -1 4202560 234 0 0 0 44 5 0 0 20 0 19 0 26410039 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305755769640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7296] ppid=7282 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7285/task/7296/stat : 7296 (java) S 7282 7285 6916 0 -1 4202560 125 0 0 0 23 2 0 0 20 0 19 0 26410040 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305743358312 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7297] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7297/stat : 7297 (java) S 7282 7285 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305742304632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7298] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7298/stat : 7298 (java) S 7282 7285 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26410041 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305741251464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7299] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7299/stat : 7299 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305740200208 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7285/tid=7300] ppid=7282 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7285/task/7300/stat : 7300 (java) S 7282 7285 6916 0 -1 4202560 4128 0 0 0 57 1 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305739148088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7285/tid=7301] ppid=7282 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/7285/task/7301/stat : 7301 (java) S 7282 7285 6916 0 -1 4202560 2663 0 0 0 59 0 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305738095544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7302] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7302/stat : 7302 (java) S 7282 7285 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305737042680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7285/tid=7303] ppid=7282 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/7285/task/7303/stat : 7303 (java) S 7282 7285 6916 0 -1 4202560 104 0 0 0 20 26 0 0 20 0 19 0 26410043 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305735990344 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7285/tid=7304] ppid=7282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7285/task/7304/stat : 7304 (java) S 7282 7285 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26410073 9856040960 100486 33554432000 1073741824 1073778376 140736891523936 140305734886440 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1795.96
CPU time (s): 1800.03
CPU user time (s): 1799.27
CPU system time (s): 0.76
CPU usage (%): 100.227
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.67
system time used= 1.21981
maximum resident set size= 535020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13775
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39059
involuntary context switches= 25424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4023 second user time and 12.1841 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-18 11:53:52
IDJOB=4103564
IDBENCH=2395
IDSOLVER=2546
FILE ID=node124/4103564-1466243632
RUNJOBID= node124-1466241833-6933
PBS_JOBID= 19918215
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103564-1466243632/watcher-4103564-1466243632 -o /tmp/evaluation-result-4103564-1466243632/solver-4103564-1466243632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103564-1466243632.opb

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

MD5SUM BENCH= 19c812fe81842f9b63508fc356bab039
RANDOM SEED=1535310777

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30015360 kB
Buffers:          125988 kB
Cached:           157452 kB
SwapCached:         3080 kB
Active:           247060 kB
Inactive:         199972 kB
Active(anon):     163000 kB
Inactive(anon):     2880 kB
Active(file):      84060 kB
Inactive(file):   197092 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:              2572 kB
Writeback:             0 kB
AnonPages:       1816880 kB
Mapped:            17060 kB
Shmem:                 0 kB
Slab:             624904 kB
SReclaimable:      68748 kB
SUnreclaim:       556156 kB
KernelStack:        1760 kB
PageTables:         7488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2333144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 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 node124 at 2016-06-18 12:23:48