Trace number 3710659

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 specific settings 2.3.2 snapshotSAT (TO)218 1800.06 1789.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM0a5749e09f3f6f40d04f442dc86d22a6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark193
Best CPU time to get the best result obtained on this benchmark1789.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 188
Optimality of the best value was proved NO
Number of variables479
Total number of constraints479
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 constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 479
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.04/0.38	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.38	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.38	c See www.sat4j.org for details.
0.04/0.38	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.39	c version 2.3.2.v20120418
0.04/0.39	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.39	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.39	c java.vm.version	19.1-b02
0.04/0.39	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.39	c sun.arch.data.model	64
0.04/0.39	c java.version		1.6.0_24
0.04/0.39	c os.name		Linux
0.04/0.39	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.39	c os.arch		amd64
0.04/0.39	c Free memory 		501472288
0.04/0.39	c Max memory 		7480803328
0.04/0.39	c Total memory 		504102912
0.04/0.39	c Number of processors 	8
0.11/0.45	c read org.sat4j.minisat.orders.VarOrderHeap
0.11/0.45	c configuring ORDERS
0.11/0.46	c --- Begin Solver configuration ---
0.11/0.46	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.11/0.46	c Learn all clauses as in MiniSAT
0.11/0.46	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.46	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.11/0.46	c Expensive reason simplification
0.11/0.46	c Armin Biere (Picosat) restarts strategy
0.11/0.46	c Glucose learned constraints deletion strategy
0.11/0.46	c timeout=2147483s
0.11/0.46	c DB Simplification allowed=true
0.11/0.46	c Heuristics kept accross calls (keep the solver "hot")
0.11/0.46	c --- End Solver configuration ---
0.11/0.46	c solving HOME/instance-3710659-1338138950.opb
0.11/0.46	c reading problem ... 
0.20/0.58	c ... done. Wall clock time 0.122s.
0.20/0.58	c declared #vars     479
0.20/0.58	c #constraints  479
0.20/0.58	c constraints type 
0.20/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 479
0.20/0.58	c 479 constraints processed.
0.20/0.59	c SATISFIABLE
0.20/0.59	c OPTIMIZING...
0.20/0.59	c Got one! Elapsed wall clock time (in seconds):0.137
0.20/0.59	o 233
0.41/0.61	c Got one! Elapsed wall clock time (in seconds):0.153
0.41/0.61	o 229
0.41/0.62	c Got one! Elapsed wall clock time (in seconds):0.161
0.41/0.62	o 228
0.90/0.87	c Got one! Elapsed wall clock time (in seconds):0.415
0.90/0.87	o 227
1.27/1.14	c cleaning 2991 clauses out of 5995 with flag 4001/5995
1.74/1.50	c cleaning 4499 clauses out of 9004 with flag 10001/11995
1.84/1.63	c Got one! Elapsed wall clock time (in seconds):1.178
1.84/1.63	o 226
1.84/1.64	c Got one! Elapsed wall clock time (in seconds):1.182
1.84/1.64	o 224
2.05/1.87	c cleaning 5236 clauses out of 10484 with flag 4000/17974
2.48/2.24	c cleaning 5621 clauses out of 11248 with flag 10000/23974
2.93/2.67	c cleaning 6306 clauses out of 12628 with flag 17001/30975
3.04/2.79	c Got one! Elapsed wall clock time (in seconds):2.333
3.04/2.79	o 223
3.34/3.02	c cleaning 5952 clauses out of 11914 with flag 4000/36567
3.66/3.39	c cleaning 5977 clauses out of 11964 with flag 10002/42569
4.17/3.87	c cleaning 6487 clauses out of 12986 with flag 17001/49568
4.70/4.36	c cleaning 7246 clauses out of 14498 with flag 25000/57567
5.31/4.97	c cleaning 8121 clauses out of 16252 with flag 34000/66567
6.04/5.65	c cleaning 9063 clauses out of 18132 with flag 44001/76568
6.74/6.31	c cleaning 10029 clauses out of 20069 with flag 55001/87568
7.56/7.14	c cleaning 11016 clauses out of 22040 with flag 67001/99568
8.46/8.04	c cleaning 12006 clauses out of 24025 with flag 80002/112569
9.37/8.93	c cleaning 13005 clauses out of 26018 with flag 94001/126568
10.31/9.89	c cleaning 14002 clauses out of 28012 with flag 109000/141567
11.42/10.98	c cleaning 15000 clauses out of 30010 with flag 125000/157567
12.84/12.39	c cleaning 16002 clauses out of 32010 with flag 142000/174567
14.06/13.52	c cleaning 16996 clauses out of 34008 with flag 160000/192567
15.27/14.76	c cleaning 18000 clauses out of 36012 with flag 179000/211567
16.78/16.21	c cleaning 18998 clauses out of 38012 with flag 199000/231567
18.32/17.75	c cleaning 20000 clauses out of 40015 with flag 220001/252568
19.83/19.28	c cleaning 21005 clauses out of 42015 with flag 242001/274568
21.45/20.81	c cleaning 21994 clauses out of 44009 with flag 265000/297567
22.75/22.16	c Got one! Elapsed wall clock time (in seconds):21.7
22.75/22.16	o 222
23.15/22.58	c cleaning 23609 clauses out of 47229 with flag 5000/322781
23.57/22.96	c cleaning 14805 clauses out of 29621 with flag 11001/328782
24.07/23.42	c cleaning 10902 clauses out of 21815 with flag 18000/335781
24.59/23.98	c cleaning 9451 clauses out of 18914 with flag 26001/343782
25.31/24.64	c cleaning 9224 clauses out of 18462 with flag 35000/352781
26.21/25.51	c cleaning 9611 clauses out of 19238 with flag 45000/362781
27.13/26.47	c cleaning 10310 clauses out of 20627 with flag 56000/373781
28.24/27.54	c cleaning 11154 clauses out of 22318 with flag 68001/385782
29.14/28.47	c cleaning 12079 clauses out of 24165 with flag 81002/398783
30.05/29.34	c cleaning 13038 clauses out of 26085 with flag 95001/412782
31.05/30.31	c cleaning 14018 clauses out of 28047 with flag 110001/427782
32.07/31.30	c cleaning 15006 clauses out of 30028 with flag 126000/443781
33.17/32.47	c cleaning 16000 clauses out of 32023 with flag 143001/460782
34.73/33.92	c cleaning 17007 clauses out of 34022 with flag 161000/478781
36.05/35.25	c cleaning 18002 clauses out of 36015 with flag 180000/497781
37.75/36.91	c cleaning 19000 clauses out of 38014 with flag 200001/517782
39.37/38.55	c cleaning 20001 clauses out of 40014 with flag 221001/538782
41.07/40.29	c cleaning 20999 clauses out of 42013 with flag 243001/560782
43.00/42.18	c cleaning 22002 clauses out of 44014 with flag 266001/583782
44.70/43.88	c cleaning 23000 clauses out of 46011 with flag 290000/607781
46.61/45.72	c cleaning 24001 clauses out of 48013 with flag 315002/632783
48.62/47.74	c cleaning 24996 clauses out of 50011 with flag 341001/658782
50.66/49.78	c cleaning 26002 clauses out of 52015 with flag 368001/685782
53.21/52.20	c cleaning 26996 clauses out of 54012 with flag 396000/713781
54.33/53.34	c Got one! Elapsed wall clock time (in seconds):52.88
54.33/53.34	o 221
54.73/53.71	c cleaning 23609 clauses out of 47229 with flag 5001/733994
55.15/54.13	c cleaning 14802 clauses out of 29619 with flag 11000/739993
55.56/54.56	c cleaning 10903 clauses out of 21819 with flag 18002/746995
56.07/55.07	c cleaning 9448 clauses out of 18914 with flag 26000/754993
56.66/55.69	c cleaning 9226 clauses out of 18466 with flag 35000/763993
57.37/56.37	c cleaning 9612 clauses out of 19240 with flag 45000/773993
58.21/57.11	c cleaning 10308 clauses out of 20628 with flag 56000/784993
59.00/57.96	c cleaning 11156 clauses out of 22321 with flag 68001/796994
59.91/58.88	c cleaning 12077 clauses out of 24164 with flag 81000/809993
60.93/59.83	c cleaning 13037 clauses out of 26088 with flag 95001/823994
62.03/60.96	c cleaning 14018 clauses out of 28052 with flag 110002/838995
63.35/62.21	c cleaning 15010 clauses out of 30033 with flag 126001/854994
64.75/63.62	c cleaning 16005 clauses out of 32023 with flag 143001/871994
66.08/64.96	c cleaning 17005 clauses out of 34018 with flag 161001/889994
67.29/66.19	c cleaning 18004 clauses out of 36014 with flag 180002/908995
68.71/67.54	c cleaning 19000 clauses out of 38008 with flag 200000/928993
70.25/69.08	c cleaning 19997 clauses out of 40009 with flag 221001/949994
72.17/70.92	c Got one! Elapsed wall clock time (in seconds):70.459
72.17/70.92	o 220
72.47/71.28	c cleaning 23488 clauses out of 46988 with flag 5001/976970
72.89/71.69	c cleaning 14742 clauses out of 29500 with flag 11001/982970
73.39/72.12	c cleaning 10873 clauses out of 21758 with flag 18001/989970
73.83/72.59	c cleaning 9439 clauses out of 18884 with flag 26000/997969
74.44/73.15	c cleaning 9213 clauses out of 18445 with flag 35000/1006969
75.07/73.78	c cleaning 9608 clauses out of 19232 with flag 45000/1016969
75.86/74.50	c cleaning 10308 clauses out of 20626 with flag 56002/1027971
76.68/75.30	c cleaning 11148 clauses out of 22317 with flag 68001/1039970
77.59/76.21	c cleaning 12073 clauses out of 24168 with flag 81000/1052969
78.60/77.21	c cleaning 13039 clauses out of 26096 with flag 95001/1066970
79.61/78.21	c cleaning 14023 clauses out of 28056 with flag 110000/1081969
80.72/79.33	c cleaning 15009 clauses out of 30033 with flag 126000/1097969
81.94/80.57	c cleaning 16005 clauses out of 32024 with flag 143000/1114969
83.37/81.98	c cleaning 17003 clauses out of 34019 with flag 161000/1132969
84.99/83.58	c cleaning 18003 clauses out of 36017 with flag 180001/1151970
86.69/85.25	c cleaning 18995 clauses out of 38014 with flag 200001/1171970
88.21/86.72	c cleaning 20002 clauses out of 40018 with flag 221000/1192969
89.73/88.26	c cleaning 21001 clauses out of 42017 with flag 243001/1214970
91.45/89.90	c cleaning 22000 clauses out of 44016 with flag 266001/1237970
93.18/91.68	c cleaning 23002 clauses out of 46017 with flag 290002/1261971
95.29/93.73	c cleaning 24000 clauses out of 48013 with flag 315000/1286969
97.21/95.64	c cleaning 24998 clauses out of 50014 with flag 341001/1312970
99.11/97.55	c cleaning 26004 clauses out of 52016 with flag 368001/1339970
101.02/99.48	c cleaning 27000 clauses out of 54012 with flag 396001/1367970
103.03/101.45	c cleaning 28003 clauses out of 56011 with flag 425000/1396969
105.16/103.52	c cleaning 28999 clauses out of 58008 with flag 455000/1426969
107.68/106.09	c cleaning 29999 clauses out of 60009 with flag 486000/1457969
110.32/108.68	c cleaning 30995 clauses out of 62010 with flag 518000/1489969
113.15/111.42	c cleaning 32005 clauses out of 64015 with flag 551000/1522969
116.08/114.38	c cleaning 32994 clauses out of 66010 with flag 585000/1556969
119.21/117.49	c cleaning 34001 clauses out of 68016 with flag 620000/1591969
122.34/120.51	c cleaning 35001 clauses out of 70016 with flag 656001/1627970
125.26/123.45	c cleaning 35998 clauses out of 72014 with flag 693000/1664969
128.69/126.87	c cleaning 36998 clauses out of 74016 with flag 731000/1702969
132.51/130.61	c cleaning 37999 clauses out of 76018 with flag 770000/1741969
135.84/133.92	c cleaning 39000 clauses out of 78019 with flag 810000/1781969
139.37/137.42	c cleaning 40003 clauses out of 80019 with flag 851000/1822969
142.82/140.83	c cleaning 41001 clauses out of 82017 with flag 893001/1864970
146.42/144.41	c cleaning 42001 clauses out of 84015 with flag 936000/1907969
150.14/148.11	c cleaning 43001 clauses out of 86015 with flag 980001/1951970
153.97/151.96	c cleaning 44002 clauses out of 88014 with flag 1025001/1996970
156.98/154.91	c cleaning 44999 clauses out of 90012 with flag 1071001/2042970
160.40/158.39	c cleaning 45998 clauses out of 92012 with flag 1118000/2089969
163.94/161.89	c cleaning 47002 clauses out of 94015 with flag 1166001/2137970
168.05/165.93	c cleaning 47997 clauses out of 96014 with flag 1215002/2186971
172.01/169.87	c cleaning 49000 clauses out of 98015 with flag 1265000/2236969
176.94/174.71	c cleaning 50002 clauses out of 100015 with flag 1316000/2287969
181.41/179.11	c cleaning 50997 clauses out of 102013 with flag 1368000/2339969
186.14/183.84	c cleaning 52005 clauses out of 104019 with flag 1421003/2392972
190.69/188.34	c cleaning 53002 clauses out of 106013 with flag 1475002/2446971
196.43/194.07	c cleaning 53995 clauses out of 108010 with flag 1530001/2501970
202.56/200.17	c cleaning 55002 clauses out of 110014 with flag 1586000/2557969
209.09/206.63	c cleaning 56000 clauses out of 112015 with flag 1643003/2614972
214.32/211.88	c cleaning 56999 clauses out of 114013 with flag 1701001/2672970
219.84/217.35	c cleaning 57999 clauses out of 116013 with flag 1760000/2731969
225.46/222.93	c cleaning 59001 clauses out of 118014 with flag 1820000/2791969
231.31/228.79	c cleaning 60005 clauses out of 120015 with flag 1881002/2852971
237.64/235.04	c cleaning 60995 clauses out of 122009 with flag 1943001/2914970
243.78/241.12	c cleaning 61998 clauses out of 124014 with flag 2006001/2977970
249.06/246.33	c cleaning 63003 clauses out of 126016 with flag 2070001/3041970
254.38/251.68	c cleaning 63996 clauses out of 128012 with flag 2135000/3106969
260.61/257.80	c cleaning 65002 clauses out of 130017 with flag 2201001/3172970
267.25/264.46	c cleaning 65997 clauses out of 132015 with flag 2268001/3239970
273.29/270.50	c cleaning 67000 clauses out of 134017 with flag 2336000/3307969
281.12/278.30	c cleaning 68000 clauses out of 136017 with flag 2405000/3376969
288.07/285.17	c cleaning 68997 clauses out of 138018 with flag 2475001/3446970
295.29/292.31	c cleaning 70005 clauses out of 140021 with flag 2546001/3517970
302.34/299.34	c cleaning 71006 clauses out of 142016 with flag 2618001/3589970
308.89/305.81	c cleaning 71996 clauses out of 144009 with flag 2691000/3662969
317.11/314.06	c cleaning 73003 clauses out of 146014 with flag 2765001/3736970
324.88/321.76	c cleaning 73999 clauses out of 148011 with flag 2840001/3811970
333.30/330.11	c cleaning 74997 clauses out of 150012 with flag 2916001/3887970
341.84/338.66	c cleaning 75998 clauses out of 152015 with flag 2993001/3964970
348.58/345.38	c cleaning 77001 clauses out of 154017 with flag 3071001/4042970
356.71/353.45	c cleaning 78002 clauses out of 156016 with flag 3150001/4121970
365.98/362.61	c cleaning 78998 clauses out of 158013 with flag 3230000/4201969
375.13/371.70	c cleaning 79999 clauses out of 160015 with flag 3311000/4282969
383.77/380.32	c cleaning 81001 clauses out of 162018 with flag 3393002/4364971
394.12/390.64	c cleaning 81998 clauses out of 164016 with flag 3476001/4447970
402.06/398.56	c cleaning 83005 clauses out of 166018 with flag 3560001/4531970
409.18/405.63	c cleaning 83999 clauses out of 168012 with flag 3645000/4616969
417.82/414.27	c cleaning 84998 clauses out of 170014 with flag 3731001/4702970
428.41/424.73	c cleaning 86001 clauses out of 172015 with flag 3818000/4789969
437.31/433.50	c cleaning 87000 clauses out of 174014 with flag 3906000/4877969
445.87/442.01	c cleaning 88003 clauses out of 176015 with flag 3995001/4966970
456.80/452.96	c cleaning 88995 clauses out of 178012 with flag 4085001/5056970
468.16/464.21	c cleaning 89999 clauses out of 180016 with flag 4176000/5147969
479.70/475.72	c cleaning 91003 clauses out of 182017 with flag 4268000/5239969
491.59/487.55	c cleaning 92001 clauses out of 184017 with flag 4361003/5332972
504.75/500.68	c cleaning 92996 clauses out of 186013 with flag 4455000/5426969
515.38/511.21	c cleaning 94000 clauses out of 188017 with flag 4550000/5521969
528.61/524.40	c cleaning 94999 clauses out of 190017 with flag 4646000/5617969
540.27/536.07	c cleaning 95999 clauses out of 192018 with flag 4743000/5714969
553.16/548.89	c cleaning 97001 clauses out of 194020 with flag 4841001/5812970
565.59/561.22	c cleaning 98001 clauses out of 196018 with flag 4940000/5911969
575.92/571.57	c cleaning 98998 clauses out of 198017 with flag 5040000/6011969
590.07/585.51	c cleaning 100001 clauses out of 200020 with flag 5141001/6112970
602.16/597.52	c cleaning 100999 clauses out of 202018 with flag 5243000/6214969
617.12/612.42	c cleaning 102001 clauses out of 204019 with flag 5346000/6317969
630.85/626.19	c cleaning 103001 clauses out of 206019 with flag 5450001/6421970
644.14/639.31	c cleaning 103997 clauses out of 208017 with flag 5555000/6526969
657.57/652.71	c cleaning 105001 clauses out of 210021 with flag 5661001/6632970
672.11/667.26	c cleaning 106008 clauses out of 212019 with flag 5768000/6739969
678.67/673.73	c Got one! Elapsed wall clock time (in seconds):673.279
678.67/673.73	o 219
679.97/675.06	c cleaning 98424 clauses out of 196855 with flag 5000/6830813
680.72/675.75	c cleaning 52210 clauses out of 104431 with flag 11000/6836813
681.34/676.32	c cleaning 29602 clauses out of 59222 with flag 18001/6843814
681.85/676.88	c cleaning 18803 clauses out of 37620 with flag 26001/6851814
682.60/677.51	c cleaning 13901 clauses out of 27816 with flag 35000/6860813
683.32/678.22	c cleaning 11953 clauses out of 23915 with flag 45000/6870813
684.04/678.99	c cleaning 11471 clauses out of 22962 with flag 56000/6881813
684.97/679.86	c cleaning 11737 clauses out of 23491 with flag 68000/6893813
685.87/680.78	c cleaning 12370 clauses out of 24754 with flag 81000/6906813
686.88/681.76	c cleaning 13186 clauses out of 26384 with flag 95000/6920813
687.88/682.73	c cleaning 14090 clauses out of 28198 with flag 110000/6935813
689.00/683.89	c cleaning 15044 clauses out of 30108 with flag 126000/6951813
690.41/685.21	c cleaning 16028 clauses out of 32066 with flag 143002/6968815
691.83/686.62	c cleaning 17009 clauses out of 34036 with flag 161000/6986813
693.46/688.23	c cleaning 18007 clauses out of 36027 with flag 180000/7005813
695.07/689.86	c cleaning 19000 clauses out of 38020 with flag 200000/7025813
696.68/691.49	c cleaning 20002 clauses out of 40020 with flag 221000/7046813
698.51/693.25	c cleaning 21005 clauses out of 42019 with flag 243001/7068814
700.32/695.06	c cleaning 21998 clauses out of 44015 with flag 266002/7091815
702.43/697.15	c cleaning 22996 clauses out of 46015 with flag 290000/7115813
704.53/699.28	c cleaning 24005 clauses out of 48021 with flag 315002/7140815
707.04/701.71	c cleaning 25001 clauses out of 50015 with flag 341001/7166814
709.17/703.80	c cleaning 26002 clauses out of 52014 with flag 368001/7193814
711.53/706.19	c cleaning 26998 clauses out of 54011 with flag 396000/7221813
714.04/708.66	c cleaning 27997 clauses out of 56013 with flag 425000/7250813
716.37/710.99	c cleaning 28999 clauses out of 58016 with flag 455000/7280813
719.09/713.68	c cleaning 30003 clauses out of 60018 with flag 486001/7311814
722.02/716.50	c cleaning 30998 clauses out of 62014 with flag 518000/7343813
724.96/719.42	c cleaning 31997 clauses out of 64016 with flag 551000/7376813
727.38/721.81	c cleaning 33003 clauses out of 66019 with flag 585000/7410813
730.09/724.52	c cleaning 33999 clauses out of 68016 with flag 620000/7445813
733.09/727.50	c cleaning 35002 clauses out of 70017 with flag 656000/7481813
736.23/730.66	c cleaning 36002 clauses out of 72016 with flag 693001/7518814
739.27/733.70	c cleaning 36998 clauses out of 74014 with flag 731001/7556814
742.39/736.78	c cleaning 37998 clauses out of 76015 with flag 770000/7595813
745.52/739.89	c cleaning 39002 clauses out of 78017 with flag 810000/7635813
748.94/743.28	c cleaning 39996 clauses out of 80015 with flag 851000/7676813
752.45/746.75	c cleaning 41003 clauses out of 82019 with flag 893000/7718813
755.66/749.96	c cleaning 42001 clauses out of 84016 with flag 936000/7761813
759.29/753.55	c cleaning 42999 clauses out of 86016 with flag 980001/7805814
763.12/757.31	c cleaning 43996 clauses out of 88016 with flag 1025000/7850813
767.24/761.41	c cleaning 45002 clauses out of 90020 with flag 1071000/7896813
771.16/765.34	c cleaning 46001 clauses out of 92018 with flag 1118000/7943813
775.67/769.86	c cleaning 47002 clauses out of 94017 with flag 1166000/7991813
780.11/774.28	c cleaning 48002 clauses out of 96016 with flag 1215001/8040814
785.24/779.36	c cleaning 49000 clauses out of 98016 with flag 1265003/8090816
790.56/784.64	c cleaning 49997 clauses out of 100013 with flag 1316000/8141813
795.60/789.69	c cleaning 51000 clauses out of 102016 with flag 1368000/8193813
800.16/794.19	c cleaning 51998 clauses out of 104016 with flag 1421000/8246813
805.17/799.12	c cleaning 53000 clauses out of 106020 with flag 1475002/8300815
810.28/804.22	c cleaning 54002 clauses out of 108020 with flag 1530002/8355815
815.61/809.51	c cleaning 54998 clauses out of 110017 with flag 1586001/8411814
818.83/812.78	c Got one! Elapsed wall clock time (in seconds):812.322
818.83/812.78	o 218
819.64/813.50	c cleaning 49952 clauses out of 99921 with flag 5000/8456716
820.08/813.97	c cleaning 27980 clauses out of 55970 with flag 11001/8462717
820.58/814.43	c cleaning 17486 clauses out of 34989 with flag 18000/8469716
821.11/814.95	c cleaning 12744 clauses out of 25503 with flag 26000/8477716
821.73/815.51	c cleaning 10875 clauses out of 21761 with flag 35002/8486718
822.36/816.12	c cleaning 10434 clauses out of 20884 with flag 45000/8496716
822.96/816.80	c cleaning 10715 clauses out of 21450 with flag 56000/8507716
823.88/817.61	c cleaning 11359 clauses out of 22735 with flag 68000/8519716
824.70/818.45	c cleaning 12180 clauses out of 24376 with flag 81000/8532716
825.72/819.50	c cleaning 13090 clauses out of 26197 with flag 95001/8546717
826.83/820.55	c cleaning 14047 clauses out of 28106 with flag 110000/8561716
827.96/821.64	c cleaning 15022 clauses out of 30060 with flag 126001/8577717
829.19/822.86	c cleaning 16011 clauses out of 32037 with flag 143000/8594716
830.50/824.16	c cleaning 17005 clauses out of 34027 with flag 161001/8612717
831.91/825.52	c cleaning 18004 clauses out of 36023 with flag 180002/8631718
833.33/826.99	c cleaning 19001 clauses out of 38018 with flag 200001/8651717
834.93/828.55	c cleaning 20003 clauses out of 40017 with flag 221001/8672717
836.64/830.25	c cleaning 20997 clauses out of 42013 with flag 243000/8694716
838.37/831.97	c cleaning 22002 clauses out of 44018 with flag 266002/8717718
840.30/833.89	c cleaning 22998 clauses out of 46014 with flag 290000/8741716
842.31/835.88	c cleaning 24000 clauses out of 48017 with flag 315001/8766717
844.54/838.03	c cleaning 25001 clauses out of 50016 with flag 341000/8792716
846.77/840.30	c cleaning 25999 clauses out of 52016 with flag 368001/8819717
849.08/842.57	c cleaning 26996 clauses out of 54016 with flag 396000/8847716
851.60/845.01	c cleaning 28003 clauses out of 56020 with flag 425000/8876716
854.23/847.63	c cleaning 28996 clauses out of 58017 with flag 455000/8906716
856.76/850.17	c cleaning 29998 clauses out of 60022 with flag 486001/8937717
859.37/852.73	c cleaning 30999 clauses out of 62023 with flag 518000/8969716
861.69/855.02	c cleaning 32006 clauses out of 64025 with flag 551001/9002717
864.60/857.92	c cleaning 33000 clauses out of 66018 with flag 585000/9036716
867.51/860.85	c cleaning 34000 clauses out of 68019 with flag 620001/9071717
870.32/863.62	c cleaning 35002 clauses out of 70018 with flag 656000/9107716
873.24/866.51	c cleaning 36002 clauses out of 72016 with flag 693000/9144716
876.25/869.52	c cleaning 37001 clauses out of 74015 with flag 731001/9182717
879.57/872.89	c cleaning 37995 clauses out of 76014 with flag 770001/9221717
883.00/876.24	c cleaning 39004 clauses out of 78019 with flag 810001/9261717
886.61/879.84	c cleaning 39997 clauses out of 80015 with flag 851001/9302717
890.14/883.32	c cleaning 40995 clauses out of 82017 with flag 893000/9344716
894.07/887.26	c cleaning 42004 clauses out of 84024 with flag 936002/9387718
898.29/891.47	c cleaning 43000 clauses out of 86019 with flag 980001/9431717
903.01/896.11	c cleaning 44004 clauses out of 88018 with flag 1025000/9476716
907.53/900.68	c cleaning 44998 clauses out of 90014 with flag 1071000/9522716
912.46/905.51	c cleaning 45999 clauses out of 92016 with flag 1118000/9569716
917.09/910.17	c cleaning 47000 clauses out of 94018 with flag 1166001/9617717
921.80/914.87	c cleaning 48003 clauses out of 96018 with flag 1215001/9666717
927.32/920.32	c cleaning 48999 clauses out of 98014 with flag 1265000/9716716
932.64/925.65	c cleaning 50001 clauses out of 100016 with flag 1316001/9767717
937.45/930.50	c cleaning 51000 clauses out of 102015 with flag 1368001/9819717
942.86/935.84	c cleaning 51997 clauses out of 104015 with flag 1421001/9872717
948.49/941.42	c cleaning 53002 clauses out of 106018 with flag 1475001/9926717
954.40/947.32	c cleaning 53996 clauses out of 108016 with flag 1530001/9981717
960.32/953.22	c cleaning 55001 clauses out of 110020 with flag 1586001/10037717
966.25/959.15	c cleaning 56001 clauses out of 112018 with flag 1643000/10094716
970.69/963.58	c cleaning 57000 clauses out of 114018 with flag 1701001/10152717
975.13/967.93	c cleaning 58004 clauses out of 116018 with flag 1760001/10211717
979.74/972.55	c cleaning 59001 clauses out of 118015 with flag 1820002/10271718
984.67/977.46	c cleaning 59999 clauses out of 120013 with flag 1881001/10332717
990.71/983.46	c cleaning 61000 clauses out of 122014 with flag 1943001/10394717
996.34/989.03	c cleaning 61999 clauses out of 124014 with flag 2006001/10457717
1003.99/996.68	c cleaning 63000 clauses out of 126014 with flag 2070000/10521716
1009.66/1002.25	c cleaning 63996 clauses out of 128014 with flag 2135000/10586716
1016.27/1008.81	c cleaning 65004 clauses out of 130019 with flag 2201001/10652717
1022.61/1015.18	c cleaning 66001 clauses out of 132014 with flag 2268000/10719716
1028.44/1020.98	c cleaning 67001 clauses out of 134013 with flag 2336000/10787716
1034.66/1027.16	c cleaning 67997 clauses out of 136012 with flag 2405000/10856716
1041.97/1034.48	c cleaning 69000 clauses out of 138016 with flag 2475001/10926717
1048.80/1041.23	c cleaning 70000 clauses out of 140015 with flag 2546000/10997716
1056.12/1048.54	c cleaning 71002 clauses out of 142015 with flag 2618000/11069716
1062.67/1055.06	c cleaning 71995 clauses out of 144013 with flag 2691000/11142716
1070.13/1062.44	c cleaning 73005 clauses out of 146020 with flag 2765002/11216718
1078.28/1070.56	c cleaning 73994 clauses out of 148013 with flag 2840000/11291716
1086.31/1078.58	c cleaning 75002 clauses out of 150021 with flag 2916002/11367718
1094.73/1086.94	c cleaning 76000 clauses out of 152019 with flag 2993002/11444718
1103.69/1095.85	c cleaning 77000 clauses out of 154018 with flag 3071001/11522717
1111.61/1103.72	c cleaning 77999 clauses out of 156017 with flag 3150000/11601716
1119.36/1111.40	c cleaning 79002 clauses out of 158019 with flag 3230001/11681717
1127.45/1119.42	c cleaning 80000 clauses out of 160017 with flag 3311001/11762717
1136.88/1128.84	c cleaning 80998 clauses out of 162016 with flag 3393000/11844716
1145.94/1137.82	c cleaning 82002 clauses out of 164019 with flag 3476001/11927717
1154.37/1146.24	c cleaning 82996 clauses out of 166016 with flag 3560000/12011716
1164.41/1156.20	c cleaning 83995 clauses out of 168020 with flag 3645000/12096716
1174.28/1166.09	c cleaning 85004 clauses out of 170025 with flag 3731000/12182716
1185.69/1177.42	c cleaning 86005 clauses out of 172023 with flag 3818002/12269718
1193.76/1185.44	c cleaning 86998 clauses out of 174016 with flag 3906000/12357716
1203.50/1195.12	c cleaning 87999 clauses out of 176018 with flag 3995000/12446716
1215.55/1207.17	c cleaning 89002 clauses out of 178019 with flag 4085000/12536716
1227.20/1218.77	c cleaning 89999 clauses out of 180018 with flag 4176001/12627717
1238.44/1229.96	c cleaning 91000 clauses out of 182018 with flag 4268000/12719716
1253.57/1245.01	c cleaning 92002 clauses out of 184018 with flag 4361000/12812716
1266.83/1258.26	c cleaning 92999 clauses out of 186017 with flag 4455001/12906717
1278.76/1270.19	c cleaning 94003 clauses out of 188017 with flag 4550000/13001716
1291.81/1283.14	c cleaning 94998 clauses out of 190015 with flag 4646001/13097717
1304.37/1295.64	c cleaning 96000 clauses out of 192018 with flag 4743002/13194718
1317.88/1309.14	c cleaning 96997 clauses out of 194017 with flag 4841001/13292717
1331.52/1322.76	c cleaning 98001 clauses out of 196019 with flag 4940000/13391716
1343.99/1335.16	c cleaning 99005 clauses out of 198019 with flag 5040001/13491717
1355.62/1346.73	c cleaning 99998 clauses out of 200014 with flag 5141001/13592717
1367.37/1358.41	c cleaning 100999 clauses out of 202016 with flag 5243001/13694717
1380.31/1371.39	c cleaning 101995 clauses out of 204016 with flag 5346000/13797716
1392.66/1383.68	c cleaning 103004 clauses out of 206022 with flag 5450001/13901717
1404.78/1395.71	c cleaning 104001 clauses out of 208018 with flag 5555001/14006717
1417.61/1408.51	c cleaning 104997 clauses out of 210017 with flag 5661001/14112717
1429.25/1420.15	c cleaning 105999 clauses out of 212019 with flag 5768000/14219716
1442.69/1433.54	c cleaning 106999 clauses out of 214020 with flag 5876000/14327716
1455.64/1446.45	c cleaning 107999 clauses out of 216022 with flag 5985001/14436717
1468.56/1459.39	c cleaning 109002 clauses out of 218024 with flag 6095002/14546718
1481.11/1471.87	c cleaning 110000 clauses out of 220021 with flag 6206001/14657717
1494.16/1484.81	c cleaning 110998 clauses out of 222020 with flag 6318000/14769716
1505.71/1496.30	c cleaning 112000 clauses out of 224022 with flag 6431000/14882716
1519.26/1509.85	c cleaning 113001 clauses out of 226023 with flag 6545001/14996717
1533.41/1523.93	c cleaning 114004 clauses out of 228021 with flag 6660000/15111716
1543.87/1534.36	c cleaning 115003 clauses out of 230017 with flag 6776000/15227716
1555.59/1546.09	c cleaning 116002 clauses out of 232014 with flag 6893000/15344716
1570.16/1560.52	c cleaning 117000 clauses out of 234013 with flag 7011001/15462717
1584.97/1575.21	c cleaning 117995 clauses out of 236012 with flag 7130000/15581716
1600.93/1591.13	c cleaning 119001 clauses out of 238018 with flag 7250001/15701717
1616.41/1606.53	c cleaning 120002 clauses out of 240017 with flag 7371001/15822717
1631.80/1621.87	c cleaning 120998 clauses out of 242014 with flag 7493000/15944716
1645.26/1635.25	c cleaning 121998 clauses out of 244016 with flag 7616000/16067716
1657.32/1647.26	c cleaning 123001 clauses out of 246019 with flag 7740001/16191717
1670.10/1659.95	c cleaning 124000 clauses out of 248017 with flag 7865000/16316716
1687.33/1677.08	c cleaning 124996 clauses out of 250018 with flag 7991001/16442717
1701.36/1690.94	c cleaning 126004 clauses out of 252021 with flag 8118000/16569716
1713.72/1703.24	c cleaning 127001 clauses out of 254018 with flag 8246001/16697717
1729.64/1719.17	c cleaning 127997 clauses out of 256017 with flag 8375001/16826717
1744.62/1734.00	c cleaning 129005 clauses out of 258021 with flag 8505002/16956718
1760.21/1749.51	c cleaning 129998 clauses out of 260014 with flag 8636000/17087716
1777.61/1766.85	c cleaning 130995 clauses out of 262016 with flag 8768000/17219716
1794.08/1783.25	c cleaning 132001 clauses out of 264022 with flag 8901001/17352717
1800.06/1789.11	c starts		: 361
1800.06/1789.11	c conflicts		: 17431964
1800.06/1789.11	c decisions		: 21308283
1800.06/1789.11	c propagations		: 380899521
1800.06/1789.11	c inspects		: 15731842324
1800.06/1789.11	c shortcuts		: 0
1800.06/1789.11	c learnt literals	: 0
1800.06/1789.11	c learnt binary clauses	: 0
1800.06/1789.11	c learnt ternary clauses	: 0
1800.06/1789.11	c learnt constraints	: 17431965
1800.06/1789.11	c ignored constraints	: 0
1800.06/1789.11	c root simplifications	: 361
1800.06/1789.11	c removed literals (reason simplification)	: 92027
1800.06/1789.11	c reason swapping (by a shorter reason)	: 0
1800.06/1789.11	c Calls to reduceDB	: 349
1800.06/1789.11	c number of reductions to clauses (during analyze)	: 0
1800.06/1789.11	c number of learned constraints concerned by reduction	: 0
1800.06/1789.11	c number of learning phase by resolution	: 0
1800.06/1789.11	c number of learning phase by cutting planes	: 0
1800.06/1789.11	c speed (assignments/second)	: 212968.06202191857
1800.06/1789.11	c non guided choices	1010
1800.06/1789.15	c learnt constraints type 
1800.06/1789.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 211576
1800.06/1789.15	c constraints type 
1800.06/1789.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1789.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 479
1800.06/1789.15	c 480 constraints processed.
1800.06/1789.15	s SATISFIABLE
1800.06/1789.15	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 
1800.06/1789.15	c objective function=218
1800.06/1789.15	c Total wall clock time (in seconds): 1788.691

Verifier Data 

OK	218

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3710659-1338138950/watcher-3710659-1338138950 -o /tmp/evaluation-result-3710659-1338138950/solver-3710659-1338138950 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710659-1338138950.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.93 1.37 1.73 1/171 25308
/proc/meminfo: memFree=31380668/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/25308/stat : 25308 (java) D 25306 25308 22966 0 -1 4202496 81 0 1 0 0 0 0 0 20 0 1 0 280023526 278528 34 33554432000 1073741824 1073778376 140736193986896 140736193984072 270109076775 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 68 34 25 9 0 25 0

[startup+0.062962 s]
/proc/loadavg: 0.93 1.37 1.73 1/171 25308
/proc/meminfo: memFree=31380668/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25308/stat : 25308 (java) D 25306 25308 22966 0 -1 4202496 986 0 7 0 0 0 0 0 20 0 1 0 280023526 23793664 719 33554432000 1073741824 1073778376 140737155838048 140737155828040 140591433259568 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 2 0 0
/proc/25308/statm: 5809 719 533 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.100275 s]
/proc/loadavg: 0.93 1.37 1.73 1/171 25308
/proc/meminfo: memFree=31380668/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25308/stat : 25308 (java) D 25306 25308 22966 0 -1 4202496 1060 0 18 0 0 0 0 0 20 0 1 0 280023526 23793664 804 33554432000 1073741824 1073778376 140737155838048 140737155828040 140591427737552 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 6 0 0
/proc/25308/statm: 5809 804 598 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.300215 s]
/proc/loadavg: 0.93 1.37 1.73 1/171 25308
/proc/meminfo: memFree=31380668/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=9225560 CPUtime=0.04 cores=0,2,4,6
/proc/25308/stat : 25308 (java) S 25306 25308 22966 0 -1 4202496 3046 0 30 0 3 1 0 0 20 0 13 0 280023526 9446973440 3771 33554432000 1073741824 1073778376 140737155838048 140737155829184 270121599037 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/25308/statm: 2306390 3771 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.70021 s]
/proc/loadavg: 0.93 1.37 1.73 1/171 25308
/proc/meminfo: memFree=31380668/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/25308/stat : 25308 (java) S 25306 25308 22966 0 -1 4202496 7201 0 31 0 67 3 0 0 20 0 19 0 280023526 9856004096 9227 33554432000 1073741824 1073778376 140737155838048 140737155829184 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/25308/statm: 2406251 9227 2237 9 0 2396937 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9625004

[startup+1.5007 s]
/proc/loadavg: 0.93 1.37 1.73 4/213 25359
/proc/meminfo: memFree=31300732/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=9625004 CPUtime=1.74 cores=0,2,4,6
/proc/25308/stat : 25308 (java) S 25306 25308 22966 0 -1 4202496 7292 0 31 0 170 4 0 0 20 0 19 0 280023526 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140737155829184 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/25308/statm: 2406251 13402 2277 9 0 2396937 0
[pid=25308/tid=25310] ppid=25306 vsize=9625004 CPUtime=1.13 cores=0,2,4,6
/proc/25308/task/25310/stat : 25310 (java) R 25306 25308 22966 0 -1 4202560 2497 0 7 0 111 2 0 0 20 0 19 0 280023537 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140591425192424 140591275603767 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0
[pid=25308/tid=25311] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25311/stat : 25311 (java) S 25306 25308 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140591397644840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25312] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25312/stat : 25312 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140591396592040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25313] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25313/stat : 25313 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140591395539240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25314] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25314/stat : 25314 (java) S 25306 25308 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140591394486440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25315] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25315/stat : 25315 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140591393434664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25316] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25316/stat : 25316 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140591263951784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25317] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25317/stat : 25317 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140591262898984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25318] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25318/stat : 25318 (java) S 25306 25308 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140591261846184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25319] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25319/stat : 25319 (java) S 25306 25308 22966 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 280023546 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140590778898920 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25320] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25320/stat : 25320 (java) S 25306 25308 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140590777844984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25321] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25321/stat : 25321 (java) S 25306 25308 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140590776792072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25322] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25322/stat : 25322 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140590775740560 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25323] ppid=25306 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/25308/task/25323/stat : 25323 (java) S 25306 25308 22966 0 -1 4202560 1492 0 0 0 24 0 0 0 20 0 19 0 280023558 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140590774688696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25324] ppid=25306 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/25308/task/25324/stat : 25324 (java) S 25306 25308 22966 0 -1 4202560 2087 0 1 0 30 0 0 0 20 0 19 0 280023558 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140590773635896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25325] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25325/stat : 25325 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140590772583288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25326] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25326/stat : 25326 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140590771530696 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25358] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25358/stat : 25358 (java) S 25306 25308 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280023584 9856004096 13402 33554432000 1073741824 1073778376 140737155838048 140590770476200 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 9625004

[startup+3.1007 s]
/proc/loadavg: 0.93 1.37 1.73 3/213 25359
/proc/meminfo: memFree=31248392/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=9625004 CPUtime=3.45 cores=0,2,4,6
/proc/25308/stat : 25308 (java) S 25306 25308 22966 0 -1 4202496 7921 0 31 0 341 4 0 0 20 0 19 0 280023526 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140737155829184 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/25308/statm: 2406251 18141 2278 9 0 2396937 0
[pid=25308/tid=25310] ppid=25306 vsize=9625004 CPUtime=2.64 cores=0,2,4,6
/proc/25308/task/25310/stat : 25310 (java) R 25306 25308 22966 0 -1 4202560 2500 0 7 0 262 2 0 0 20 0 19 0 280023537 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140591425192360 140591275628745 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0
[pid=25308/tid=25311] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25311/stat : 25311 (java) S 25306 25308 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140591397644840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25312] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25312/stat : 25312 (java) S 25306 25308 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140591396592040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25313] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25313/stat : 25313 (java) S 25306 25308 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140591395539240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25314] ppid=25306 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25308/task/25314/stat : 25314 (java) S 25306 25308 22966 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 280023543 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140591394486440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25315] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25315/stat : 25315 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140591393434664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25316] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25316/stat : 25316 (java) S 25306 25308 22966 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140591263951784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25317] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25317/stat : 25317 (java) S 25306 25308 22966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140591262898984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25318] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25318/stat : 25318 (java) S 25306 25308 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280023543 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140591261846184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25319] ppid=25306 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/25308/task/25319/stat : 25319 (java) S 25306 25308 22966 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 19 0 280023546 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140590778898920 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25320] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25320/stat : 25320 (java) S 25306 25308 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140590777844984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25321] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25321/stat : 25321 (java) S 25306 25308 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140590776792072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25322] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25322/stat : 25322 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140590775740560 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25323] ppid=25306 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/25308/task/25323/stat : 25323 (java) S 25306 25308 22966 0 -1 4202560 2077 0 0 0 28 0 0 0 20 0 19 0 280023558 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140590774688696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25324] ppid=25306 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/25308/task/25324/stat : 25324 (java) S 25306 25308 22966 0 -1 4202560 2088 0 1 0 31 0 0 0 20 0 19 0 280023558 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140590773635896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25325] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25325/stat : 25325 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140590772583288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25326] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25326/stat : 25326 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140590771530696 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25358] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25358/stat : 25358 (java) S 25306 25308 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280023584 9856004096 18141 33554432000 1073741824 1073778376 140737155838048 140590770476200 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 1.01 1.38 1.73 3/213 25359
/proc/meminfo: memFree=31227976/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=9625004 CPUtime=6.74 cores=0,2,4,6
/proc/25308/stat : 25308 (java) S 25306 25308 22966 0 -1 4202496 7942 0 31 0 669 5 0 0 20 0 19 0 280023526 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140737155829184 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/25308/statm: 2406251 19161 2278 9 0 2396937 0
[pid=25308/tid=25310] ppid=25306 vsize=9625004 CPUtime=5.73 cores=0,2,4,6
/proc/25308/task/25310/stat : 25310 (java) R 25306 25308 22966 0 -1 4202560 2506 0 7 0 571 2 0 0 20 0 19 0 280023537 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140591425192360 140591275442030 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0
[pid=25308/tid=25311] ppid=25306 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25308/task/25311/stat : 25311 (java) S 25306 25308 22966 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 280023543 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140591397644840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25312] ppid=25306 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25308/task/25312/stat : 25312 (java) S 25306 25308 22966 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 280023543 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140591396592040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25313] ppid=25306 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25308/task/25313/stat : 25313 (java) S 25306 25308 22966 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 280023543 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140591395539240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25314] ppid=25306 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25308/task/25314/stat : 25314 (java) S 25306 25308 22966 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 280023543 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140591394486440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25315] ppid=25306 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25308/task/25315/stat : 25315 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 19 0 280023543 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140591393434664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25316] ppid=25306 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25308/task/25316/stat : 25316 (java) S 25306 25308 22966 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 280023543 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140591263951784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25317] ppid=25306 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25308/task/25317/stat : 25317 (java) S 25306 25308 22966 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 280023543 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140591262898984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25318] ppid=25306 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25308/task/25318/stat : 25318 (java) S 25306 25308 22966 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 280023543 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140591261846184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25319] ppid=25306 vsize=9625004 CPUtime=0.11 cores=0,2,4,6
/proc/25308/task/25319/stat : 25319 (java) S 25306 25308 22966 0 -1 4202560 36 0 0 0 11 0 0 0 20 0 19 0 280023546 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140590778898920 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25320] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25320/stat : 25320 (java) S 25306 25308 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140590777844984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25321] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25321/stat : 25321 (java) S 25306 25308 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140590776792072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25322] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25322/stat : 25322 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140590775740560 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25323] ppid=25306 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/25308/task/25323/stat : 25323 (java) S 25306 25308 22966 0 -1 4202560 2077 0 0 0 29 0 0 0 20 0 19 0 280023558 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140590774688696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25324] ppid=25306 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/25308/task/25324/stat : 25324 (java) S 25306 25308 22966 0 -1 4202560 2088 0 1 0 31 0 0 0 20 0 19 0 280023558 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140590773635896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25325] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25325/stat : 25325 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140590772583288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25326] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25326/stat : 25326 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140590771530696 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25358] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25358/stat : 25358 (java) S 25306 25308 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280023584 9856004096 19161 33554432000 1073741824 1073778376 140737155838048 140590770476200 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=25308/tid=25323] ppid=25306 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/25308/task/25323/stat : 25323 (java) S 25306 25308 22966 0 -1 4202560 2404 0 0 0 32 0 0 0 20 0 19 0 280023558 9856004096 111568 33554432000 1073741824 1073778376 140737155838048 140590774688696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25324] ppid=25306 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/25308/task/25324/stat : 25324 (java) S 25306 25308 22966 0 -1 4202560 2088 0 1 0 31 0 0 0 20 0 19 0 280023558 9856004096 111568 33554432000 1073741824 1073778376 140737155838048 140590773635896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25325] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25325/stat : 25325 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 111568 33554432000 1073741824 1073778376 140737155838048 140590772583288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25326] ppid=25306 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/25308/task/25326/stat : 25326 (java) S 25306 25308 22966 0 -1 4202560 98 0 0 0 26 26 0 0 20 0 19 0 280023558 9856004096 111568 33554432000 1073741824 1073778376 140737155838048 140590771530696 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25358] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25358/stat : 25358 (java) S 25306 25308 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280023584 9856004096 111568 33554432000 1073741824 1073778376 140737155838048 140590770476200 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1732.92
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 25374
/proc/meminfo: memFree=30372632/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=9625004 CPUtime=1793.18 cores=0,2,4,6
/proc/25308/stat : 25308 (java) S 25306 25308 22966 0 -1 4202496 11125 0 31 0 179248 70 0 0 20 0 19 0 280023526 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140737155829184 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/25308/statm: 2406251 112592 2279 9 0 2396937 0
[pid=25308/tid=25310] ppid=25306 vsize=9625004 CPUtime=1758.13 cores=0,2,4,6
/proc/25308/task/25310/stat : 25310 (java) R 25306 25308 22966 0 -1 4202560 2896 0 7 0 175783 30 0 0 20 0 19 0 280023537 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591425192240 140591275646719 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0
[pid=25308/tid=25311] ppid=25306 vsize=9625004 CPUtime=1.82 cores=0,2,4,6
/proc/25308/task/25311/stat : 25311 (java) S 25306 25308 22966 0 -1 4202560 169 0 0 0 176 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591397644840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25312] ppid=25306 vsize=9625004 CPUtime=1.76 cores=0,2,4,6
/proc/25308/task/25312/stat : 25312 (java) S 25306 25308 22966 0 -1 4202560 314 0 0 0 171 5 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591396592040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25313] ppid=25306 vsize=9625004 CPUtime=1.82 cores=0,2,4,6
/proc/25308/task/25313/stat : 25313 (java) S 25306 25308 22966 0 -1 4202560 311 0 0 0 176 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591395539240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25314] ppid=25306 vsize=9625004 CPUtime=1.88 cores=0,2,4,6
/proc/25308/task/25314/stat : 25314 (java) S 25306 25308 22966 0 -1 4202560 421 0 0 0 182 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591394486440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25315] ppid=25306 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/25308/task/25315/stat : 25315 (java) S 25306 25308 22966 0 -1 4202560 205 0 0 0 179 4 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591393434664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25316] ppid=25306 vsize=9625004 CPUtime=1.94 cores=0,2,4,6
/proc/25308/task/25316/stat : 25316 (java) S 25306 25308 22966 0 -1 4202560 163 0 0 0 188 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591263951784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25317] ppid=25306 vsize=9625004 CPUtime=1.78 cores=0,2,4,6
/proc/25308/task/25317/stat : 25317 (java) S 25306 25308 22966 0 -1 4202560 309 0 0 0 173 5 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591262898984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25318] ppid=25306 vsize=9625004 CPUtime=1.86 cores=0,2,4,6
/proc/25308/task/25318/stat : 25318 (java) S 25306 25308 22966 0 -1 4202560 427 0 0 0 181 5 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591261846184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25319] ppid=25306 vsize=9625004 CPUtime=14.97 cores=0,2,4,6
/proc/25308/task/25319/stat : 25319 (java) S 25306 25308 22966 0 -1 4202560 157 0 0 0 1494 3 0 0 20 0 19 0 280023546 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590778898920 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25320] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25320/stat : 25320 (java) S 25306 25308 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590777844984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25321] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25321/stat : 25321 (java) S 25306 25308 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590776792072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25322] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25322/stat : 25322 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590775740560 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25323] ppid=25306 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/25308/task/25323/stat : 25323 (java) S 25306 25308 22966 0 -1 4202560 2404 0 0 0 32 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590774688696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25324] ppid=25306 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/25308/task/25324/stat : 25324 (java) S 25306 25308 22966 0 -1 4202560 2088 0 1 0 31 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590773635896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25325] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25325/stat : 25325 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590772583288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25326] ppid=25306 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/25308/task/25326/stat : 25326 (java) S 25306 25308 22966 0 -1 4202560 102 0 0 0 27 27 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590771530696 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25358] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25358/stat : 25358 (java) S 25306 25308 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280023584 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590770476200 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1793.18
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 25374
/proc/meminfo: memFree=30372632/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=9625004 CPUtime=1800.06 cores=0,2,4,6
/proc/25308/stat : 25308 (java) S 25306 25308 22966 0 -1 4202496 11128 0 31 0 179936 70 0 0 20 0 19 0 280023526 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140737155829184 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/25308/statm: 2406251 112592 2279 9 0 2396937 0
[pid=25308/tid=25310] ppid=25306 vsize=9625004 CPUtime=1764.81 cores=0,2,4,6
/proc/25308/task/25310/stat : 25310 (java) R 25306 25308 22966 0 -1 4202560 2897 0 7 0 176451 30 0 0 20 0 19 0 280023537 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591425192240 140591275404164 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0
[pid=25308/tid=25311] ppid=25306 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/25308/task/25311/stat : 25311 (java) S 25306 25308 22966 0 -1 4202560 169 0 0 0 177 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591397644840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25312] ppid=25306 vsize=9625004 CPUtime=1.77 cores=0,2,4,6
/proc/25308/task/25312/stat : 25312 (java) S 25306 25308 22966 0 -1 4202560 314 0 0 0 172 5 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591396592040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25313] ppid=25306 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/25308/task/25313/stat : 25313 (java) S 25306 25308 22966 0 -1 4202560 311 0 0 0 177 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591395539240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25314] ppid=25306 vsize=9625004 CPUtime=1.89 cores=0,2,4,6
/proc/25308/task/25314/stat : 25314 (java) S 25306 25308 22966 0 -1 4202560 421 0 0 0 183 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591394486440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25315] ppid=25306 vsize=9625004 CPUtime=1.85 cores=0,2,4,6
/proc/25308/task/25315/stat : 25315 (java) S 25306 25308 22966 0 -1 4202560 205 0 0 0 181 4 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591393434664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25316] ppid=25306 vsize=9625004 CPUtime=1.96 cores=0,2,4,6
/proc/25308/task/25316/stat : 25316 (java) S 25306 25308 22966 0 -1 4202560 163 0 0 0 190 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591263951784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25317] ppid=25306 vsize=9625004 CPUtime=1.79 cores=0,2,4,6
/proc/25308/task/25317/stat : 25317 (java) S 25306 25308 22966 0 -1 4202560 309 0 0 0 174 5 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591262898984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25318] ppid=25306 vsize=9625004 CPUtime=1.88 cores=0,2,4,6
/proc/25308/task/25318/stat : 25318 (java) S 25306 25308 22966 0 -1 4202560 427 0 0 0 183 5 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591261846184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25319] ppid=25306 vsize=9625004 CPUtime=15.04 cores=0,2,4,6
/proc/25308/task/25319/stat : 25319 (java) S 25306 25308 22966 0 -1 4202560 159 0 0 0 1501 3 0 0 20 0 19 0 280023546 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590778898920 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25320] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25320/stat : 25320 (java) S 25306 25308 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590777844984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25321] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25321/stat : 25321 (java) S 25306 25308 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590776792072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25322] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25322/stat : 25322 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590775740560 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25323] ppid=25306 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/25308/task/25323/stat : 25323 (java) S 25306 25308 22966 0 -1 4202560 2404 0 0 0 32 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590774688696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25324] ppid=25306 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/25308/task/25324/stat : 25324 (java) S 25306 25308 22966 0 -1 4202560 2088 0 1 0 31 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590773635896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25325] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25325/stat : 25325 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590772583288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25326] ppid=25306 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/25308/task/25326/stat : 25326 (java) S 25306 25308 22966 0 -1 4202560 102 0 0 0 28 27 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590771530696 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25358] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25358/stat : 25358 (java) S 25306 25308 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280023584 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590770476200 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004

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

Solver just ended. Dumping a history of the last processes samples

[startup+1789.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 25374
/proc/meminfo: memFree=30372632/32873844 swapFree=6872/6872
[pid=25308] ppid=25306 vsize=9625004 CPUtime=1800.06 cores=0,2,4,6
/proc/25308/stat : 25308 (java) S 25306 25308 22966 0 -1 4202496 11128 0 31 0 179936 70 0 0 20 0 19 0 280023526 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140737155829184 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/25308/statm: 2406251 112592 2279 9 0 2396937 0
[pid=25308/tid=25310] ppid=25306 vsize=9625004 CPUtime=1764.81 cores=0,2,4,6
/proc/25308/task/25310/stat : 25310 (java) R 25306 25308 22966 0 -1 4202560 2897 0 7 0 176451 30 0 0 20 0 19 0 280023537 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591425192240 140591275404164 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0
[pid=25308/tid=25311] ppid=25306 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/25308/task/25311/stat : 25311 (java) S 25306 25308 22966 0 -1 4202560 169 0 0 0 177 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591397644840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25312] ppid=25306 vsize=9625004 CPUtime=1.77 cores=0,2,4,6
/proc/25308/task/25312/stat : 25312 (java) S 25306 25308 22966 0 -1 4202560 314 0 0 0 172 5 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591396592040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25313] ppid=25306 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/25308/task/25313/stat : 25313 (java) S 25306 25308 22966 0 -1 4202560 311 0 0 0 177 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591395539240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25314] ppid=25306 vsize=9625004 CPUtime=1.89 cores=0,2,4,6
/proc/25308/task/25314/stat : 25314 (java) S 25306 25308 22966 0 -1 4202560 421 0 0 0 183 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591394486440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25308/tid=25315] ppid=25306 vsize=9625004 CPUtime=1.85 cores=0,2,4,6
/proc/25308/task/25315/stat : 25315 (java) S 25306 25308 22966 0 -1 4202560 205 0 0 0 181 4 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591393434664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25316] ppid=25306 vsize=9625004 CPUtime=1.96 cores=0,2,4,6
/proc/25308/task/25316/stat : 25316 (java) S 25306 25308 22966 0 -1 4202560 163 0 0 0 190 6 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591263951784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25317] ppid=25306 vsize=9625004 CPUtime=1.79 cores=0,2,4,6
/proc/25308/task/25317/stat : 25317 (java) S 25306 25308 22966 0 -1 4202560 309 0 0 0 174 5 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591262898984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25318] ppid=25306 vsize=9625004 CPUtime=1.88 cores=0,2,4,6
/proc/25308/task/25318/stat : 25318 (java) S 25306 25308 22966 0 -1 4202560 427 0 0 0 183 5 0 0 20 0 19 0 280023543 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140591261846184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25319] ppid=25306 vsize=9625004 CPUtime=15.04 cores=0,2,4,6
/proc/25308/task/25319/stat : 25319 (java) S 25306 25308 22966 0 -1 4202560 159 0 0 0 1501 3 0 0 20 0 19 0 280023546 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590778898920 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25320] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25320/stat : 25320 (java) S 25306 25308 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590777844984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25321] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25321/stat : 25321 (java) S 25306 25308 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280023548 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590776792072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25322] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25322/stat : 25322 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590775740560 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25308/tid=25323] ppid=25306 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/25308/task/25323/stat : 25323 (java) S 25306 25308 22966 0 -1 4202560 2404 0 0 0 32 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590774688696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25324] ppid=25306 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/25308/task/25324/stat : 25324 (java) S 25306 25308 22966 0 -1 4202560 2088 0 1 0 31 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590773635896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25325] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25325/stat : 25325 (java) S 25306 25308 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590772583288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25308/tid=25326] ppid=25306 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/25308/task/25326/stat : 25326 (java) S 25306 25308 22966 0 -1 4202560 102 0 0 0 28 27 0 0 20 0 19 0 280023558 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590771530696 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25308/tid=25358] ppid=25306 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25308/task/25358/stat : 25358 (java) S 25306 25308 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280023584 9856004096 112592 33554432000 1073741824 1073778376 140737155838048 140590770476200 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25308 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=8117
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=176821
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1789.15
CPU time (s): 1800.06
CPU user time (s): 1799.36
CPU system time (s): 0.7
CPU usage (%): 100.61
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.01
system time used= 1.17682
maximum resident set size= 450528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11170
page faults= 31
swaps= 0
block input operations= 28840
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48069
involuntary context switches= 30860

runsolver used 5.66114 second user time and 15.0137 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-27 19:15:50
IDJOB=3710659
IDBENCH=1956
IDSOLVER=2289
FILE ID=node106/3710659-1338138950
RUNJOBID= node106-1338138950-25294
PBS_JOBID= 14624504
Free space on /tmp= 71336 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710659-1338138950/watcher-3710659-1338138950 -o /tmp/evaluation-result-3710659-1338138950/solver-3710659-1338138950 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710659-1338138950.opb

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

MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6
RANDOM SEED=879181867

node106.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		: 2667.065
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	: 5334.13
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		: 2667.065
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	: 5331.91
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		: 2667.065
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	: 5331.91
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		: 2667.065
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	: 5331.92
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		: 2667.065
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	: 5331.91
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		: 2667.065
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	: 5331.91
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		: 2667.065
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	: 5331.91
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		: 2667.065
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31380948 kB
Buffers:          158928 kB
Cached:           486380 kB
SwapCached:            0 kB
Active:           588912 kB
Inactive:          67396 kB
Active(anon):       1232 kB
Inactive(anon):    12012 kB
Active(file):     587680 kB
Inactive(file):    55384 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               796 kB
Writeback:             0 kB
AnonPages:         17288 kB
Mapped:             9672 kB
Shmem:               200 kB
Slab:             696504 kB
SReclaimable:     138740 kB
SUnreclaim:       557764 kB
KernelStack:        1392 kB
PageTables:         3648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node106 at 2012-05-27 19:45:42