Trace number 4099766

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)20 1800.62 898.681

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.05/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.05/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.12	c See www.sat4j.org for details.
0.05/0.12	c version PB16.v20160501
0.05/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.12	c java.vm.version	19.1-b02
0.05/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.12	c sun.arch.data.model	64
0.05/0.12	c java.version		1.6.0_24
0.05/0.12	c os.name		Linux
0.05/0.12	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.12	c os.arch		amd64
0.05/0.12	c Free memory 		501472288
0.05/0.12	c Max memory 		7480803328
0.05/0.12	c Total memory 		504102912
0.05/0.12	c Number of processors 	8
0.05/0.15	c Pseudo Boolean Optimization by upper bound
0.05/0.15	c ManyCore solver with 2 solvers running in parallel
0.05/0.15	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.05/0.15	c --- Begin Solver configuration ---
0.05/0.15	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.05/0.15	c Learn all clauses as in MiniSAT
0.05/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.15	c Expensive reason simplification
0.05/0.15	c Glucose 2.1 dynamic restart strategy
0.05/0.15	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.05/0.15	c timeout=2147483s
0.05/0.15	c DB Simplification allowed=false
0.05/0.15	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.05/0.15	c --- End Solver configuration ---
0.05/0.15	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.05/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.05/0.15	c --- Begin Solver configuration ---
0.05/0.15	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.05/0.15	c Learn all clauses as in MiniSAT
0.05/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.05/0.15	c No reason simplification
0.05/0.15	c Armin Biere (Picosat) restarts strategy
0.05/0.15	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.05/0.15	c timeout=2147483s
0.05/0.15	c DB Simplification allowed=false
0.05/0.15	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.05/0.15	c --- End Solver configuration ---
0.05/0.15	c solving HOME/instance-4099766-1466206139.opb
0.05/0.15	c reading problem ... 
0.05/0.15	c  objective function found
0.46/0.37	c ... done. Wall clock time 0.217s.
0.46/0.37	c declared #vars     2754
0.46/0.37	c #constraints  486
0.46/0.37	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.46/0.37	c constraints type 
0.46/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 486
0.46/0.37	c 486 constraints processed.
0.46/0.37	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.46/0.37	c constraints type 
0.46/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPb => 486
0.46/0.37	c 486 constraints processed.
0.46/0.37	c objective function length is 168 literals
1.98/0.77	c And the winner is solver0
2.35/0.88	c SATISFIABLE
2.35/0.88	c OPTIMIZING...
2.35/0.88	c Got one! Elapsed wall clock time (in seconds):0.724
2.35/0.88	o 35
2.58/0.93	c And the winner is solver0
2.88/1.38	c Got one! Elapsed wall clock time (in seconds):1.228
2.88/1.38	o 34
3.74/1.69	c cleaning 2813 clauses out of 5626 with flag 10161/5626
5.65/2.21	c cleaning 4406 clauses out of 8813 with flag 22162/11626
7.06/2.92	c cleaning 5701 clauses out of 11406 with flag 36161/18625
8.91/3.87	c cleaning 6849 clauses out of 13706 with flag 52166/26626
11.42/5.09	c cleaning 7928 clauses out of 15856 with flag 70164/35625
14.64/6.61	c cleaning 8962 clauses out of 17929 with flag 90166/45626
18.29/8.42	c cleaning 9980 clauses out of 19966 with flag 112164/56625
22.94/10.72	c cleaning 10992 clauses out of 21987 with flag 136166/68626
28.61/13.58	c cleaning 11993 clauses out of 23994 with flag 162164/81625
31.64/15.00	c cleaning 0 clauses out of 5054 with flag 0/5056
35.92/17.02	c cleaning 13001 clauses out of 26003 with flag 190168/95627
44.20/21.03	c cleaning 13998 clauses out of 28001 with flag 220166/110626
53.98/25.90	c cleaning 14999 clauses out of 30003 with flag 252167/126626
65.03/31.31	c cleaning 15996 clauses out of 32003 with flag 286167/143625
77.47/37.52	c cleaning 17002 clauses out of 34009 with flag 322184/161627
92.25/44.92	c cleaning 18003 clauses out of 36006 with flag 360216/180626
109.11/53.31	c cleaning 19000 clauses out of 38002 with flag 400262/200625
122.81/60.11	c cleaning 20000 clauses out of 40002 with flag 443355/221625
125.06/61.20	c And the winner is solver0
125.15/61.39	c Got one! Elapsed wall clock time (in seconds):61.244
125.15/61.39	o 33
125.16/61.40	c And the winner is solver0
125.21/61.90	c Got one! Elapsed wall clock time (in seconds):61.746
125.21/61.90	o 27
125.43/62.01	c And the winner is solver0
125.63/62.40	c Got one! Elapsed wall clock time (in seconds):62.248
125.63/62.40	o 26
125.63/62.41	c And the winner is solver0
125.69/62.90	c Got one! Elapsed wall clock time (in seconds):62.75
125.69/62.90	o 25
126.30/63.23	c cleaning 20355 clauses out of 40719 with flag 19294/242342
127.10/63.66	c cleaning 13172 clauses out of 26365 with flag 34541/248343
128.15/64.20	c cleaning 10086 clauses out of 20192 with flag 55182/255342
128.55/64.34	c cleaning 0 clauses out of 10172 with flag 0/10174
129.37/64.75	c cleaning 9044 clauses out of 18106 with flag 76259/263342
130.38/65.29	c cleaning 9025 clauses out of 18063 with flag 102785/272343
131.64/65.87	c cleaning 9515 clauses out of 19038 with flag 129602/282343
133.04/66.55	c cleaning 10256 clauses out of 20523 with flag 165649/293343
134.63/67.38	c cleaning 11127 clauses out of 22266 with flag 200976/305342
136.65/68.31	c cleaning 12066 clauses out of 24139 with flag 237659/318342
138.85/69.43	c cleaning 13030 clauses out of 26073 with flag 282337/332342
141.24/70.62	c cleaning 14017 clauses out of 28043 with flag 324684/347342
143.25/71.67	c cleaning 14998 clauses out of 30026 with flag 364395/363342
145.63/72.85	c cleaning 16002 clauses out of 32028 with flag 407658/380342
148.69/74.36	c cleaning 17006 clauses out of 34029 with flag 457316/398345
151.91/75.97	c cleaning 18009 clauses out of 36021 with flag 505628/417343
154.89/77.45	c cleaning 19004 clauses out of 38012 with flag 555239/437343
158.89/79.46	c cleaning 19998 clauses out of 40008 with flag 615956/458343
163.69/81.81	c cleaning 20999 clauses out of 42009 with flag 679160/480342
169.09/84.51	c cleaning 22002 clauses out of 44011 with flag 745880/503343
174.37/87.18	c cleaning 23002 clauses out of 46008 with flag 812096/527342
179.59/89.71	c cleaning 24004 clauses out of 48007 with flag 875242/552343
185.01/92.42	c cleaning 24998 clauses out of 50003 with flag 945490/578343
190.59/95.27	c cleaning 26000 clauses out of 52004 with flag 1015223/605342
197.66/98.70	c cleaning 26997 clauses out of 54004 with flag 1092156/633342
205.66/102.73	c cleaning 27994 clauses out of 56007 with flag 1184305/662342
212.33/106.08	c cleaning 0 clauses out of 16171 with flag 0/16173
213.34/106.58	c cleaning 29006 clauses out of 58014 with flag 1284472/692343
221.13/110.48	c cleaning 29998 clauses out of 60007 with flag 1382119/723342
230.13/114.90	c cleaning 31002 clauses out of 62009 with flag 1486663/755342
236.79/118.27	c And the winner is solver0
237.02/118.41	c Got one! Elapsed wall clock time (in seconds):118.262
237.02/118.41	o 24
237.02/118.43	c And the winner is solver0
237.16/118.91	c Got one! Elapsed wall clock time (in seconds):118.763
237.16/118.91	o 23
237.16/118.93	c And the winner is solver0
237.22/119.42	c Got one! Elapsed wall clock time (in seconds):119.265
237.22/119.42	o 22
239.18/120.45	c cleaning 30569 clauses out of 61146 with flag 16647/785481
240.78/121.24	c cleaning 18283 clauses out of 36575 with flag 36594/791479
242.17/121.95	c cleaning 12647 clauses out of 25294 with flag 58149/798481
243.57/122.64	c cleaning 10320 clauses out of 20646 with flag 80335/806480
244.98/123.34	c cleaning 9661 clauses out of 19328 with flag 102707/815482
246.65/124.10	c cleaning 9827 clauses out of 19665 with flag 127817/825480
248.05/124.88	c cleaning 10415 clauses out of 20837 with flag 156363/836479
250.45/126.04	c cleaning 11211 clauses out of 22424 with flag 188746/848481
252.85/127.23	c cleaning 12104 clauses out of 24212 with flag 224723/861480
255.86/128.78	c cleaning 13049 clauses out of 26107 with flag 263526/875479
258.85/130.27	c cleaning 14025 clauses out of 28058 with flag 301949/890479
260.26/130.93	c cleaning 0 clauses out of 21775 with flag 0/21777
262.25/131.96	c cleaning 15011 clauses out of 30033 with flag 342602/906479
265.51/133.52	c cleaning 16004 clauses out of 32023 with flag 391456/923480
268.52/135.07	c cleaning 16994 clauses out of 34018 with flag 439026/941479
271.92/136.79	c cleaning 18010 clauses out of 36024 with flag 487494/960479
276.12/138.87	c cleaning 19002 clauses out of 38014 with flag 540593/980479
281.19/141.31	c cleaning 19998 clauses out of 40013 with flag 598492/1001480
286.59/144.07	c cleaning 21003 clauses out of 42014 with flag 663805/1023479
292.59/147.02	c cleaning 22003 clauses out of 44014 with flag 731409/1046482
298.39/149.90	c cleaning 23000 clauses out of 46008 with flag 803327/1070479
304.03/152.76	c cleaning 23998 clauses out of 48008 with flag 880197/1095479
309.87/155.60	c cleaning 24996 clauses out of 50010 with flag 961284/1121479
315.27/158.37	c cleaning 26007 clauses out of 52015 with flag 1039051/1148480
321.53/161.49	c cleaning 26997 clauses out of 54007 with flag 1115552/1176479
327.17/164.29	c cleaning 0 clauses out of 27774 with flag 0/27776
328.37/164.81	c cleaning 28001 clauses out of 56011 with flag 1192886/1205480
335.65/168.44	c cleaning 28997 clauses out of 58010 with flag 1276877/1235480
343.76/172.45	c cleaning 30003 clauses out of 60014 with flag 1362190/1266481
351.80/176.44	c cleaning 31001 clauses out of 62009 with flag 1455454/1298479
361.50/181.28	c cleaning 31994 clauses out of 64008 with flag 1551059/1331479
370.80/185.90	c cleaning 33002 clauses out of 66015 with flag 1645603/1365480
381.47/191.19	c cleaning 34004 clauses out of 68012 with flag 1751155/1400479
382.08/191.41	c cleaning 0 clauses out of 34776 with flag 0/34778
393.18/196.91	c cleaning 34999 clauses out of 70008 with flag 1859433/1436479
406.50/203.87	c cleaning 36001 clauses out of 72009 with flag 1971458/1473479
416.33/208.73	c cleaning 37005 clauses out of 74009 with flag 2075431/1511480
425.97/213.56	c cleaning 37996 clauses out of 76003 with flag 2177516/1550479
437.02/219.06	c cleaning 39003 clauses out of 78008 with flag 2280660/1590480
447.88/224.47	c cleaning 39995 clauses out of 80004 with flag 2402679/1631479
460.51/230.73	c cleaning 41002 clauses out of 82009 with flag 2510046/1673479
474.58/237.75	c cleaning 42002 clauses out of 84007 with flag 2621762/1716479
490.06/245.48	c cleaning 42999 clauses out of 86006 with flag 2736851/1760480
502.88/251.88	c cleaning 43997 clauses out of 88006 with flag 2848896/1805479
518.19/259.45	c cleaning 45004 clauses out of 90010 with flag 2977023/1851480
533.03/266.89	c cleaning 45998 clauses out of 92005 with flag 3099715/1898479
549.33/274.95	c cleaning 46996 clauses out of 94008 with flag 3223324/1946480
561.95/281.25	c cleaning 47999 clauses out of 96012 with flag 3344150/1995480
576.82/288.67	c cleaning 49004 clauses out of 98012 with flag 3469191/2045479
583.86/292.19	c cleaning 0 clauses out of 42774 with flag 0/42776
591.92/296.10	c cleaning 49999 clauses out of 100009 with flag 3607260/2096480
608.22/304.26	c cleaning 50999 clauses out of 102009 with flag 3746405/2148479
626.73/313.49	c cleaning 52002 clauses out of 104010 with flag 3871795/2201479
644.84/322.50	c cleaning 53001 clauses out of 106009 with flag 4000554/2255480
661.05/330.52	c cleaning 53998 clauses out of 108009 with flag 4160436/2310481
679.77/339.83	c cleaning 55001 clauses out of 110010 with flag 4306779/2366480
699.02/349.47	c cleaning 55999 clauses out of 112008 with flag 4456252/2423479
719.40/359.89	c cleaning 56999 clauses out of 114010 with flag 4610492/2481480
738.50/369.37	c cleaning 57996 clauses out of 116010 with flag 4764525/2540479
759.44/379.70	c cleaning 58995 clauses out of 118014 with flag 4919961/2600479
783.12/391.51	c cleaning 60001 clauses out of 120019 with flag 5078158/2661479
807.26/403.50	c cleaning 61003 clauses out of 122018 with flag 5248905/2723479
832.97/416.38	c cleaning 62004 clauses out of 124015 with flag 5427896/2786479
862.27/430.99	c cleaning 62997 clauses out of 126013 with flag 5604875/2850481
895.41/447.48	c cleaning 63998 clauses out of 128014 with flag 5780893/2915479
897.25/448.30	c cleaning 0 clauses out of 51774 with flag 0/51776
922.55/460.98	c cleaning 65006 clauses out of 130017 with flag 5950037/2981480
948.04/473.64	c cleaning 66002 clauses out of 132011 with flag 6119747/3048480
976.13/487.64	c cleaning 67001 clauses out of 134009 with flag 6301358/3116480
1005.88/502.40	c cleaning 67998 clauses out of 136007 with flag 6479279/3185479
1042.77/521.19	c cleaning 68988 clauses out of 138009 with flag 6656081/3255479
1070.25/534.80	c cleaning 69997 clauses out of 140021 with flag 6846185/3326479
1098.17/548.79	c cleaning 71005 clauses out of 142024 with flag 7030064/3398479
1128.89/564.09	c cleaning 72003 clauses out of 144019 with flag 7211774/3471479
1171.10/585.01	c cleaning 73001 clauses out of 146019 with flag 7419968/3545482
1193.37/596.10	c And the winner is solver0
1193.76/596.51	c Got one! Elapsed wall clock time (in seconds):596.355
1193.76/596.51	o 21
1197.40/598.38	c cleaning 61090 clauses out of 122207 with flag 14187/3594671
1199.40/599.34	c cleaning 33552 clauses out of 67117 with flag 29370/3600671
1201.07/600.12	c cleaning 20277 clauses out of 40565 with flag 47737/3607671
1202.47/600.88	c cleaning 14141 clauses out of 28291 with flag 67104/3615674
1203.87/601.57	c cleaning 11567 clauses out of 23147 with flag 89222/3624671
1205.47/602.33	c cleaning 10785 clauses out of 21580 with flag 113295/3634671
1207.33/603.23	c cleaning 10895 clauses out of 21798 with flag 140933/3645674
1209.13/604.14	c cleaning 11446 clauses out of 22900 with flag 170597/3657671
1211.14/605.11	c cleaning 12219 clauses out of 24454 with flag 203747/3670671
1213.60/606.36	c cleaning 13109 clauses out of 26235 with flag 240050/3684671
1216.01/607.59	c cleaning 14054 clauses out of 28126 with flag 280482/3699671
1217.63/608.40	c And the winner is solver0
1218.01/608.63	c Got one! Elapsed wall clock time (in seconds):608.48
1218.01/608.63	o 20
1218.77/609.04	c cleaning 14529 clauses out of 29065 with flag 13834/3714664
1219.78/609.51	c cleaning 10262 clauses out of 20536 with flag 31966/3720664
1220.82/610.06	c cleaning 8624 clauses out of 17276 with flag 53161/3727666
1222.03/610.64	c cleaning 8310 clauses out of 16651 with flag 76169/3735665
1223.42/611.31	c cleaning 8662 clauses out of 17340 with flag 101279/3744664
1224.82/612.04	c cleaning 9329 clauses out of 18679 with flag 129757/3754665
1226.43/612.88	c cleaning 10166 clauses out of 20349 with flag 160620/3765664
1228.63/613.94	c cleaning 11084 clauses out of 22185 with flag 192512/3777666
1230.89/615.05	c cleaning 12040 clauses out of 24099 with flag 226584/3790664
1233.68/616.47	c cleaning 13027 clauses out of 26060 with flag 266694/3804665
1236.88/618.08	c cleaning 14013 clauses out of 28032 with flag 308435/3819664
1239.69/619.47	c cleaning 15007 clauses out of 30019 with flag 351298/3835664
1242.95/621.05	c cleaning 16005 clauses out of 32014 with flag 395213/3852666
1246.16/622.62	c cleaning 16996 clauses out of 34008 with flag 439846/3870665
1249.35/624.26	c cleaning 18000 clauses out of 36011 with flag 488729/3889664
1253.35/626.25	c cleaning 19004 clauses out of 38011 with flag 538624/3909664
1257.99/628.51	c cleaning 19995 clauses out of 40009 with flag 599978/3930666
1262.79/630.96	c cleaning 21002 clauses out of 42012 with flag 667527/3952664
1267.79/633.42	c cleaning 21998 clauses out of 44010 with flag 736166/3975664
1273.47/636.29	c cleaning 23006 clauses out of 46013 with flag 809878/3999665
1279.07/639.02	c cleaning 23996 clauses out of 48006 with flag 875822/4024664
1284.87/641.95	c cleaning 25004 clauses out of 50011 with flag 942826/4050665
1291.11/645.02	c cleaning 26000 clauses out of 52007 with flag 1016978/4077665
1296.31/647.66	c cleaning 26996 clauses out of 54007 with flag 1084703/4105665
1302.51/650.76	c cleaning 28004 clauses out of 56010 with flag 1159299/4134664
1310.97/654.93	c cleaning 29001 clauses out of 58007 with flag 1236196/4164665
1318.84/658.80	c cleaning 30000 clauses out of 60005 with flag 1312148/4195664
1327.44/663.13	c cleaning 30998 clauses out of 62005 with flag 1391893/4227664
1336.32/667.51	c cleaning 31996 clauses out of 64007 with flag 1485731/4260664
1344.11/671.48	c cleaning 33001 clauses out of 66011 with flag 1580294/4294664
1353.18/675.94	c cleaning 33997 clauses out of 68011 with flag 1670801/4329665
1362.43/680.58	c cleaning 34998 clauses out of 70013 with flag 1766052/4365664
1372.50/685.56	c cleaning 35999 clauses out of 72015 with flag 1854546/4402664
1381.77/690.13	c cleaning 37001 clauses out of 74016 with flag 1949793/4440664
1392.55/695.57	c cleaning 38003 clauses out of 76016 with flag 2050418/4479665
1404.22/701.39	c cleaning 39001 clauses out of 78012 with flag 2156959/4519664
1414.27/706.34	c cleaning 0 clauses out of 64677 with flag 0/64681
1416.47/707.47	c cleaning 39990 clauses out of 80012 with flag 2269978/4560665
1428.35/713.39	c cleaning 41006 clauses out of 82021 with flag 2380601/4602664
1440.01/719.17	c cleaning 42004 clauses out of 84016 with flag 2491183/4645665
1454.33/726.24	c cleaning 43001 clauses out of 86011 with flag 2601698/4689664
1468.41/733.20	c cleaning 43999 clauses out of 88010 with flag 2716843/4734664
1483.06/740.59	c cleaning 45002 clauses out of 90011 with flag 2845503/4780664
1498.94/748.43	c cleaning 45998 clauses out of 92011 with flag 2971278/4827666
1514.42/756.12	c cleaning 47001 clauses out of 94011 with flag 3097615/4875664
1528.88/763.30	c cleaning 48004 clauses out of 96010 with flag 3233304/4924664
1546.42/772.09	c cleaning 49000 clauses out of 98006 with flag 3368409/4974664
1563.87/780.75	c cleaning 49996 clauses out of 100006 with flag 3494982/5025664
1583.92/790.72	c cleaning 50998 clauses out of 102010 with flag 3633137/5077664
1602.22/799.88	c cleaning 52001 clauses out of 104013 with flag 3769578/5130665
1620.13/808.70	c cleaning 52993 clauses out of 106012 with flag 3913630/5184665
1636.59/816.92	c cleaning 54003 clauses out of 108018 with flag 4054243/5239664
1656.92/827.55	c cleaning 55002 clauses out of 110015 with flag 4204307/5295664
1677.80/837.93	c cleaning 56005 clauses out of 112013 with flag 4357651/5352664
1699.52/848.78	c cleaning 56998 clauses out of 114008 with flag 4509451/5410664
1720.43/859.17	c cleaning 57997 clauses out of 116010 with flag 4657276/5469664
1743.18/870.49	c cleaning 59000 clauses out of 118013 with flag 4812021/5529664
1763.47/880.52	c cleaning 60001 clauses out of 120013 with flag 4969192/5590664
1784.71/891.02	c cleaning 61000 clauses out of 122012 with flag 5130686/5652664
1800.04/898.60	c >>>>>>>>>> Solver number 0 (11 answers) <<<<<<<<<<<<<<<<<<
1800.04/898.60	c starts		: 1143
1800.04/898.60	c conflicts		: 5701356
1800.04/898.60	c decisions		: 11039286
1800.04/898.60	c propagations		: 295414576
1800.04/898.60	c inspects		: 13181793369
1800.04/898.60	c shortcuts		: 0
1800.04/898.60	c learnt literals	: 0
1800.04/898.60	c learnt binary clauses	: 39
1800.04/898.60	c learnt ternary clauses	: 89
1800.04/898.60	c learnt constraints	: 5701356
1800.04/898.60	c ignored constraints	: 0
1800.04/898.60	c root simplifications	: 0
1800.04/898.60	c removed literals (reason simplification)	: 5255176
1800.04/898.60	c reason swapping (by a shorter reason)	: 0
1800.04/898.60	c Calls to reduceDB	: 184
1800.04/898.60	c Number of update (reduction) of LBD	: 667196
1800.04/898.60	c Imported unit clauses	: 0
1800.04/898.60	c number of reductions to clauses (during analyze)	: 0
1800.04/898.60	c number of learned constraints concerned by reduction	: 0
1800.04/898.60	c number of learning phase by resolution	: 0
1800.04/898.60	c number of learning phase by cutting planes	: 0
1800.04/898.60	c speed (assignments/second)	: 328889.63035699574
1800.04/898.60	c non guided choices	2946
1800.04/898.63	c learnt constraints type 
1800.04/898.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 39
1800.04/898.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 109666
1800.04/898.63	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/898.63	c starts		: 167
1800.04/898.63	c conflicts		: 70594
1800.04/898.63	c decisions		: 102555
1800.04/898.63	c propagations		: 683207
1800.04/898.63	c inspects		: 908613605
1800.04/898.63	c shortcuts		: 0
1800.04/898.63	c learnt literals	: 0
1800.04/898.63	c learnt binary clauses	: 0
1800.04/898.63	c learnt ternary clauses	: 0
1800.04/898.63	c learnt constraints	: 70590
1800.04/898.63	c ignored constraints	: 0
1800.04/898.63	c root simplifications	: 0
1800.04/898.63	c removed literals (reason simplification)	: 0
1800.04/898.63	c reason swapping (by a shorter reason)	: 0
1800.04/898.63	c Calls to reduceDB	: 9
1800.04/898.63	c Number of update (reduction) of LBD	: 0
1800.04/898.63	c Imported unit clauses	: 0
1800.04/898.63	c number of reductions to clauses (during analyze)	: 0
1800.04/898.63	c number of learned constraints concerned by reduction	: 0
1800.04/898.63	c number of learning phase by resolution	: 0
1800.04/898.63	c number of learning phase by cutting planes	: 0
1800.04/898.63	c speed (assignments/second)	: 2356.991554660117
1800.04/898.63	c non guided choices	1365
1800.04/898.66	c learnt constraints type 
1800.04/898.66	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1125
1800.04/898.66	c org.sat4j.pb.constraints.pb.MaxWatchPb => 69465
1800.04/898.66	s SATISFIABLE
1800.04/898.66	c Found 11 solution(s)
1800.04/898.67	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.04/898.67	c objective function=20
1800.04/898.67	c Total wall clock time (in seconds): 898.516

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-4099766-1466206139/watcher-4099766-1466206139 -o /tmp/evaluation-result-4099766-1466206139/solver-4099766-1466206139 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4099766-1466206139.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.71 0.69 0.25 2/193 25246
/proc/meminfo: memFree=31488664/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 22659353 98570240 977 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 24065 978 744 9 0 16771 0
[pid=25246/tid=25247] ppid=25243 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) R 25243 25246 22589 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 22659354 98570240 978 33554432000 1073741824 1073778376 140736118189552 140236725804584 211458803072 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 1.71 0.69 0.25 2/193 25246
/proc/meminfo: memFree=31488664/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 3331 0 1 0 4 1 0 0 20 0 18 0 22659353 9787879424 4462 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2389619 4462 1774 9 0 2380296 0
[pid=25246/tid=25247] ppid=25243 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) R 25243 25246 22589 0 -1 4202560 2044 0 1 0 3 0 0 0 20 0 18 0 22659354 9787879424 4462 33554432000 1073741824 1073778376 140736118189552 140236725811872 211462186253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558476

[startup+0.20027 s]
/proc/loadavg: 1.71 0.69 0.25 2/193 25246
/proc/meminfo: memFree=31488664/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 4587 0 1 0 18 1 0 0 20 0 18 0 22659353 9787879424 6706 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2389619 6706 2194 9 0 2380296 0
[pid=25246/tid=25247] ppid=25243 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) R 25243 25246 22589 0 -1 4202560 2432 0 1 0 13 0 0 0 20 0 18 0 22659354 9787879424 6706 33554432000 1073741824 1073778376 140736118189552 140236725795520 140236598078082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9558476

[startup+0.300254 s]
/proc/loadavg: 1.71 0.69 0.25 2/193 25246
/proc/meminfo: memFree=31488664/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 6556 0 1 0 45 1 0 0 20 0 18 0 22659353 9787879424 8987 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2389619 8987 2232 9 0 2380296 0
[pid=25246/tid=25247] ppid=25243 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) R 25243 25246 22589 0 -1 4202560 2436 0 1 0 23 0 0 0 20 0 18 0 22659354 9787879424 8987 33554432000 1073741824 1073778376 140736118189552 140236725809288 140236598166800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700228 s]
/proc/loadavg: 1.71 0.69 0.25 2/193 25246
/proc/meminfo: memFree=31488664/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 18935 0 1 0 194 4 0 0 20 0 22 0 22659353 10060525568 20246 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2456183 20246 2250 9 0 2446860 0
[pid=25246/tid=25247] ppid=25243 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) S 25243 25246 22589 0 -1 4202560 2457 0 1 0 31 0 0 0 20 0 22 0 22659354 10060525568 20246 33554432000 1073741824 1073778376 140736118189552 140236725810040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9824732

[startup+1.50076 s]
/proc/loadavg: 1.71 0.69 0.25 5/215 25280
/proc/meminfo: memFree=31371880/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 23594 0 1 0 326 8 0 0 20 0 22 0 22659353 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2456183 30011 2260 9 0 2446860 0
[pid=25246/tid=25247] ppid=25243 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) S 25243 25246 22589 0 -1 4202560 2461 0 1 0 31 0 0 0 20 0 22 0 22659354 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236725810040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25249] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25249/stat : 25249 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236569692456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25250] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25250/stat : 25250 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236568639656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25251] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25251/stat : 25251 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236567587368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25252] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25252/stat : 25252 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236566534568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25253] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25253/stat : 25253 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236565482280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25254] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25254/stat : 25254 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236564429480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25255] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25255/stat : 25255 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236563377192 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25256] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25256/stat : 25256 (java) S 25243 25246 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236562324392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25257] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25257/stat : 25257 (java) S 25243 25246 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236550125800 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25258] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25258/stat : 25258 (java) S 25243 25246 22589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236549071864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25259] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25259/stat : 25259 (java) S 25243 25246 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236548019464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25263] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25263/stat : 25263 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236546967952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25264] ppid=25243 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/25246/task/25264/stat : 25264 (java) R 25243 25246 22589 0 -1 4202560 9726 0 0 0 89 2 0 0 20 0 22 0 22659363 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236545915576 140236728350369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25265] ppid=25243 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/25246/task/25265/stat : 25265 (java) R 25243 25246 22589 0 -1 4202560 10038 0 0 0 90 1 0 0 20 0 22 0 22659363 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236544850064 140236731652593 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25266] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25266/stat : 25266 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236543810680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25267] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25267/stat : 25267 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236542758088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25270] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25270/stat : 25270 (java) S 25243 25246 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22659392 10060525568 30011 33554432000 1073741824 1073778376 140736118189552 140236539499688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 9824732

[startup+3.10097 s]
/proc/loadavg: 1.89 0.75 0.27 3/215 25289
/proc/meminfo: memFree=31245884/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9824732 CPUtime=7.5 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 30272 0 1 0 736 14 0 0 20 0 22 0 22659353 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2456183 55559 2283 9 0 2446860 0
[pid=25246/tid=25247] ppid=25243 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) S 25243 25246 22589 0 -1 4202560 2461 0 1 0 31 0 0 0 20 0 22 0 22659354 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236725810040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25249] ppid=25243 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/25246/task/25249/stat : 25249 (java) S 25243 25246 22589 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 22659354 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236569692456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25250] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25250/stat : 25250 (java) S 25243 25246 22589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236568639656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25251] ppid=25243 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/25246/task/25251/stat : 25251 (java) S 25243 25246 22589 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 22659354 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236567587368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25252] ppid=25243 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/25246/task/25252/stat : 25252 (java) S 25243 25246 22589 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 22659354 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236566534568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25253] ppid=25243 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/25246/task/25253/stat : 25253 (java) S 25243 25246 22589 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 22659354 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236565482280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25254] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25254/stat : 25254 (java) S 25243 25246 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236564429480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25255] ppid=25243 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25246/task/25255/stat : 25255 (java) S 25243 25246 22589 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 22659354 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236563377192 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25256] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25256/stat : 25256 (java) S 25243 25246 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22659354 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236562324392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25257] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25257/stat : 25257 (java) S 25243 25246 22589 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236550125800 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25258] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25258/stat : 25258 (java) S 25243 25246 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236549071864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25259] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25259/stat : 25259 (java) S 25243 25246 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236548019464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25263] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25263/stat : 25263 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236546967952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25264] ppid=25243 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/25246/task/25264/stat : 25264 (java) S 25243 25246 22589 0 -1 4202560 9731 0 0 0 137 2 0 0 20 0 22 0 22659363 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236545915576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25265] ppid=25243 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/25246/task/25265/stat : 25265 (java) S 25243 25246 22589 0 -1 4202560 16526 0 0 0 132 3 0 0 20 0 22 0 22659363 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236544862776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25266] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25266/stat : 25266 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236543810680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25267] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25267/stat : 25267 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236542758088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25270] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25270/stat : 25270 (java) S 25243 25246 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22659392 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236539499688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25281] ppid=25243 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/25246/task/25281/stat : 25281 (java) R 25243 25246 22589 0 -1 4202560 4 0 0 0 165 0 0 0 20 0 22 0 22659492 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236541603080 140236598847327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25282] ppid=25243 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/25246/task/25282/stat : 25282 (java) R 25243 25246 22589 0 -1 4202560 52 0 0 0 161 2 0 0 20 0 22 0 22659492 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236540551440 140236598782313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25283] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25283/stat : 25283 (java) S 25243 25246 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22659492 10060525568 55559 33554432000 1073741824 1073778376 140736118189552 140236538446632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 1.89 0.75 0.27 3/215 25307
/proc/meminfo: memFree=31016744/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9824732 CPUtime=14.03 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 30824 0 1 0 1379 24 0 0 20 0 22 0 22659353 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2456183 127198 2283 9 0 2446860 0
[pid=25246/tid=25247] ppid=25243 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) S 25243 25246 22589 0 -1 4202560 2461 0 1 0 31 0 0 0 20 0 22 0 22659354 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236725810040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25249] ppid=25243 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25246/task/25249/stat : 25249 (java) S 25243 25246 22589 0 -1 4202560 83 0 0 0 3 0 0 0 20 0 22 0 22659354 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236569692456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25250] ppid=25243 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25246/task/25250/stat : 25250 (java) S 25243 25246 22589 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 22659354 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236568639656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25251] ppid=25243 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/25246/task/25251/stat : 25251 (java) S 25243 25246 22589 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 22659354 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236567587368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25252] ppid=25243 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25246/task/25252/stat : 25252 (java) S 25243 25246 22589 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 22659354 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236566534568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25253] ppid=25243 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25246/task/25253/stat : 25253 (java) S 25243 25246 22589 0 -1 4202560 83 0 0 0 3 0 0 0 20 0 22 0 22659354 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236565482280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25254] ppid=25243 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25246/task/25254/stat : 25254 (java) S 25243 25246 22589 0 -1 4202560 63 0 0 0 2 1 0 0 20 0 22 0 22659354 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236564429480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25255] ppid=25243 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/25246/task/25255/stat : 25255 (java) S 25243 25246 22589 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 22659354 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236563377192 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25256] ppid=25243 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25246/task/25256/stat : 25256 (java) S 25243 25246 22589 0 -1 4202560 78 0 0 0 3 0 0 0 20 0 22 0 22659354 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236562324392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25257] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25257/stat : 25257 (java) S 25243 25246 22589 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236550125800 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25258] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25258/stat : 25258 (java) S 25243 25246 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 127198 33554432000 1073741824 1073778376 140736118189552 140236549071864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25259] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.17 3.90 2.47 5/219 25505
/proc/meminfo: memFree=25927840/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9824732 CPUtime=1646.46 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 44750 0 1 0 164453 193 0 0 20 0 22 0 22659353 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2456183 519900 2294 9 0 2446860 0
[pid=25246/tid=25247] ppid=25243 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) S 25243 25246 22589 0 -1 4202560 2472 0 1 0 34 3 0 0 20 0 22 0 22659354 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236725810040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25249] ppid=25243 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/25246/task/25249/stat : 25249 (java) S 25243 25246 22589 0 -1 4202560 484 0 0 0 222 10 0 0 20 0 22 0 22659354 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236569692456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25250] ppid=25243 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/25246/task/25250/stat : 25250 (java) S 25243 25246 22589 0 -1 4202560 381 0 0 0 210 9 0 0 20 0 22 0 22659354 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236568639656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25251] ppid=25243 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/25246/task/25251/stat : 25251 (java) S 25243 25246 22589 0 -1 4202560 408 0 0 0 206 9 0 0 20 0 22 0 22659354 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236567587368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25252] ppid=25243 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/25246/task/25252/stat : 25252 (java) S 25243 25246 22589 0 -1 4202560 414 0 0 0 227 11 0 0 20 0 22 0 22659354 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236566534568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25253] ppid=25243 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/25246/task/25253/stat : 25253 (java) S 25243 25246 22589 0 -1 4202560 465 0 0 0 225 10 0 0 20 0 22 0 22659354 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236565482280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25254] ppid=25243 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/25246/task/25254/stat : 25254 (java) S 25243 25246 22589 0 -1 4202560 442 0 0 0 223 10 0 0 20 0 22 0 22659354 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236564429480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25255] ppid=25243 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/25246/task/25255/stat : 25255 (java) S 25243 25246 22589 0 -1 4202560 389 0 0 0 216 9 0 0 20 0 22 0 22659354 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236563377192 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25256] ppid=25243 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/25246/task/25256/stat : 25256 (java) S 25243 25246 22589 0 -1 4202560 437 0 0 0 214 6 0 0 20 0 22 0 22659354 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236562324392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25257] ppid=25243 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/25246/task/25257/stat : 25257 (java) S 25243 25246 22589 0 -1 4202560 1594 0 0 0 276 17 0 0 20 0 22 0 22659356 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236550125800 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25258] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25258/stat : 25258 (java) S 25243 25246 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236549071864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25259] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25259/stat : 25259 (java) S 25243 25246 22589 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236548019464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25263] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25263/stat : 25263 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236546967952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25264] ppid=25243 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/25246/task/25264/stat : 25264 (java) S 25243 25246 22589 0 -1 4202560 9734 0 0 0 163 2 0 0 20 0 22 0 22659363 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236545915576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25265] ppid=25243 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/25246/task/25265/stat : 25265 (java) S 25243 25246 22589 0 -1 4202560 24349 0 0 0 255 5 0 0 20 0 22 0 22659363 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236544862776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25266] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25266/stat : 25266 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236543810680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25267] ppid=25243 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/25246/task/25267/stat : 25267 (java) S 25243 25246 22589 0 -1 4202560 47 0 0 0 13 22 0 0 20 0 22 0 22659363 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236542758088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25270] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25270/stat : 25270 (java) S 25243 25246 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22659392 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236539499688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25495] ppid=25243 vsize=9824732 CPUtime=211.33 cores=1,3,5,7
/proc/25246/task/25495/stat : 25495 (java) R 25243 25246 22589 0 -1 4202560 12 0 0 0 21130 3 0 0 20 0 22 0 22720217 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236538444792 140236598847327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25496] ppid=25243 vsize=9824732 CPUtime=211.33 cores=1,3,5,7
/proc/25246/task/25496/stat : 25496 (java) R 25243 25246 22589 0 -1 4202560 25 0 0 0 21130 3 0 0 20 0 22 0 22720217 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236540549808 140236598780096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25497] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25497/stat : 25497 (java) S 25243 25246 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22720230 10060525568 519900 33554432000 1073741824 1073778376 140736118189552 140236541605288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1646.46
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.02 3.90 2.57 5/219 25506
/proc/meminfo: memFree=25694232/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9824732 CPUtime=1767.14 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 44769 0 1 0 176518 196 0 0 20 0 22 0 22659353 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2456183 505135 2294 9 0 2446860 0
[pid=25246/tid=25247] ppid=25243 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) S 25243 25246 22589 0 -1 4202560 2473 0 1 0 34 3 0 0 20 0 22 0 22659354 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236725810040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25249] ppid=25243 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/25246/task/25249/stat : 25249 (java) S 25243 25246 22589 0 -1 4202560 484 0 0 0 244 10 0 0 20 0 22 0 22659354 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236569692456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25250] ppid=25243 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/25246/task/25250/stat : 25250 (java) S 25243 25246 22589 0 -1 4202560 381 0 0 0 231 9 0 0 20 0 22 0 22659354 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236568639656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25251] ppid=25243 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/25246/task/25251/stat : 25251 (java) S 25243 25246 22589 0 -1 4202560 408 0 0 0 225 10 0 0 20 0 22 0 22659354 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236567587368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25252] ppid=25243 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/25246/task/25252/stat : 25252 (java) S 25243 25246 22589 0 -1 4202560 414 0 0 0 242 11 0 0 20 0 22 0 22659354 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236566534568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25253] ppid=25243 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/25246/task/25253/stat : 25253 (java) S 25243 25246 22589 0 -1 4202560 465 0 0 0 239 10 0 0 20 0 22 0 22659354 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236565482280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25254] ppid=25243 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/25246/task/25254/stat : 25254 (java) S 25243 25246 22589 0 -1 4202560 442 0 0 0 240 10 0 0 20 0 22 0 22659354 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236564429480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25255] ppid=25243 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/25246/task/25255/stat : 25255 (java) S 25243 25246 22589 0 -1 4202560 389 0 0 0 233 9 0 0 20 0 22 0 22659354 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236563377192 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25256] ppid=25243 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/25246/task/25256/stat : 25256 (java) S 25243 25246 22589 0 -1 4202560 437 0 0 0 229 7 0 0 20 0 22 0 22659354 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236562324392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25257] ppid=25243 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/25246/task/25257/stat : 25257 (java) S 25243 25246 22589 0 -1 4202560 1598 0 0 0 277 17 0 0 20 0 22 0 22659356 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236550125800 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25258] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25258/stat : 25258 (java) S 25243 25246 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236549071864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25259] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25259/stat : 25259 (java) S 25243 25246 22589 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236548019464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25263] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25263/stat : 25263 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236546967952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25264] ppid=25243 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/25246/task/25264/stat : 25264 (java) S 25243 25246 22589 0 -1 4202560 9734 0 0 0 163 2 0 0 20 0 22 0 22659363 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236545915576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25265] ppid=25243 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/25246/task/25265/stat : 25265 (java) S 25243 25246 22589 0 -1 4202560 24350 0 0 0 260 5 0 0 20 0 22 0 22659363 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236544862776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25266] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25266/stat : 25266 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236543810680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25267] ppid=25243 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/25246/task/25267/stat : 25267 (java) S 25243 25246 22589 0 -1 4202560 51 0 0 0 14 24 0 0 20 0 22 0 22659363 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236542758088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25270] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25270/stat : 25270 (java) S 25243 25246 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22659392 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236539499688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25495] ppid=25243 vsize=9824732 CPUtime=270.94 cores=1,3,5,7
/proc/25246/task/25495/stat : 25495 (java) R 25243 25246 22589 0 -1 4202560 19 0 0 0 27088 6 0 0 20 0 22 0 22720217 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236538445344 140236599080371 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25496] ppid=25243 vsize=9824732 CPUtime=270.96 cores=1,3,5,7
/proc/25246/task/25496/stat : 25496 (java) R 25243 25246 22589 0 -1 4202560 27 0 0 0 27092 4 0 0 20 0 22 0 22720217 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236540549648 140236599392140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25497] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25497/stat : 25497 (java) S 25243 25246 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22720230 10060525568 505135 33554432000 1073741824 1073778376 140736118189552 140236541605288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1767.14
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.601 s]
/proc/loadavg: 4.09 3.92 2.59 5/219 25506
/proc/meminfo: memFree=25700932/32872528 swapFree=496868/529572
[pid=25246] ppid=25243 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/25246/stat : 25246 (java) S 25243 25246 22589 0 -1 4202496 44901 0 1 0 179805 199 0 0 20 0 22 0 22659353 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140736118180688 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25246/statm: 2456183 507651 2294 9 0 2446860 0
[pid=25246/tid=25247] ppid=25243 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/25246/task/25247/stat : 25247 (java) S 25243 25246 22589 0 -1 4202560 2473 0 1 0 34 3 0 0 20 0 22 0 22659354 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236725810040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25249] ppid=25243 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/25246/task/25249/stat : 25249 (java) S 25243 25246 22589 0 -1 4202560 492 0 0 0 255 11 0 0 20 0 22 0 22659354 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236569692456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25250] ppid=25243 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/25246/task/25250/stat : 25250 (java) S 25243 25246 22589 0 -1 4202560 383 0 0 0 239 9 0 0 20 0 22 0 22659354 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236568639656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25251] ppid=25243 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/25246/task/25251/stat : 25251 (java) S 25243 25246 22589 0 -1 4202560 411 0 0 0 230 10 0 0 20 0 22 0 22659354 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236567587368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25252] ppid=25243 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/25246/task/25252/stat : 25252 (java) S 25243 25246 22589 0 -1 4202560 417 0 0 0 250 11 0 0 20 0 22 0 22659354 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236566534568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25253] ppid=25243 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/25246/task/25253/stat : 25253 (java) S 25243 25246 22589 0 -1 4202560 467 0 0 0 250 10 0 0 20 0 22 0 22659354 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236565482280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25254] ppid=25243 vsize=9824732 CPUtime=2.56 cores=1,3,5,7
/proc/25246/task/25254/stat : 25254 (java) S 25243 25246 22589 0 -1 4202560 443 0 0 0 246 10 0 0 20 0 22 0 22659354 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236564429480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25255] ppid=25243 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/25246/task/25255/stat : 25255 (java) S 25243 25246 22589 0 -1 4202560 392 0 0 0 242 9 0 0 20 0 22 0 22659354 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236563377192 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25256] ppid=25243 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/25246/task/25256/stat : 25256 (java) S 25243 25246 22589 0 -1 4202560 439 0 0 0 240 7 0 0 20 0 22 0 22659354 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236562324392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25257] ppid=25243 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/25246/task/25257/stat : 25257 (java) S 25243 25246 22589 0 -1 4202560 1702 0 0 0 277 18 0 0 20 0 22 0 22659356 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236550125800 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25258] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25258/stat : 25258 (java) S 25243 25246 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236549071864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25259] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25259/stat : 25259 (java) S 25243 25246 22589 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 22659356 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236548019464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25263] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25263/stat : 25263 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236546967952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25246/tid=25264] ppid=25243 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/25246/task/25264/stat : 25264 (java) S 25243 25246 22589 0 -1 4202560 9734 0 0 0 163 2 0 0 20 0 22 0 22659363 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236545915576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25265] ppid=25243 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/25246/task/25265/stat : 25265 (java) S 25243 25246 22589 0 -1 4202560 24350 0 0 0 260 5 0 0 20 0 22 0 22659363 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236544862776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25266] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25266/stat : 25266 (java) S 25243 25246 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22659363 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236543810680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25246/tid=25267] ppid=25243 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/25246/task/25267/stat : 25267 (java) S 25243 25246 22589 0 -1 4202560 51 0 0 0 14 24 0 0 20 0 22 0 22659363 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236542758088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25270] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25270/stat : 25270 (java) S 25243 25246 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22659392 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236539499688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25495] ppid=25243 vsize=9824732 CPUtime=287.04 cores=1,3,5,7
/proc/25246/task/25495/stat : 25495 (java) R 25243 25246 22589 0 -1 4202560 20 0 0 0 28698 6 0 0 20 0 22 0 22720217 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236538445360 140236598967634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25246/tid=25496] ppid=25243 vsize=9824732 CPUtime=287.06 cores=1,3,5,7
/proc/25246/task/25496/stat : 25496 (java) R 25243 25246 22589 0 -1 4202560 30 0 0 0 28702 4 0 0 20 0 22 0 22720217 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236540549680 140236599391929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25246/tid=25497] ppid=25243 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25246/task/25497/stat : 25497 (java) S 25243 25246 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22720230 10060525568 507651 33554432000 1073741824 1073778376 140736118189552 140236541605288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732

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

Child status: 143
Real time (s): 898.681
CPU time (s): 1800.62
CPU user time (s): 1798.31
CPU system time (s): 2.31065
CPU usage (%): 200.363
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 2.31065
maximum resident set size= 2816620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44946
page faults= 1
swaps= 0
block input operations= 8
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27894
involuntary context switches= 38540

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.39248 second user time and 4.46032 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 01:28:59
IDJOB=4099766
IDBENCH=1514
IDSOLVER=2543
FILE ID=node141/4099766-1466206139
RUNJOBID= node141-1466206051-22606
PBS_JOBID= 19918136
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP 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 Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099766-1466206139/watcher-4099766-1466206139 -o /tmp/evaluation-result-4099766-1466206139/solver-4099766-1466206139 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4099766-1466206139.opb

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

MD5SUM BENCH= 019e5a614038472d624f56ab4ecfb30e
RANDOM SEED=1820437475

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31489820 kB
Buffers:           41672 kB
Cached:            67584 kB
SwapCached:         2552 kB
Active:            82632 kB
Inactive:          66004 kB
Active(anon):      39752 kB
Inactive(anon):     1984 kB
Active(file):      42880 kB
Inactive(file):    64020 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099000 kB
Dirty:              1776 kB
Writeback:             0 kB
AnonPages:        563536 kB
Mapped:            14304 kB
Shmem:                 0 kB
Slab:             574056 kB
SReclaimable:      16892 kB
SUnreclaim:       557164 kB
KernelStack:        1568 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1219800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node141 at 2016-06-18 01:43:58