Trace number 4110619

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)134248448 1800 1797.18

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
MD5SUMb4797c584af9b805dff74fff95a4b350
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark134248448
Best CPU time to get the best result obtained on this benchmark288.303
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3564
Total number of constraints11685
Number of constraints which are clauses11625
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
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.04/0.47	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.04/0.47	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.47	c See www.sat4j.org for details.
0.04/0.47	c version PB16.v20160501
0.04/0.47	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.47	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.47	c java.vm.version	19.1-b02
0.04/0.47	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.47	c sun.arch.data.model	64
0.04/0.47	c java.version		1.6.0_24
0.04/0.47	c os.name		Linux
0.04/0.47	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.47	c os.arch		amd64
0.04/0.47	c Free memory 		501472288
0.04/0.47	c Max memory 		7480803328
0.04/0.47	c Total memory 		504102912
0.04/0.48	c Number of processors 	8
0.13/0.51	c Pseudo Boolean Optimization by upper bound
0.13/0.51	c --- Begin Solver configuration ---
0.13/0.51	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.13/0.51	c Learn all clauses as in MiniSAT
0.13/0.51	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.51	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.51	c No reason simplification
0.13/0.51	c Glucose 2.1 dynamic restart strategy
0.13/0.51	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.13/0.51	c timeout=2147483s
0.13/0.51	c DB Simplification allowed=false
0.13/0.51	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.13/0.51	c --- End Solver configuration ---
0.13/0.51	c solving HOME/instance-4110619-1466384097.opb
0.13/0.51	c reading problem ... 
0.13/0.51	c  objective function found
0.80/0.81	c ... done. Wall clock time 0.303s.
0.80/0.81	c declared #vars     3564
0.80/0.81	c #constraints  11685
0.80/0.81	c constraints type 
0.80/0.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3446
0.80/0.81	c org.sat4j.specs.Constr$1 => 925
0.80/0.81	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
0.80/0.81	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7123
0.80/0.81	c org.sat4j.minisat.constraints.cnf.UnitClause => 176
0.80/0.81	c 11685 constraints processed.
0.80/0.81	c objective function length is 166 literals
0.80/0.87	c SATISFIABLE
0.80/0.87	c OPTIMIZING...
0.80/0.87	c Got one! Elapsed wall clock time (in seconds):0.363
0.80/0.87	o 165713408
1.38/1.06	c Got one! Elapsed wall clock time (in seconds):0.558
1.38/1.06	o 165709568
1.96/1.46	c cleaning 2570 clauses out of 5144 with flag 19844/5144
2.41/1.85	c cleaning 4285 clauses out of 8574 with flag 45176/11144
2.82/2.25	c cleaning 5645 clauses out of 11289 with flag 65909/18144
3.32/2.73	c cleaning 6822 clauses out of 13644 with flag 90243/26144
3.95/3.30	c cleaning 7908 clauses out of 15822 with flag 114881/35144
4.54/3.96	c cleaning 8952 clauses out of 17915 with flag 140800/45145
5.34/4.70	c cleaning 9981 clauses out of 19962 with flag 168355/56144
6.14/5.58	c cleaning 10988 clauses out of 21981 with flag 198489/68144
7.24/6.65	c cleaning 11990 clauses out of 23993 with flag 232106/81144
8.74/8.12	c cleaning 13000 clauses out of 26003 with flag 281238/95144
9.14/8.52	c Got one! Elapsed wall clock time (in seconds):8.013
9.14/8.52	o 161895424
9.27/8.65	c cleaning 9027 clauses out of 18060 with flag 4541/100201
9.46/8.72	c Got one! Elapsed wall clock time (in seconds):8.213
9.46/8.72	o 160466688
9.46/8.74	c Got one! Elapsed wall clock time (in seconds):8.23
9.46/8.74	o 160462848
10.10/9.19	c cleaning 7510 clauses out of 15028 with flag 20645/106196
11.03/9.63	c cleaning 6753 clauses out of 13516 with flag 42651/112194
11.54/10.13	c cleaning 6875 clauses out of 13763 with flag 69982/119194
11.64/10.25	c Got one! Elapsed wall clock time (in seconds):9.741
11.64/10.25	o 160459008
11.77/10.35	c Got one! Elapsed wall clock time (in seconds):9.84
11.77/10.35	o 156280064
11.77/10.37	c Got one! Elapsed wall clock time (in seconds):9.866
11.77/10.37	o 156272384
11.77/10.38	c Got one! Elapsed wall clock time (in seconds):9.871
11.77/10.38	o 156268544
12.19/10.63	c cleaning 6543 clauses out of 13101 with flag 11996/125407
12.29/10.71	c Got one! Elapsed wall clock time (in seconds):10.207
12.29/10.71	o 151094784
12.29/10.72	c Got one! Elapsed wall clock time (in seconds):10.213
12.29/10.72	o 151025664
12.39/10.83	c Got one! Elapsed wall clock time (in seconds):10.319
12.39/10.83	o 149980928
12.39/10.85	c Got one! Elapsed wall clock time (in seconds):10.34
12.39/10.85	o 149977088
12.60/11.07	c cleaning 6370 clauses out of 12756 with flag 10627/131605
12.99/11.41	c cleaning 6187 clauses out of 12386 with flag 31294/137605
13.40/11.87	c cleaning 6592 clauses out of 13197 with flag 58619/144603
14.00/12.45	c cleaning 7294 clauses out of 14606 with flag 90374/152604
14.60/13.08	c cleaning 8146 clauses out of 16311 with flag 124962/161603
15.40/13.83	c cleaning 9079 clauses out of 18166 with flag 166684/171604
16.30/14.72	c cleaning 10035 clauses out of 20086 with flag 206790/182603
17.20/15.64	c cleaning 11019 clauses out of 22051 with flag 250935/194603
18.21/16.69	c cleaning 12004 clauses out of 24032 with flag 301401/207603
19.40/17.88	c cleaning 13009 clauses out of 26029 with flag 355244/221604
20.70/19.17	c cleaning 14004 clauses out of 28019 with flag 411280/236603
22.30/20.78	c cleaning 15000 clauses out of 30016 with flag 470423/252604
24.10/22.50	c cleaning 16001 clauses out of 32015 with flag 532242/269603
24.30/22.71	c Got one! Elapsed wall clock time (in seconds):22.203
24.30/22.71	o 144803328
24.40/22.85	c Got one! Elapsed wall clock time (in seconds):22.342
24.40/22.85	o 144734208
24.72/23.12	c cleaning 10849 clauses out of 21707 with flag 7674/275296
25.11/23.51	c cleaning 8419 clauses out of 16857 with flag 28571/281295
25.51/23.92	c cleaning 7711 clauses out of 15439 with flag 54482/288296
26.01/24.44	c cleaning 7854 clauses out of 15728 with flag 88518/296296
26.71/25.13	c cleaning 8432 clauses out of 16874 with flag 123973/305296
27.51/25.90	c cleaning 9220 clauses out of 18441 with flag 154940/315295
28.21/26.66	c cleaning 10104 clauses out of 20221 with flag 186532/326295
29.12/27.56	c cleaning 11057 clauses out of 22119 with flag 217684/338297
30.01/28.50	c cleaning 12029 clauses out of 24060 with flag 254860/351295
31.13/29.52	c cleaning 13014 clauses out of 26031 with flag 294782/365295
32.13/30.55	c cleaning 14004 clauses out of 28018 with flag 336125/380296
33.43/31.85	c cleaning 15003 clauses out of 30014 with flag 380199/396296
34.92/33.35	c cleaning 16002 clauses out of 32011 with flag 424430/413296
36.52/34.96	c cleaning 17003 clauses out of 34009 with flag 474074/431296
38.22/36.67	c cleaning 17998 clauses out of 36006 with flag 523373/450296
40.13/38.57	c cleaning 19003 clauses out of 38007 with flag 577235/470295
42.23/40.65	c cleaning 19998 clauses out of 40004 with flag 635940/491295
44.33/42.75	c cleaning 21003 clauses out of 42007 with flag 690801/513296
46.64/45.02	c cleaning 22002 clauses out of 44004 with flag 745941/536296
48.95/47.36	c cleaning 22997 clauses out of 46002 with flag 803241/560296
51.44/49.84	c cleaning 23999 clauses out of 48007 with flag 862804/585298
54.34/52.70	c cleaning 25000 clauses out of 50005 with flag 925892/611295
57.24/55.65	c cleaning 26001 clauses out of 52005 with flag 991059/638295
60.44/58.82	c cleaning 27003 clauses out of 54006 with flag 1058375/666297
63.64/62.07	c cleaning 27997 clauses out of 56002 with flag 1128497/695296
67.14/65.53	c cleaning 28994 clauses out of 58005 with flag 1202309/725296
71.14/69.59	c cleaning 30000 clauses out of 60010 with flag 1279211/756295
74.84/73.29	c cleaning 31002 clauses out of 62011 with flag 1356378/788296
78.84/77.25	c cleaning 31997 clauses out of 64008 with flag 1437376/821295
83.34/81.75	c cleaning 33004 clauses out of 66012 with flag 1521632/855296
87.73/86.15	c cleaning 34000 clauses out of 68007 with flag 1607323/890295
92.59/90.98	c cleaning 35002 clauses out of 70010 with flag 1693691/926298
97.49/95.83	c cleaning 36000 clauses out of 72005 with flag 1785344/963295
103.08/101.44	c cleaning 36995 clauses out of 74005 with flag 1877202/1001295
108.58/106.99	c cleaning 38003 clauses out of 76010 with flag 1970153/1040295
114.28/112.69	c cleaning 39003 clauses out of 78008 with flag 2067699/1080296
120.38/118.80	c cleaning 39996 clauses out of 80004 with flag 2167162/1121295
126.68/125.05	c cleaning 41000 clauses out of 82008 with flag 2266255/1163295
134.08/132.48	c cleaning 42002 clauses out of 84008 with flag 2378453/1206295
141.38/139.80	c cleaning 43001 clauses out of 86007 with flag 2491654/1250296
148.87/147.28	c cleaning 43998 clauses out of 88006 with flag 2610509/1295296
155.97/154.39	c cleaning 45000 clauses out of 90008 with flag 2723647/1341296
163.28/161.70	c cleaning 46003 clauses out of 92007 with flag 2833563/1388295
170.97/169.30	c cleaning 46998 clauses out of 94004 with flag 2942990/1436295
179.43/177.74	c cleaning 47996 clauses out of 96006 with flag 3060807/1485295
187.42/185.72	c cleaning 49004 clauses out of 98012 with flag 3178479/1535297
196.54/194.83	c cleaning 50000 clauses out of 100007 with flag 3300168/1586296
205.24/203.53	c cleaning 51000 clauses out of 102007 with flag 3421859/1638296
214.43/212.75	c cleaning 51998 clauses out of 104007 with flag 3545730/1691296
224.22/222.56	c cleaning 53000 clauses out of 106008 with flag 3678326/1745295
234.22/232.57	c cleaning 54003 clauses out of 108009 with flag 3810741/1800296
244.52/242.83	c cleaning 54999 clauses out of 110005 with flag 3946591/1856295
255.92/254.29	c cleaning 55994 clauses out of 112006 with flag 4079890/1913295
267.12/265.44	c cleaning 56999 clauses out of 114012 with flag 4210775/1971295
278.92/277.29	c cleaning 58004 clauses out of 116013 with flag 4347463/2030295
290.17/288.49	c cleaning 59002 clauses out of 118010 with flag 4482498/2090296
302.27/300.53	c cleaning 60002 clauses out of 120009 with flag 4619681/2151297
314.86/313.14	c cleaning 60996 clauses out of 122005 with flag 4762197/2213295
327.47/325.75	c cleaning 62000 clauses out of 124009 with flag 4907340/2276295
340.16/338.41	c cleaning 63004 clauses out of 126012 with flag 5056327/2340298
354.35/352.68	c cleaning 64000 clauses out of 128006 with flag 5204470/2405296
370.85/369.17	c cleaning 64998 clauses out of 130005 with flag 5365477/2471295
386.25/384.59	c cleaning 65999 clauses out of 132007 with flag 5520547/2538295
402.92/401.15	c cleaning 67005 clauses out of 134009 with flag 5689812/2606296
419.71/417.98	c cleaning 67999 clauses out of 136004 with flag 5856914/2675296
436.51/434.72	c cleaning 69002 clauses out of 138005 with flag 6030015/2745296
454.91/453.17	c cleaning 69998 clauses out of 140002 with flag 6218182/2816295
472.72/470.99	c cleaning 70998 clauses out of 142004 with flag 6388859/2888295
490.70/488.93	c cleaning 71996 clauses out of 144008 with flag 6557032/2961297
509.10/507.35	c cleaning 73001 clauses out of 146011 with flag 6729875/3035296
527.99/526.20	c cleaning 74003 clauses out of 148009 with flag 6915443/3110295
547.87/546.08	c cleaning 74999 clauses out of 150006 with flag 7096931/3186295
568.56/566.76	c cleaning 75997 clauses out of 152007 with flag 7277655/3263295
589.06/587.21	c cleaning 77002 clauses out of 154011 with flag 7459318/3341296
613.25/611.41	c cleaning 78003 clauses out of 156009 with flag 7648138/3420296
636.75/634.90	c cleaning 78999 clauses out of 158006 with flag 7830786/3500296
660.15/658.33	c cleaning 80000 clauses out of 160007 with flag 8017450/3581296
683.97/682.09	c cleaning 81005 clauses out of 162009 with flag 8206421/3663298
709.96/708.05	c cleaning 81999 clauses out of 164002 with flag 8405861/3746296
738.27/736.39	c cleaning 82999 clauses out of 166003 with flag 8598164/3830296
766.87/764.94	c cleaning 83996 clauses out of 168003 with flag 8792248/3915295
795.67/793.76	c cleaning 84997 clauses out of 170007 with flag 8996131/4001295
821.28/819.33	c cleaning 86004 clauses out of 172012 with flag 9194373/4088297
849.37/847.45	c cleaning 86995 clauses out of 174006 with flag 9398034/4176295
877.43/875.34	c cleaning 88002 clauses out of 176012 with flag 9609021/4265296
906.03/903.97	c cleaning 89000 clauses out of 178010 with flag 9829268/4355296
938.24/936.20	c cleaning 90000 clauses out of 180009 with flag 10047514/4446295
970.34/968.26	c cleaning 91003 clauses out of 182009 with flag 10273590/4538295
1000.63/998.52	c cleaning 91997 clauses out of 184006 with flag 10488018/4631295
1034.78/1032.54	c cleaning 93001 clauses out of 186009 with flag 10708481/4725295
1067.68/1065.47	c cleaning 93998 clauses out of 188010 with flag 10947295/4820297
1098.48/1096.20	c Got one! Elapsed wall clock time (in seconds):1095.698
1098.48/1096.20	o 139502848
1103.49/1101.28	c cleaning 95337 clauses out of 190688 with flag 13405/4916973
1105.38/1103.14	c cleaning 50671 clauses out of 101352 with flag 28046/4922974
1106.48/1104.23	c cleaning 28834 clauses out of 57679 with flag 45292/4929972
1107.28/1105.05	c cleaning 18420 clauses out of 36845 with flag 64796/4937972
1107.28/1105.07	c Got one! Elapsed wall clock time (in seconds):1104.567
1107.28/1105.07	o 139491328
1107.68/1105.50	c cleaning 11876 clauses out of 23768 with flag 14300/4943315
1108.18/1105.90	c cleaning 8940 clauses out of 17891 with flag 30556/4949314
1108.68/1106.40	c Got one! Elapsed wall clock time (in seconds):1105.893
1108.68/1106.40	o 134321408
1108.68/1106.42	c Got one! Elapsed wall clock time (in seconds):1105.913
1108.68/1106.42	o 134256128
1108.68/1106.43	c Got one! Elapsed wall clock time (in seconds):1105.918
1108.68/1106.43	o 134248448
1109.22/1106.82	c cleaning 9787 clauses out of 19592 with flag 13323/4959955
1109.52/1107.16	c cleaning 7898 clauses out of 15806 with flag 29154/4965956
1109.92/1107.55	c cleaning 7447 clauses out of 14907 with flag 47444/4972955
1110.32/1107.97	c cleaning 7722 clauses out of 15461 with flag 67165/4980956
1110.82/1108.49	c cleaning 8363 clauses out of 16738 with flag 90322/4989955
1111.42/1109.05	c cleaning 9181 clauses out of 18375 with flag 115624/4999955
1112.12/1109.72	c cleaning 10091 clauses out of 20196 with flag 141924/5010957
1112.82/1110.43	c cleaning 11042 clauses out of 22103 with flag 170316/5022955
1113.62/1111.29	c cleaning 12024 clauses out of 24061 with flag 203110/5035955
1114.62/1112.26	c cleaning 13011 clauses out of 26037 with flag 237042/5049955
1115.72/1113.38	c cleaning 14005 clauses out of 28026 with flag 276844/5064955
1116.92/1114.50	c cleaning 15004 clauses out of 30023 with flag 316849/5080957
1118.22/1115.80	c cleaning 16003 clauses out of 32017 with flag 360421/5097955
1119.51/1117.19	c cleaning 17001 clauses out of 34014 with flag 402922/5115955
1121.12/1118.74	c cleaning 18000 clauses out of 36013 with flag 449297/5134955
1123.12/1120.61	c cleaning 18999 clauses out of 38014 with flag 498592/5154956
1124.92/1122.48	c cleaning 20003 clauses out of 40016 with flag 551705/5175957
1126.92/1124.49	c cleaning 20998 clauses out of 42012 with flag 606422/5197956
1129.22/1126.72	c cleaning 21999 clauses out of 44013 with flag 663006/5220955
1131.52/1129.02	c cleaning 23002 clauses out of 46014 with flag 721037/5244955
1133.92/1131.43	c cleaning 24003 clauses out of 48012 with flag 781286/5269955
1136.52/1134.02	c cleaning 24998 clauses out of 50009 with flag 843500/5295955
1139.31/1136.86	c cleaning 25998 clauses out of 52011 with flag 909274/5322955
1142.41/1139.97	c cleaning 27000 clauses out of 54013 with flag 979876/5350955
1145.82/1143.31	c cleaning 27999 clauses out of 56013 with flag 1050602/5379955
1149.22/1146.78	c cleaning 29005 clauses out of 58014 with flag 1124545/5409955
1152.92/1150.43	c cleaning 29993 clauses out of 60009 with flag 1200395/5440955
1156.92/1154.42	c cleaning 31002 clauses out of 62017 with flag 1279950/5472956
1161.22/1158.72	c cleaning 31998 clauses out of 64014 with flag 1362963/5505955
1165.72/1163.21	c cleaning 33006 clauses out of 66018 with flag 1446726/5539957
1170.22/1167.70	c cleaning 33998 clauses out of 68010 with flag 1530683/5574955
1175.02/1172.46	c cleaning 34997 clauses out of 70012 with flag 1620741/5610955
1179.93/1177.32	c cleaning 36000 clauses out of 72015 with flag 1709643/5647955
1185.14/1182.51	c cleaning 37001 clauses out of 74015 with flag 1801929/5685955
1190.53/1187.96	c cleaning 37999 clauses out of 76016 with flag 1897972/5724957
1196.03/1193.44	c cleaning 39001 clauses out of 78015 with flag 1997070/5764955
1201.93/1199.31	c cleaning 39999 clauses out of 80014 with flag 2098036/5805955
1208.03/1205.40	c cleaning 41001 clauses out of 82015 with flag 2203956/5847955
1214.04/1211.46	c cleaning 42003 clauses out of 84015 with flag 2312665/5890956
1221.34/1218.73	c cleaning 43000 clauses out of 86011 with flag 2428516/5934955
1228.34/1225.77	c cleaning 44001 clauses out of 88013 with flag 2546092/5979957
1235.54/1232.99	c cleaning 44999 clauses out of 90012 with flag 2661705/6025957
1243.18/1240.53	c cleaning 45999 clauses out of 92011 with flag 2782199/6072955
1251.19/1248.59	c cleaning 46998 clauses out of 94012 with flag 2913387/6120955
1259.88/1257.21	c cleaning 48000 clauses out of 96014 with flag 3042017/6169955
1268.79/1266.20	c cleaning 49002 clauses out of 98015 with flag 3168752/6219956
1278.19/1275.52	c cleaning 50000 clauses out of 100012 with flag 3308000/6270955
1287.29/1284.70	c cleaning 51004 clauses out of 102013 with flag 3443860/6322956
1296.59/1293.97	c cleaning 52003 clauses out of 104009 with flag 3573332/6375956
1305.49/1302.83	c cleaning 52992 clauses out of 106005 with flag 3703400/6429955
1315.10/1312.41	c cleaning 54002 clauses out of 108013 with flag 3841104/6484955
1324.43/1321.72	c cleaning 54999 clauses out of 110012 with flag 3969250/6540956
1333.93/1331.25	c cleaning 55999 clauses out of 112013 with flag 4098045/6597956
1343.53/1340.82	c cleaning 57003 clauses out of 114014 with flag 4228650/6655956
1353.73/1351.08	c cleaning 58001 clauses out of 116013 with flag 4359420/6714958
1364.64/1361.97	c cleaning 59004 clauses out of 118010 with flag 4495099/6774956
1375.83/1373.10	c cleaning 59998 clauses out of 120005 with flag 4627896/6835955
1388.03/1385.30	c cleaning 60997 clauses out of 122007 with flag 4763885/6897955
1400.74/1398.06	c cleaning 61999 clauses out of 124012 with flag 4902498/6960957
1413.88/1411.15	c cleaning 63002 clauses out of 126011 with flag 5041827/7024955
1427.68/1424.99	c cleaning 64004 clauses out of 128009 with flag 5184553/7089955
1440.59/1437.87	c cleaning 65000 clauses out of 130008 with flag 5328332/7155958
1453.88/1451.12	c cleaning 66000 clauses out of 132005 with flag 5477541/7222955
1466.88/1464.17	c cleaning 66998 clauses out of 134005 with flag 5629893/7290955
1479.57/1476.81	c cleaning 67996 clauses out of 136007 with flag 5784680/7359955
1492.57/1489.89	c cleaning 69001 clauses out of 138012 with flag 5940428/7429956
1506.91/1504.14	c cleaning 70002 clauses out of 140010 with flag 6105120/7500955
1520.81/1518.06	c cleaning 71002 clauses out of 142010 with flag 6262613/7572957
1535.80/1533.06	c cleaning 71996 clauses out of 144006 with flag 6427525/7645955
1551.00/1548.23	c cleaning 73001 clauses out of 146010 with flag 6594068/7719955
1568.30/1565.52	c cleaning 74003 clauses out of 148010 with flag 6763586/7794956
1585.10/1582.39	c cleaning 74998 clauses out of 150006 with flag 6933743/7870955
1604.65/1601.81	c cleaning 76002 clauses out of 152008 with flag 7109887/7947955
1623.16/1620.37	c cleaning 77001 clauses out of 154007 with flag 7286809/8025956
1641.96/1639.12	c cleaning 77998 clauses out of 156007 with flag 7466891/8104957
1660.84/1658.08	c cleaning 79000 clauses out of 158007 with flag 7648400/8184955
1680.84/1678.03	c cleaning 79996 clauses out of 160007 with flag 7833111/8265955
1701.81/1698.96	c cleaning 81003 clauses out of 162011 with flag 8021521/8347955
1723.32/1720.41	c cleaning 81997 clauses out of 164008 with flag 8209466/8430955
1745.51/1742.63	c cleaning 83003 clauses out of 166011 with flag 8405569/8514955
1769.20/1766.33	c cleaning 83999 clauses out of 168009 with flag 8599246/8599956
1792.99/1790.19	c cleaning 84993 clauses out of 170009 with flag 8798108/8685955
1800.00/1797.12	c starts		: 149
1800.00/1797.12	c conflicts		: 8721087
1800.00/1797.12	c decisions		: 11784912
1800.00/1797.12	c propagations		: 353472032
1800.00/1797.12	c inspects		: 35053364021
1800.00/1797.12	c shortcuts		: 0
1800.00/1797.12	c learnt literals	: 0
1800.00/1797.12	c learnt binary clauses	: 7
1800.00/1797.12	c learnt ternary clauses	: 17
1800.00/1797.12	c learnt constraints	: 8721088
1800.00/1797.12	c ignored constraints	: 0
1800.00/1797.12	c root simplifications	: 0
1800.00/1797.12	c removed literals (reason simplification)	: 0
1800.00/1797.12	c reason swapping (by a shorter reason)	: 0
1800.00/1797.12	c Calls to reduceDB	: 207
1800.00/1797.12	c Number of update (reduction) of LBD	: 557823
1800.00/1797.12	c Imported unit clauses	: 0
1800.00/1797.12	c number of reductions to clauses (during analyze)	: 0
1800.00/1797.12	c number of learned constraints concerned by reduction	: 0
1800.00/1797.12	c number of learning phase by resolution	: 0
1800.00/1797.12	c number of learning phase by cutting planes	: 0
1800.00/1797.12	c speed (assignments/second)	: 196777.40070722994
1800.00/1797.12	c non guided choices	1412
1800.00/1797.15	c learnt constraints type 
1800.00/1797.15	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.00/1797.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 120142
1800.00/1797.15	s SATISFIABLE
1800.00/1797.15	c Found 20 solution(s)
1800.00/1797.16	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 
1800.00/1797.16	c objective function=134248448
1800.00/1797.16	c Total wall clock time (in seconds): 1796.657

Verifier Data 

OK	134248448

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-4110619-1466384097/watcher-4110619-1466384097 -o /tmp/evaluation-result-4110619-1466384097/solver-4110619-1466384097 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466384097-7156 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4110619-1466384097.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.74 2.10 1.89 5/175 7185
/proc/meminfo: memFree=31826520/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/7185/stat : 7185 (java) D 7178 7185 7140 0 -1 4202496 156 0 1 0 0 0 0 0 20 0 1 0 40456436 278528 33 33554432000 1073741824 1073778376 140734502001152 140734501998328 262953594151 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 68 33 25 9 0 25 0

[startup+0.100067 s]
/proc/loadavg: 1.74 2.10 1.89 5/175 7185
/proc/meminfo: memFree=31826520/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/7185/stat : 7185 (java) D 7178 7185 7140 0 -1 4202496 1143 0 17 0 0 0 0 0 20 0 1 0 40456436 23793664 811 33554432000 1073741824 1073778376 140734723250000 140734723239992 140228522072544 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 6 0 0
/proc/7185/statm: 5809 811 605 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.200253 s]
/proc/loadavg: 1.74 2.10 1.89 5/175 7185
/proc/meminfo: memFree=31826520/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/7185/stat : 7185 (java) S 7178 7185 7140 0 -1 4202496 2403 0 27 0 0 1 0 0 20 0 10 0 40456436 9233014784 3052 33554432000 1073741824 1073778376 140734723250000 140734723241136 262966116413 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7185/statm: 2254154 3052 1180 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.300358 s]
/proc/loadavg: 1.74 2.10 1.89 5/175 7185
/proc/meminfo: memFree=31826520/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/7185/stat : 7185 (java) S 7178 7185 7140 0 -1 4202496 3045 0 27 0 1 1 0 0 20 0 13 0 40456436 9446973440 3692 33554432000 1073741824 1073778376 140734723250000 140734723241136 262966116413 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7185/statm: 2306390 3692 1678 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.70016 s]
/proc/loadavg: 1.74 2.10 1.89 5/175 7185
/proc/meminfo: memFree=31826520/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/7185/stat : 7185 (java) S 7178 7185 7140 0 -1 4202496 6184 0 29 0 48 2 0 0 20 0 18 0 40456436 9787879424 8860 33554432000 1073741824 1073778376 140734723250000 140734723241136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7185/statm: 2389619 8860 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+1.50083 s]
/proc/loadavg: 1.74 2.10 1.89 6/213 7223
/proc/meminfo: memFree=31689492/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/7185/stat : 7185 (java) S 7178 7185 7140 0 -1 4202496 13606 0 29 0 204 4 0 0 20 0 19 0 40456436 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140734723241136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7185/statm: 2406260 17280 2272 9 0 2396937 0
[pid=7185/tid=7189] ppid=7178 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/7185/task/7189/stat : 7189 (java) R 7178 7185 7140 0 -1 4202560 2408 0 7 0 105 2 0 0 20 0 19 0 40456447 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228517319240 140228350889391 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0
[pid=7185/tid=7194] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7194/stat : 7194 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228478811048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7197] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7197/stat : 7197 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228477758504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7199] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7199/stat : 7199 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228476705448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7200] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7200/stat : 7200 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228475652904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7202] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7202/stat : 7202 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228474599848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7203] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7203/stat : 7203 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228473547304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7204] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7204/stat : 7204 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228472494248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7205] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7205/stat : 7205 (java) S 7178 7185 7140 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228471441704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7207] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7207/stat : 7207 (java) S 7178 7185 7140 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 40456460 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228340702056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7209] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7209/stat : 7209 (java) S 7178 7185 7140 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228339648376 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7211] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7211/stat : 7211 (java) S 7178 7185 7140 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228338595208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7213] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7213/stat : 7213 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228337543952 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7216] ppid=7178 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/7185/task/7216/stat : 7216 (java) S 7178 7185 7140 0 -1 4202560 4874 0 1 0 42 0 0 0 20 0 19 0 40456477 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228336490808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7218] ppid=7178 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/7185/task/7218/stat : 7218 (java) S 7178 7185 7140 0 -1 4202560 5068 0 1 0 54 0 0 0 20 0 19 0 40456477 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140228335438264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7220] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7220/stat : 7220 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140227460983032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7221] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7221/stat : 7221 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140227459930696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7222] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7222/stat : 7222 (java) S 7178 7185 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40456519 9856040960 17280 33554432000 1073741824 1073778376 140734723250000 140227458876968 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 1.76 2.10 1.89 4/213 7223
/proc/meminfo: memFree=31674104/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=9625040 CPUtime=3.74 cores=0,2,4,6
/proc/7185/stat : 7185 (java) S 7178 7185 7140 0 -1 4202496 13611 0 29 0 370 4 0 0 20 0 19 0 40456436 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140734723241136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7185/statm: 2406260 18817 2272 9 0 2396937 0
[pid=7185/tid=7189] ppid=7178 vsize=9625040 CPUtime=2.67 cores=0,2,4,6
/proc/7185/task/7189/stat : 7189 (java) R 7178 7185 7140 0 -1 4202560 2412 0 7 0 265 2 0 0 20 0 19 0 40456447 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228517310160 140228350712127 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0
[pid=7185/tid=7194] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7194/stat : 7194 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228478811048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7197] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7197/stat : 7197 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228477758504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7199] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7199/stat : 7199 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228476705448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7200] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7200/stat : 7200 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228475652904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7202] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7202/stat : 7202 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228474599848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7203] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7203/stat : 7203 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228473547304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7204] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7204/stat : 7204 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228472494248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7205] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7205/stat : 7205 (java) S 7178 7185 7140 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228471441704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7207] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7207/stat : 7207 (java) S 7178 7185 7140 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 40456460 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228340702056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7209] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7209/stat : 7209 (java) S 7178 7185 7140 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228339648376 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7211] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7211/stat : 7211 (java) S 7178 7185 7140 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228338595208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7213] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7213/stat : 7213 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228337543952 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7216] ppid=7178 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/7185/task/7216/stat : 7216 (java) S 7178 7185 7140 0 -1 4202560 4874 0 1 0 45 0 0 0 20 0 19 0 40456477 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228336490808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7218] ppid=7178 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/7185/task/7218/stat : 7218 (java) S 7178 7185 7140 0 -1 4202560 5068 0 1 0 57 0 0 0 20 0 19 0 40456477 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140228335438264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7220] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7220/stat : 7220 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140227460983032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7221] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7221/stat : 7221 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140227459930696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7222] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7222/stat : 7222 (java) S 7178 7185 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40456519 9856040960 18817 33554432000 1073741824 1073778376 140734723250000 140227458876968 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 1.76 2.10 1.89 4/213 7223
/proc/meminfo: memFree=31633400/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=9625040 CPUtime=6.94 cores=0,2,4,6
/proc/7185/stat : 7185 (java) S 7178 7185 7140 0 -1 4202496 13617 0 29 0 690 4 0 0 20 0 19 0 40456436 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140734723241136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7185/statm: 2406260 21259 2272 9 0 2396937 0
[pid=7185/tid=7189] ppid=7178 vsize=9625040 CPUtime=5.86 cores=0,2,4,6
/proc/7185/task/7189/stat : 7189 (java) R 7178 7185 7140 0 -1 4202560 2418 0 7 0 584 2 0 0 20 0 19 0 40456447 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228517310144 140228351001632 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0
[pid=7185/tid=7194] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7194/stat : 7194 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228478811048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7197] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7197/stat : 7197 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228477758504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7199] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7199/stat : 7199 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228476705448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7200] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7200/stat : 7200 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228475652904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7202] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7202/stat : 7202 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228474599848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7203] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7203/stat : 7203 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228473547304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7204] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7204/stat : 7204 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228472494248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7205] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7205/stat : 7205 (java) S 7178 7185 7140 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40456454 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228471441704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7207] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7207/stat : 7207 (java) S 7178 7185 7140 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 40456460 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228340702056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7209] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7209/stat : 7209 (java) S 7178 7185 7140 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228339648376 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7211] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7211/stat : 7211 (java) S 7178 7185 7140 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228338595208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7213] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7213/stat : 7213 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228337543952 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7216] ppid=7178 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/7185/task/7216/stat : 7216 (java) S 7178 7185 7140 0 -1 4202560 4874 0 1 0 45 0 0 0 20 0 19 0 40456477 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228336490808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7218] ppid=7178 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/7185/task/7218/stat : 7218 (java) S 7178 7185 7140 0 -1 4202560 5068 0 1 0 57 0 0 0 20 0 19 0 40456477 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140228335438264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7220] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7220/stat : 7220 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140227460983032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7221] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7221/stat : 7221 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140227459930696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7222] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7222/stat : 7222 (java) S 7178 7185 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40456519 9856040960 21259 33554432000 1073741824 1073778376 140734723250000 140227458876968 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 9625040


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

[pid=7185/tid=7222] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7222/stat : 7222 (java) S 7178 7185 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40456519 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227458876968 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.21
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.00 4/214 7290
/proc/meminfo: memFree=30939056/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=9625040 CPUtime=1785.19 cores=0,2,4,6
/proc/7185/stat : 7185 (java) S 7178 7185 7140 0 -1 4202496 25943 0 29 0 178469 50 0 0 20 0 19 0 40456436 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140734723241136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7185/statm: 2406260 92672 2286 9 0 2396937 0
[pid=7185/tid=7189] ppid=7178 vsize=9625040 CPUtime=1776.48 cores=0,2,4,6
/proc/7185/task/7189/stat : 7189 (java) R 7178 7185 7140 0 -1 4202560 2482 0 7 0 177615 33 0 0 20 0 19 0 40456447 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228517310160 140228351002475 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0
[pid=7185/tid=7194] ppid=7178 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7185/task/7194/stat : 7194 (java) S 7178 7185 7140 0 -1 4202560 69 0 0 0 18 3 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228478811048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7197] ppid=7178 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7185/task/7197/stat : 7197 (java) S 7178 7185 7140 0 -1 4202560 72 0 0 0 18 3 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228477758504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7199] ppid=7178 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7185/task/7199/stat : 7199 (java) S 7178 7185 7140 0 -1 4202560 45 0 0 0 16 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228476705448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7200] ppid=7178 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/7185/task/7200/stat : 7200 (java) S 7178 7185 7140 0 -1 4202560 79 0 0 0 17 3 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228475652904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7202] ppid=7178 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7185/task/7202/stat : 7202 (java) S 7178 7185 7140 0 -1 4202560 61 0 0 0 14 4 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228474599848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7203] ppid=7178 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7185/task/7203/stat : 7203 (java) S 7178 7185 7140 0 -1 4202560 52 0 0 0 16 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228473547304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7204] ppid=7178 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/7185/task/7204/stat : 7204 (java) S 7178 7185 7140 0 -1 4202560 45 0 0 0 21 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228472494248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7205] ppid=7178 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/7185/task/7205/stat : 7205 (java) S 7178 7185 7140 0 -1 4202560 55 0 0 0 15 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228471441704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7207] ppid=7178 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/7185/task/7207/stat : 7207 (java) S 7178 7185 7140 0 -1 4202560 74 0 0 0 1 1 0 0 20 0 19 0 40456460 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228340702056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7209] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7209/stat : 7209 (java) S 7178 7185 7140 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228339648376 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7211] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7211/stat : 7211 (java) S 7178 7185 7140 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228338595208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7213] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7213/stat : 7213 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228337543952 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7216] ppid=7178 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/7185/task/7216/stat : 7216 (java) S 7178 7185 7140 0 -1 4202560 7095 0 1 0 74 0 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228336490808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7218] ppid=7178 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/7185/task/7218/stat : 7218 (java) S 7178 7185 7140 0 -1 4202560 14469 0 1 0 139 3 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228335438264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7220] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7220/stat : 7220 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227460983032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7221] ppid=7178 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/7185/task/7221/stat : 7221 (java) S 7178 7185 7140 0 -1 4202560 103 0 0 0 25 28 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227459930696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7222] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7222/stat : 7222 (java) S 7178 7185 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40456519 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227458876968 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.07 2.06 2.00 2/194 7300
/proc/meminfo: memFree=31444524/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/7185/stat : 7185 (java) S 7178 7185 7140 0 -1 4202496 25943 0 29 0 179949 51 0 0 20 0 19 0 40456436 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140734723241136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7185/statm: 2406260 92672 2286 9 0 2396937 0
[pid=7185/tid=7189] ppid=7178 vsize=9625040 CPUtime=1791.23 cores=0,2,4,6
/proc/7185/task/7189/stat : 7189 (java) R 7178 7185 7140 0 -1 4202560 2482 0 7 0 179090 33 0 0 20 0 19 0 40456447 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228517310160 140228350889391 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0
[pid=7185/tid=7194] ppid=7178 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7185/task/7194/stat : 7194 (java) S 7178 7185 7140 0 -1 4202560 69 0 0 0 18 3 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228478811048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7197] ppid=7178 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7185/task/7197/stat : 7197 (java) S 7178 7185 7140 0 -1 4202560 72 0 0 0 18 3 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228477758504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7199] ppid=7178 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7185/task/7199/stat : 7199 (java) S 7178 7185 7140 0 -1 4202560 45 0 0 0 16 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228476705448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7200] ppid=7178 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/7185/task/7200/stat : 7200 (java) S 7178 7185 7140 0 -1 4202560 79 0 0 0 17 3 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228475652904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7202] ppid=7178 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7185/task/7202/stat : 7202 (java) S 7178 7185 7140 0 -1 4202560 61 0 0 0 14 4 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228474599848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7203] ppid=7178 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7185/task/7203/stat : 7203 (java) S 7178 7185 7140 0 -1 4202560 52 0 0 0 16 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228473547304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7204] ppid=7178 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/7185/task/7204/stat : 7204 (java) S 7178 7185 7140 0 -1 4202560 45 0 0 0 21 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228472494248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7205] ppid=7178 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/7185/task/7205/stat : 7205 (java) S 7178 7185 7140 0 -1 4202560 55 0 0 0 15 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228471441704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7207] ppid=7178 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/7185/task/7207/stat : 7207 (java) S 7178 7185 7140 0 -1 4202560 74 0 0 0 1 1 0 0 20 0 19 0 40456460 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228340702056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7209] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7209/stat : 7209 (java) S 7178 7185 7140 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228339648376 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7211] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7211/stat : 7211 (java) S 7178 7185 7140 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228338595208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7213] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7213/stat : 7213 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228337543952 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7216] ppid=7178 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/7185/task/7216/stat : 7216 (java) S 7178 7185 7140 0 -1 4202560 7095 0 1 0 74 0 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228336490808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7218] ppid=7178 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/7185/task/7218/stat : 7218 (java) S 7178 7185 7140 0 -1 4202560 14469 0 1 0 139 3 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228335438264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7220] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7220/stat : 7220 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227460983032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7221] ppid=7178 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/7185/task/7221/stat : 7221 (java) S 7178 7185 7140 0 -1 4202560 103 0 0 0 26 28 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227459930696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7222] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7222/stat : 7222 (java) S 7178 7185 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40456519 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227458876968 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 7185 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.1 s]
/proc/loadavg: 2.07 2.06 2.00 2/194 7300
/proc/meminfo: memFree=31444524/32872528 swapFree=303544/319896
[pid=7185] ppid=7178 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/7185/stat : 7185 (java) S 7178 7185 7140 0 -1 4202496 25943 0 29 0 179949 51 0 0 20 0 19 0 40456436 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140734723241136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7185/statm: 2406260 92672 2286 9 0 2396937 0
[pid=7185/tid=7189] ppid=7178 vsize=9625040 CPUtime=1791.23 cores=0,2,4,6
/proc/7185/task/7189/stat : 7189 (java) R 7178 7185 7140 0 -1 4202560 2482 0 7 0 179090 33 0 0 20 0 19 0 40456447 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228517310160 140228350889391 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0
[pid=7185/tid=7194] ppid=7178 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7185/task/7194/stat : 7194 (java) S 7178 7185 7140 0 -1 4202560 69 0 0 0 18 3 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228478811048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7197] ppid=7178 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7185/task/7197/stat : 7197 (java) S 7178 7185 7140 0 -1 4202560 72 0 0 0 18 3 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228477758504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7199] ppid=7178 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7185/task/7199/stat : 7199 (java) S 7178 7185 7140 0 -1 4202560 45 0 0 0 16 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228476705448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7200] ppid=7178 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/7185/task/7200/stat : 7200 (java) S 7178 7185 7140 0 -1 4202560 79 0 0 0 17 3 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228475652904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7202] ppid=7178 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7185/task/7202/stat : 7202 (java) S 7178 7185 7140 0 -1 4202560 61 0 0 0 14 4 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228474599848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7203] ppid=7178 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7185/task/7203/stat : 7203 (java) S 7178 7185 7140 0 -1 4202560 52 0 0 0 16 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228473547304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7204] ppid=7178 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/7185/task/7204/stat : 7204 (java) S 7178 7185 7140 0 -1 4202560 45 0 0 0 21 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228472494248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7205] ppid=7178 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/7185/task/7205/stat : 7205 (java) S 7178 7185 7140 0 -1 4202560 55 0 0 0 15 2 0 0 20 0 19 0 40456454 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228471441704 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7207] ppid=7178 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/7185/task/7207/stat : 7207 (java) S 7178 7185 7140 0 -1 4202560 74 0 0 0 1 1 0 0 20 0 19 0 40456460 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228340702056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7209] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7209/stat : 7209 (java) S 7178 7185 7140 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228339648376 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7211] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7211/stat : 7211 (java) S 7178 7185 7140 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40456465 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228338595208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7213] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7213/stat : 7213 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228337543952 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7216] ppid=7178 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/7185/task/7216/stat : 7216 (java) S 7178 7185 7140 0 -1 4202560 7095 0 1 0 74 0 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228336490808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7185/tid=7218] ppid=7178 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/7185/task/7218/stat : 7218 (java) S 7178 7185 7140 0 -1 4202560 14469 0 1 0 139 3 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140228335438264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7220] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7220/stat : 7220 (java) S 7178 7185 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227460983032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7185/tid=7221] ppid=7178 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/7185/task/7221/stat : 7221 (java) S 7178 7185 7140 0 -1 4202560 103 0 0 0 26 28 0 0 20 0 19 0 40456477 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227459930696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7222] ppid=7178 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7222/stat : 7222 (java) S 7178 7185 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40456519 9856040960 92672 33554432000 1073741824 1073778376 140734723250000 140227458876968 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1797.18
CPU time (s): 1800
CPU user time (s): 1799.49
CPU system time (s): 0.51
CPU usage (%): 100.157
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.95
system time used= 1.03884
maximum resident set size= 377292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25992
page faults= 29
swaps= 0
block input operations= 18648
block output operations= 1200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38930
involuntary context switches= 24375

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2054 second user time and 13.9009 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-20 02:54:58
IDJOB=4110619
IDBENCH=108115
IDSOLVER=2546
FILE ID=node128/4110619-1466384097
RUNJOBID= node128-1466384097-7156
PBS_JOBID= 19923268
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110619-1466384097/watcher-4110619-1466384097 -o /tmp/evaluation-result-4110619-1466384097/solver-4110619-1466384097 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466384097-7156 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4110619-1466384097.opb

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

MD5SUM BENCH= b4797c584af9b805dff74fff95a4b350
RANDOM SEED=433929270

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.768
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31828824 kB
Buffers:             932 kB
Cached:            16120 kB
SwapCached:          960 kB
Active:             9968 kB
Inactive:           7384 kB
Active(anon):       3664 kB
Inactive(anon):      272 kB
Active(file):       6304 kB
Inactive(file):     7112 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67098156 kB
Dirty:              2412 kB
Writeback:             0 kB
AnonPages:        321044 kB
Mapped:             6628 kB
Shmem:                 0 kB
Slab:             572124 kB
SReclaimable:      15064 kB
SUnreclaim:       557060 kB
KernelStack:        1352 kB
PageTables:         4328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     416528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71708 MiB
End job on node128 at 2016-06-20 03:24:55