Trace number 3710725

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)21 1800.03 1790.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
MD5SUM4dfe0aab63c58302cf08520fc713ceae
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.027995
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables372
Total number of constraints421
Number of constraints which are clauses345
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 372
Biggest coefficient in the objective function 220
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 983
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 220
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 983
Number of bits of the biggest sum of numbers10
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.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.07	c version 2.3.2.v20120418
0.01/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.07	c java.vm.version	19.1-b02
0.01/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.07	c sun.arch.data.model	64
0.01/0.07	c java.version		1.6.0_24
0.01/0.07	c os.name		Linux
0.01/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.07	c os.arch		amd64
0.01/0.07	c Free memory 		501472288
0.01/0.07	c Max memory 		7480803328
0.01/0.07	c Total memory 		504102912
0.01/0.07	c Number of processors 	8
0.09/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.11	c configuring ORDERS
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=true
0.09/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3710725-1338145989.opb
0.09/0.11	c reading problem ... 
0.09/0.18	c ... done. Wall clock time 0.072s.
0.09/0.18	c declared #vars     372
0.09/0.18	c #constraints  421
0.09/0.18	c constraints type 
0.09/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7
0.09/0.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 75
0.09/0.18	c ignored satisfied constraints => 1
0.09/0.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 338
0.09/0.18	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.09/0.18	c 422 constraints processed.
0.09/0.19	c SATISFIABLE
0.09/0.19	c OPTIMIZING...
0.09/0.19	c Got one! Elapsed wall clock time (in seconds):0.08
0.09/0.19	o 32
0.09/0.19	c Got one! Elapsed wall clock time (in seconds):0.086
0.09/0.19	o 29
0.25/0.20	c Got one! Elapsed wall clock time (in seconds):0.094
0.25/0.20	o 27
1.07/0.60	c cleaning 2494 clauses out of 5001 with flag 5000/5001
1.30/0.85	c cleaning 4249 clauses out of 8508 with flag 11001/11002
1.64/1.14	c cleaning 5622 clauses out of 11258 with flag 18000/18001
1.96/1.46	c cleaning 6813 clauses out of 13636 with flag 26000/26001
2.38/1.84	c cleaning 7904 clauses out of 15823 with flag 35000/35001
2.79/2.26	c cleaning 8957 clauses out of 17920 with flag 45001/45002
3.28/2.72	c cleaning 9974 clauses out of 19963 with flag 56001/56002
3.79/3.21	c cleaning 10989 clauses out of 21988 with flag 68000/68001
4.30/3.80	c cleaning 11997 clauses out of 23999 with flag 81000/81001
4.91/4.38	c cleaning 12997 clauses out of 26003 with flag 95001/95002
5.62/5.03	c cleaning 13992 clauses out of 28005 with flag 110000/110001
6.35/5.72	c cleaning 14999 clauses out of 30014 with flag 126001/126002
7.08/6.45	c cleaning 16001 clauses out of 32015 with flag 143001/143002
7.90/7.25	c cleaning 16996 clauses out of 34014 with flag 161001/161002
8.61/7.94	c Got one! Elapsed wall clock time (in seconds):7.832
8.61/7.94	o 26
8.81/8.19	c cleaning 18535 clauses out of 37088 with flag 5003/181072
9.12/8.47	c cleaning 12260 clauses out of 24550 with flag 11000/187069
9.43/8.79	c cleaning 9643 clauses out of 19290 with flag 18000/194069
9.84/9.14	c cleaning 8815 clauses out of 17647 with flag 26000/202069
10.25/9.56	c cleaning 8914 clauses out of 17832 with flag 35000/211069
10.77/10.00	c cleaning 9453 clauses out of 18918 with flag 45000/221069
11.18/10.49	c cleaning 10225 clauses out of 20466 with flag 56001/232070
11.88/11.10	c cleaning 11111 clauses out of 22241 with flag 68001/244070
12.48/11.75	c cleaning 12056 clauses out of 24129 with flag 81000/257069
13.09/12.34	c cleaning 13034 clauses out of 26075 with flag 95002/271071
13.69/12.99	c cleaning 14017 clauses out of 28040 with flag 110001/286070
14.40/13.67	c cleaning 15005 clauses out of 30023 with flag 126001/302070
15.32/14.57	c cleaning 16001 clauses out of 32018 with flag 143001/319070
16.34/15.51	c cleaning 16995 clauses out of 34016 with flag 161000/337069
17.15/16.38	c cleaning 18008 clauses out of 36024 with flag 180003/356072
18.15/17.37	c cleaning 18993 clauses out of 38013 with flag 200000/376069
19.26/18.40	c cleaning 20005 clauses out of 40021 with flag 221001/397070
20.18/19.35	c cleaning 21002 clauses out of 42015 with flag 243000/419069
21.28/20.47	c cleaning 21997 clauses out of 44014 with flag 266001/442070
22.49/21.62	c cleaning 22998 clauses out of 46017 with flag 290001/466070
23.60/22.79	c cleaning 23998 clauses out of 48018 with flag 315000/491069
25.01/24.17	c cleaning 24996 clauses out of 50020 with flag 341000/517069
26.43/25.54	c cleaning 26003 clauses out of 52024 with flag 368000/544069
28.14/27.25	c cleaning 26995 clauses out of 54021 with flag 396000/572069
29.57/28.69	c cleaning 28007 clauses out of 56026 with flag 425000/601069
30.98/30.06	c cleaning 29002 clauses out of 58019 with flag 455000/631069
32.48/31.56	c cleaning 29990 clauses out of 60017 with flag 486000/662069
34.01/33.04	c cleaning 31010 clauses out of 62028 with flag 518001/694070
35.66/34.67	c cleaning 31998 clauses out of 64017 with flag 551000/727069
37.77/36.79	c cleaning 32999 clauses out of 66019 with flag 585000/761069
39.70/38.69	c cleaning 33998 clauses out of 68020 with flag 620000/796069
41.72/40.70	c cleaning 34994 clauses out of 70022 with flag 656000/832069
43.93/42.88	c cleaning 35992 clauses out of 72029 with flag 693001/869070
45.93/44.88	c cleaning 37010 clauses out of 74036 with flag 731000/907069
47.94/46.86	c cleaning 38006 clauses out of 76026 with flag 770000/946069
50.06/48.90	c cleaning 39001 clauses out of 78021 with flag 810001/986070
50.59/49.40	c Got one! Elapsed wall clock time (in seconds):49.296
50.59/49.40	o 25
50.90/49.69	c cleaning 27369 clauses out of 54741 with flag 5001/1001791
51.31/50.01	c cleaning 16681 clauses out of 33371 with flag 11000/1007790
51.62/50.35	c cleaning 11837 clauses out of 23691 with flag 18001/1014791
52.02/50.73	c cleaning 9910 clauses out of 19853 with flag 26000/1022790
52.43/51.16	c cleaning 9463 clauses out of 18943 with flag 35000/1031790
52.95/51.65	c cleaning 9727 clauses out of 19481 with flag 45001/1041791
53.46/52.19	c cleaning 10367 clauses out of 20753 with flag 56000/1052790
54.10/52.77	c cleaning 11178 clauses out of 22386 with flag 68000/1064790
54.79/53.42	c cleaning 12093 clauses out of 24210 with flag 81002/1077792
55.39/54.05	c cleaning 13045 clauses out of 26115 with flag 95000/1091790
56.20/54.83	c cleaning 14030 clauses out of 28071 with flag 110001/1106791
57.01/55.66	c cleaning 15005 clauses out of 30040 with flag 126000/1122790
57.91/56.57	c cleaning 16006 clauses out of 32035 with flag 143000/1139790
58.92/57.58	c cleaning 17006 clauses out of 34032 with flag 161003/1157793
60.02/58.69	c cleaning 18002 clauses out of 36025 with flag 180002/1176792
61.03/59.64	c cleaning 18998 clauses out of 38021 with flag 200000/1196790
62.13/60.71	c cleaning 20004 clauses out of 40023 with flag 221000/1217790
63.24/61.87	c cleaning 20994 clauses out of 42019 with flag 243000/1239790
64.44/63.05	c cleaning 22005 clauses out of 44025 with flag 266000/1262790
65.75/64.39	c cleaning 22994 clauses out of 46020 with flag 290000/1286790
67.16/65.78	c cleaning 24001 clauses out of 48027 with flag 315001/1311791
68.58/67.12	c cleaning 25006 clauses out of 50025 with flag 341000/1337790
69.99/68.50	c cleaning 26006 clauses out of 52019 with flag 368000/1364790
71.42/69.93	c cleaning 26994 clauses out of 54014 with flag 396001/1392791
72.94/71.41	c cleaning 27997 clauses out of 56019 with flag 425000/1421790
74.65/73.13	c cleaning 28988 clauses out of 58022 with flag 455000/1451790
76.28/74.80	c cleaning 30009 clauses out of 60035 with flag 486001/1482791
78.40/76.86	c cleaning 31004 clauses out of 62025 with flag 518000/1514790
80.12/78.59	c cleaning 32003 clauses out of 64021 with flag 551000/1547790
82.22/80.65	c cleaning 33003 clauses out of 66018 with flag 585000/1581790
84.34/82.78	c cleaning 33998 clauses out of 68015 with flag 620000/1616790
86.37/84.71	c cleaning 35002 clauses out of 70018 with flag 656001/1652791
88.49/86.88	c cleaning 35999 clauses out of 72015 with flag 693000/1689790
90.90/89.23	c cleaning 37000 clauses out of 74016 with flag 731000/1727790
93.54/91.86	c cleaning 38002 clauses out of 76016 with flag 770000/1766790
95.76/94.04	c cleaning 38990 clauses out of 78014 with flag 810000/1806790
98.17/96.41	c cleaning 39995 clauses out of 80024 with flag 851000/1847790
100.49/98.74	c cleaning 41006 clauses out of 82029 with flag 893000/1889790
103.11/101.33	c cleaning 41996 clauses out of 84024 with flag 936001/1932791
105.83/104.05	c cleaning 42997 clauses out of 86027 with flag 980000/1976790
108.24/106.42	c cleaning 44009 clauses out of 88031 with flag 1025001/2021791
110.46/108.69	c cleaning 45006 clauses out of 90021 with flag 1071000/2067790
111.17/109.37	c Got one! Elapsed wall clock time (in seconds):109.258
111.17/109.37	o 24
111.47/109.67	c cleaning 32363 clauses out of 64751 with flag 5000/2087526
111.79/110.00	c cleaning 19188 clauses out of 38388 with flag 11000/2093526
112.18/110.33	c cleaning 13083 clauses out of 26200 with flag 18000/2100526
112.62/110.70	c cleaning 10551 clauses out of 21117 with flag 26000/2108526
112.93/111.10	c cleaning 9774 clauses out of 19566 with flag 35000/2117526
113.44/111.54	c cleaning 9893 clauses out of 19794 with flag 45002/2127528
113.96/112.06	c cleaning 10437 clauses out of 20899 with flag 56000/2138526
114.56/112.64	c cleaning 11214 clauses out of 22462 with flag 68000/2150526
115.19/113.27	c cleaning 12119 clauses out of 24249 with flag 81001/2163527
115.89/113.96	c cleaning 13056 clauses out of 26130 with flag 95001/2177527
116.60/114.65	c cleaning 14026 clauses out of 28073 with flag 110000/2192526
117.30/115.40	c cleaning 15012 clauses out of 30047 with flag 126000/2208526
118.20/116.25	c cleaning 16008 clauses out of 32035 with flag 143000/2225526
119.11/117.14	c cleaning 17000 clauses out of 34027 with flag 161000/2243526
120.14/118.12	c cleaning 18005 clauses out of 36028 with flag 180001/2262527
121.15/119.12	c cleaning 19001 clauses out of 38022 with flag 200000/2282526
122.17/120.16	c cleaning 20005 clauses out of 40021 with flag 221000/2303526
123.49/121.45	c cleaning 21000 clauses out of 42016 with flag 243000/2325526
124.90/122.89	c cleaning 21998 clauses out of 44018 with flag 266002/2348528
126.51/124.48	c cleaning 22998 clauses out of 46018 with flag 290000/2372526
128.42/126.30	c cleaning 24004 clauses out of 48020 with flag 315000/2397526
130.13/128.05	c cleaning 24999 clauses out of 50017 with flag 341001/2423527
131.54/129.44	c cleaning 26001 clauses out of 52017 with flag 368000/2450526
133.16/131.01	c cleaning 26997 clauses out of 54017 with flag 396001/2478527
134.97/132.82	c cleaning 28004 clauses out of 56021 with flag 425002/2507528
136.88/134.74	c cleaning 28989 clauses out of 58015 with flag 455000/2537526
138.79/136.61	c cleaning 30002 clauses out of 60027 with flag 486001/2568527
140.60/138.48	c cleaning 31004 clauses out of 62024 with flag 518000/2600526
142.51/140.37	c cleaning 31991 clauses out of 64020 with flag 551000/2633526
144.47/142.29	c cleaning 32998 clauses out of 66029 with flag 585000/2667526
146.47/144.21	c cleaning 34012 clauses out of 68034 with flag 620003/2702529
148.60/146.38	c cleaning 34995 clauses out of 70019 with flag 656000/2738526
150.92/148.67	c cleaning 36001 clauses out of 72024 with flag 693000/2775526
153.13/150.83	c cleaning 36996 clauses out of 74023 with flag 731000/2813526
155.43/153.14	c cleaning 38004 clauses out of 76027 with flag 770000/2852526
157.85/155.54	c cleaning 39001 clauses out of 78023 with flag 810000/2892526
160.36/158.00	c cleaning 39999 clauses out of 80023 with flag 851001/2933527
162.90/160.60	c cleaning 41002 clauses out of 82023 with flag 893000/2975526
165.30/162.90	c cleaning 42000 clauses out of 84021 with flag 936000/3018526
167.51/165.16	c cleaning 42993 clauses out of 86021 with flag 980000/3062526
169.84/167.46	c cleaning 44005 clauses out of 88028 with flag 1025000/3107526
172.76/170.30	c cleaning 45009 clauses out of 90025 with flag 1071002/3153528
175.38/172.93	c cleaning 45997 clauses out of 92014 with flag 1118000/3200526
178.19/175.76	c cleaning 46993 clauses out of 94017 with flag 1166000/3248526
180.91/178.50	c cleaning 48005 clauses out of 96024 with flag 1215000/3297526
184.04/181.54	c cleaning 48998 clauses out of 98020 with flag 1265001/3347527
187.37/184.86	c cleaning 49997 clauses out of 100022 with flag 1316001/3398527
190.32/187.72	c cleaning 51005 clauses out of 102024 with flag 1368000/3450526
194.25/191.68	c cleaning 52002 clauses out of 104019 with flag 1421000/3503526
198.68/196.02	c cleaning 53000 clauses out of 106017 with flag 1475000/3557526
202.62/199.99	c cleaning 54000 clauses out of 108017 with flag 1530000/3612526
206.45/203.72	c cleaning 55000 clauses out of 110017 with flag 1586000/3668526
210.47/207.71	c cleaning 55998 clauses out of 112017 with flag 1643000/3725526
214.20/211.44	c cleaning 57003 clauses out of 114019 with flag 1701000/3783526
218.82/216.08	c cleaning 57999 clauses out of 116016 with flag 1760000/3842526
223.26/220.42	c cleaning 58996 clauses out of 118018 with flag 1820001/3902527
227.37/224.57	c cleaning 59999 clauses out of 120022 with flag 1881001/3963527
231.29/228.41	c cleaning 61004 clauses out of 122022 with flag 1943000/4025526
236.02/233.15	c cleaning 61994 clauses out of 124019 with flag 2006001/4088527
238.85/235.95	c Got one! Elapsed wall clock time (in seconds):235.845
238.85/235.95	o 23
239.55/236.62	c cleaning 58654 clauses out of 117320 with flag 5000/4143822
239.99/237.00	c cleaning 32326 clauses out of 64666 with flag 11000/4149822
240.41/237.44	c cleaning 19664 clauses out of 39340 with flag 18000/4156822
240.82/237.85	c cleaning 13834 clauses out of 27676 with flag 26000/4164822
241.25/238.29	c cleaning 11402 clauses out of 22842 with flag 35000/4173822
241.76/238.77	c cleaning 10711 clauses out of 21440 with flag 45000/4183822
242.26/239.29	c cleaning 10858 clauses out of 21730 with flag 56001/4194823
242.87/239.85	c cleaning 11418 clauses out of 22871 with flag 68000/4206822
243.57/240.50	c cleaning 12220 clauses out of 24455 with flag 81002/4219824
244.28/241.20	c cleaning 13109 clauses out of 26234 with flag 95001/4233823
245.11/242.02	c cleaning 14044 clauses out of 28124 with flag 110000/4248822
245.91/242.87	c cleaning 15027 clauses out of 30083 with flag 126003/4264825
246.93/243.80	c cleaning 16014 clauses out of 32054 with flag 143001/4281823
247.86/244.74	c cleaning 17008 clauses out of 34039 with flag 161000/4299822
248.88/245.77	c cleaning 17997 clauses out of 36031 with flag 180000/4318822
249.70/246.54	c Got one! Elapsed wall clock time (in seconds):246.434
249.70/246.54	o 22
250.01/246.80	c cleaning 18947 clauses out of 37903 with flag 5001/4338691
250.34/247.11	c cleaning 12472 clauses out of 24955 with flag 11000/4344690
250.65/247.45	c cleaning 9738 clauses out of 19485 with flag 18002/4351692
251.04/247.85	c cleaning 8862 clauses out of 17745 with flag 26000/4359690
251.45/248.28	c cleaning 8930 clauses out of 17883 with flag 35000/4368690
251.96/248.77	c cleaning 9471 clauses out of 18955 with flag 45002/4378692
252.57/249.31	c cleaning 10233 clauses out of 20483 with flag 56001/4389691
253.18/249.91	c cleaning 11114 clauses out of 22249 with flag 68000/4401690
253.79/250.58	c cleaning 12059 clauses out of 24138 with flag 81003/4414693
254.60/251.30	c cleaning 13027 clauses out of 26076 with flag 95000/4428690
255.32/252.09	c cleaning 14009 clauses out of 28049 with flag 110000/4443690
256.14/252.86	c cleaning 14998 clauses out of 30040 with flag 126000/4459690
257.06/253.74	c cleaning 16012 clauses out of 32043 with flag 143001/4476691
257.88/254.57	c cleaning 17009 clauses out of 34030 with flag 161000/4494690
258.79/255.42	c cleaning 18006 clauses out of 36024 with flag 180003/4513693
259.72/256.36	c cleaning 18997 clauses out of 38015 with flag 200000/4533690
260.74/257.30	c cleaning 20006 clauses out of 40019 with flag 221001/4554691
261.85/258.48	c cleaning 21001 clauses out of 42014 with flag 243002/4576692
263.27/259.80	c cleaning 21996 clauses out of 44011 with flag 266000/4599690
264.49/261.00	c cleaning 22995 clauses out of 46015 with flag 290000/4623690
265.81/262.32	c cleaning 23994 clauses out of 48022 with flag 315002/4648692
267.13/263.66	c cleaning 25002 clauses out of 50026 with flag 341000/4674690
268.57/265.06	c cleaning 26007 clauses out of 52024 with flag 368000/4701690
270.18/266.69	c cleaning 26995 clauses out of 54017 with flag 396000/4729690
271.99/268.42	c cleaning 27999 clauses out of 56022 with flag 425000/4758690
273.60/270.06	c cleaning 29010 clauses out of 58024 with flag 455001/4788691
275.53/271.90	c cleaning 29993 clauses out of 60013 with flag 486000/4819690
277.43/273.86	c cleaning 31001 clauses out of 62020 with flag 518000/4851690
279.34/275.75	c cleaning 31998 clauses out of 64020 with flag 551001/4884691
280.47/276.87	c Got one! Elapsed wall clock time (in seconds):276.758
280.47/276.87	o 21
280.78/277.19	c cleaning 29450 clauses out of 58930 with flag 5000/4911599
281.19/277.51	c cleaning 17731 clauses out of 35480 with flag 11000/4917599
281.51/277.84	c cleaning 12367 clauses out of 24749 with flag 18000/4924599
281.83/278.20	c cleaning 10181 clauses out of 20383 with flag 26001/4932600
282.35/278.66	c cleaning 9594 clauses out of 19202 with flag 35001/4941600
282.86/279.17	c cleaning 9792 clauses out of 19608 with flag 45001/4951600
283.48/279.70	c cleaning 10397 clauses out of 20819 with flag 56004/4962603
284.08/280.31	c cleaning 11197 clauses out of 22422 with flag 68004/4974603
284.69/280.99	c cleaning 12104 clauses out of 24222 with flag 81001/4987600
285.49/281.76	c cleaning 13045 clauses out of 26117 with flag 95000/5001599
286.42/282.65	c cleaning 14032 clauses out of 28072 with flag 110000/5016599
287.33/283.54	c cleaning 14999 clauses out of 30040 with flag 126000/5032599
288.36/284.57	c cleaning 16011 clauses out of 32042 with flag 143001/5049600
289.37/285.57	c cleaning 17001 clauses out of 34031 with flag 161001/5067600
290.47/286.65	c cleaning 17997 clauses out of 36029 with flag 180000/5086599
291.68/287.83	c cleaning 19003 clauses out of 38033 with flag 200001/5106600
292.98/289.10	c cleaning 20010 clauses out of 40030 with flag 221001/5127600
294.29/290.49	c cleaning 21005 clauses out of 42019 with flag 243000/5149599
295.51/291.66	c cleaning 22002 clauses out of 44014 with flag 266000/5172599
296.93/293.09	c cleaning 22998 clauses out of 46014 with flag 290002/5196601
298.56/294.61	c cleaning 23994 clauses out of 48016 with flag 315002/5221601
300.30/296.36	c cleaning 25003 clauses out of 50022 with flag 341002/5247601
302.12/298.15	c cleaning 26004 clauses out of 52017 with flag 368000/5274599
303.92/299.95	c cleaning 26991 clauses out of 54013 with flag 396000/5302599
305.84/301.88	c cleaning 28004 clauses out of 56024 with flag 425002/5331601
308.06/304.07	c cleaning 28997 clauses out of 58018 with flag 455000/5361599
309.96/305.95	c cleaning 29996 clauses out of 60021 with flag 486000/5392599
311.98/307.94	c cleaning 31000 clauses out of 62025 with flag 518000/5424599
314.08/310.04	c cleaning 32004 clauses out of 64026 with flag 551001/5457600
316.10/312.05	c cleaning 33003 clauses out of 66022 with flag 585001/5491600
318.52/314.44	c cleaning 34001 clauses out of 68019 with flag 620001/5526600
320.84/316.80	c cleaning 34995 clauses out of 70017 with flag 656000/5562599
323.55/319.41	c cleaning 36004 clauses out of 72026 with flag 693004/5599603
326.17/322.01	c cleaning 37002 clauses out of 74018 with flag 731000/5637599
329.18/325.05	c cleaning 37998 clauses out of 76016 with flag 770000/5676599
332.19/328.09	c cleaning 38998 clauses out of 78018 with flag 810000/5716599
335.31/331.15	c cleaning 40002 clauses out of 80020 with flag 851000/5757599
338.55/334.38	c cleaning 41004 clauses out of 82019 with flag 893001/5799600
341.76/337.54	c cleaning 41998 clauses out of 84015 with flag 936001/5842600
345.32/341.01	c cleaning 43003 clauses out of 86016 with flag 980000/5886599
349.04/344.72	c cleaning 43996 clauses out of 88014 with flag 1025001/5931600
352.36/348.09	c cleaning 45002 clauses out of 90019 with flag 1071002/5977601
355.09/350.80	c cleaning 46002 clauses out of 92015 with flag 1118000/6024599
358.53/354.10	c cleaning 46993 clauses out of 94013 with flag 1166000/6072599
361.96/357.56	c cleaning 47992 clauses out of 96020 with flag 1215000/6121599
365.78/361.39	c cleaning 48994 clauses out of 98028 with flag 1265000/6171599
370.03/365.51	c cleaning 50005 clauses out of 100034 with flag 1316000/6222599
374.47/369.91	c cleaning 51007 clauses out of 102030 with flag 1368001/6274600
378.80/374.25	c cleaning 52001 clauses out of 104023 with flag 1421001/6327600
382.92/378.32	c cleaning 53005 clauses out of 106021 with flag 1475000/6381599
387.24/382.61	c cleaning 53992 clauses out of 108018 with flag 1530002/6436601
391.94/387.39	c cleaning 54999 clauses out of 110024 with flag 1586000/6492599
397.36/392.74	c cleaning 56000 clauses out of 112025 with flag 1643000/6549599
403.39/398.75	c cleaning 57001 clauses out of 114025 with flag 1701000/6607599
408.33/403.67	c cleaning 57996 clauses out of 116025 with flag 1760001/6666600
413.03/408.34	c cleaning 58993 clauses out of 118028 with flag 1820000/6726599
416.55/411.85	c cleaning 60010 clauses out of 120036 with flag 1881001/6787600
420.09/415.36	c cleaning 61008 clauses out of 122025 with flag 1943000/6849599
424.02/419.26	c cleaning 62002 clauses out of 124018 with flag 2006001/6912600
427.86/423.05	c cleaning 62999 clauses out of 126015 with flag 2070000/6976599
431.78/426.97	c cleaning 64004 clauses out of 128018 with flag 2135002/7041601
437.49/432.66	c cleaning 64992 clauses out of 130013 with flag 2201001/7107600
442.66/437.73	c cleaning 66003 clauses out of 132020 with flag 2268000/7174599
447.79/442.85	c cleaning 66993 clauses out of 134017 with flag 2336000/7242599
453.31/448.38	c cleaning 68002 clauses out of 136025 with flag 2405001/7311600
459.03/454.02	c cleaning 68993 clauses out of 138022 with flag 2475000/7381599
463.78/458.79	c cleaning 70002 clauses out of 140030 with flag 2546001/7452600
469.79/464.73	c cleaning 71002 clauses out of 142028 with flag 2618001/7524600
475.94/470.87	c cleaning 72005 clauses out of 144026 with flag 2691001/7597600
481.40/476.25	c cleaning 72992 clauses out of 146020 with flag 2765000/7671599
486.63/481.47	c cleaning 74013 clauses out of 148030 with flag 2840002/7746601
493.16/487.92	c cleaning 74999 clauses out of 150016 with flag 2916001/7822600
499.49/494.29	c cleaning 76003 clauses out of 152020 with flag 2993004/7899603
506.21/500.93	c cleaning 76985 clauses out of 154013 with flag 3071000/7977599
512.17/506.83	c cleaning 78005 clauses out of 156028 with flag 3150000/8056599
519.31/513.90	c cleaning 78999 clauses out of 158023 with flag 3230000/8136599
525.26/519.87	c cleaning 79993 clauses out of 160024 with flag 3311000/8217599
531.47/526.07	c cleaning 80997 clauses out of 162032 with flag 3393001/8299600
538.12/532.60	c cleaning 82002 clauses out of 164036 with flag 3476002/8382601
545.27/539.77	c cleaning 83009 clauses out of 166032 with flag 3560000/8466599
552.29/546.76	c cleaning 84006 clauses out of 168025 with flag 3645002/8551601
559.63/554.04	c cleaning 84993 clauses out of 170018 with flag 3731001/8637600
567.46/561.81	c cleaning 85990 clauses out of 172024 with flag 3818000/8724599
575.51/569.86	c cleaning 87008 clauses out of 174036 with flag 3906002/8812601
582.34/576.65	c cleaning 87996 clauses out of 176026 with flag 3995000/8901599
590.05/584.39	c cleaning 89008 clauses out of 178030 with flag 4085000/8991599
597.98/592.23	c cleaning 90004 clauses out of 180023 with flag 4176001/9082600
605.04/599.26	c cleaning 90993 clauses out of 182018 with flag 4268000/9174599
612.28/606.46	c cleaning 91999 clauses out of 184026 with flag 4361001/9267600
619.72/613.82	c cleaning 92989 clauses out of 186026 with flag 4455000/9361599
630.34/624.46	c cleaning 94001 clauses out of 188037 with flag 4550000/9456599
638.78/632.82	c cleaning 95009 clauses out of 190036 with flag 4646000/9552599
646.60/640.66	c cleaning 95991 clauses out of 192027 with flag 4743000/9649599
655.56/649.51	c cleaning 96994 clauses out of 194036 with flag 4841000/9747599
665.58/659.56	c cleaning 98009 clauses out of 196042 with flag 4940000/9846599
673.30/667.22	c cleaning 98992 clauses out of 198033 with flag 5040000/9946599
681.58/675.44	c cleaning 100007 clauses out of 200043 with flag 5141002/10047601
688.52/682.37	c cleaning 101012 clauses out of 202034 with flag 5243000/10149599
694.75/688.56	c cleaning 102004 clauses out of 204022 with flag 5346000/10252599
701.66/695.46	c cleaning 102998 clauses out of 206019 with flag 5450001/10356600
708.97/702.71	c cleaning 103998 clauses out of 208020 with flag 5555000/10461599
716.82/710.57	c cleaning 104997 clauses out of 210022 with flag 5661000/10567599
727.75/721.45	c cleaning 106000 clauses out of 212025 with flag 5768000/10674599
738.20/731.85	c cleaning 107009 clauses out of 214025 with flag 5876000/10782599
750.86/744.42	c cleaning 107995 clauses out of 216016 with flag 5985000/10891599
768.24/761.76	c cleaning 108999 clauses out of 218021 with flag 6095000/11001599
780.10/773.59	c cleaning 110002 clauses out of 220024 with flag 6206002/11112601
790.26/783.65	c cleaning 111000 clauses out of 222021 with flag 6318001/11224600
803.31/796.61	c cleaning 111998 clauses out of 224021 with flag 6431001/11337600
817.78/811.07	c cleaning 113003 clauses out of 226022 with flag 6545000/11451599
830.13/823.36	c cleaning 113999 clauses out of 228019 with flag 6660000/11566599
840.47/833.65	c cleaning 114981 clauses out of 230020 with flag 6776000/11682599
852.43/845.52	c cleaning 115996 clauses out of 232039 with flag 6893000/11799599
864.16/857.27	c cleaning 117011 clauses out of 234043 with flag 7011000/11917599
875.32/868.36	c cleaning 118007 clauses out of 236032 with flag 7130000/12036599
887.15/880.10	c cleaning 119002 clauses out of 238026 with flag 7250001/12156600
899.19/892.12	c cleaning 119991 clauses out of 240023 with flag 7371000/12277599
908.62/901.59	c cleaning 121005 clauses out of 242032 with flag 7493000/12399599
921.94/914.87	c cleaning 122000 clauses out of 244027 with flag 7616000/12522599
935.58/928.44	c cleaning 122998 clauses out of 246027 with flag 7740000/12646599
949.44/942.26	c cleaning 123996 clauses out of 248030 with flag 7865001/12771600
963.81/956.50	c cleaning 125002 clauses out of 250033 with flag 7991000/12897599
977.82/970.59	c cleaning 126007 clauses out of 252031 with flag 8118000/13024599
991.37/984.08	c cleaning 126987 clauses out of 254024 with flag 8246000/13152599
1003.94/996.58	c cleaning 128003 clauses out of 256037 with flag 8375000/13281599
1017.56/1010.19	c cleaning 129005 clauses out of 258036 with flag 8505002/13411601
1029.69/1022.26	c cleaning 129997 clauses out of 260029 with flag 8636000/13542599
1045.83/1038.38	c cleaning 130999 clauses out of 262032 with flag 8768000/13674599
1062.19/1054.64	c cleaning 132007 clauses out of 264034 with flag 8901001/13807600
1077.87/1070.26	c cleaning 133002 clauses out of 266026 with flag 9035000/13941599
1093.62/1085.90	c cleaning 133999 clauses out of 268024 with flag 9170000/14076599
1109.79/1102.01	c cleaning 134996 clauses out of 270027 with flag 9306002/14212601
1125.76/1117.97	c cleaning 135996 clauses out of 272030 with flag 9443001/14349600
1140.18/1132.38	c cleaning 136991 clauses out of 274033 with flag 9581000/14487599
1156.09/1148.23	c cleaning 138009 clauses out of 276043 with flag 9720001/14626600
1170.24/1162.39	c cleaning 139002 clauses out of 278034 with flag 9860001/14766600
1186.10/1178.13	c cleaning 139984 clauses out of 280031 with flag 10001000/14907599
1203.30/1195.24	c cleaning 140999 clauses out of 282047 with flag 10143000/15049599
1215.87/1207.78	c cleaning 142008 clauses out of 284048 with flag 10286000/15192599
1229.09/1220.93	c cleaning 143014 clauses out of 286040 with flag 10430000/15336599
1244.05/1235.89	c cleaning 144004 clauses out of 288026 with flag 10575000/15481599
1256.50/1248.22	c cleaning 145007 clauses out of 290022 with flag 10721000/15627599
1273.36/1265.05	c cleaning 146001 clauses out of 292017 with flag 10868002/15774601
1285.79/1277.47	c cleaning 146992 clauses out of 294014 with flag 11016000/15922599
1303.04/1294.64	c cleaning 148005 clauses out of 296023 with flag 11165001/16071600
1314.90/1306.43	c cleaning 149003 clauses out of 298017 with flag 11315000/16221599
1337.25/1328.72	c cleaning 149996 clauses out of 300015 with flag 11466001/16372600
1355.14/1346.54	c cleaning 150997 clauses out of 302018 with flag 11618000/16524599
1371.23/1362.55	c cleaning 151992 clauses out of 304021 with flag 11771000/16677599
1386.46/1377.72	c cleaning 152997 clauses out of 306029 with flag 11925000/16831599
1403.03/1394.26	c cleaning 154001 clauses out of 308032 with flag 12080000/16986599
1419.79/1410.92	c cleaning 154996 clauses out of 310031 with flag 12236000/17142599
1439.07/1430.14	c cleaning 155996 clauses out of 312035 with flag 12393000/17299599
1452.94/1443.92	c cleaning 157007 clauses out of 314040 with flag 12551001/17457600
1471.69/1462.65	c cleaning 158007 clauses out of 316032 with flag 12710000/17616599
1493.03/1483.91	c cleaning 158999 clauses out of 318026 with flag 12870001/17776600
1514.09/1504.92	c cleaning 160003 clauses out of 320026 with flag 13031000/17937599
1533.93/1524.76	c cleaning 160998 clauses out of 322023 with flag 13193000/18099599
1554.01/1544.74	c cleaning 162006 clauses out of 324027 with flag 13356002/18262601
1576.14/1566.84	c cleaning 162991 clauses out of 326019 with flag 13520000/18426599
1589.67/1580.34	c cleaning 163996 clauses out of 328028 with flag 13685000/18591599
1609.92/1600.53	c cleaning 165005 clauses out of 330033 with flag 13851001/18757600
1630.57/1621.19	c cleaning 166002 clauses out of 332027 with flag 14018000/18924599
1654.25/1644.78	c cleaning 166995 clauses out of 334025 with flag 14186000/19092599
1673.81/1664.24	c cleaning 167991 clauses out of 336030 with flag 14355000/19261599
1695.06/1685.46	c cleaning 169010 clauses out of 338041 with flag 14525002/19431601
1714.41/1704.76	c cleaning 170006 clauses out of 340029 with flag 14696000/19602599
1734.64/1724.91	c cleaning 170976 clauses out of 342023 with flag 14868000/19774599
1752.50/1742.75	c cleaning 172004 clauses out of 344047 with flag 15041000/19947599
1770.93/1761.19	c cleaning 173005 clauses out of 346044 with flag 15215001/20121600
1786.87/1777.02	c cleaning 174014 clauses out of 348040 with flag 15390002/20296601
1800.03/1790.11	c starts		: 360
1800.03/1790.11	c conflicts		: 20430686
1800.03/1790.11	c decisions		: 34644338
1800.03/1790.11	c propagations		: 351783092
1800.03/1790.11	c inspects		: 14530239063
1800.03/1790.11	c shortcuts		: 0
1800.03/1790.11	c learnt literals	: 0
1800.03/1790.11	c learnt binary clauses	: 0
1800.03/1790.11	c learnt ternary clauses	: 0
1800.03/1790.11	c learnt constraints	: 20430686
1800.03/1790.11	c ignored constraints	: 0
1800.03/1790.11	c root simplifications	: 360
1800.03/1790.11	c removed literals (reason simplification)	: 1328610735
1800.03/1790.11	c reason swapping (by a shorter reason)	: 0
1800.03/1790.11	c Calls to reduceDB	: 366
1800.03/1790.11	c number of reductions to clauses (during analyze)	: 0
1800.03/1790.11	c number of learned constraints concerned by reduction	: 0
1800.03/1790.11	c number of learning phase by resolution	: 0
1800.03/1790.11	c number of learning phase by cutting planes	: 0
1800.03/1790.11	c speed (assignments/second)	: 196535.216020345
1800.03/1790.11	c non guided choices	256
1800.03/1790.14	c learnt constraints type 
1800.03/1790.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 308174
1800.03/1790.14	c constraints type 
1800.03/1790.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7
1800.03/1790.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 75
1800.03/1790.14	c ignored satisfied constraints => 1
1800.03/1790.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 338
1800.03/1790.14	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.03/1790.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.03/1790.14	c 423 constraints processed.
1800.03/1790.14	s SATISFIABLE
1800.03/1790.14	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 
1800.03/1790.14	c objective function=21
1800.03/1790.14	c Total wall clock time (in seconds): 1790.035

Verifier Data 

OK	21

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.99 1.99 1.99 3/192 24297
/proc/meminfo: memFree=28552540/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/24297/stat : 24297 (java) R 24295 24297 21372 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 280724395 23793664 711 33554432000 1073741824 1073778376 140733558850528 140733558839592 227503290448 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 5809 711 525 9 0 128 0

[startup+0.0320741 s]
/proc/loadavg: 1.99 1.99 1.99 3/192 24297
/proc/meminfo: memFree=28552540/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 3000 0 1 0 1 0 0 0 20 0 13 0 280724395 9446973440 3696 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2306390 3696 1682 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100193 s]
/proc/loadavg: 1.99 1.99 1.99 3/192 24297
/proc/meminfo: memFree=28552540/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 4370 0 1 0 9 0 0 0 20 0 18 0 280724395 9787842560 6087 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2389610 6088 2128 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.30016 s]
/proc/loadavg: 1.99 1.99 1.99 3/192 24297
/proc/meminfo: memFree=28552540/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 7392 0 1 0 50 1 0 0 20 0 19 0 280724395 9856004096 8951 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2406251 8951 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625004

[startup+0.700222 s]
/proc/loadavg: 1.99 1.99 1.99 3/192 24297
/proc/meminfo: memFree=28552540/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9625004 CPUtime=1.2 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 9918 0 1 0 118 2 0 0 20 0 19 0 280724395 9856004096 12003 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2406251 12003 2278 9 0 2396937 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625004

[startup+1.5006 s]
/proc/loadavg: 1.99 1.99 1.99 3/211 24316
/proc/meminfo: memFree=28509164/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 9958 0 1 0 205 3 0 0 20 0 19 0 280724395 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2406251 13569 2279 9 0 2396937 0
[pid=24297/tid=24299] ppid=24295 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (java) R 24295 24297 21372 0 -1 4202560 2517 0 1 0 141 0 0 0 20 0 19 0 280724395 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690235531688 139690070497151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24297 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690197023656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24301] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690195971112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24302] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24297 21372 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690194918056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24303] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24297 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690193865512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24304] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24297 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690192812456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24305] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24297 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690191759912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24306] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24297 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690190706856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24307] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24297 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690189654312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24308] ppid=24295 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24297 21372 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 280724397 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690058832744 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24309] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24297 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690057779064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24310] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24297 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690056725896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24311] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690055674640 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24312] ppid=24295 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24297 21372 0 -1 4202560 3137 0 0 0 28 0 0 0 20 0 19 0 280724400 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139690054621496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24313] ppid=24295 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24297 21372 0 -1 4202560 3036 0 0 0 25 0 0 0 20 0 19 0 280724400 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139689180785080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24314] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139689179732216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24315] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139689178679880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24316] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24297 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280724413 9856004096 13569 33554432000 1073741824 1073778376 140733558850528 139689177626152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625004

[startup+3.10063 s]
/proc/loadavg: 1.99 1.99 1.99 3/211 24316
/proc/meminfo: memFree=28494580/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9625004 CPUtime=3.69 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 9967 0 1 0 366 3 0 0 20 0 19 0 280724395 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2406251 14086 2279 9 0 2396937 0
[pid=24297/tid=24299] ppid=24295 vsize=9625004 CPUtime=2.97 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (java) R 24295 24297 21372 0 -1 4202560 2520 0 1 0 297 0 0 0 20 0 19 0 280724395 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690235531568 139690070478663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24297 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690197023656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24301] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24297 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690195971112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24302] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24297 21372 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690194918056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24303] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24297 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690193865512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24304] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24297 21372 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690192812456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24305] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24297 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690191759912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24306] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24297 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690190706856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24307] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24297 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690189654312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24308] ppid=24295 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24297 21372 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 280724397 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690058832744 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24309] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24297 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690057779064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24310] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24297 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690056725896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24311] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690055674640 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24312] ppid=24295 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24297 21372 0 -1 4202560 3137 0 0 0 28 0 0 0 20 0 19 0 280724400 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139690054621496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24313] ppid=24295 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24297 21372 0 -1 4202560 3036 0 0 0 25 0 0 0 20 0 19 0 280724400 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139689180785080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24314] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139689179732216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24315] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139689178679880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24316] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24297 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280724413 9856004096 14086 33554432000 1073741824 1073778376 140733558850528 139689177626152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9625004

[startup+6.3006 s]
/proc/loadavg: 1.99 1.99 1.99 3/211 24316
/proc/meminfo: memFree=28471596/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9625004 CPUtime=6.98 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 10010 0 1 0 694 4 0 0 20 0 19 0 280724395 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2406251 16152 2279 9 0 2396937 0
[pid=24297/tid=24299] ppid=24295 vsize=9625004 CPUtime=6.06 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (java) R 24295 24297 21372 0 -1 4202560 2526 0 1 0 606 0 0 0 20 0 19 0 280724395 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690235531528 139690070559870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24297 21372 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 280724396 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690197023656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24301] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24297 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690195971112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24302] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24297 21372 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280724396 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690194918056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24303] ppid=24295 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24297 21372 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 280724396 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690193865512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24304] ppid=24295 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24297 21372 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 280724396 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690192812456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24305] ppid=24295 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24297 21372 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 19 0 280724396 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690191759912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24306] ppid=24295 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24297 21372 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 280724396 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690190706856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24307] ppid=24295 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24297 21372 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 280724396 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690189654312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24308] ppid=24295 vsize=9625004 CPUtime=0.12 cores=1,3,5,7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24297 21372 0 -1 4202560 33 0 0 0 12 0 0 0 20 0 19 0 280724397 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690058832744 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24309] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24297 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690057779064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24310] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24297 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690056725896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24311] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690055674640 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24312] ppid=24295 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24297 21372 0 -1 4202560 3137 0 0 0 28 0 0 0 20 0 19 0 280724400 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139690054621496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24313] ppid=24295 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24297 21372 0 -1 4202560 3036 0 0 0 25 0 0 0 20 0 19 0 280724400 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139689180785080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24314] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139689179732216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24315] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139689178679880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24316] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24297 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280724413 9856004096 16152 33554432000 1073741824 1073778376 140733558850528 139689177626152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=24297/tid=24312] ppid=24295 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24297 21372 0 -1 4202560 5768 0 0 0 40 1 0 0 20 0 19 0 280724400 9856004096 71247 33554432000 1073741824 1073778376 140733558850528 139690054621496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24313] ppid=24295 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24297 21372 0 -1 4202560 3040 0 0 0 26 0 0 0 20 0 19 0 280724400 9856004096 71247 33554432000 1073741824 1073778376 140733558850528 139689180785080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24314] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 71247 33554432000 1073741824 1073778376 140733558850528 139689179732216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24315] ppid=24295 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24297 21372 0 -1 4202560 96 0 0 0 22 19 0 0 20 0 19 0 280724400 9856004096 71247 33554432000 1073741824 1073778376 140733558850528 139689178679880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24316] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24297 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280724413 9856004096 71247 33554432000 1073741824 1073778376 140733558850528 139689177626152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1732.04
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/211 24392
/proc/meminfo: memFree=28171912/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9625004 CPUtime=1792.22 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 15834 0 1 0 179173 49 0 0 20 0 19 0 280724395 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2406251 74319 2280 9 0 2396937 0
[pid=24297/tid=24299] ppid=24295 vsize=9625004 CPUtime=1760.84 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (java) R 24295 24297 21372 0 -1 4202560 2914 0 1 0 176055 29 0 0 20 0 19 0 280724395 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690235531568 139690070575234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24297 21372 0 -1 4202560 371 0 0 0 156 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690197023656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24301] ppid=24295 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24297 21372 0 -1 4202560 401 0 0 0 165 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690195971112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24302] ppid=24295 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24297 21372 0 -1 4202560 278 0 0 0 148 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690194918056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24303] ppid=24295 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24297 21372 0 -1 4202560 372 0 0 0 153 3 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690193865512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24304] ppid=24295 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24297 21372 0 -1 4202560 284 0 0 0 162 3 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690192812456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24305] ppid=24295 vsize=9625004 CPUtime=1.66 cores=1,3,5,7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24297 21372 0 -1 4202560 350 0 0 0 163 3 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690191759912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24306] ppid=24295 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24297 21372 0 -1 4202560 326 0 0 0 152 4 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690190706856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24307] ppid=24295 vsize=9625004 CPUtime=1.52 cores=1,3,5,7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24297 21372 0 -1 4202560 280 0 0 0 150 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690189654312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24308] ppid=24295 vsize=9625004 CPUtime=13.06 cores=1,3,5,7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24297 21372 0 -1 4202560 166 0 0 0 1304 2 0 0 20 0 19 0 280724397 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690058832744 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24309] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24297 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690057779064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24310] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24297 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690056725896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24311] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690055674640 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24312] ppid=24295 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24297 21372 0 -1 4202560 5770 0 0 0 41 1 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690054621496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24313] ppid=24295 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24297 21372 0 -1 4202560 3040 0 0 0 26 0 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689180785080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24314] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689179732216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24315] ppid=24295 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24297 21372 0 -1 4202560 100 0 0 0 23 20 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689178679880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24316] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24297 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280724413 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689177626152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1792.22
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/211 24392
/proc/meminfo: memFree=28171912/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 15834 0 1 0 179954 49 0 0 20 0 19 0 280724395 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2406251 74319 2280 9 0 2396937 0
[pid=24297/tid=24299] ppid=24295 vsize=9625004 CPUtime=1768.62 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (java) R 24295 24297 21372 0 -1 4202560 2914 0 1 0 176833 29 0 0 20 0 19 0 280724395 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690235531568 139690070497145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24297 21372 0 -1 4202560 371 0 0 0 156 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690197023656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24301] ppid=24295 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24297 21372 0 -1 4202560 401 0 0 0 165 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690195971112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24302] ppid=24295 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24297 21372 0 -1 4202560 278 0 0 0 148 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690194918056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24303] ppid=24295 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24297 21372 0 -1 4202560 372 0 0 0 153 3 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690193865512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24304] ppid=24295 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24297 21372 0 -1 4202560 284 0 0 0 162 3 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690192812456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24305] ppid=24295 vsize=9625004 CPUtime=1.66 cores=1,3,5,7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24297 21372 0 -1 4202560 350 0 0 0 163 3 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690191759912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24306] ppid=24295 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24297 21372 0 -1 4202560 326 0 0 0 152 4 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690190706856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24307] ppid=24295 vsize=9625004 CPUtime=1.52 cores=1,3,5,7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24297 21372 0 -1 4202560 280 0 0 0 150 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690189654312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24308] ppid=24295 vsize=9625004 CPUtime=13.06 cores=1,3,5,7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24297 21372 0 -1 4202560 166 0 0 0 1304 2 0 0 20 0 19 0 280724397 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690058832744 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24309] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24297 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690057779064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24310] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24297 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690056725896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24311] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690055674640 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24312] ppid=24295 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24297 21372 0 -1 4202560 5770 0 0 0 41 1 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690054621496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24313] ppid=24295 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24297 21372 0 -1 4202560 3040 0 0 0 26 0 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689180785080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24314] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689179732216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24315] ppid=24295 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24297 21372 0 -1 4202560 100 0 0 0 23 20 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689178679880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24316] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24297 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280724413 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689177626152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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+1790.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/211 24392
/proc/meminfo: memFree=28171912/32873624 swapFree=7104/7104
[pid=24297] ppid=24295 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/24297/stat : 24297 (java) S 24295 24297 21372 0 -1 4202496 15834 0 1 0 179954 49 0 0 20 0 19 0 280724395 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 140733558841664 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24297/statm: 2406251 74319 2280 9 0 2396937 0
[pid=24297/tid=24299] ppid=24295 vsize=9625004 CPUtime=1768.62 cores=1,3,5,7
/proc/24297/task/24299/stat : 24299 (java) R 24295 24297 21372 0 -1 4202560 2914 0 1 0 176833 29 0 0 20 0 19 0 280724395 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690235531568 139690070497145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24300] ppid=24295 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24297 21372 0 -1 4202560 371 0 0 0 156 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690197023656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24301] ppid=24295 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24297 21372 0 -1 4202560 401 0 0 0 165 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690195971112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24302] ppid=24295 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24297 21372 0 -1 4202560 278 0 0 0 148 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690194918056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24303] ppid=24295 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24297 21372 0 -1 4202560 372 0 0 0 153 3 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690193865512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24304] ppid=24295 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24297 21372 0 -1 4202560 284 0 0 0 162 3 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690192812456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24305] ppid=24295 vsize=9625004 CPUtime=1.66 cores=1,3,5,7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24297 21372 0 -1 4202560 350 0 0 0 163 3 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690191759912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24306] ppid=24295 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24297 21372 0 -1 4202560 326 0 0 0 152 4 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690190706856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24307] ppid=24295 vsize=9625004 CPUtime=1.52 cores=1,3,5,7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24297 21372 0 -1 4202560 280 0 0 0 150 2 0 0 20 0 19 0 280724396 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690189654312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24297/tid=24308] ppid=24295 vsize=9625004 CPUtime=13.06 cores=1,3,5,7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24297 21372 0 -1 4202560 166 0 0 0 1304 2 0 0 20 0 19 0 280724397 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690058832744 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24309] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24297 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690057779064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24310] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24297 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280724397 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690056725896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24311] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690055674640 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24297/tid=24312] ppid=24295 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24297 21372 0 -1 4202560 5770 0 0 0 41 1 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139690054621496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24297/tid=24313] ppid=24295 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24297 21372 0 -1 4202560 3040 0 0 0 26 0 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689180785080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24314] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24297 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689179732216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24315] ppid=24295 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24297 21372 0 -1 4202560 100 0 0 0 23 20 0 0 20 0 19 0 280724400 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689178679880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24297/tid=24316] ppid=24295 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24297 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280724413 9856004096 74319 33554432000 1073741824 1073778376 140733558850528 139689177626152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24297 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=969123
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=871867
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.15
CPU time (s): 1800.03
CPU user time (s): 1799.54
CPU system time (s): 0.49
CPU usage (%): 100.552
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.97
system time used= 0.871867
maximum resident set size= 297424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15875
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48071
involuntary context switches= 34737

runsolver used 6.03008 second user time and 13.9829 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-27 21:13:09
IDJOB=3710725
IDBENCH=2222
IDSOLVER=2289
FILE ID=node121/3710725-1338145989
RUNJOBID= node121-1338138816-23673
PBS_JOBID= 14624482
Free space on /tmp= 71712 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.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-3710725-1338145989/watcher-3710725-1338145989 -o /tmp/evaluation-result-3710725-1338145989/solver-3710725-1338145989 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710725-1338145989.opb

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

MD5SUM BENCH= 4dfe0aab63c58302cf08520fc713ceae
RANDOM SEED=559588229

node121.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.042
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.08
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.042
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.042
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.92
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.042
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.91
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.042
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.042
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.042
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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:       32873624 kB
MemFree:        28552920 kB
Buffers:          511892 kB
Cached:          2776344 kB
SwapCached:            0 kB
Active:           941924 kB
Inactive:        2522480 kB
Active(anon):     177316 kB
Inactive(anon):        0 kB
Active(file):     764608 kB
Inactive(file):  2522480 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1928 kB
Writeback:             0 kB
AnonPages:        181584 kB
Mapped:            22468 kB
Shmem:               200 kB
Slab:             717976 kB
SReclaimable:     162136 kB
SUnreclaim:       555840 kB
KernelStack:        1608 kB
PageTables:         4684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     684496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node121 at 2012-05-27 21:43:01