Trace number 4099768

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)20 1800.69 1796.26

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM019e5a614038472d624f56ab4ecfb30e
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark42.7875
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint11
Maximum length of a constraint82
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.10	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4099768-1466206230.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.30/0.28	c ... done. Wall clock time 0.179s.
0.30/0.28	c declared #vars     2754
0.30/0.29	c #constraints  486
0.30/0.29	c constraints type 
0.30/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 486
0.30/0.29	c 486 constraints processed.
0.30/0.29	c objective function length is 168 literals
0.89/0.47	c SATISFIABLE
0.89/0.47	c OPTIMIZING...
0.89/0.47	c Got one! Elapsed wall clock time (in seconds):0.363
0.89/0.47	o 32
1.20/0.52	c Got one! Elapsed wall clock time (in seconds):0.41
1.20/0.52	o 28
1.92/0.91	c cleaning 2618 clauses out of 5237 with flag 14189/5237
2.36/1.33	c cleaning 4305 clauses out of 8617 with flag 29036/11235
2.86/1.84	c cleaning 5656 clauses out of 11313 with flag 48046/18236
3.37/2.36	c cleaning 6827 clauses out of 13656 with flag 71309/26235
4.39/3.03	c cleaning 7913 clauses out of 15829 with flag 94719/35235
5.39/3.63	c cleaning 8957 clauses out of 17916 with flag 119758/45235
6.09/4.40	c cleaning 9977 clauses out of 19959 with flag 148958/56235
7.09/5.32	c cleaning 10991 clauses out of 21983 with flag 180600/68236
8.09/6.34	c cleaning 11994 clauses out of 23991 with flag 215196/81235
9.19/7.45	c cleaning 12995 clauses out of 25998 with flag 251453/95236
10.49/8.78	c cleaning 13998 clauses out of 28002 with flag 290866/110235
12.08/10.37	c cleaning 14998 clauses out of 30004 with flag 335334/126235
13.58/11.90	c cleaning 16000 clauses out of 32007 with flag 378419/143236
15.38/13.62	c cleaning 17001 clauses out of 34010 with flag 426807/161239
17.29/15.55	c cleaning 17996 clauses out of 36005 with flag 476672/180235
19.18/17.42	c cleaning 19003 clauses out of 38009 with flag 530754/200235
21.28/19.54	c cleaning 20000 clauses out of 40006 with flag 590359/221235
23.38/21.69	c cleaning 21001 clauses out of 42006 with flag 646651/243235
25.78/24.05	c cleaning 22000 clauses out of 44006 with flag 707949/266236
28.58/26.83	c cleaning 22993 clauses out of 46006 with flag 772546/290236
31.31/29.50	c cleaning 23998 clauses out of 48012 with flag 846012/315235
34.11/32.34	c cleaning 25005 clauses out of 50014 with flag 917136/341235
37.12/35.35	c cleaning 26000 clauses out of 52010 with flag 992814/368236
40.71/39.00	c cleaning 27005 clauses out of 54011 with flag 1071422/396237
44.72/42.91	c cleaning 27997 clauses out of 56004 with flag 1151825/425235
47.61/45.80	c cleaning 28988 clauses out of 58008 with flag 1242759/455236
50.71/48.96	c cleaning 30000 clauses out of 60019 with flag 1332426/486235
53.51/51.75	c cleaning 31004 clauses out of 62020 with flag 1412907/518236
55.84/54.01	c Got one! Elapsed wall clock time (in seconds):53.908
55.84/54.01	o 27
55.84/54.03	c Got one! Elapsed wall clock time (in seconds):53.922
55.84/54.03	o 26
56.26/54.49	c cleaning 30817 clauses out of 61641 with flag 13758/548861
56.76/54.90	c cleaning 18406 clauses out of 36825 with flag 29931/554862
57.07/55.27	c cleaning 12699 clauses out of 25419 with flag 49027/561862
57.57/55.79	c cleaning 10348 clauses out of 20719 with flag 75241/569861
58.17/56.33	c cleaning 9677 clauses out of 19371 with flag 100562/578861
58.77/56.94	c cleaning 9844 clauses out of 19694 with flag 126705/588861
59.47/57.65	c cleaning 10424 clauses out of 20850 with flag 155169/599861
60.28/58.49	c cleaning 11204 clauses out of 22426 with flag 185432/611861
61.28/59.47	c cleaning 12110 clauses out of 24222 with flag 219903/624861
62.28/60.49	c cleaning 13056 clauses out of 26113 with flag 258736/638862
63.48/61.63	c cleaning 14025 clauses out of 28056 with flag 295950/653861
64.68/62.87	c cleaning 15014 clauses out of 30031 with flag 335281/669861
66.08/64.28	c cleaning 16002 clauses out of 32017 with flag 377702/686861
67.68/65.80	c cleaning 17007 clauses out of 34015 with flag 422852/704861
69.38/67.50	c cleaning 18001 clauses out of 36009 with flag 471446/723862
71.18/69.32	c cleaning 18998 clauses out of 38008 with flag 525399/743862
72.98/71.11	c cleaning 20002 clauses out of 40010 with flag 580468/764862
74.88/73.07	c cleaning 20998 clauses out of 42007 with flag 636089/786861
76.98/75.14	c cleaning 22001 clauses out of 44012 with flag 696131/809864
79.18/77.31	c cleaning 22996 clauses out of 46009 with flag 760636/833862
81.48/79.63	c cleaning 24005 clauses out of 48012 with flag 824947/858861
83.78/81.96	c cleaning 24987 clauses out of 50009 with flag 890043/884863
89.37/87.58	c cleaning 25984 clauses out of 52020 with flag 946415/911861
92.67/90.82	c cleaning 27006 clauses out of 54036 with flag 1017911/939861
95.07/93.26	c cleaning 28010 clauses out of 56031 with flag 1092756/968862
97.87/96.01	c cleaning 29003 clauses out of 58020 with flag 1172311/998861
100.77/98.97	c cleaning 30002 clauses out of 60017 with flag 1254816/1029861
102.97/101.19	c Got one! Elapsed wall clock time (in seconds):101.088
102.97/101.19	o 25
103.09/101.21	c Got one! Elapsed wall clock time (in seconds):101.108
103.09/101.21	o 24
103.51/101.62	c cleaning 28978 clauses out of 57985 with flag 15156/1057831
103.91/102.04	c cleaning 17492 clauses out of 35008 with flag 30761/1063832
104.41/102.50	c cleaning 12250 clauses out of 24517 with flag 47809/1070833
105.01/103.12	c cleaning 10118 clauses out of 20266 with flag 69519/1078832
105.33/103.46	c Got one! Elapsed wall clock time (in seconds):103.358
105.33/103.46	o 23
105.68/103.73	c cleaning 11237 clauses out of 22494 with flag 12842/1091178
105.98/104.02	c cleaning 8619 clauses out of 17257 with flag 27125/1097178
106.28/104.35	c cleaning 7808 clauses out of 15637 with flag 47908/1104177
106.78/104.81	c cleaning 7908 clauses out of 15832 with flag 69753/1112180
107.28/105.33	c cleaning 8456 clauses out of 16922 with flag 99683/1121178
107.88/105.90	c cleaning 9221 clauses out of 18465 with flag 126037/1131177
108.58/106.63	c cleaning 10119 clauses out of 20244 with flag 155511/1142177
109.28/107.39	c cleaning 11057 clauses out of 22126 with flag 185443/1154178
110.28/108.37	c cleaning 12032 clauses out of 24068 with flag 218483/1167177
111.38/109.47	c cleaning 13016 clauses out of 26036 with flag 254361/1181177
112.67/110.74	c cleaning 14009 clauses out of 28020 with flag 292468/1196177
113.77/111.87	c cleaning 14997 clauses out of 30011 with flag 331695/1212177
115.07/113.15	c cleaning 16003 clauses out of 32015 with flag 374236/1229178
116.48/114.56	c cleaning 17007 clauses out of 34013 with flag 421728/1247179
118.17/116.23	c cleaning 17996 clauses out of 36005 with flag 472416/1266178
119.97/118.01	c cleaning 18998 clauses out of 38009 with flag 524550/1286178
121.77/119.88	c cleaning 20004 clauses out of 40011 with flag 579076/1307178
123.97/122.02	c cleaning 21001 clauses out of 42009 with flag 634472/1329180
126.07/124.17	c cleaning 22003 clauses out of 44005 with flag 693598/1352177
128.67/126.76	c cleaning 22997 clauses out of 46002 with flag 755207/1376177
131.27/129.36	c cleaning 23998 clauses out of 48006 with flag 820320/1401178
133.87/131.97	c cleaning 24996 clauses out of 50007 with flag 895060/1427177
136.77/134.89	c cleaning 26006 clauses out of 52013 with flag 966852/1454179
139.87/137.91	c cleaning 26998 clauses out of 54006 with flag 1039713/1482178
142.97/141.03	c cleaning 27999 clauses out of 56007 with flag 1119822/1511177
146.37/144.42	c cleaning 29002 clauses out of 58008 with flag 1197661/1541177
149.97/148.10	c cleaning 29996 clauses out of 60006 with flag 1279634/1572177
153.47/151.58	c cleaning 31004 clauses out of 62010 with flag 1364369/1604177
157.68/155.75	c cleaning 32003 clauses out of 64006 with flag 1446182/1637177
161.38/159.41	c cleaning 32996 clauses out of 66003 with flag 1567444/1671177
165.40/163.44	c cleaning 33999 clauses out of 68007 with flag 1718960/1706177
169.40/167.49	c cleaning 34989 clauses out of 70008 with flag 1813389/1742177
173.80/171.88	c cleaning 36000 clauses out of 72020 with flag 1912142/1779178
178.30/176.39	c cleaning 37004 clauses out of 74019 with flag 2011188/1817177
183.40/181.42	c cleaning 37999 clauses out of 76016 with flag 2132533/1856178
188.70/186.72	c cleaning 39004 clauses out of 78016 with flag 2257787/1896177
194.30/192.31	c cleaning 40001 clauses out of 80012 with flag 2388318/1937177
199.90/197.90	c cleaning 41001 clauses out of 82011 with flag 2510497/1979177
205.70/203.79	c cleaning 41998 clauses out of 84010 with flag 2640172/2022177
211.80/209.82	c cleaning 43003 clauses out of 86014 with flag 2781765/2066179
216.71/214.75	c cleaning 44002 clauses out of 88009 with flag 2905008/2111177
220.01/218.08	c Got one! Elapsed wall clock time (in seconds):217.976
220.01/218.08	o 22
220.71/218.72	c cleaning 36849 clauses out of 73698 with flag 15554/2140868
221.11/219.13	c cleaning 21422 clauses out of 42849 with flag 28955/2146868
221.71/219.76	c cleaning 14200 clauses out of 28427 with flag 43958/2153868
222.21/220.24	c cleaning 11099 clauses out of 22228 with flag 61428/2161869
222.71/220.72	c cleaning 10047 clauses out of 20128 with flag 88037/2170868
223.41/221.47	c cleaning 10032 clauses out of 20082 with flag 115561/2180869
224.22/222.24	c cleaning 10518 clauses out of 21050 with flag 145737/2191869
225.11/223.14	c cleaning 11265 clauses out of 22532 with flag 178008/2203869
226.11/224.11	c cleaning 12125 clauses out of 24266 with flag 213371/2216868
227.03/225.10	c cleaning 13060 clauses out of 26141 with flag 249391/2230868
228.13/226.18	c cleaning 14039 clauses out of 28081 with flag 290395/2245868
229.23/227.29	c cleaning 15020 clauses out of 30042 with flag 329804/2261868
230.53/228.55	c cleaning 16006 clauses out of 32022 with flag 371111/2278868
232.13/230.12	c cleaning 17006 clauses out of 34016 with flag 417940/2296868
233.83/231.83	c cleaning 17999 clauses out of 36011 with flag 467712/2315869
235.73/233.70	c cleaning 18998 clauses out of 38011 with flag 522009/2335868
237.63/235.67	c cleaning 20005 clauses out of 40013 with flag 576967/2356868
239.73/237.80	c cleaning 21002 clauses out of 42009 with flag 633976/2378869
242.23/240.21	c cleaning 22001 clauses out of 44007 with flag 696176/2401869
244.52/242.57	c cleaning 23003 clauses out of 46006 with flag 758809/2425869
247.02/245.00	c cleaning 23999 clauses out of 48003 with flag 824903/2450869
249.63/247.70	c cleaning 24986 clauses out of 50004 with flag 892631/2476869
252.32/250.30	c cleaning 26009 clauses out of 52018 with flag 969660/2503869
254.92/252.99	c cleaning 27000 clauses out of 54009 with flag 1042287/2531869
258.02/256.05	c cleaning 28001 clauses out of 56010 with flag 1118214/2560870
261.42/259.44	c cleaning 28999 clauses out of 58008 with flag 1207430/2590869
265.02/263.01	c cleaning 30001 clauses out of 60008 with flag 1299505/2621868
268.71/266.73	c cleaning 31004 clauses out of 62009 with flag 1387937/2653870
272.31/270.38	c cleaning 31996 clauses out of 64003 with flag 1477123/2686868
276.41/274.40	c cleaning 32998 clauses out of 66010 with flag 1572505/2720871
279.41/277.46	c cleaning 34002 clauses out of 68009 with flag 1657949/2755868
283.62/281.66	c cleaning 34996 clauses out of 70008 with flag 1751575/2791869
288.81/286.80	c cleaning 36001 clauses out of 72011 with flag 1847678/2828868
294.63/292.70	c cleaning 36991 clauses out of 74010 with flag 1949719/2866868
299.13/297.17	c Got one! Elapsed wall clock time (in seconds):297.065
299.13/297.17	o 21
300.13/298.20	c cleaning 37558 clauses out of 75122 with flag 17325/2904971
301.12/299.17	c cleaning 21776 clauses out of 43563 with flag 33469/2910970
301.92/299.92	c cleaning 14382 clauses out of 28787 with flag 52744/2917970
302.52/300.56	c cleaning 11196 clauses out of 22406 with flag 73830/2925971
303.22/301.21	c cleaning 10102 clauses out of 20211 with flag 96551/2934972
303.92/301.91	c cleaning 10045 clauses out of 20107 with flag 123852/2944970
304.72/302.70	c cleaning 10525 clauses out of 21063 with flag 152443/2955971
305.52/303.57	c cleaning 11268 clauses out of 22538 with flag 182868/2967971
306.52/304.51	c cleaning 12132 clauses out of 24269 with flag 215638/2980970
307.52/305.55	c cleaning 13069 clauses out of 26137 with flag 251798/2994970
308.72/306.77	c cleaning 14029 clauses out of 28068 with flag 291598/3009970
310.02/308.09	c cleaning 15020 clauses out of 30039 with flag 337007/3025970
311.72/309.77	c cleaning 16008 clauses out of 32019 with flag 382723/3042970
313.53/311.57	c cleaning 16995 clauses out of 34011 with flag 429294/3060970
315.03/313.04	c cleaning 17995 clauses out of 36016 with flag 478312/3079970
317.13/315.10	c cleaning 19000 clauses out of 38022 with flag 521053/3099971
320.63/318.65	c cleaning 20000 clauses out of 40021 with flag 563294/3120970
325.53/323.55	c cleaning 20993 clauses out of 42021 with flag 608243/3142970
331.12/329.14	c cleaning 22003 clauses out of 44029 with flag 654716/3165971
336.02/334.04	c cleaning 23002 clauses out of 46027 with flag 703320/3189972
342.12/340.17	c cleaning 23996 clauses out of 48025 with flag 753933/3214972
344.82/342.89	c cleaning 25008 clauses out of 50028 with flag 822556/3240971
347.22/345.25	c cleaning 26003 clauses out of 52019 with flag 897438/3267970
349.62/347.67	c cleaning 27001 clauses out of 54017 with flag 972432/3295971
352.02/350.00	c cleaning 28003 clauses out of 56016 with flag 1047643/3324971
354.42/352.41	c cleaning 29005 clauses out of 58012 with flag 1140254/3354970
356.82/354.87	c cleaning 30002 clauses out of 60007 with flag 1223652/3385970
360.06/358.06	c cleaning 30997 clauses out of 62006 with flag 1309190/3417971
363.36/361.37	c cleaning 32004 clauses out of 64010 with flag 1395842/3450972
366.76/364.78	c cleaning 32995 clauses out of 66005 with flag 1480633/3484971
370.46/368.43	c cleaning 33999 clauses out of 68012 with flag 1572738/3519973
373.87/371.81	c cleaning 35002 clauses out of 70011 with flag 1666971/3555971
377.46/375.44	c cleaning 36001 clauses out of 72008 with flag 1765244/3592970
381.36/379.31	c cleaning 37003 clauses out of 74008 with flag 1866163/3630971
385.46/383.41	c cleaning 37998 clauses out of 76004 with flag 1964437/3669970
389.06/387.02	c cleaning 38993 clauses out of 78008 with flag 2066369/3709972
393.26/391.28	c cleaning 39998 clauses out of 80015 with flag 2173730/3750972
398.26/396.23	c cleaning 41004 clauses out of 82016 with flag 2284018/3792971
403.46/401.49	c cleaning 42002 clauses out of 84012 with flag 2390431/3835971
408.45/406.46	c cleaning 42994 clauses out of 86010 with flag 2501737/3879971
413.76/411.72	c cleaning 44004 clauses out of 88016 with flag 2617363/3924971
419.65/417.61	c cleaning 44998 clauses out of 90011 with flag 2737492/3970970
426.31/424.24	c cleaning 46005 clauses out of 92014 with flag 2857471/4017971
431.51/429.46	c cleaning 46992 clauses out of 94008 with flag 2979333/4065970
437.41/435.39	c cleaning 48007 clauses out of 96019 with flag 3115761/4114973
444.41/442.32	c cleaning 48997 clauses out of 98009 with flag 3250190/4164970
450.61/448.54	c cleaning 50001 clauses out of 100013 with flag 3381672/4215971
458.02/455.99	c cleaning 51005 clauses out of 102012 with flag 3513219/4267971
464.82/462.71	c cleaning 51992 clauses out of 104006 with flag 3654783/4320970
471.22/469.11	c cleaning 53004 clauses out of 106015 with flag 3793885/4374971
478.62/476.56	c cleaning 53999 clauses out of 108011 with flag 3930197/4429971
485.92/483.88	c cleaning 55001 clauses out of 110013 with flag 4073162/4485972
493.72/491.66	c cleaning 55996 clauses out of 112010 with flag 4218475/4542970
502.03/499.85	c cleaning 57003 clauses out of 114015 with flag 4376283/4600971
510.83/508.67	c cleaning 58000 clauses out of 116014 with flag 4538067/4659973
517.83/515.60	c cleaning 58993 clauses out of 118011 with flag 4688687/4719970
526.23/524.06	c cleaning 60005 clauses out of 120018 with flag 4847656/4780970
534.43/532.24	c cleaning 61003 clauses out of 122014 with flag 5003702/4842971
543.43/541.22	c cleaning 62000 clauses out of 124011 with flag 5167676/4905971
552.83/550.63	c cleaning 62999 clauses out of 126010 with flag 5333524/4969970
562.93/560.72	c cleaning 63995 clauses out of 128012 with flag 5498168/5034971
573.84/571.68	c cleaning 65002 clauses out of 130018 with flag 5666128/5100972
584.51/582.24	c cleaning 65998 clauses out of 132014 with flag 5832654/5167970
595.62/593.34	c cleaning 67002 clauses out of 134017 with flag 6010815/5235971
605.82/603.54	c cleaning 67999 clauses out of 136015 with flag 6191305/5304971
618.62/616.34	c cleaning 68995 clauses out of 138015 with flag 6376614/5374970
629.62/627.34	c cleaning 69999 clauses out of 140021 with flag 6563869/5445971
640.82/638.59	c cleaning 71004 clauses out of 142022 with flag 6751020/5517971
651.82/649.57	c cleaning 72005 clauses out of 144017 with flag 6933960/5590970
664.26/661.86	c cleaning 72999 clauses out of 146012 with flag 7123058/5664970
677.47/675.01	c cleaning 73992 clauses out of 148014 with flag 7321563/5739971
690.86/688.45	c cleaning 75006 clauses out of 150021 with flag 7524055/5815970
703.86/701.48	c cleaning 76002 clauses out of 152015 with flag 7720486/5892970
716.37/713.95	c cleaning 77002 clauses out of 154013 with flag 7910914/5970970
729.17/726.73	c cleaning 77998 clauses out of 156012 with flag 8108820/6049971
743.60/741.00	c cleaning 79005 clauses out of 158015 with flag 8315849/6129972
758.80/756.24	c cleaning 80003 clauses out of 160009 with flag 8522932/6210971
774.61/772.09	c cleaning 81000 clauses out of 162005 with flag 8730672/6292970
790.31/787.79	c cleaning 81998 clauses out of 164006 with flag 8956465/6375971
804.30/801.73	c cleaning 82998 clauses out of 166008 with flag 9182577/6459971
821.90/819.34	c cleaning 84001 clauses out of 168010 with flag 9409379/6544971
839.36/836.76	c cleaning 84994 clauses out of 170008 with flag 9644541/6630970
855.57/852.95	c cleaning 86005 clauses out of 172017 with flag 9869939/6717973
868.77/866.11	c Got one! Elapsed wall clock time (in seconds):866.0
868.77/866.11	o 20
870.50/867.85	c cleaning 83311 clauses out of 166632 with flag 15879/6798593
871.50/868.82	c cleaning 44651 clauses out of 89321 with flag 36167/6804593
872.20/869.51	c cleaning 25830 clauses out of 51669 with flag 59682/6811592
872.81/870.10	c cleaning 16914 clauses out of 33840 with flag 85301/6819593
873.40/870.75	c cleaning 12954 clauses out of 25925 with flag 112949/6828592
874.10/871.42	c cleaning 11472 clauses out of 22971 with flag 141272/6838592
874.90/872.20	c cleaning 11224 clauses out of 22499 with flag 173726/6849592
875.60/872.98	c cleaning 11629 clauses out of 23275 with flag 207578/6861592
876.60/873.96	c cleaning 12313 clauses out of 24647 with flag 242956/6874593
877.70/875.07	c cleaning 13163 clauses out of 26333 with flag 282410/6888592
879.10/876.44	c cleaning 14081 clauses out of 28171 with flag 321498/6903593
880.30/877.69	c cleaning 15035 clauses out of 30089 with flag 370061/6919592
881.50/878.87	c cleaning 16017 clauses out of 32054 with flag 419574/6936592
882.81/880.18	c cleaning 17016 clauses out of 34037 with flag 464053/6954592
884.30/881.69	c cleaning 18004 clauses out of 36021 with flag 508945/6973592
885.87/883.14	c cleaning 19004 clauses out of 38017 with flag 557107/6993592
887.67/884.92	c cleaning 19999 clauses out of 40015 with flag 609358/7014594
889.67/886.99	c cleaning 21000 clauses out of 42014 with flag 666166/7036592
891.87/889.17	c cleaning 22003 clauses out of 44015 with flag 726781/7059593
894.07/891.34	c cleaning 23003 clauses out of 46011 with flag 788247/7083592
896.47/893.78	c cleaning 24005 clauses out of 48011 with flag 851142/7108595
898.57/895.85	c cleaning 24996 clauses out of 50003 with flag 918385/7134592
900.87/898.13	c cleaning 26000 clauses out of 52008 with flag 988888/7161593
903.47/900.76	c cleaning 27003 clauses out of 54008 with flag 1064010/7189593
906.07/903.37	c cleaning 27997 clauses out of 56004 with flag 1138017/7218592
909.07/906.39	c cleaning 28994 clauses out of 58007 with flag 1214115/7248592
912.57/909.83	c cleaning 30004 clauses out of 60015 with flag 1292825/7279594
916.07/913.39	c cleaning 30999 clauses out of 62010 with flag 1373626/7311593
919.48/916.77	c cleaning 32000 clauses out of 64010 with flag 1460061/7344592
922.87/920.15	c cleaning 33002 clauses out of 66012 with flag 1543889/7378594
926.88/924.15	c cleaning 33999 clauses out of 68009 with flag 1630902/7413593
930.72/927.98	c cleaning 35001 clauses out of 70009 with flag 1718739/7449592
934.82/932.01	c cleaning 36004 clauses out of 72008 with flag 1811215/7486592
939.32/936.50	c cleaning 36995 clauses out of 74004 with flag 1911507/7524592
943.81/941.05	c cleaning 37999 clauses out of 76010 with flag 2011224/7563593
948.40/945.62	c cleaning 39002 clauses out of 78010 with flag 2111456/7603592
952.50/949.76	c cleaning 39998 clauses out of 80008 with flag 2215584/7644592
956.61/953.83	c cleaning 41000 clauses out of 82010 with flag 2325419/7686592
961.41/958.67	c cleaning 42004 clauses out of 84011 with flag 2439325/7729593
966.81/964.01	c cleaning 42997 clauses out of 86006 with flag 2550103/7773592
972.51/969.73	c cleaning 43996 clauses out of 88010 with flag 2670778/7818593
978.65/975.83	c cleaning 45001 clauses out of 90015 with flag 2789988/7864594
985.25/982.41	c cleaning 45995 clauses out of 92012 with flag 2903306/7911592
991.14/988.33	c cleaning 47004 clauses out of 94018 with flag 3028281/7959593
997.14/994.35	c cleaning 48002 clauses out of 96013 with flag 3158554/8008592
1003.55/1000.76	c cleaning 48998 clauses out of 98011 with flag 3287188/8058592
1010.15/1007.31	c cleaning 50000 clauses out of 100016 with flag 3418924/8109595
1016.95/1014.18	c cleaning 50997 clauses out of 102013 with flag 3556360/8161592
1024.26/1021.46	c cleaning 52007 clauses out of 104017 with flag 3698508/8214593
1031.30/1028.48	c cleaning 53005 clauses out of 106010 with flag 3839801/8268593
1039.30/1036.48	c cleaning 54000 clauses out of 108005 with flag 3978277/8323593
1046.10/1043.25	c cleaning 54994 clauses out of 110004 with flag 4119463/8379592
1053.70/1050.85	c cleaning 56000 clauses out of 112011 with flag 4258457/8436593
1062.51/1059.65	c cleaning 57002 clauses out of 114010 with flag 4401021/8494592
1071.41/1068.59	c cleaning 57996 clauses out of 116008 with flag 4545772/8553592
1081.10/1078.22	c cleaning 59000 clauses out of 118013 with flag 4697273/8613593
1090.20/1087.31	c cleaning 59997 clauses out of 120012 with flag 4852123/8674592
1099.68/1096.79	c cleaning 61008 clauses out of 122015 with flag 5011329/8736592
1110.38/1107.42	c cleaning 62004 clauses out of 124007 with flag 5173594/8799592
1119.49/1116.59	c cleaning 62996 clauses out of 126005 with flag 5344922/8863594
1129.08/1126.10	c cleaning 63998 clauses out of 128007 with flag 5527955/8928592
1138.58/1135.64	c cleaning 65000 clauses out of 130010 with flag 5702113/8994593
1147.18/1144.24	c cleaning 65996 clauses out of 132009 with flag 5873715/9061592
1157.97/1154.91	c cleaning 67004 clauses out of 134013 with flag 6051529/9129592
1168.67/1165.62	c cleaning 67996 clauses out of 136009 with flag 6226686/9198592
1180.97/1177.92	c cleaning 69004 clauses out of 138013 with flag 6421718/9268592
1191.87/1188.81	c cleaning 69998 clauses out of 140009 with flag 6599866/9339592
1203.28/1200.22	c cleaning 71003 clauses out of 142011 with flag 6791383/9411592
1216.65/1213.52	c cleaning 71994 clauses out of 144010 with flag 6994563/9484594
1229.45/1226.32	c cleaning 72997 clauses out of 146014 with flag 7202055/9558592
1242.75/1239.63	c cleaning 74006 clauses out of 148017 with flag 7408927/9633592
1255.55/1252.46	c cleaning 75000 clauses out of 150012 with flag 7625828/9709593
1268.65/1265.53	c cleaning 76001 clauses out of 152012 with flag 7841066/9786593
1283.02/1279.88	c cleaning 77003 clauses out of 154013 with flag 8040830/9864595
1297.02/1293.86	c cleaning 78001 clauses out of 156007 with flag 8243377/9943592
1311.72/1308.59	c cleaning 79000 clauses out of 158007 with flag 8457995/10023593
1325.32/1322.19	c cleaning 79998 clauses out of 160006 with flag 8669587/10104592
1340.32/1337.15	c cleaning 80999 clauses out of 162008 with flag 8876500/10186592
1355.35/1352.15	c cleaning 82000 clauses out of 164010 with flag 9091392/10269593
1369.25/1366.06	c cleaning 82996 clauses out of 166009 with flag 9307587/10353592
1384.86/1381.61	c cleaning 84001 clauses out of 168013 with flag 9531070/10438592
1400.45/1397.25	c cleaning 85002 clauses out of 170013 with flag 9749867/10524593
1417.73/1414.41	c cleaning 86003 clauses out of 172010 with flag 9980240/10611592
1432.34/1429.09	c cleaning 87004 clauses out of 174008 with flag 10212975/10699593
1449.84/1446.58	c cleaning 88000 clauses out of 176003 with flag 10438949/10788592
1468.64/1465.37	c cleaning 89000 clauses out of 178004 with flag 10665759/10878593
1487.75/1484.38	c cleaning 89995 clauses out of 180003 with flag 10896985/10969592
1506.75/1503.31	c cleaning 91000 clauses out of 182009 with flag 11139039/11061593
1527.05/1523.63	c cleaning 92000 clauses out of 184008 with flag 11386294/11154592
1547.06/1543.60	c cleaning 92995 clauses out of 186008 with flag 11629642/11248592
1565.29/1561.77	c cleaning 94001 clauses out of 188014 with flag 11875265/11343593
1586.50/1582.94	c cleaning 95002 clauses out of 190012 with flag 12118325/11439592
1603.70/1600.14	c cleaning 96006 clauses out of 192011 with flag 12363393/11536593
1624.40/1620.75	c cleaning 96998 clauses out of 194004 with flag 12616786/11634592
1643.60/1639.96	c cleaning 98000 clauses out of 196007 with flag 12861924/11733593
1666.00/1662.38	c cleaning 98994 clauses out of 198006 with flag 13110818/11833592
1686.81/1683.13	c cleaning 100001 clauses out of 200012 with flag 13379136/11934592
1708.40/1704.63	c cleaning 101003 clauses out of 202011 with flag 13644019/12036592
1727.50/1723.71	c cleaning 101999 clauses out of 204008 with flag 13904023/12139592
1749.89/1746.16	c cleaning 102996 clauses out of 206009 with flag 14175668/12243592
1772.20/1768.39	c cleaning 104005 clauses out of 208013 with flag 14460251/12348592
1794.29/1790.47	c cleaning 104995 clauses out of 210008 with flag 14754545/12454592
1800.09/1796.20	c starts		: 1862
1800.09/1796.20	c conflicts		: 12493614
1800.09/1796.20	c decisions		: 23649035
1800.09/1796.20	c propagations		: 630920859
1800.09/1796.20	c inspects		: 31093192634
1800.09/1796.20	c shortcuts		: 0
1800.09/1796.20	c learnt literals	: 0
1800.09/1796.20	c learnt binary clauses	: 48
1800.09/1796.20	c learnt ternary clauses	: 107
1800.09/1796.20	c learnt constraints	: 12493614
1800.09/1796.20	c ignored constraints	: 0
1800.09/1796.20	c root simplifications	: 0
1800.09/1796.20	c removed literals (reason simplification)	: 0
1800.09/1796.20	c reason swapping (by a shorter reason)	: 0
1800.09/1796.20	c Calls to reduceDB	: 319
1800.09/1796.20	c Number of update (reduction) of LBD	: 1490663
1800.09/1796.20	c Imported unit clauses	: 0
1800.09/1796.20	c number of reductions to clauses (during analyze)	: 0
1800.09/1796.20	c number of learned constraints concerned by reduction	: 0
1800.09/1796.20	c number of learning phase by resolution	: 0
1800.09/1796.20	c number of learning phase by cutting planes	: 0
1800.09/1796.20	c speed (assignments/second)	: 351310.42921487585
1800.09/1796.20	c non guided choices	1447
1800.09/1796.23	c learnt constraints type 
1800.09/1796.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 48
1800.09/1796.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 143987
1800.09/1796.23	s SATISFIABLE
1800.09/1796.23	c Found 10 solution(s)
1800.09/1796.24	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 
1800.09/1796.24	c objective function=20
1800.09/1796.24	c Total wall clock time (in seconds): 1796.136

Verifier Data 

OK	20

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-4099768-1466206230/watcher-4099768-1466206230 -o /tmp/evaluation-result-4099768-1466206230/solver-4099768-1466206230 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466206086-25993 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099768-1466206230.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 0.87 0.37 3/195 26826
/proc/meminfo: memFree=30317504/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/26826/stat : 26826 (java) R 26823 26826 25977 0 -1 4202496 1043 0 0 0 0 0 0 0 20 0 1 0 22671610 23793664 692 33554432000 1073741824 1073778376 140735897425808 140735897414872 272877271617 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 5809 701 516 9 0 128 0

[startup+0.100061 s]
/proc/loadavg: 1.92 0.87 0.37 3/195 26826
/proc/meminfo: memFree=30317504/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 4409 0 1 0 9 1 0 0 20 0 18 0 22671610 9787879424 6044 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2389619 6044 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.20023 s]
/proc/loadavg: 1.92 0.87 0.37 3/195 26826
/proc/meminfo: memFree=30317504/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 5071 0 1 0 29 1 0 0 20 0 18 0 22671610 9787879424 7129 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2389619 7129 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.30023 s]
/proc/loadavg: 1.92 0.87 0.37 3/195 26826
/proc/meminfo: memFree=30317504/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9558476 CPUtime=0.59 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 10560 0 1 0 57 2 0 0 20 0 18 0 22671610 9787879424 11889 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2389619 11889 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476

[startup+0.700175 s]
/proc/loadavg: 1.92 0.87 0.37 3/195 26826
/proc/meminfo: memFree=30317504/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9625040 CPUtime=1.66 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 11330 0 1 0 163 3 0 0 20 0 19 0 22671610 9856040960 12798 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2406260 12798 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 1.92 0.87 0.37 3/214 26845
/proc/meminfo: memFree=30272668/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9625040 CPUtime=2.56 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 11343 0 1 0 253 3 0 0 20 0 19 0 22671610 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2406260 13832 2261 9 0 2396937 0
[pid=26826/tid=26828] ppid=26823 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/26826/task/26828/stat : 26828 (java) R 26823 26826 25977 0 -1 4202560 2422 0 1 0 145 2 0 0 20 0 19 0 22671611 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695938441392 140695764073154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26829] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26829/stat : 26829 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671611 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695899933480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26830] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26830/stat : 26830 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695898880680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26831] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26831/stat : 26831 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695897828392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26832] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26832/stat : 26832 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695896775592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26833] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26833/stat : 26833 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695895722280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26834] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26834/stat : 26834 (java) S 26823 26826 25977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695894669480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26835] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26835/stat : 26835 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695893617192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26836] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26836/stat : 26836 (java) S 26823 26826 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695892564392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26837] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26837/stat : 26837 (java) S 26823 26826 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695762361064 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26838] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26838/stat : 26838 (java) S 26823 26826 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695761307128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26839] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26839/stat : 26839 (java) S 26823 26826 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695760254728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26840] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26840/stat : 26840 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695759203216 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26841] ppid=26823 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/26826/task/26841/stat : 26841 (java) S 26823 26826 25977 0 -1 4202560 2643 0 0 0 48 0 0 0 20 0 19 0 22671615 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695758149816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26842] ppid=26823 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/26826/task/26842/stat : 26842 (java) S 26823 26826 25977 0 -1 4202560 4999 0 0 0 58 0 0 0 20 0 19 0 22671615 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695757097016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26843] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26843/stat : 26843 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695756044920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26844] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26844/stat : 26844 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695754992328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26845] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26845/stat : 26845 (java) S 26823 26826 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22671640 9856040960 13832 33554432000 1073741824 1073778376 140735897425808 140695753938344 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 1.92 0.87 0.37 3/214 26845
/proc/meminfo: memFree=30268200/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9625040 CPUtime=4.61 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 17755 0 1 0 457 4 0 0 20 0 19 0 22671610 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2406260 18127 2261 9 0 2396937 0
[pid=26826/tid=26828] ppid=26823 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/26826/task/26828/stat : 26828 (java) R 26823 26826 25977 0 -1 4202560 2426 0 1 0 305 2 0 0 20 0 19 0 22671611 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695938439576 140695764192858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26829] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26829/stat : 26829 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671611 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695899933480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26830] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26830/stat : 26830 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695898880680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26831] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26831/stat : 26831 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695897828392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26832] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26832/stat : 26832 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695896775592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26833] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26833/stat : 26833 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695895722280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26834] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26834/stat : 26834 (java) S 26823 26826 25977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695894669480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26835] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26835/stat : 26835 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695893617192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26836] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26836/stat : 26836 (java) S 26823 26826 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695892564392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26837] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26837/stat : 26837 (java) S 26823 26826 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695762361064 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26838] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26838/stat : 26838 (java) S 26823 26826 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695761307128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26839] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26839/stat : 26839 (java) S 26823 26826 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695760254728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26840] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26840/stat : 26840 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695759203216 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26841] ppid=26823 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/26826/task/26841/stat : 26841 (java) R 26823 26826 25977 0 -1 4202560 9050 0 0 0 86 1 0 0 20 0 19 0 22671615 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695758127512 140695940250784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26842] ppid=26823 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/26826/task/26842/stat : 26842 (java) S 26823 26826 25977 0 -1 4202560 5000 0 0 0 64 0 0 0 20 0 19 0 22671615 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695757097016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26843] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26843/stat : 26843 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695756044920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26844] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26844/stat : 26844 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695754992328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26845] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26845/stat : 26845 (java) S 26823 26826 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22671640 9856040960 18127 33554432000 1073741824 1073778376 140735897425808 140695753938344 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.00 0.91 0.39 3/214 26845
/proc/meminfo: memFree=30252140/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9625040 CPUtime=8.09 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 18801 0 1 0 805 4 0 0 20 0 19 0 22671610 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2406260 18622 2262 9 0 2396937 0
[pid=26826/tid=26828] ppid=26823 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/26826/task/26828/stat : 26828 (java) R 26823 26826 25977 0 -1 4202560 2432 0 1 0 625 2 0 0 20 0 19 0 22671611 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695938432704 140695764324327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26829] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26829/stat : 26829 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671611 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695899933480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26830] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26830/stat : 26830 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695898880680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26831] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26831/stat : 26831 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695897828392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26832] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26832/stat : 26832 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695896775592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26833] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26833/stat : 26833 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695895722280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26834] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26834/stat : 26834 (java) S 26823 26826 25977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695894669480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26835] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26835/stat : 26835 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695893617192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26836] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26836/stat : 26836 (java) S 26823 26826 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22671612 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695892564392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26837] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26837/stat : 26837 (java) S 26823 26826 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695762361064 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26838] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26838/stat : 26838 (java) S 26823 26826 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695761307128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26839] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26839/stat : 26839 (java) S 26823 26826 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695760254728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26840] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26840/stat : 26840 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695759203216 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26841] ppid=26823 vsize=9625040 CPUtime=1.15 cores=0,2,4,6
/proc/26826/task/26841/stat : 26841 (java) S 26823 26826 25977 0 -1 4202560 10089 0 0 0 113 2 0 0 20 0 19 0 22671615 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695758149816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26842] ppid=26823 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/26826/task/26842/stat : 26842 (java) S 26823 26826 25977 0 -1 4202560 5000 0 0 0 64 0 0 0 20 0 19 0 22671615 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695757097016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26843] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26843/stat : 26843 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695756044920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26844] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26844/stat : 26844 (java) S 26823 26826 25977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695754992328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26845] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26845/stat : 26845 (java) S 26823 26826 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22671640 9856040960 18622 33554432000 1073741824 1073778376 140735897425808 140695753938344 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 9625040


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

[pid=26826/tid=26838] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26838/stat : 26838 (java) S 26823 26826 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 106695 33554432000 1073741824 1073778376 140735897425808 140695761307128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26839] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26839/stat : 26839 (java) S 26823 26826 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 106695 33554432000 1073741824 1073778376 140735897425808 140695760254728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26840] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26840/stat : 26840 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 106695 33554432000 1073741824 1073778376 140735897425808 140695759203216 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26841] ppid=26823 vsize=9625040 CPUtime=1.32 cores=0,2,4,6
/proc/26826/task/26841/stat : 26841 (java) S 26823 26826 25977 0 -1 4202560 10101 0 0 0 130 2 0 0 20 0 19 0 22671615 9856040960 106695 33554432000 1073741824 1073778376 140735897425808 140695758149816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26842] ppid=26823 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/26826/task/26842/stat : 26842 (java) S 26823 26826 25977 0 -1 4202560 5000 0 0 0 65 0 0 0 20 0 19 0 22671615 9856040960 106695 33554432000 1073741824 1073778376 140735897425808 140695757097016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26843] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26843/stat : 26843 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 106695 33554432000 1073741824 1073778376 140735897425808 140695756044920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26844] ppid=26823 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/26826/task/26844/stat : 26844 (java) S 26823 26826 25977 0 -1 4202560 98 0 0 0 22 22 0 0 20 0 19 0 22671615 9856040960 106695 33554432000 1073741824 1073778376 140735897425808 140695754992328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26845] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26845/stat : 26845 (java) S 26823 26826 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22671640 9856040960 106695 33554432000 1073741824 1073778376 140735897425808 140695753938344 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1666
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.25 2.23 1.91 3/212 27014
/proc/meminfo: memFree=28824152/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9625040 CPUtime=1726.09 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 20167 0 1 0 172557 52 0 0 20 0 19 0 22671610 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2406260 110281 2276 9 0 2396937 0
[pid=26826/tid=26828] ppid=26823 vsize=9625040 CPUtime=1721.49 cores=0,2,4,6
/proc/26826/task/26828/stat : 26828 (java) R 26823 26826 25977 0 -1 4202560 2515 0 1 0 172119 30 0 0 20 0 19 0 22671611 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695938432720 140695764199861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26829] ppid=26823 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/26826/task/26829/stat : 26829 (java) S 26823 26826 25977 0 -1 4202560 149 0 0 0 23 3 0 0 20 0 19 0 22671611 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695899933480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26830] ppid=26823 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/26826/task/26830/stat : 26830 (java) S 26823 26826 25977 0 -1 4202560 100 0 0 0 25 4 0 0 20 0 19 0 22671612 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695898880680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26831] ppid=26823 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/26826/task/26831/stat : 26831 (java) S 26823 26826 25977 0 -1 4202560 128 0 0 0 33 5 0 0 20 0 19 0 22671612 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695897828392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26832] ppid=26823 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/26826/task/26832/stat : 26832 (java) S 26823 26826 25977 0 -1 4202560 161 0 0 0 27 3 0 0 20 0 19 0 22671612 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695896775592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26833] ppid=26823 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/26826/task/26833/stat : 26833 (java) S 26823 26826 25977 0 -1 4202560 59 0 0 0 19 4 0 0 20 0 19 0 22671612 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695895722280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26834] ppid=26823 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/26826/task/26834/stat : 26834 (java) S 26823 26826 25977 0 -1 4202560 65 0 0 0 30 4 0 0 20 0 19 0 22671612 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695894669480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26835] ppid=26823 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/26826/task/26835/stat : 26835 (java) S 26823 26826 25977 0 -1 4202560 285 0 0 0 22 3 0 0 20 0 19 0 22671612 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695893617192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26836] ppid=26823 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/26826/task/26836/stat : 26836 (java) S 26823 26826 25977 0 -1 4202560 154 0 0 0 25 4 0 0 20 0 19 0 22671612 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695892564392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26837] ppid=26823 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26826/task/26837/stat : 26837 (java) S 26823 26826 25977 0 -1 4202560 86 0 0 0 0 2 0 0 20 0 19 0 22671613 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695762361064 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26838] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26838/stat : 26838 (java) S 26823 26826 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695761307128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26839] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26839/stat : 26839 (java) S 26823 26826 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695760254728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26840] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26840/stat : 26840 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695759203216 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26841] ppid=26823 vsize=9625040 CPUtime=1.32 cores=0,2,4,6
/proc/26826/task/26841/stat : 26841 (java) S 26823 26826 25977 0 -1 4202560 10101 0 0 0 130 2 0 0 20 0 19 0 22671615 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695758149816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26842] ppid=26823 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/26826/task/26842/stat : 26842 (java) S 26823 26826 25977 0 -1 4202560 5000 0 0 0 65 0 0 0 20 0 19 0 22671615 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695757097016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26843] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26843/stat : 26843 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695756044920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26844] ppid=26823 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/26826/task/26844/stat : 26844 (java) S 26823 26826 25977 0 -1 4202560 100 0 0 0 24 23 0 0 20 0 19 0 22671615 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695754992328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26845] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26845/stat : 26845 (java) S 26823 26826 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22671640 9856040960 110281 33554432000 1073741824 1073778376 140735897425808 140695753938344 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.09
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.25 2.23 1.93 3/214 27019
/proc/meminfo: memFree=28930692/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9625040 CPUtime=1786.19 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 20363 0 1 0 178564 55 0 0 20 0 19 0 22671610 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2406260 116760 2276 9 0 2396937 0
[pid=26826/tid=26828] ppid=26823 vsize=9625040 CPUtime=1781.45 cores=0,2,4,6
/proc/26826/task/26828/stat : 26828 (java) R 26823 26826 25977 0 -1 4202560 2516 0 1 0 178114 31 0 0 20 0 19 0 22671611 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695938432720 140695764199984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26829] ppid=26823 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/26826/task/26829/stat : 26829 (java) S 26823 26826 25977 0 -1 4202560 156 0 0 0 25 3 0 0 20 0 19 0 22671611 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695899933480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26830] ppid=26823 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/26826/task/26830/stat : 26830 (java) S 26823 26826 25977 0 -1 4202560 104 0 0 0 26 4 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695898880680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26831] ppid=26823 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26826/task/26831/stat : 26831 (java) S 26823 26826 25977 0 -1 4202560 132 0 0 0 34 5 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695897828392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26832] ppid=26823 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/26826/task/26832/stat : 26832 (java) S 26823 26826 25977 0 -1 4202560 164 0 0 0 29 3 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695896775592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26833] ppid=26823 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/26826/task/26833/stat : 26833 (java) S 26823 26826 25977 0 -1 4202560 64 0 0 0 20 4 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695895722280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26834] ppid=26823 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/26826/task/26834/stat : 26834 (java) S 26823 26826 25977 0 -1 4202560 72 0 0 0 31 4 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695894669480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26835] ppid=26823 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/26826/task/26835/stat : 26835 (java) S 26823 26826 25977 0 -1 4202560 286 0 0 0 23 3 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695893617192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26836] ppid=26823 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/26826/task/26836/stat : 26836 (java) S 26823 26826 25977 0 -1 4202560 312 0 0 0 29 4 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695892564392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26837] ppid=26823 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26826/task/26837/stat : 26837 (java) S 26823 26826 25977 0 -1 4202560 88 0 0 0 0 2 0 0 20 0 19 0 22671613 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695762361064 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26838] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26838/stat : 26838 (java) S 26823 26826 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695761307128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26839] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26839/stat : 26839 (java) S 26823 26826 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695760254728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26840] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26840/stat : 26840 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695759203216 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26841] ppid=26823 vsize=9625040 CPUtime=1.32 cores=0,2,4,6
/proc/26826/task/26841/stat : 26841 (java) S 26823 26826 25977 0 -1 4202560 10101 0 0 0 130 2 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695758149816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26842] ppid=26823 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/26826/task/26842/stat : 26842 (java) S 26823 26826 25977 0 -1 4202560 5000 0 0 0 65 0 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695757097016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26843] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26843/stat : 26843 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695756044920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26844] ppid=26823 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/26826/task/26844/stat : 26844 (java) S 26823 26826 25977 0 -1 4202560 104 0 0 0 24 24 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695754992328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26845] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26845/stat : 26845 (java) S 26823 26826 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22671640 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695753938344 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.19
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.2 s]
/proc/loadavg: 2.20 2.22 1.93 4/214 27020
/proc/meminfo: memFree=28931104/32872528 swapFree=1244176/1391344
[pid=26826] ppid=26823 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/26826/stat : 26826 (java) S 26823 26826 25977 0 -1 4202496 20365 0 1 0 179954 55 0 0 20 0 19 0 22671610 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140735897416944 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26826/statm: 2406260 116760 2276 9 0 2396937 0
[pid=26826/tid=26828] ppid=26823 vsize=9625040 CPUtime=1795.35 cores=0,2,4,6
/proc/26826/task/26828/stat : 26828 (java) R 26823 26826 25977 0 -1 4202560 2516 0 1 0 179504 31 0 0 20 0 19 0 22671611 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695938432720 140695764175219 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26829] ppid=26823 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/26826/task/26829/stat : 26829 (java) S 26823 26826 25977 0 -1 4202560 156 0 0 0 25 3 0 0 20 0 19 0 22671611 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695899933480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26830] ppid=26823 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/26826/task/26830/stat : 26830 (java) S 26823 26826 25977 0 -1 4202560 104 0 0 0 26 4 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695898880680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26831] ppid=26823 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26826/task/26831/stat : 26831 (java) S 26823 26826 25977 0 -1 4202560 132 0 0 0 34 5 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695897828392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26832] ppid=26823 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/26826/task/26832/stat : 26832 (java) S 26823 26826 25977 0 -1 4202560 164 0 0 0 29 3 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695896775592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26833] ppid=26823 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/26826/task/26833/stat : 26833 (java) S 26823 26826 25977 0 -1 4202560 64 0 0 0 20 4 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695895722280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26834] ppid=26823 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/26826/task/26834/stat : 26834 (java) S 26823 26826 25977 0 -1 4202560 72 0 0 0 31 4 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695894669480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26835] ppid=26823 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/26826/task/26835/stat : 26835 (java) S 26823 26826 25977 0 -1 4202560 286 0 0 0 23 3 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695893617192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26836] ppid=26823 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/26826/task/26836/stat : 26836 (java) S 26823 26826 25977 0 -1 4202560 312 0 0 0 29 4 0 0 20 0 19 0 22671612 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695892564392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26826/tid=26837] ppid=26823 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26826/task/26837/stat : 26837 (java) S 26823 26826 25977 0 -1 4202560 88 0 0 0 0 2 0 0 20 0 19 0 22671613 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695762361064 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26838] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26838/stat : 26838 (java) S 26823 26826 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695761307128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26839] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26839/stat : 26839 (java) S 26823 26826 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22671613 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695760254728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26840] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26840/stat : 26840 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695759203216 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26841] ppid=26823 vsize=9625040 CPUtime=1.32 cores=0,2,4,6
/proc/26826/task/26841/stat : 26841 (java) S 26823 26826 25977 0 -1 4202560 10101 0 0 0 130 2 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695758149816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26842] ppid=26823 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/26826/task/26842/stat : 26842 (java) S 26823 26826 25977 0 -1 4202560 5000 0 0 0 65 0 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695757097016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26826/tid=26843] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26843/stat : 26843 (java) S 26823 26826 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695756044920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26826/tid=26844] ppid=26823 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/26826/task/26844/stat : 26844 (java) S 26823 26826 25977 0 -1 4202560 106 0 0 0 25 24 0 0 20 0 19 0 22671615 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695754992328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26826/tid=26845] ppid=26823 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26826/task/26845/stat : 26845 (java) S 26823 26826 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22671640 9856040960 116760 33554432000 1073741824 1073778376 140735897425808 140695753938344 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 26826 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1796.26
CPU time (s): 1800.69
CPU user time (s): 1799.66
CPU system time (s): 1.03184
CPU usage (%): 100.247
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 1.03184
maximum resident set size= 468336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20416
page faults= 1
swaps= 0
block input operations= 8
block output operations= 1408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38760
involuntary context switches= 6785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59085 second user time and 8.66568 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-18 01:30:30
IDJOB=4099768
IDBENCH=1514
IDSOLVER=2546
FILE ID=node119/4099768-1466206230
RUNJOBID= node119-1466206086-25993
PBS_JOBID= 19918158
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099768-1466206230/watcher-4099768-1466206230 -o /tmp/evaluation-result-4099768-1466206230/solver-4099768-1466206230 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466206086-25993 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4099768-1466206230.opb

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

MD5SUM BENCH= 019e5a614038472d624f56ab4ecfb30e
RANDOM SEED=1054770336

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:        30317660 kB
Buffers:           36012 kB
Cached:            75216 kB
SwapCached:          944 kB
Active:           398896 kB
Inactive:          63344 kB
Active(anon):     351700 kB
Inactive(anon):     1688 kB
Active(file):      47196 kB
Inactive(file):    61656 kB
Unevictable:     1391344 kB
Mlocked:         1244176 kB
SwapTotal:      67108856 kB
SwapFree:       67099976 kB
Dirty:               644 kB
Writeback:             0 kB
AnonPages:       1766256 kB
Mapped:            15372 kB
Shmem:                 0 kB
Slab:             567804 kB
SReclaimable:      11612 kB
SUnreclaim:       556192 kB
KernelStack:        1768 kB
PageTables:         7432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2465904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    495616 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-18 02:00:26