Trace number 4090865

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.76 1783.36

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM95c5d91e3a0ca992efaa2a36118a1c06
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark2.49262
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints160
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Top cost 8094
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 8093
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090865-1466066008.wbo
0.09/0.11	c reading problem ... 
0.28/0.25	c ... done. Wall clock time 0.135s.
0.28/0.25	c declared #vars     3150
0.28/0.25	c internal #vars     3310
0.28/0.25	c #constraints  160
0.28/0.25	c constraints type 
0.28/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
0.28/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.28/0.25	c 160 constraints processed.
0.28/0.25	c objective function length is 160 literals
0.83/0.52	c SATISFIABLE
0.83/0.52	c OPTIMIZING...
0.83/0.52	c Got one! Elapsed wall clock time (in seconds):0.409
0.83/0.52	o 225
1.26/0.87	c cleaning 2683 clauses out of 5379 with flag 20276/5379
1.62/1.12	c Got one! Elapsed wall clock time (in seconds):1.004
1.62/1.12	o 218
1.62/1.13	c Got one! Elapsed wall clock time (in seconds):1.022
1.62/1.13	o 165
1.62/1.16	c Got one! Elapsed wall clock time (in seconds):1.051
1.62/1.16	o 153
2.22/1.56	c cleaning 4467 clauses out of 8939 with flag 18801/11622
2.52/1.84	c Got one! Elapsed wall clock time (in seconds):1.726
2.52/1.84	o 116
2.99/2.27	c cleaning 5087 clauses out of 10193 with flag 20520/17343
2.99/2.30	c Got one! Elapsed wall clock time (in seconds):2.183
2.99/2.30	o 113
3.10/2.31	c Got one! Elapsed wall clock time (in seconds):2.199
3.10/2.31	o 108
3.23/2.41	c Got one! Elapsed wall clock time (in seconds):2.299
3.23/2.41	o 101
3.23/2.43	c Got one! Elapsed wall clock time (in seconds):2.319
3.23/2.43	o 81
3.74/2.96	c cleaning 5740 clauses out of 11499 with flag 30382/23736
4.55/3.73	c cleaning 5869 clauses out of 11759 with flag 74032/29736
5.37/4.58	c cleaning 6439 clauses out of 12892 with flag 125186/36738
6.56/5.75	c cleaning 7216 clauses out of 14451 with flag 190181/44736
8.05/7.29	c cleaning 8107 clauses out of 16237 with flag 267276/53738
9.95/9.10	c cleaning 9053 clauses out of 18128 with flag 353007/63736
11.97/11.12	c cleaning 10033 clauses out of 20080 with flag 441244/74741
14.17/13.37	c cleaning 11018 clauses out of 22047 with flag 534361/86741
15.36/14.50	c Got one! Elapsed wall clock time (in seconds):14.391
15.36/14.50	o 79
15.36/14.52	c Got one! Elapsed wall clock time (in seconds):14.405
15.36/14.52	o 75
16.56/15.77	c cleaning 11548 clauses out of 23123 with flag 40818/98835
17.05/16.25	c cleaning 8773 clauses out of 17578 with flag 87008/104838
18.09/17.20	c cleaning 7870 clauses out of 15802 with flag 145926/111835
19.39/18.60	c cleaning 7935 clauses out of 15932 with flag 216208/119835
20.88/20.09	c cleaning 8461 clauses out of 16997 with flag 290704/128835
23.08/22.24	c cleaning 9243 clauses out of 18538 with flag 388723/138837
25.38/24.59	c cleaning 10111 clauses out of 20295 with flag 488564/149837
27.68/26.81	c cleaning 11062 clauses out of 22183 with flag 592065/161836
30.38/29.54	c cleaning 12027 clauses out of 24120 with flag 710697/174835
33.68/32.82	c cleaning 13013 clauses out of 26093 with flag 839624/188835
36.98/36.17	c cleaning 14008 clauses out of 28080 with flag 971124/203835
41.06/40.19	c cleaning 15002 clauses out of 30072 with flag 1118101/219835
45.26/44.35	c cleaning 16003 clauses out of 32072 with flag 1280808/236837
45.46/44.56	c Got one! Elapsed wall clock time (in seconds):44.45
45.46/44.56	o 69
45.56/44.60	c Got one! Elapsed wall clock time (in seconds):44.488
45.56/44.60	o 49
45.56/44.61	c Got one! Elapsed wall clock time (in seconds):44.499
45.56/44.61	o 33
45.86/44.98	c cleaning 11420 clauses out of 22856 with flag 32674/243624
46.36/45.42	c cleaning 8709 clauses out of 17435 with flag 72464/249623
46.86/45.93	c Got one! Elapsed wall clock time (in seconds):45.82
46.86/45.93	o 30
47.56/46.62	c cleaning 10239 clauses out of 20491 with flag 33906/261388
48.06/47.15	c cleaning 8121 clauses out of 16254 with flag 76356/267390
48.66/47.72	c cleaning 7556 clauses out of 15132 with flag 123000/274389
49.36/48.44	c cleaning 7781 clauses out of 15576 with flag 174988/282389
50.26/49.31	c cleaning 8392 clauses out of 16796 with flag 237961/291390
51.36/50.42	c cleaning 9193 clauses out of 18402 with flag 308334/301388
52.66/51.72	c cleaning 10096 clauses out of 20209 with flag 388775/312388
54.26/53.32	c cleaning 11048 clauses out of 22114 with flag 482344/324389
54.86/53.92	c Got one! Elapsed wall clock time (in seconds):53.803
54.86/53.92	o 29
55.66/54.70	c cleaning 10789 clauses out of 21593 with flag 33330/334916
56.16/55.21	c cleaning 8373 clauses out of 16801 with flag 77391/340913
56.84/55.85	c cleaning 7691 clauses out of 15427 with flag 123571/347912
57.74/56.75	c cleaning 7842 clauses out of 15736 with flag 173546/355912
58.35/57.32	c Got one! Elapsed wall clock time (in seconds):57.203
58.35/57.32	o 28
58.64/57.67	c cleaning 9092 clauses out of 18197 with flag 33990/366215
59.04/58.08	c cleaning 7544 clauses out of 15105 with flag 76450/372215
59.54/58.58	c cleaning 7261 clauses out of 14561 with flag 127328/379215
60.45/59.43	c cleaning 7638 clauses out of 15301 with flag 192100/387216
61.44/60.43	c cleaning 8314 clauses out of 16662 with flag 260793/396215
62.54/61.59	c cleaning 9158 clauses out of 18348 with flag 339603/406215
63.94/62.90	c cleaning 10078 clauses out of 20191 with flag 432517/417216
64.64/63.62	c Got one! Elapsed wall clock time (in seconds):63.509
64.64/63.62	o 23
64.95/63.97	c cleaning 10860 clauses out of 21730 with flag 33210/428833
65.34/64.39	c cleaning 8432 clauses out of 16871 with flag 73618/434834
65.66/64.61	c Got one! Elapsed wall clock time (in seconds):64.5
65.66/64.61	o 16
65.66/64.69	c cleaning 6896 clauses out of 13800 with flag 6483/440195
66.15/65.19	c cleaning 6445 clauses out of 12904 with flag 46450/446195
66.75/65.76	c cleaning 6721 clauses out of 13459 with flag 88163/453195
67.55/66.53	c cleaning 7362 clauses out of 14739 with flag 144703/461196
68.76/67.64	c cleaning 8181 clauses out of 16378 with flag 220965/470197
69.96/68.86	c cleaning 9092 clauses out of 18196 with flag 316531/480196
71.36/70.25	c cleaning 10047 clauses out of 20103 with flag 420209/491195
73.16/72.05	c cleaning 11022 clauses out of 22056 with flag 532377/503195
75.06/73.90	c Got one! Elapsed wall clock time (in seconds):73.788
75.06/73.90	o 15
76.16/75.01	c cleaning 13990 clauses out of 27984 with flag 38836/520145
76.96/75.87	c cleaning 9992 clauses out of 19993 with flag 95000/526144
77.86/76.73	c cleaning 8489 clauses out of 17001 with flag 161342/533144
78.66/77.51	c cleaning 8251 clauses out of 16513 with flag 230846/541145
79.55/78.45	c cleaning 8627 clauses out of 17262 with flag 298189/550145
80.65/79.51	c cleaning 9309 clauses out of 18634 with flag 375527/560144
81.85/80.76	c cleaning 10159 clauses out of 20325 with flag 448807/571144
83.55/82.40	c cleaning 11078 clauses out of 22167 with flag 534724/583145
85.35/84.20	c cleaning 12038 clauses out of 24089 with flag 629243/596145
87.58/86.35	c cleaning 13017 clauses out of 26050 with flag 725994/610144
89.18/87.97	c cleaning 13999 clauses out of 28034 with flag 841693/625145
91.78/90.58	c cleaning 14997 clauses out of 30034 with flag 987920/641144
95.48/94.23	c cleaning 15996 clauses out of 32037 with flag 1135108/658144
99.58/98.36	c cleaning 16996 clauses out of 34041 with flag 1295021/676144
104.38/103.13	c cleaning 18001 clauses out of 36046 with flag 1462156/695145
109.40/108.01	c cleaning 19002 clauses out of 38044 with flag 1643383/715144
114.30/112.97	c cleaning 19997 clauses out of 40042 with flag 1814803/736144
119.60/118.22	c cleaning 20998 clauses out of 42046 with flag 2008383/758145
125.20/123.86	c cleaning 22003 clauses out of 44048 with flag 2195890/781145
132.90/131.51	c cleaning 23000 clauses out of 46045 with flag 2403941/805145
138.49/137.04	c cleaning 24007 clauses out of 48047 with flag 2618191/830147
143.69/142.24	c cleaning 24997 clauses out of 50037 with flag 2790476/856144
146.80/145.38	c Got one! Elapsed wall clock time (in seconds):145.27
146.80/145.38	o 12
147.51/146.09	c cleaning 23793 clauses out of 47632 with flag 32803/878736
148.21/146.71	c cleaning 14898 clauses out of 29841 with flag 76394/884738
148.81/147.39	c cleaning 10942 clauses out of 21941 with flag 133762/891736
149.61/148.13	c cleaning 9480 clauses out of 19003 with flag 197940/899740
150.41/148.98	c cleaning 9231 clauses out of 18519 with flag 267123/908736
151.51/150.06	c cleaning 9624 clauses out of 19289 with flag 337786/918737
152.60/151.17	c cleaning 10307 clauses out of 20665 with flag 428868/929737
154.25/152.66	c cleaning 11153 clauses out of 22357 with flag 516994/941736
155.95/154.37	c cleaning 12080 clauses out of 24204 with flag 613741/954736
157.45/155.87	c cleaning 13040 clauses out of 26124 with flag 717316/968736
159.45/157.89	c cleaning 14025 clauses out of 28084 with flag 816587/983736
162.35/160.73	c cleaning 15006 clauses out of 30062 with flag 952516/999739
165.44/163.87	c cleaning 16009 clauses out of 32053 with flag 1091090/1016736
169.06/167.40	c cleaning 17006 clauses out of 34045 with flag 1232633/1034737
173.06/171.37	c cleaning 18001 clauses out of 36040 with flag 1377327/1053738
174.46/172.79	c Got one! Elapsed wall clock time (in seconds):172.674
174.46/172.79	o 11
175.07/173.31	c cleaning 18054 clauses out of 36133 with flag 33923/1071832
175.68/173.97	c cleaning 12022 clauses out of 24078 with flag 78687/1077831
176.47/174.78	c cleaning 9510 clauses out of 19055 with flag 125981/1084830
177.27/175.53	c cleaning 8761 clauses out of 17545 with flag 177648/1092830
178.07/176.35	c cleaning 8866 clauses out of 17785 with flag 233280/1101831
178.88/177.17	c cleaning 9430 clauses out of 18918 with flag 298110/1111830
180.41/178.59	c cleaning 10208 clauses out of 20487 with flag 382239/1122829
181.91/180.10	c cleaning 11108 clauses out of 22280 with flag 485103/1134830
183.71/181.80	c cleaning 12057 clauses out of 24171 with flag 594631/1147829
185.81/183.94	c cleaning 13031 clauses out of 26118 with flag 716512/1161833
188.41/186.52	c cleaning 14015 clauses out of 28086 with flag 843499/1176832
191.22/189.36	c cleaning 15006 clauses out of 30068 with flag 970468/1192829
194.11/192.24	c cleaning 16016 clauses out of 32062 with flag 1106546/1209829
197.13/195.15	c cleaning 17011 clauses out of 34048 with flag 1240950/1227831
198.83/196.81	c Got one! Elapsed wall clock time (in seconds):196.694
198.83/196.81	o 10
199.23/197.25	c cleaning 18008 clauses out of 36027 with flag 34025/1246821
199.63/197.64	c cleaning 11981 clauses out of 24020 with flag 70277/1252822
200.23/198.25	c cleaning 9489 clauses out of 19039 with flag 119631/1259822
200.93/198.96	c cleaning 8745 clauses out of 17549 with flag 171703/1267821
201.93/199.93	c cleaning 8876 clauses out of 17806 with flag 247284/1276823
202.83/200.88	c cleaning 9441 clauses out of 18929 with flag 318936/1286822
204.03/202.00	c cleaning 10215 clauses out of 20489 with flag 393280/1297823
205.51/203.42	c cleaning 11110 clauses out of 22273 with flag 487925/1309822
206.51/204.44	c cleaning 12066 clauses out of 24163 with flag 583121/1322822
208.21/206.19	c cleaning 13035 clauses out of 26096 with flag 689058/1336821
210.41/208.30	c cleaning 14012 clauses out of 28062 with flag 805099/1351822
212.91/210.87	c cleaning 15007 clauses out of 30050 with flag 940084/1367822
215.91/213.83	c cleaning 16007 clauses out of 32043 with flag 1087685/1384822
219.43/217.22	c cleaning 17005 clauses out of 34035 with flag 1241529/1402821
223.34/221.19	c cleaning 18003 clauses out of 36032 with flag 1387876/1421823
226.13/223.99	c cleaning 18994 clauses out of 38028 with flag 1514658/1441822
229.63/227.45	c cleaning 20000 clauses out of 40034 with flag 1649651/1462822
232.03/229.80	c cleaning 21000 clauses out of 42035 with flag 1796300/1484823
236.22/233.94	c cleaning 21995 clauses out of 44033 with flag 1944339/1507821
241.13/238.84	c cleaning 23002 clauses out of 46041 with flag 2107906/1531824
246.32/244.09	c cleaning 23998 clauses out of 48038 with flag 2284940/1556823
250.62/248.29	c cleaning 24989 clauses out of 50039 with flag 2450703/1582822
255.53/253.15	c cleaning 25998 clauses out of 52050 with flag 2624454/1609822
258.93/256.57	c cleaning 27009 clauses out of 54054 with flag 2814428/1637824
264.53/262.13	c cleaning 28008 clauses out of 56043 with flag 3023565/1666822
268.75/266.27	c cleaning 28993 clauses out of 58034 with flag 3214158/1696821
275.74/273.22	c cleaning 29994 clauses out of 60041 with flag 3439098/1727821
283.24/280.70	c cleaning 30998 clauses out of 62049 with flag 3693069/1759823
289.07/286.41	c cleaning 31995 clauses out of 64049 with flag 3924713/1792821
293.67/291.08	c cleaning 33005 clauses out of 66054 with flag 4146911/1826821
301.64/298.96	c cleaning 34001 clauses out of 68049 with flag 4402118/1861821
307.44/304.75	c cleaning 35006 clauses out of 70049 with flag 4649256/1897822
312.65/309.89	c cleaning 35994 clauses out of 72042 with flag 4906709/1934821
319.55/316.72	c cleaning 37002 clauses out of 74049 with flag 5138075/1972822
326.19/323.21	c cleaning 38022 clauses out of 76047 with flag 5400103/2011822
332.19/329.22	c cleaning 38994 clauses out of 78025 with flag 5654918/2051822
338.99/335.98	c cleaning 39993 clauses out of 80031 with flag 5954258/2092822
348.09/345.02	c cleaning 40970 clauses out of 82037 with flag 6254130/2134821
356.48/353.36	c cleaning 42032 clauses out of 84067 with flag 6531902/2177821
365.38/362.24	c cleaning 43007 clauses out of 86035 with flag 6788045/2221821
373.80/370.51	c cleaning 44007 clauses out of 88028 with flag 7106800/2266821
382.80/379.45	c cleaning 44989 clauses out of 90022 with flag 7377269/2312822
392.81/389.46	c cleaning 45996 clauses out of 92033 with flag 7650049/2359822
403.42/399.93	c cleaning 46987 clauses out of 94036 with flag 7952121/2407821
415.10/411.55	c cleaning 47986 clauses out of 96051 with flag 8233706/2456823
424.30/420.74	c cleaning 49012 clauses out of 98063 with flag 8551739/2506821
435.09/431.43	c cleaning 50000 clauses out of 100052 with flag 8867134/2557822
447.63/443.82	c cleaning 51007 clauses out of 102052 with flag 9172936/2609822
461.05/457.13	c cleaning 52018 clauses out of 104045 with flag 9477514/2662822
474.46/470.56	c cleaning 52993 clauses out of 106026 with flag 9792946/2716821
486.52/482.59	c cleaning 54006 clauses out of 108034 with flag 10125727/2771822
500.31/496.30	c cleaning 54988 clauses out of 110027 with flag 10446734/2827821
513.76/509.68	c cleaning 55996 clauses out of 112040 with flag 10784928/2884822
527.75/523.55	c cleaning 57010 clauses out of 114043 with flag 11204364/2942821
541.07/536.74	c cleaning 58006 clauses out of 116033 with flag 11605155/3001821
554.67/550.24	c cleaning 59014 clauses out of 118028 with flag 11987274/3061822
570.75/566.12	c cleaning 59996 clauses out of 120013 with flag 12355370/3122821
586.37/581.66	c cleaning 60990 clauses out of 122019 with flag 12728848/3184823
603.95/599.17	c cleaning 62004 clauses out of 124027 with flag 13098242/3247821
625.51/620.66	c cleaning 62990 clauses out of 126025 with flag 13592622/3311823
643.19/638.13	c cleaning 64011 clauses out of 128034 with flag 14087452/3376822
661.98/656.87	c cleaning 64993 clauses out of 130022 with flag 14476820/3442821
682.13/676.89	c cleaning 66010 clauses out of 132029 with flag 14872344/3509821
704.79/699.40	c cleaning 66998 clauses out of 134021 with flag 15331840/3577823
722.80/717.30	c cleaning 67998 clauses out of 136021 with flag 15824148/3646821
744.25/738.59	c cleaning 69008 clauses out of 138024 with flag 16249684/3716822
762.51/756.64	c cleaning 69985 clauses out of 140016 with flag 16701183/3787822
784.50/778.45	c cleaning 71002 clauses out of 142031 with flag 17136513/3859822
804.69/798.47	c cleaning 72011 clauses out of 144028 with flag 17618014/3932821
828.26/821.82	c cleaning 73005 clauses out of 146017 with flag 18068531/4006821
853.62/847.05	c cleaning 74001 clauses out of 148014 with flag 18517541/4081823
879.10/872.37	c cleaning 75001 clauses out of 150012 with flag 18970559/4157822
904.48/897.58	c cleaning 75995 clauses out of 152010 with flag 19436348/4234821
926.06/918.98	c cleaning 76997 clauses out of 154016 with flag 19975142/4312822
950.77/943.46	c cleaning 77991 clauses out of 156019 with flag 20457552/4391822
978.84/971.23	c cleaning 79002 clauses out of 158027 with flag 20941004/4471821
1006.82/999.05	c cleaning 80002 clauses out of 160026 with flag 21434487/4552822
1034.89/1026.83	c cleaning 81001 clauses out of 162024 with flag 21934528/4634822
1064.30/1056.08	c cleaning 81999 clauses out of 164023 with flag 22451591/4717822
1094.55/1086.11	c cleaning 83003 clauses out of 166024 with flag 22967925/4801822
1124.14/1115.46	c cleaning 84008 clauses out of 168020 with flag 23493620/4886821
1156.05/1147.12	c cleaning 84993 clauses out of 170014 with flag 24026461/4972823
1188.51/1179.32	c cleaning 86002 clauses out of 172022 with flag 24553400/5059824
1216.55/1207.04	c cleaning 86993 clauses out of 174020 with flag 25104352/5147824
1247.45/1237.61	c cleaning 88007 clauses out of 176024 with flag 25659474/5236821
1279.57/1269.30	c cleaning 88997 clauses out of 178018 with flag 26215835/5326822
1313.84/1303.20	c cleaning 89995 clauses out of 180021 with flag 26781658/5417822
1348.26/1337.26	c cleaning 91006 clauses out of 182026 with flag 27347219/5509822
1383.72/1372.22	c cleaning 91992 clauses out of 184019 with flag 27924484/5602821
1419.77/1407.87	c cleaning 93013 clauses out of 186027 with flag 28518263/5696821
1454.27/1441.80	c cleaning 93999 clauses out of 188015 with flag 29115068/5791822
1492.51/1479.66	c cleaning 94997 clauses out of 190019 with flag 29715041/5887825
1530.19/1516.76	c cleaning 96009 clauses out of 192019 with flag 30318494/5984822
1567.96/1554.02	c cleaning 97006 clauses out of 194012 with flag 30939990/6082824
1606.58/1592.20	c cleaning 97989 clauses out of 196004 with flag 31581524/6181822
1642.69/1627.88	c cleaning 98997 clauses out of 198018 with flag 32220696/6281825
1683.91/1668.65	c cleaning 99999 clauses out of 200017 with flag 32857685/6382821
1724.60/1708.74	c cleaning 101001 clauses out of 202019 with flag 33507091/6484822
1764.31/1747.93	c cleaning 101989 clauses out of 204019 with flag 34176767/6587823
1800.08/1783.30	c starts		: 43805
1800.08/1783.30	c conflicts		: 6683627
1800.08/1783.30	c decisions		: 71297234
1800.08/1783.30	c propagations		: 329908219
1800.08/1783.30	c inspects		: 26380390309
1800.08/1783.30	c shortcuts		: 0
1800.08/1783.30	c learnt literals	: 0
1800.08/1783.30	c learnt binary clauses	: 0
1800.08/1783.30	c learnt ternary clauses	: 0
1800.08/1783.30	c learnt constraints	: 6683627
1800.08/1783.30	c ignored constraints	: 0
1800.08/1783.30	c root simplifications	: 0
1800.08/1783.30	c removed literals (reason simplification)	: 0
1800.08/1783.30	c reason swapping (by a shorter reason)	: 0
1800.08/1783.30	c Calls to reduceDB	: 205
1800.08/1783.30	c Number of update (reduction) of LBD	: 2878443
1800.08/1783.30	c Imported unit clauses	: 0
1800.08/1783.30	c number of reductions to clauses (during analyze)	: 0
1800.08/1783.30	c number of learned constraints concerned by reduction	: 0
1800.08/1783.30	c number of learning phase by resolution	: 0
1800.08/1783.30	c number of learning phase by cutting planes	: 0
1800.08/1783.30	c speed (assignments/second)	: 185024.65943187237
1800.08/1783.30	c non guided choices	684974
1800.08/1783.33	c learnt constraints type 
1800.08/1783.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 197834
1800.08/1783.33	s SATISFIABLE
1800.08/1783.33	c Found 23 solution(s)
1800.08/1783.34	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 
1800.08/1783.34	c objective function=10
1800.08/1783.34	c Total wall clock time (in seconds): 1783.231

Verifier Data 

OK	10

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-4090865-1466066008/watcher-4090865-1466066008 -o /tmp/evaluation-result-4090865-1466066008/solver-4090865-1466066008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466062131-13168 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090865-1466066008.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.21 2.16 3/194 14312
/proc/meminfo: memFree=30131184/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14312/stat : 14312 (java) D 14309 14312 13151 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 8649408 9515008 185 33554432000 1073741824 1073778376 140734034462608 140734034451672 272877317415 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2323 185 143 9 0 71 0

[startup+0.100167 s]
/proc/loadavg: 2.19 2.21 2.16 3/194 14312
/proc/meminfo: memFree=30131184/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 8649408 9787879424 6031 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200331 s]
/proc/loadavg: 2.19 2.21 2.16 3/194 14312
/proc/meminfo: memFree=30131184/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 4989 0 1 0 27 1 0 0 20 0 18 0 8649408 9787879424 6979 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2389619 6979 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300351 s]
/proc/loadavg: 2.19 2.21 2.16 3/194 14312
/proc/meminfo: memFree=30131184/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 6476 0 1 0 49 1 0 0 20 0 19 0 8649408 9856040960 9429 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2406260 9429 2247 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.700167 s]
/proc/loadavg: 2.19 2.21 2.16 3/194 14312
/proc/meminfo: memFree=30131184/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 8026 0 1 0 114 2 0 0 20 0 19 0 8649408 9856040960 10702 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2406260 10702 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.19 2.21 2.16 4/213 14331
/proc/meminfo: memFree=30091924/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 11199 0 1 0 219 3 0 0 20 0 19 0 8649408 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2406260 13714 2262 9 0 2396937 0
[pid=14312/tid=14314] ppid=14309 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/14312/task/14314/stat : 14314 (java) R 14309 14312 13151 0 -1 4202560 2414 0 1 0 145 1 0 0 20 0 19 0 8649409 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718520242504 139718390448112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14315] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14315/stat : 14315 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718509304872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14316] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14316/stat : 14316 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718362348456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14317] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14317/stat : 14317 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718361295656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14318] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14318/stat : 14318 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718360242856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14319] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14319/stat : 14319 (java) S 14309 14312 13151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718359190056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14320] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14320/stat : 14320 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718358137256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14321] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14321/stat : 14321 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718357084456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14322] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14322/stat : 14322 (java) S 14309 14312 13151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718356031656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14323] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14323/stat : 14323 (java) S 14309 14312 13151 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718343834600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14324] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14324/stat : 14324 (java) S 14309 14312 13151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718342780664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14325] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14325/stat : 14325 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718341727752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14326] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14326/stat : 14326 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718340676240 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14327] ppid=14309 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/14312/task/14327/stat : 14327 (java) S 14309 14312 13151 0 -1 4202560 3128 0 0 0 33 0 0 0 20 0 19 0 8649414 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718339623352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14328] ppid=14309 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/14312/task/14328/stat : 14328 (java) S 14309 14312 13151 0 -1 4202560 4383 0 0 0 39 0 0 0 20 0 19 0 8649414 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718338570552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14329] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14329/stat : 14329 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718337517944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14330] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14330/stat : 14330 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718336465352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14331] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14331/stat : 14331 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649434 9856040960 13714 33554432000 1073741824 1073778376 140734034462608 139718335411880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.19 2.21 2.16 3/213 14331
/proc/meminfo: memFree=30077228/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9625040 CPUtime=3.95 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 11886 0 1 0 392 3 0 0 20 0 19 0 8649408 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2406260 17842 2262 9 0 2396937 0
[pid=14312/tid=14314] ppid=14309 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/14312/task/14314/stat : 14314 (java) R 14309 14312 13151 0 -1 4202560 2422 0 1 0 303 1 0 0 20 0 19 0 8649409 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718520242320 139718390448231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14315] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14315/stat : 14315 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718509304872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14316] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14316/stat : 14316 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718362348456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14317] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14317/stat : 14317 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718361295656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14318] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14318/stat : 14318 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718360242856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14319] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14319/stat : 14319 (java) S 14309 14312 13151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718359190056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14320] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14320/stat : 14320 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718358137256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14321] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14321/stat : 14321 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718357084456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14322] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14322/stat : 14322 (java) S 14309 14312 13151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718356031656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14323] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14323/stat : 14323 (java) S 14309 14312 13151 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718343834600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14324] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14324/stat : 14324 (java) S 14309 14312 13151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718342780664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14325] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14325/stat : 14325 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718341727752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14326] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14326/stat : 14326 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718340676240 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14327] ppid=14309 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/14312/task/14327/stat : 14327 (java) S 14309 14312 13151 0 -1 4202560 3774 0 0 0 39 0 0 0 20 0 19 0 8649414 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718339623352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14328] ppid=14309 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14312/task/14328/stat : 14328 (java) S 14309 14312 13151 0 -1 4202560 4416 0 0 0 47 0 0 0 20 0 19 0 8649414 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718338570552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14329] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14329/stat : 14329 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718337517944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14330] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14330/stat : 14330 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718336465352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14331] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14331/stat : 14331 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649434 9856040960 17842 33554432000 1073741824 1073778376 140734034462608 139718335411880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.17 2.21 2.15 3/213 14331
/proc/meminfo: memFree=30048188/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9625040 CPUtime=7.15 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 11900 0 1 0 711 4 0 0 20 0 19 0 8649408 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2406260 23906 2262 9 0 2396937 0
[pid=14312/tid=14314] ppid=14309 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/14312/task/14314/stat : 14314 (java) R 14309 14312 13151 0 -1 4202560 2436 0 1 0 622 2 0 0 20 0 19 0 8649409 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718520233680 139718390466131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14315] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14315/stat : 14315 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718509304872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14316] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14316/stat : 14316 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718362348456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14317] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14317/stat : 14317 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718361295656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14318] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14318/stat : 14318 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718360242856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14319] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14319/stat : 14319 (java) S 14309 14312 13151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718359190056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14320] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14320/stat : 14320 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718358137256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14321] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14321/stat : 14321 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718357084456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14322] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14322/stat : 14322 (java) S 14309 14312 13151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8649410 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718356031656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14323] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14323/stat : 14323 (java) S 14309 14312 13151 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718343834600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14324] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14324/stat : 14324 (java) S 14309 14312 13151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718342780664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14325] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14325/stat : 14325 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718341727752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14326] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14326/stat : 14326 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718340676240 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14327] ppid=14309 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/14312/task/14327/stat : 14327 (java) S 14309 14312 13151 0 -1 4202560 3774 0 0 0 39 0 0 0 20 0 19 0 8649414 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718339623352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14328] ppid=14309 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14312/task/14328/stat : 14328 (java) S 14309 14312 13151 0 -1 4202560 4416 0 0 0 47 0 0 0 20 0 19 0 8649414 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718338570552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14329] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14329/stat : 14329 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718337517944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14330] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14330/stat : 14330 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718336465352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14331] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14331/stat : 14331 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649434 9856040960 23906 33554432000 1073741824 1073778376 140734034462608 139718335411880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9625040


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

[pid=14312/tid=14324] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14324/stat : 14324 (java) S 14309 14312 13151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 96599 33554432000 1073741824 1073778376 140734034462608 139718342780664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14325] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14325/stat : 14325 (java) S 14309 14312 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 96599 33554432000 1073741824 1073778376 140734034462608 139718341727752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14326] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14326/stat : 14326 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 96599 33554432000 1073741824 1073778376 140734034462608 139718340676240 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14327] ppid=14309 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/14312/task/14327/stat : 14327 (java) S 14309 14312 13151 0 -1 4202560 3864 0 0 0 41 0 0 0 20 0 19 0 8649414 9856040960 96599 33554432000 1073741824 1073778376 140734034462608 139718339623352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14328] ppid=14309 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/14312/task/14328/stat : 14328 (java) S 14309 14312 13151 0 -1 4202560 4424 0 0 0 51 0 0 0 20 0 19 0 8649414 9856040960 96599 33554432000 1073741824 1073778376 140734034462608 139718338570552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14329] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14329/stat : 14329 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 96599 33554432000 1073741824 1073778376 140734034462608 139718337517944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14330] ppid=14309 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/14312/task/14330/stat : 14330 (java) S 14309 14312 13151 0 -1 4202560 99 0 0 0 22 34 0 0 20 0 19 0 8649414 9856040960 96599 33554432000 1073741824 1073778376 140734034462608 139718336465352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14331] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14331/stat : 14331 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649434 9856040960 96599 33554432000 1073741824 1073778376 140734034462608 139718335411880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1738.4
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/213 14462
/proc/meminfo: memFree=29703916/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9625040 CPUtime=1799.08 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 21564 0 1 0 179782 126 0 0 20 0 19 0 8649408 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2406260 86138 2286 9 0 2396937 0
[pid=14312/tid=14314] ppid=14309 vsize=9625040 CPUtime=1771.77 cores=1,3,5,7
/proc/14312/task/14314/stat : 14314 (java) R 14309 14312 13151 0 -1 4202560 2691 0 1 0 177144 33 0 0 20 0 19 0 8649409 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718520241488 139718390442157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14315] ppid=14309 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/14312/task/14315/stat : 14315 (java) S 14309 14312 13151 0 -1 4202560 987 0 0 0 258 12 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718509304872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14316] ppid=14309 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/14312/task/14316/stat : 14316 (java) S 14309 14312 13151 0 -1 4202560 1199 0 0 0 265 11 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718362348456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14317] ppid=14309 vsize=9625040 CPUtime=2.62 cores=1,3,5,7
/proc/14312/task/14317/stat : 14317 (java) S 14309 14312 13151 0 -1 4202560 1331 0 0 0 253 9 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718361295656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14318] ppid=14309 vsize=9625040 CPUtime=2.78 cores=1,3,5,7
/proc/14312/task/14318/stat : 14318 (java) S 14309 14312 13151 0 -1 4202560 1100 0 0 0 267 11 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718360242856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14319] ppid=14309 vsize=9625040 CPUtime=2.71 cores=1,3,5,7
/proc/14312/task/14319/stat : 14319 (java) S 14309 14312 13151 0 -1 4202560 656 0 0 0 258 13 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718359190056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14320] ppid=14309 vsize=9625040 CPUtime=2.71 cores=1,3,5,7
/proc/14312/task/14320/stat : 14320 (java) S 14309 14312 13151 0 -1 4202560 763 0 0 0 261 10 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718358137256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14321] ppid=14309 vsize=9625040 CPUtime=2.83 cores=1,3,5,7
/proc/14312/task/14321/stat : 14321 (java) S 14309 14312 13151 0 -1 4202560 1147 0 0 0 274 9 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718357084456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14322] ppid=14309 vsize=9625040 CPUtime=2.72 cores=1,3,5,7
/proc/14312/task/14322/stat : 14322 (java) S 14309 14312 13151 0 -1 4202560 1295 0 0 0 261 11 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718356031656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14323] ppid=14309 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/14312/task/14323/stat : 14323 (java) S 14309 14312 13151 0 -1 4202560 746 0 0 0 420 6 0 0 20 0 19 0 8649411 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718343834600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14324] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14324/stat : 14324 (java) S 14309 14312 13151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718342780664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14325] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14325/stat : 14325 (java) S 14309 14312 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718341727752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14326] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14326/stat : 14326 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718340676240 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14327] ppid=14309 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/14312/task/14327/stat : 14327 (java) S 14309 14312 13151 0 -1 4202560 3864 0 0 0 41 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718339623352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14328] ppid=14309 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/14312/task/14328/stat : 14328 (java) S 14309 14312 13151 0 -1 4202560 4424 0 0 0 51 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718338570552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14329] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14329/stat : 14329 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718337517944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14330] ppid=14309 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/14312/task/14330/stat : 14330 (java) S 14309 14312 13151 0 -1 4202560 103 0 0 0 23 36 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718336465352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14331] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14331/stat : 14331 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649434 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718335411880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/213 14462
/proc/meminfo: memFree=29723092/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 21564 0 1 0 179882 126 0 0 20 0 19 0 8649408 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2406260 86138 2286 9 0 2396937 0
[pid=14312/tid=14314] ppid=14309 vsize=9625040 CPUtime=1772.77 cores=1,3,5,7
/proc/14312/task/14314/stat : 14314 (java) R 14309 14312 13151 0 -1 4202560 2691 0 1 0 177244 33 0 0 20 0 19 0 8649409 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718520241488 139718390470703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14315] ppid=14309 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/14312/task/14315/stat : 14315 (java) S 14309 14312 13151 0 -1 4202560 987 0 0 0 258 12 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718509304872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14316] ppid=14309 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/14312/task/14316/stat : 14316 (java) S 14309 14312 13151 0 -1 4202560 1199 0 0 0 265 11 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718362348456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14317] ppid=14309 vsize=9625040 CPUtime=2.62 cores=1,3,5,7
/proc/14312/task/14317/stat : 14317 (java) S 14309 14312 13151 0 -1 4202560 1331 0 0 0 253 9 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718361295656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14318] ppid=14309 vsize=9625040 CPUtime=2.78 cores=1,3,5,7
/proc/14312/task/14318/stat : 14318 (java) S 14309 14312 13151 0 -1 4202560 1100 0 0 0 267 11 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718360242856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14319] ppid=14309 vsize=9625040 CPUtime=2.71 cores=1,3,5,7
/proc/14312/task/14319/stat : 14319 (java) S 14309 14312 13151 0 -1 4202560 656 0 0 0 258 13 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718359190056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14320] ppid=14309 vsize=9625040 CPUtime=2.71 cores=1,3,5,7
/proc/14312/task/14320/stat : 14320 (java) S 14309 14312 13151 0 -1 4202560 763 0 0 0 261 10 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718358137256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14321] ppid=14309 vsize=9625040 CPUtime=2.83 cores=1,3,5,7
/proc/14312/task/14321/stat : 14321 (java) S 14309 14312 13151 0 -1 4202560 1147 0 0 0 274 9 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718357084456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14322] ppid=14309 vsize=9625040 CPUtime=2.72 cores=1,3,5,7
/proc/14312/task/14322/stat : 14322 (java) S 14309 14312 13151 0 -1 4202560 1295 0 0 0 261 11 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718356031656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14323] ppid=14309 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/14312/task/14323/stat : 14323 (java) S 14309 14312 13151 0 -1 4202560 746 0 0 0 420 6 0 0 20 0 19 0 8649411 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718343834600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14324] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14324/stat : 14324 (java) S 14309 14312 13151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718342780664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14325] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14325/stat : 14325 (java) S 14309 14312 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718341727752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14326] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14326/stat : 14326 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718340676240 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14327] ppid=14309 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/14312/task/14327/stat : 14327 (java) S 14309 14312 13151 0 -1 4202560 3864 0 0 0 41 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718339623352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14328] ppid=14309 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/14312/task/14328/stat : 14328 (java) S 14309 14312 13151 0 -1 4202560 4424 0 0 0 51 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718338570552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14329] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14329/stat : 14329 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718337517944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14330] ppid=14309 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/14312/task/14330/stat : 14330 (java) S 14309 14312 13151 0 -1 4202560 103 0 0 0 23 36 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718336465352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14331] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14331/stat : 14331 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649434 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718335411880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 14312 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1783.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/213 14462
/proc/meminfo: memFree=29723092/32872528 swapFree=1243920/1391088
[pid=14312] ppid=14309 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/14312/stat : 14312 (java) S 14309 14312 13151 0 -1 4202496 21564 0 1 0 179882 126 0 0 20 0 19 0 8649408 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 140734034453744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14312/statm: 2406260 86138 2286 9 0 2396937 0
[pid=14312/tid=14314] ppid=14309 vsize=9625040 CPUtime=1772.77 cores=1,3,5,7
/proc/14312/task/14314/stat : 14314 (java) R 14309 14312 13151 0 -1 4202560 2691 0 1 0 177244 33 0 0 20 0 19 0 8649409 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718520241488 139718390470703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14315] ppid=14309 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/14312/task/14315/stat : 14315 (java) S 14309 14312 13151 0 -1 4202560 987 0 0 0 258 12 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718509304872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14316] ppid=14309 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/14312/task/14316/stat : 14316 (java) S 14309 14312 13151 0 -1 4202560 1199 0 0 0 265 11 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718362348456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14317] ppid=14309 vsize=9625040 CPUtime=2.62 cores=1,3,5,7
/proc/14312/task/14317/stat : 14317 (java) S 14309 14312 13151 0 -1 4202560 1331 0 0 0 253 9 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718361295656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14318] ppid=14309 vsize=9625040 CPUtime=2.78 cores=1,3,5,7
/proc/14312/task/14318/stat : 14318 (java) S 14309 14312 13151 0 -1 4202560 1100 0 0 0 267 11 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718360242856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14319] ppid=14309 vsize=9625040 CPUtime=2.71 cores=1,3,5,7
/proc/14312/task/14319/stat : 14319 (java) S 14309 14312 13151 0 -1 4202560 656 0 0 0 258 13 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718359190056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14320] ppid=14309 vsize=9625040 CPUtime=2.71 cores=1,3,5,7
/proc/14312/task/14320/stat : 14320 (java) S 14309 14312 13151 0 -1 4202560 763 0 0 0 261 10 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718358137256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14321] ppid=14309 vsize=9625040 CPUtime=2.83 cores=1,3,5,7
/proc/14312/task/14321/stat : 14321 (java) S 14309 14312 13151 0 -1 4202560 1147 0 0 0 274 9 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718357084456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14322] ppid=14309 vsize=9625040 CPUtime=2.72 cores=1,3,5,7
/proc/14312/task/14322/stat : 14322 (java) S 14309 14312 13151 0 -1 4202560 1295 0 0 0 261 11 0 0 20 0 19 0 8649410 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718356031656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14323] ppid=14309 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/14312/task/14323/stat : 14323 (java) S 14309 14312 13151 0 -1 4202560 746 0 0 0 420 6 0 0 20 0 19 0 8649411 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718343834600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14324] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14324/stat : 14324 (java) S 14309 14312 13151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718342780664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14325] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14325/stat : 14325 (java) S 14309 14312 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8649411 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718341727752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14326] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14326/stat : 14326 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718340676240 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14327] ppid=14309 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/14312/task/14327/stat : 14327 (java) S 14309 14312 13151 0 -1 4202560 3864 0 0 0 41 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718339623352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14312/tid=14328] ppid=14309 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/14312/task/14328/stat : 14328 (java) S 14309 14312 13151 0 -1 4202560 4424 0 0 0 51 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718338570552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14312/tid=14329] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14329/stat : 14329 (java) S 14309 14312 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718337517944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14312/tid=14330] ppid=14309 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/14312/task/14330/stat : 14330 (java) S 14309 14312 13151 0 -1 4202560 103 0 0 0 23 36 0 0 20 0 19 0 8649414 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718336465352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14312/tid=14331] ppid=14309 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14312/task/14331/stat : 14331 (java) S 14309 14312 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8649434 9856040960 86138 33554432000 1073741824 1073778376 140734034462608 139718335411880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1783.36
CPU time (s): 1800.76
CPU user time (s): 1799.01
CPU system time (s): 1.75273
CPU usage (%): 100.976
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.75273
maximum resident set size= 586472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21609
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44386
involuntary context switches= 49165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1843 second user time and 12.923 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-16 10:33:28
IDJOB=4090865
IDBENCH=79156
IDSOLVER=2551
FILE ID=node119/4090865-1466066008
RUNJOBID= node119-1466062131-13168
PBS_JOBID= 19904019
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090865-1466066008/watcher-4090865-1466066008 -o /tmp/evaluation-result-4090865-1466066008/solver-4090865-1466066008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466062131-13168 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090865-1466066008.wbo

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

MD5SUM BENCH= 95c5d91e3a0ca992efaa2a36118a1c06
RANDOM SEED=376934499

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30131184 kB
Buffers:            6820 kB
Cached:            52748 kB
SwapCached:          932 kB
Active:           621692 kB
Inactive:          28240 kB
Active(anon):     591588 kB
Inactive(anon):     1324 kB
Active(file):      30104 kB
Inactive(file):    26916 kB
Unevictable:     1391088 kB
Mlocked:         1243920 kB
SwapTotal:      67108856 kB
SwapFree:       67100084 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:       1982816 kB
Mapped:            15340 kB
Shmem:                 0 kB
Slab:             565376 kB
SReclaimable:       9276 kB
SUnreclaim:       556100 kB
KernelStack:        1592 kB
PageTables:         8276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2466136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    708608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node119 at 2016-06-16 11:03:11