Trace number 3262392

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06UNSAT 1069.25 1067.65

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
MD5SUM906590ef62b3db2841b2d529fd1636f7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark698.76
Satisfiable
(Un)Satisfiability was proved
Number of variables203
Number of clauses22241
Sum of the clauses size99837
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268
Number of clauses of size 320324
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51849

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c no version file found!!!
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.18-164.el5
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		6997539544
0.04/0.08	c Max memory 		7034241024
0.04/0.08	c Total memory 		7034241024
0.04/0.08	c Number of processors 	8
0.07/0.11	c --- Begin Solver configuration ---
0.07/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.11	c Expensive reason simplification
0.07/0.11	c Armin Biere (Picosat) restarts strategy
0.07/0.11	c Glucose learned constraints deletion strategy
0.07/0.11	c timeout=2147483647s
0.07/0.11	c DB Simplification allowed=true
0.07/0.11	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3262392-1303548073.cnf
0.07/0.12	c reading problem ... 
0.21/0.23	c ... done. Wall clock time 0.114s.
0.21/0.23	c #vars     203
0.21/0.23	c #constraints  22241
0.21/0.23	c constraints type 
0.21/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 22173
0.21/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 68
1.09/1.00	c cleaning 2500 clauses out of 5001 with flag 5001/5001
1.59/1.58	c cleaning 4248 clauses out of 8500 with flag 11000/11000
2.19/2.20	c cleaning 5624 clauses out of 11252 with flag 18000/18000
2.99/2.96	c cleaning 6812 clauses out of 13629 with flag 26001/26001
3.79/3.79	c cleaning 7908 clauses out of 15817 with flag 35001/35001
4.79/4.71	c cleaning 8947 clauses out of 17908 with flag 45000/45000
5.79/5.75	c cleaning 9980 clauses out of 19961 with flag 56000/56000
7.00/6.97	c cleaning 10986 clauses out of 21981 with flag 68000/68000
8.29/8.20	c cleaning 11993 clauses out of 23996 with flag 81001/81001
9.69/9.63	c cleaning 12993 clauses out of 26002 with flag 95000/95000
11.19/11.12	c cleaning 13998 clauses out of 28009 with flag 110000/110000
12.80/12.71	c cleaning 15003 clauses out of 30011 with flag 126000/126000
14.50/14.49	c cleaning 16004 clauses out of 32009 with flag 143001/143001
16.60/16.55	c cleaning 16996 clauses out of 34005 with flag 161001/161001
18.60/18.59	c cleaning 18000 clauses out of 36008 with flag 180000/180000
20.81/20.74	c cleaning 19005 clauses out of 38009 with flag 200001/200001
23.22/23.12	c cleaning 20002 clauses out of 40004 with flag 221001/221001
25.71/25.60	c cleaning 20997 clauses out of 42001 with flag 243000/243000
28.42/28.33	c cleaning 21995 clauses out of 44004 with flag 266000/266000
31.12/31.02	c cleaning 22497 clauses out of 45009 with flag 289000/289000
33.92/33.84	c cleaning 22752 clauses out of 45512 with flag 312000/312000
36.72/36.67	c cleaning 22877 clauses out of 45760 with flag 335000/335000
39.52/39.45	c cleaning 22934 clauses out of 45883 with flag 358000/358000
42.33/42.20	c cleaning 22970 clauses out of 45949 with flag 381000/381000
44.93/44.86	c cleaning 22982 clauses out of 45979 with flag 404000/404000
47.73/47.65	c cleaning 22991 clauses out of 45997 with flag 427000/427000
50.33/50.23	c cleaning 22997 clauses out of 46006 with flag 450000/450000
52.93/52.84	c cleaning 22996 clauses out of 46009 with flag 473000/473000
55.73/55.60	c cleaning 23000 clauses out of 46013 with flag 496000/496000
58.23/58.12	c cleaning 22998 clauses out of 46013 with flag 519000/519000
60.83/60.76	c cleaning 23005 clauses out of 46015 with flag 542000/542000
63.63/63.54	c cleaning 23005 clauses out of 46012 with flag 565002/565002
66.04/65.97	c cleaning 22995 clauses out of 46005 with flag 588000/588000
68.74/68.66	c cleaning 23004 clauses out of 46010 with flag 611000/611000
71.24/71.10	c cleaning 23001 clauses out of 46006 with flag 634000/634000
74.04/73.98	c cleaning 22999 clauses out of 46005 with flag 657000/657000
76.84/76.75	c cleaning 22997 clauses out of 46007 with flag 680001/680001
79.35/79.26	c cleaning 23001 clauses out of 46009 with flag 703000/703000
82.04/81.93	c cleaning 22997 clauses out of 46008 with flag 726000/726000
84.65/84.59	c cleaning 23002 clauses out of 46011 with flag 749000/749000
87.55/87.44	c cleaning 23005 clauses out of 46010 with flag 772001/772001
90.25/90.12	c cleaning 23000 clauses out of 46004 with flag 795000/795000
92.85/92.77	c cleaning 22999 clauses out of 46004 with flag 818000/818000
95.45/95.33	c cleaning 23002 clauses out of 46006 with flag 841001/841001
98.15/98.03	c cleaning 23000 clauses out of 46004 with flag 864001/864001
100.65/100.58	c cleaning 22994 clauses out of 46003 with flag 887000/887000
103.46/103.33	c cleaning 23001 clauses out of 46009 with flag 910000/910000
106.05/106.00	c cleaning 23004 clauses out of 46009 with flag 933001/933001
108.76/108.60	c cleaning 23000 clauses out of 46004 with flag 956000/956000
111.46/111.34	c cleaning 22999 clauses out of 46004 with flag 979000/979000
114.15/114.00	c cleaning 22995 clauses out of 46005 with flag 1002000/1002000
116.66/116.60	c cleaning 23003 clauses out of 46010 with flag 1025000/1025000
119.26/119.14	c cleaning 22995 clauses out of 46007 with flag 1048000/1048000
121.76/121.69	c cleaning 23001 clauses out of 46012 with flag 1071000/1071000
124.56/124.44	c cleaning 23005 clauses out of 46012 with flag 1094001/1094001
127.36/127.22	c cleaning 23002 clauses out of 46007 with flag 1117001/1117001
130.06/129.95	c cleaning 23000 clauses out of 46006 with flag 1140002/1140002
132.76/132.65	c cleaning 22994 clauses out of 46004 with flag 1163000/1163000
135.56/135.45	c cleaning 23005 clauses out of 46011 with flag 1186001/1186001
138.16/138.03	c cleaning 22996 clauses out of 46006 with flag 1209001/1209001
140.87/140.72	c cleaning 22992 clauses out of 46009 with flag 1232000/1232000
143.46/143.34	c cleaning 23006 clauses out of 46018 with flag 1255001/1255001
146.16/146.06	c cleaning 23001 clauses out of 46011 with flag 1278000/1278000
148.87/148.75	c cleaning 22999 clauses out of 46010 with flag 1301000/1301000
151.46/151.37	c cleaning 23001 clauses out of 46011 with flag 1324000/1324000
154.17/154.07	c cleaning 23005 clauses out of 46011 with flag 1347001/1347001
156.97/156.84	c cleaning 23000 clauses out of 46005 with flag 1370000/1370000
159.77/159.63	c cleaning 22993 clauses out of 46005 with flag 1393000/1393000
162.37/162.26	c cleaning 23000 clauses out of 46012 with flag 1416000/1416000
165.27/165.16	c cleaning 23001 clauses out of 46012 with flag 1439000/1439000
168.07/167.91	c cleaning 22998 clauses out of 46011 with flag 1462000/1462000
170.77/170.65	c cleaning 22998 clauses out of 46013 with flag 1485000/1485000
173.48/173.37	c cleaning 23000 clauses out of 46015 with flag 1508000/1508000
176.19/176.02	c cleaning 23003 clauses out of 46015 with flag 1531000/1531000
178.98/178.88	c cleaning 22997 clauses out of 46012 with flag 1554000/1554000
181.89/181.72	c cleaning 23001 clauses out of 46015 with flag 1577000/1577000
184.58/184.45	c cleaning 22998 clauses out of 46015 with flag 1600001/1600001
187.49/187.32	c cleaning 23003 clauses out of 46016 with flag 1623000/1623000
190.19/190.04	c cleaning 22989 clauses out of 46013 with flag 1646000/1646000
192.89/192.79	c cleaning 23004 clauses out of 46024 with flag 1669000/1669000
195.69/195.51	c cleaning 22999 clauses out of 46021 with flag 1692001/1692001
198.49/198.30	c cleaning 23005 clauses out of 46022 with flag 1715001/1715001
201.19/201.02	c cleaning 23003 clauses out of 46016 with flag 1738000/1738000
203.89/203.79	c cleaning 23005 clauses out of 46013 with flag 1761000/1761000
206.69/206.50	c cleaning 22997 clauses out of 46009 with flag 1784001/1784001
209.40/209.22	c cleaning 23000 clauses out of 46012 with flag 1807001/1807001
212.10/211.92	c cleaning 23002 clauses out of 46012 with flag 1830001/1830001
214.60/214.44	c cleaning 22991 clauses out of 46010 with flag 1853001/1853001
217.30/217.11	c cleaning 23005 clauses out of 46018 with flag 1876000/1876000
219.90/219.73	c cleaning 23003 clauses out of 46013 with flag 1899000/1899000
222.60/222.41	c cleaning 22997 clauses out of 46010 with flag 1922000/1922000
225.30/225.16	c cleaning 22999 clauses out of 46013 with flag 1945000/1945000
227.92/227.79	c cleaning 23001 clauses out of 46014 with flag 1968000/1968000
230.51/230.38	c cleaning 22996 clauses out of 46015 with flag 1991002/1991002
233.21/233.08	c cleaning 23004 clauses out of 46017 with flag 2014000/2014000
235.92/235.78	c cleaning 22997 clauses out of 46013 with flag 2037000/2037000
238.52/238.37	c cleaning 22998 clauses out of 46016 with flag 2060000/2060000
241.22/241.01	c cleaning 23001 clauses out of 46018 with flag 2083000/2083000
243.82/243.67	c cleaning 23006 clauses out of 46018 with flag 2106001/2106001
246.42/246.25	c cleaning 22999 clauses out of 46011 with flag 2129000/2129000
249.02/248.82	c cleaning 23006 clauses out of 46013 with flag 2152001/2152001
251.62/251.43	c cleaning 22996 clauses out of 46007 with flag 2175001/2175001
254.33/254.11	c cleaning 23003 clauses out of 46011 with flag 2198001/2198001
256.82/256.65	c cleaning 23001 clauses out of 46007 with flag 2221000/2221000
259.43/259.23	c cleaning 22995 clauses out of 46007 with flag 2244001/2244001
261.93/261.71	c cleaning 23005 clauses out of 46012 with flag 2267001/2267001
264.53/264.35	c cleaning 22994 clauses out of 46006 with flag 2290000/2290000
267.03/266.85	c cleaning 22995 clauses out of 46012 with flag 2313000/2313000
269.63/269.42	c cleaning 23004 clauses out of 46018 with flag 2336001/2336001
272.23/272.09	c cleaning 22998 clauses out of 46013 with flag 2359000/2359000
274.93/274.76	c cleaning 22999 clauses out of 46015 with flag 2382000/2382000
277.53/277.35	c cleaning 23004 clauses out of 46017 with flag 2405001/2405001
280.23/280.02	c cleaning 23003 clauses out of 46013 with flag 2428001/2428001
282.94/282.78	c cleaning 23003 clauses out of 46010 with flag 2451001/2451001
285.53/285.34	c cleaning 22999 clauses out of 46006 with flag 2474000/2474000
288.14/287.94	c cleaning 22990 clauses out of 46007 with flag 2497000/2497000
290.64/290.46	c cleaning 23005 clauses out of 46018 with flag 2520001/2520001
293.24/293.07	c cleaning 22999 clauses out of 46012 with flag 2543000/2543000
296.04/295.83	c cleaning 22998 clauses out of 46013 with flag 2566000/2566000
298.74/298.55	c cleaning 23001 clauses out of 46015 with flag 2589000/2589000
301.44/301.24	c cleaning 22994 clauses out of 46014 with flag 2612000/2612000
303.94/303.78	c cleaning 23000 clauses out of 46020 with flag 2635000/2635000
306.64/306.41	c cleaning 23001 clauses out of 46020 with flag 2658000/2658000
309.35/309.12	c cleaning 23006 clauses out of 46019 with flag 2681000/2681000
312.29/311.91	c cleaning 22990 clauses out of 46013 with flag 2704000/2704000
314.96/314.49	c cleaning 23008 clauses out of 46024 with flag 2727001/2727001
317.67/317.01	c cleaning 23006 clauses out of 46018 with flag 2750003/2750003
320.60/319.65	c cleaning 22996 clauses out of 46009 with flag 2773000/2773000
323.62/322.40	c cleaning 23000 clauses out of 46014 with flag 2796001/2796001
326.22/325.09	c cleaning 23007 clauses out of 46013 with flag 2819000/2819000
328.82/327.64	c cleaning 22990 clauses out of 46006 with flag 2842000/2842000
331.42/330.29	c cleaning 22999 clauses out of 46016 with flag 2865000/2865000
334.12/332.95	c cleaning 22996 clauses out of 46018 with flag 2888001/2888001
336.82/335.62	c cleaning 23004 clauses out of 46022 with flag 2911001/2911001
339.42/338.28	c cleaning 23005 clauses out of 46019 with flag 2934002/2934002
342.13/340.92	c cleaning 23003 clauses out of 46013 with flag 2957001/2957001
344.83/343.65	c cleaning 23004 clauses out of 46009 with flag 2980000/2980000
347.43/346.22	c cleaning 23001 clauses out of 46007 with flag 3003002/3003002
350.13/348.95	c cleaning 23000 clauses out of 46004 with flag 3026000/3026000
352.83/351.68	c cleaning 23000 clauses out of 46005 with flag 3049001/3049001
355.63/354.44	c cleaning 23000 clauses out of 46006 with flag 3072002/3072002
358.23/357.08	c cleaning 23001 clauses out of 46004 with flag 3095000/3095000
360.84/359.69	c cleaning 22995 clauses out of 46003 with flag 3118000/3118000
363.53/362.37	c cleaning 23003 clauses out of 46008 with flag 3141000/3141000
366.34/365.18	c cleaning 22996 clauses out of 46006 with flag 3164001/3164001
369.04/367.85	c cleaning 23004 clauses out of 46010 with flag 3187001/3187001
371.64/370.46	c cleaning 22992 clauses out of 46005 with flag 3210000/3210000
374.34/373.11	c cleaning 22997 clauses out of 46013 with flag 3233000/3233000
377.04/375.82	c cleaning 23002 clauses out of 46017 with flag 3256001/3256001
379.74/378.51	c cleaning 23001 clauses out of 46014 with flag 3279000/3279000
382.24/381.07	c cleaning 23000 clauses out of 46014 with flag 3302001/3302001
384.84/383.61	c cleaning 23001 clauses out of 46013 with flag 3325000/3325000
387.44/386.22	c cleaning 22993 clauses out of 46012 with flag 3348000/3348000
390.14/388.92	c cleaning 23006 clauses out of 46019 with flag 3371000/3371000
392.75/391.53	c cleaning 22991 clauses out of 46013 with flag 3394000/3394000
395.45/394.22	c cleaning 22996 clauses out of 46022 with flag 3417000/3417000
398.25/397.04	c cleaning 23009 clauses out of 46026 with flag 3440000/3440000
400.95/399.74	c cleaning 23003 clauses out of 46017 with flag 3463000/3463000
403.55/402.35	c cleaning 23005 clauses out of 46017 with flag 3486003/3486003
406.15/404.94	c cleaning 22995 clauses out of 46009 with flag 3509000/3509000
408.85/407.60	c cleaning 23001 clauses out of 46014 with flag 3532000/3532000
411.35/410.16	c cleaning 23000 clauses out of 46013 with flag 3555000/3555000
414.06/412.83	c cleaning 23004 clauses out of 46013 with flag 3578000/3578000
416.66/415.47	c cleaning 23000 clauses out of 46011 with flag 3601002/3601002
419.26/418.09	c cleaning 23001 clauses out of 46009 with flag 3624000/3624000
421.96/420.72	c cleaning 22991 clauses out of 46008 with flag 3647000/3647000
424.67/423.44	c cleaning 23006 clauses out of 46018 with flag 3670001/3670001
427.36/426.15	c cleaning 23006 clauses out of 46011 with flag 3693000/3693000
430.18/428.98	c cleaning 23000 clauses out of 46006 with flag 3716001/3716001
432.98/431.74	c cleaning 22994 clauses out of 46005 with flag 3739000/3739000
435.79/434.52	c cleaning 23008 clauses out of 46016 with flag 3762005/3762005
438.58/437.34	c cleaning 23002 clauses out of 46003 with flag 3785000/3785000
441.19/439.95	c cleaning 22992 clauses out of 46001 with flag 3808000/3808000
443.89/442.67	c cleaning 22998 clauses out of 46009 with flag 3831000/3831000
446.71/445.41	c cleaning 23002 clauses out of 46011 with flag 3854000/3854000
449.30/448.09	c cleaning 22995 clauses out of 46009 with flag 3877000/3877000
452.00/450.78	c cleaning 23005 clauses out of 46014 with flag 3900000/3900000
454.60/453.40	c cleaning 23005 clauses out of 46011 with flag 3923002/3923002
457.41/456.15	c cleaning 23001 clauses out of 46005 with flag 3946001/3946001
460.11/458.88	c cleaning 22991 clauses out of 46003 with flag 3969000/3969000
462.81/461.58	c cleaning 22996 clauses out of 46012 with flag 3992000/3992000
465.52/464.22	c cleaning 23000 clauses out of 46016 with flag 4015000/4015000
468.11/466.83	c cleaning 22999 clauses out of 46016 with flag 4038000/4038000
470.71/469.46	c cleaning 23007 clauses out of 46018 with flag 4061001/4061001
473.41/472.19	c cleaning 22993 clauses out of 46010 with flag 4084000/4084000
476.21/474.90	c cleaning 22998 clauses out of 46017 with flag 4107000/4107000
478.82/477.56	c cleaning 23007 clauses out of 46019 with flag 4130000/4130000
481.62/480.33	c cleaning 23001 clauses out of 46013 with flag 4153001/4153001
484.42/483.14	c cleaning 23004 clauses out of 46012 with flag 4176001/4176001
487.02/485.74	c cleaning 23001 clauses out of 46008 with flag 4199001/4199001
489.82/488.54	c cleaning 22998 clauses out of 46006 with flag 4222000/4222000
492.62/491.37	c cleaning 23005 clauses out of 46009 with flag 4245001/4245001
495.32/494.03	c cleaning 22991 clauses out of 46003 with flag 4268000/4268000
498.02/496.75	c cleaning 23001 clauses out of 46012 with flag 4291000/4291000
500.73/499.45	c cleaning 23003 clauses out of 46011 with flag 4314000/4314000
503.53/502.24	c cleaning 23000 clauses out of 46009 with flag 4337001/4337001
506.23/504.93	c cleaning 23003 clauses out of 46008 with flag 4360000/4360000
509.03/507.72	c cleaning 23000 clauses out of 46006 with flag 4383001/4383001
511.64/510.37	c cleaning 22991 clauses out of 46005 with flag 4406000/4406000
514.33/513.02	c cleaning 22999 clauses out of 46014 with flag 4429000/4429000
516.93/515.69	c cleaning 23004 clauses out of 46016 with flag 4452001/4452001
519.63/518.36	c cleaning 23002 clauses out of 46011 with flag 4475000/4475000
522.33/521.03	c cleaning 23003 clauses out of 46009 with flag 4498000/4498000
525.04/523.70	c cleaning 22998 clauses out of 46006 with flag 4521000/4521000
527.84/526.57	c cleaning 22996 clauses out of 46008 with flag 4544000/4544000
530.64/529.30	c cleaning 23002 clauses out of 46012 with flag 4567000/4567000
533.24/531.98	c cleaning 22996 clauses out of 46010 with flag 4590000/4590000
536.04/534.70	c cleaning 22998 clauses out of 46015 with flag 4613001/4613001
538.74/537.46	c cleaning 22996 clauses out of 46016 with flag 4636000/4636000
541.54/540.24	c cleaning 22999 clauses out of 46020 with flag 4659000/4659000
544.14/542.81	c cleaning 22991 clauses out of 46021 with flag 4682000/4682000
546.74/545.47	c cleaning 23001 clauses out of 46030 with flag 4705000/4705000
549.44/548.14	c cleaning 23005 clauses out of 46030 with flag 4728001/4728001
552.14/550.86	c cleaning 23006 clauses out of 46025 with flag 4751001/4751001
554.84/553.55	c cleaning 23006 clauses out of 46018 with flag 4774000/4774000
557.44/556.16	c cleaning 23008 clauses out of 46015 with flag 4797003/4797003
560.24/558.97	c cleaning 23003 clauses out of 46005 with flag 4820001/4820001
562.84/561.58	c cleaning 22994 clauses out of 46001 with flag 4843000/4843000
565.55/564.21	c cleaning 22998 clauses out of 46009 with flag 4866002/4866002
568.25/566.98	c cleaning 22999 clauses out of 46009 with flag 4889000/4889000
570.85/569.59	c cleaning 23000 clauses out of 46011 with flag 4912001/4912001
573.65/572.38	c cleaning 22996 clauses out of 46010 with flag 4935000/4935000
576.35/575.07	c cleaning 22998 clauses out of 46014 with flag 4958000/4958000
579.05/577.73	c cleaning 23002 clauses out of 46016 with flag 4981000/4981000
581.75/580.45	c cleaning 23003 clauses out of 46015 with flag 5004001/5004001
584.55/583.28	c cleaning 23003 clauses out of 46011 with flag 5027000/5027000
587.36/586.09	c cleaning 22998 clauses out of 46008 with flag 5050000/5050000
590.16/588.81	c cleaning 22998 clauses out of 46010 with flag 5073000/5073000
592.86/591.55	c cleaning 23004 clauses out of 46012 with flag 5096000/5096000
595.66/594.34	c cleaning 22998 clauses out of 46010 with flag 5119002/5119002
598.27/596.94	c cleaning 22991 clauses out of 46010 with flag 5142000/5142000
600.97/599.68	c cleaning 22999 clauses out of 46020 with flag 5165001/5165001
603.67/602.38	c cleaning 22999 clauses out of 46020 with flag 5188000/5188000
606.27/604.99	c cleaning 23004 clauses out of 46021 with flag 5211000/5211000
609.17/607.83	c cleaning 23005 clauses out of 46017 with flag 5234000/5234000
611.87/610.57	c cleaning 23000 clauses out of 46014 with flag 5257002/5257002
614.57/613.23	c cleaning 22995 clauses out of 46012 with flag 5280000/5280000
617.28/615.92	c cleaning 23001 clauses out of 46017 with flag 5303000/5303000
619.97/618.67	c cleaning 23001 clauses out of 46016 with flag 5326000/5326000
622.67/621.38	c cleaning 22997 clauses out of 46015 with flag 5349000/5349000
625.37/624.04	c cleaning 23001 clauses out of 46018 with flag 5372000/5372000
628.28/626.92	c cleaning 23001 clauses out of 46017 with flag 5395000/5395000
630.98/629.65	c cleaning 22995 clauses out of 46016 with flag 5418000/5418000
633.78/632.46	c cleaning 23003 clauses out of 46021 with flag 5441000/5441000
636.48/635.19	c cleaning 23002 clauses out of 46018 with flag 5464000/5464000
639.29/637.97	c cleaning 23001 clauses out of 46016 with flag 5487000/5487000
642.18/640.82	c cleaning 23001 clauses out of 46015 with flag 5510000/5510000
644.89/643.54	c cleaning 23002 clauses out of 46016 with flag 5533002/5533002
647.79/646.41	c cleaning 23000 clauses out of 46012 with flag 5556000/5556000
650.40/649.09	c cleaning 22998 clauses out of 46012 with flag 5579000/5579000
653.09/651.78	c cleaning 23007 clauses out of 46015 with flag 5602001/5602001
655.80/654.50	c cleaning 23001 clauses out of 46007 with flag 5625000/5625000
658.59/657.27	c cleaning 22987 clauses out of 46006 with flag 5648000/5648000
661.49/660.10	c cleaning 23007 clauses out of 46019 with flag 5671000/5671000
664.19/662.88	c cleaning 22997 clauses out of 46012 with flag 5694000/5694000
667.09/665.72	c cleaning 23000 clauses out of 46015 with flag 5717000/5717000
669.79/668.49	c cleaning 22997 clauses out of 46016 with flag 5740001/5740001
672.59/671.22	c cleaning 23002 clauses out of 46018 with flag 5763000/5763000
675.29/673.98	c cleaning 23008 clauses out of 46017 with flag 5786001/5786001
678.00/676.69	c cleaning 22986 clauses out of 46008 with flag 5809000/5809000
680.80/679.44	c cleaning 23000 clauses out of 46023 with flag 5832001/5832001
683.60/682.29	c cleaning 23009 clauses out of 46022 with flag 5855000/5855000
686.40/685.03	c cleaning 23000 clauses out of 46013 with flag 5878000/5878000
689.00/687.63	c cleaning 22999 clauses out of 46014 with flag 5901001/5901001
691.70/690.37	c cleaning 23006 clauses out of 46015 with flag 5924001/5924001
694.60/693.22	c cleaning 23001 clauses out of 46008 with flag 5947000/5947000
697.31/695.99	c cleaning 22999 clauses out of 46007 with flag 5970000/5970000
700.11/698.74	c cleaning 23000 clauses out of 46008 with flag 5993000/5993000
702.81/701.46	c cleaning 22996 clauses out of 46008 with flag 6016000/6016000
705.71/704.33	c cleaning 22999 clauses out of 46012 with flag 6039000/6039000
708.41/707.03	c cleaning 22996 clauses out of 46013 with flag 6062000/6062000
711.31/709.91	c cleaning 23005 clauses out of 46018 with flag 6085001/6085001
714.01/712.70	c cleaning 23002 clauses out of 46012 with flag 6108000/6108000
716.91/715.54	c cleaning 23004 clauses out of 46010 with flag 6131000/6131000
719.72/718.35	c cleaning 22998 clauses out of 46006 with flag 6154000/6154000
722.51/721.12	c cleaning 22991 clauses out of 46008 with flag 6177000/6177000
725.41/724.07	c cleaning 23000 clauses out of 46017 with flag 6200000/6200000
728.01/726.68	c cleaning 23004 clauses out of 46017 with flag 6223000/6223000
730.72/729.39	c cleaning 22996 clauses out of 46013 with flag 6246000/6246000
733.52/732.18	c cleaning 23000 clauses out of 46017 with flag 6269000/6269000
736.32/734.94	c cleaning 23000 clauses out of 46017 with flag 6292000/6292000
738.92/737.59	c cleaning 23000 clauses out of 46017 with flag 6315000/6315000
741.62/740.27	c cleaning 22999 clauses out of 46018 with flag 6338001/6338001
744.32/742.99	c cleaning 22990 clauses out of 46018 with flag 6361000/6361000
747.13/745.75	c cleaning 23007 clauses out of 46030 with flag 6384002/6384002
749.92/748.50	c cleaning 22996 clauses out of 46022 with flag 6407001/6407001
752.73/751.38	c cleaning 22997 clauses out of 46025 with flag 6430000/6430000
755.53/754.15	c cleaning 23000 clauses out of 46028 with flag 6453000/6453000
758.23/756.87	c cleaning 23005 clauses out of 46029 with flag 6476001/6476001
761.03/759.63	c cleaning 23006 clauses out of 46023 with flag 6499000/6499000
763.83/762.42	c cleaning 23002 clauses out of 46018 with flag 6522001/6522001
766.63/765.20	c cleaning 23001 clauses out of 46015 with flag 6545000/6545000
769.53/768.10	c cleaning 23004 clauses out of 46014 with flag 6568000/6568000
772.23/770.84	c cleaning 12608 clauses out of 25231 with flag 6591000/6591000
774.64/773.27	c cleaning 17807 clauses out of 35623 with flag 6614000/6614000
777.34/775.96	c cleaning 20407 clauses out of 40816 with flag 6637000/6637000
780.04/778.61	c cleaning 21700 clauses out of 43409 with flag 6660000/6660000
782.74/781.39	c cleaning 22355 clauses out of 44710 with flag 6683001/6683001
785.54/784.16	c cleaning 22663 clauses out of 45354 with flag 6706000/6706000
788.24/786.88	c cleaning 22839 clauses out of 45691 with flag 6729000/6729000
791.05/789.61	c cleaning 22920 clauses out of 45852 with flag 6752000/6752000
793.65/792.20	c cleaning 22963 clauses out of 45932 with flag 6775000/6775000
796.25/794.84	c cleaning 22982 clauses out of 45969 with flag 6798000/6798000
798.95/797.58	c cleaning 22995 clauses out of 45989 with flag 6821002/6821002
801.76/800.33	c cleaning 22994 clauses out of 45992 with flag 6844000/6844000
804.47/803.01	c cleaning 22994 clauses out of 45998 with flag 6867000/6867000
807.06/805.69	c cleaning 22999 clauses out of 46004 with flag 6890000/6890000
809.66/808.25	c cleaning 22989 clauses out of 46005 with flag 6913000/6913000
812.36/810.90	c cleaning 23003 clauses out of 46016 with flag 6936000/6936000
814.86/813.50	c cleaning 22999 clauses out of 46013 with flag 6959000/6959000
817.67/816.22	c cleaning 23006 clauses out of 46015 with flag 6982001/6982001
820.26/818.82	c cleaning 23000 clauses out of 46008 with flag 7005000/7005000
822.96/821.59	c cleaning 22999 clauses out of 46009 with flag 7028001/7028001
825.76/824.30	c cleaning 23006 clauses out of 46011 with flag 7051002/7051002
828.47/827.02	c cleaning 22998 clauses out of 46003 with flag 7074000/7074000
831.17/829.76	c cleaning 23000 clauses out of 46005 with flag 7097000/7097000
833.87/832.44	c cleaning 23000 clauses out of 46005 with flag 7120000/7120000
836.57/835.11	c cleaning 23001 clauses out of 46005 with flag 7143000/7143000
839.27/837.83	c cleaning 22990 clauses out of 46004 with flag 7166000/7166000
841.88/840.48	c cleaning 23005 clauses out of 46014 with flag 7189000/7189000
844.57/843.15	c cleaning 22999 clauses out of 46009 with flag 7212000/7212000
847.17/845.77	c cleaning 23001 clauses out of 46011 with flag 7235001/7235001
849.87/848.47	c cleaning 22998 clauses out of 46010 with flag 7258001/7258001
852.58/851.17	c cleaning 22999 clauses out of 46011 with flag 7281000/7281000
855.18/853.76	c cleaning 23001 clauses out of 46012 with flag 7304000/7304000
857.88/856.48	c cleaning 23002 clauses out of 46011 with flag 7327000/7327000
860.48/859.06	c cleaning 23000 clauses out of 46009 with flag 7350000/7350000
863.08/861.62	c cleaning 23001 clauses out of 46009 with flag 7373000/7373000
865.78/864.32	c cleaning 22997 clauses out of 46008 with flag 7396000/7396000
868.48/867.01	c cleaning 22999 clauses out of 46011 with flag 7419000/7419000
871.18/869.72	c cleaning 23003 clauses out of 46013 with flag 7442001/7442001
873.88/872.40	c cleaning 22996 clauses out of 46010 with flag 7465001/7465001
876.58/875.18	c cleaning 23003 clauses out of 46013 with flag 7488000/7488000
879.29/877.82	c cleaning 22999 clauses out of 46010 with flag 7511000/7511000
881.98/880.58	c cleaning 23005 clauses out of 46011 with flag 7534000/7534000
884.69/883.30	c cleaning 22999 clauses out of 46007 with flag 7557001/7557001
887.19/885.75	c cleaning 16752 clauses out of 33517 with flag 7580000/7580000
889.79/888.32	c cleaning 19882 clauses out of 39765 with flag 7603000/7603000
892.40/890.98	c cleaning 21432 clauses out of 42883 with flag 7626000/7626000
895.09/893.68	c cleaning 22225 clauses out of 44451 with flag 7649000/7649000
897.79/896.36	c cleaning 22607 clauses out of 45226 with flag 7672000/7672000
900.59/899.13	c cleaning 22804 clauses out of 45619 with flag 7695000/7695000
903.29/901.80	c cleaning 22904 clauses out of 45815 with flag 7718000/7718000
905.90/904.49	c cleaning 22950 clauses out of 45911 with flag 7741000/7741000
908.60/907.16	c cleaning 22980 clauses out of 45961 with flag 7764000/7764000
911.40/909.90	c cleaning 22986 clauses out of 45982 with flag 7787001/7787001
914.00/912.51	c cleaning 22996 clauses out of 45996 with flag 7810001/7810001
916.61/915.19	c cleaning 22995 clauses out of 45999 with flag 7833000/7833000
919.30/917.87	c cleaning 22995 clauses out of 46004 with flag 7856000/7856000
922.00/920.53	c cleaning 23000 clauses out of 46009 with flag 7879000/7879000
924.80/923.30	c cleaning 22996 clauses out of 46011 with flag 7902002/7902002
927.50/926.01	c cleaning 23000 clauses out of 46013 with flag 7925000/7925000
930.10/928.67	c cleaning 23007 clauses out of 46014 with flag 7948001/7948001
932.71/931.23	c cleaning 23003 clauses out of 46008 with flag 7971002/7971002
935.41/933.96	c cleaning 22996 clauses out of 46004 with flag 7994001/7994001
938.31/936.82	c cleaning 23004 clauses out of 46008 with flag 8017001/8017001
940.91/939.43	c cleaning 22996 clauses out of 46005 with flag 8040002/8040002
943.61/942.14	c cleaning 23000 clauses out of 46009 with flag 8063002/8063002
946.42/944.98	c cleaning 23000 clauses out of 46007 with flag 8086000/8086000
949.21/947.71	c cleaning 20395 clauses out of 40801 with flag 8109001/8109001
951.92/950.46	c cleaning 21701 clauses out of 43406 with flag 8132001/8132001
954.61/953.17	c cleaning 22341 clauses out of 44705 with flag 8155001/8155001
957.33/955.84	c cleaning 22674 clauses out of 45363 with flag 8178000/8178000
960.02/958.56	c cleaning 22835 clauses out of 45690 with flag 8201001/8201001
962.83/961.31	c cleaning 22919 clauses out of 45854 with flag 8224000/8224000
965.43/963.97	c cleaning 22960 clauses out of 45935 with flag 8247000/8247000
968.13/966.68	c cleaning 22980 clauses out of 45976 with flag 8270001/8270001
970.93/969.45	c cleaning 22985 clauses out of 45995 with flag 8293000/8293000
973.73/972.25	c cleaning 23003 clauses out of 46010 with flag 8316000/8316000
976.53/975.00	c cleaning 22999 clauses out of 46008 with flag 8339001/8339001
979.23/977.73	c cleaning 22999 clauses out of 46009 with flag 8362001/8362001
981.93/980.45	c cleaning 23004 clauses out of 46009 with flag 8385000/8385000
984.53/983.05	c cleaning 22994 clauses out of 46006 with flag 8408001/8408001
987.33/985.80	c cleaning 22996 clauses out of 46011 with flag 8431000/8431000
989.94/988.49	c cleaning 22998 clauses out of 46016 with flag 8454001/8454001
992.74/991.20	c cleaning 23000 clauses out of 46018 with flag 8477001/8477001
995.26/993.74	c cleaning 19122 clauses out of 38260 with flag 8500002/8500002
997.96/996.44	c cleaning 21063 clauses out of 42136 with flag 8523000/8523000
1000.66/999.19	c cleaning 22034 clauses out of 44073 with flag 8546000/8546000
1003.46/1001.96	c cleaning 22511 clauses out of 45039 with flag 8569000/8569000
1005.87/1004.34	c cleaning 15347 clauses out of 30721 with flag 8592000/8592000
1008.46/1006.91	c cleaning 19184 clauses out of 38374 with flag 8615000/8615000
1011.06/1009.58	c cleaning 21091 clauses out of 42190 with flag 8638000/8638000
1013.86/1012.32	c cleaning 22047 clauses out of 44099 with flag 8661000/8661000
1016.67/1015.17	c cleaning 22521 clauses out of 45052 with flag 8684000/8684000
1019.17/1017.61	c cleaning 13904 clauses out of 27826 with flag 8707000/8707000
1021.67/1020.19	c cleaning 18454 clauses out of 36922 with flag 8730000/8730000
1024.17/1022.68	c cleaning 16008 clauses out of 32027 with flag 8753000/8753000
1026.87/1025.36	c cleaning 19509 clauses out of 39019 with flag 8776000/8776000
1029.47/1027.99	c cleaning 9829 clauses out of 19676 with flag 8799001/8799001
1031.97/1030.47	c cleaning 16421 clauses out of 32846 with flag 8822000/8822000
1034.67/1033.20	c cleaning 19714 clauses out of 39427 with flag 8845002/8845002
1037.28/1035.77	c cleaning 12148 clauses out of 24306 with flag 8868000/8868000
1039.88/1038.37	c cleaning 17579 clauses out of 35158 with flag 8891000/8891000
1042.38/1040.83	c cleaning 12819 clauses out of 25641 with flag 8914000/8914000
1045.08/1043.52	c cleaning 17912 clauses out of 35825 with flag 8937003/8937003
1047.98/1046.41	c cleaning 20450 clauses out of 40911 with flag 8960001/8960001
1050.89/1049.31	c cleaning 21730 clauses out of 43460 with flag 8983000/8983000
1053.68/1052.12	c cleaning 22366 clauses out of 44731 with flag 9006001/9006001
1056.39/1054.84	c cleaning 22676 clauses out of 45364 with flag 9029000/9029000
1059.08/1057.59	c cleaning 22835 clauses out of 45688 with flag 9052000/9052000
1061.79/1060.22	c cleaning 18916 clauses out of 37835 with flag 9075000/9075000
1064.69/1063.17	c cleaning 20959 clauses out of 41919 with flag 9098000/9098000
1067.49/1065.93	c cleaning 13749 clauses out of 27501 with flag 9121000/9121000
1069.19/1067.64	c starts		: 2537
1069.19/1067.64	c conflicts		: 9138868
1069.19/1067.64	c decisions		: 9499732
1069.19/1067.64	c propagations		: 263212567
1069.19/1067.64	c inspects		: 13317566461
1069.19/1067.64	c shortcuts		: 0
1069.19/1067.64	c learnt literals	: 29
1069.19/1067.64	c learnt binary clauses	: 491
1069.19/1067.64	c learnt ternary clauses	: 5610
1069.19/1067.64	c learnt constraints	: 9138838
1069.19/1067.64	c ignored constraints	: 0
1069.19/1067.64	c root simplifications	: 2565
1069.19/1067.64	c removed literals (reason simplification)	: 214121868
1069.19/1067.64	c reason swapping (by a shorter reason)	: 0
1069.19/1067.64	c Calls to reduceDB	: 404
1069.19/1067.64	c speed (assignments/second)	: 246590.17021591534
1069.19/1067.64	c non guided choices	7
1069.19/1067.64	c learnt constraints type 
1069.19/1067.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2
1069.19/1067.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 41
1069.19/1067.64	c constraints type 
1069.19/1067.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 22173
1069.19/1067.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 68
1069.19/1067.64	s UNSATISFIABLE
1069.19/1067.64	c Total wall clock time (in seconds) : 1067.523

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3262392-1303548073/watcher-3262392-1303548073 -o /tmp/evaluation-result-3262392-1303548073/solver-3262392-1303548073 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3262392-1303548073.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.54 3.98 3.92 3/176 18627
/proc/meminfo: memFree=13065848/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=9100 CPUtime=0 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 235 0 0 0 0 0 0 0 18 0 1 0 466407781 9318400 170 33554432000 1073741824 1073778376 140736991431616 18446744073709551615 230809161573 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/18627/statm: 2275 170 130 9 0 67 0

[startup+0.0706459 s]
/proc/loadavg: 3.54 3.98 3.92 3/176 18627
/proc/meminfo: memFree=13065848/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7569784 CPUtime=0.04 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 9173 0 1 0 3 1 0 0 17 0 18 0 466407781 7751458816 8869 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1892446 8869 1733 9 0 1883189 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7569784

[startup+0.100681 s]
/proc/loadavg: 3.54 3.98 3.92 3/176 18627
/proc/meminfo: memFree=13065848/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7570804 CPUtime=0.07 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 10023 0 1 0 6 1 0 0 17 0 18 0 466407781 7752503296 9719 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1892701 9719 2058 9 0 1883439 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7570804

[startup+0.300601 s]
/proc/loadavg: 3.54 3.98 3.92 3/176 18627
/proc/meminfo: memFree=13065848/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7574616 CPUtime=0.33 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 11938 0 1 0 31 2 0 0 17 0 19 0 466407781 7756406784 11575 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1893654 11575 2204 9 0 1884392 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 7574616

[startup+0.700596 s]
/proc/loadavg: 3.54 3.98 3.92 3/176 18627
/proc/meminfo: memFree=13065848/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7642136 CPUtime=0.79 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 13710 0 1 0 76 3 0 0 17 0 19 0 466407781 7825547264 12529 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1910534 12529 2223 9 0 1901272 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 7642136

[startup+1.50144 s]
/proc/loadavg: 3.54 3.98 3.92 10/262 18725
/proc/meminfo: memFree=12860212/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7642136 CPUtime=1.59 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 15366 0 1 0 156 3 0 0 17 0 19 0 466407781 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1910534 14178 2254 9 0 1901272 0
[pid=18627/tid=18632] ppid=18623 vsize=7642136 CPUtime=1.14 cores=0,2
/proc/18627/task/18632/stat : 18632 (java) R 18623 18627 17257 0 -1 4202560 9638 0 1 0 112 2 0 0 25 0 19 0 466407782 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18627/tid=18634] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18634/stat : 18634 (java) S 18623 18627 17257 0 -1 4202560 391 0 0 0 0 0 0 0 18 0 19 0 466407783 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18635] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18635/stat : 18635 (java) S 18623 18627 17257 0 -1 4202560 358 0 0 0 0 0 0 0 17 0 19 0 466407783 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18636] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18636/stat : 18636 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466407783 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18637] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18637/stat : 18637 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466407783 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18638] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18638/stat : 18638 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466407783 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18640] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18640/stat : 18640 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466407783 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18641] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18641/stat : 18641 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466407783 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18642] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18642/stat : 18642 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466407783 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18649] ppid=18623 vsize=7642136 CPUtime=0.01 cores=0,2
/proc/18627/task/18649/stat : 18649 (java) S 18623 18627 17257 0 -1 4202560 747 0 0 0 1 0 0 0 15 0 19 0 466407784 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 0 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18654] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18654/stat : 18654 (java) S 18623 18627 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407785 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18655] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18655/stat : 18655 (java) S 18623 18627 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407785 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18677] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18677/stat : 18677 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407788 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820989361 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18678] ppid=18623 vsize=7642136 CPUtime=0.31 cores=0,2
/proc/18627/task/18678/stat : 18678 (java) S 18623 18627 17257 0 -1 4202560 1250 0 0 0 31 0 0 0 16 0 19 0 466407788 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18679] ppid=18623 vsize=7642136 CPUtime=0.1 cores=0,2
/proc/18627/task/18679/stat : 18679 (java) S 18623 18627 17257 0 -1 4202560 1826 0 0 0 10 0 0 0 21 0 19 0 466407788 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18680] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18680/stat : 18680 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 466407788 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18682] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18682/stat : 18682 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407788 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18723] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18723/stat : 18723 (java) S 18623 18627 17257 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466407804 7825547264 14178 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 7642136

[startup+3.10115 s]
/proc/loadavg: 3.66 4.00 3.93 5/262 18725
/proc/meminfo: memFree=12794248/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7642136 CPUtime=3.19 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 15902 0 1 0 316 3 0 0 17 0 19 0 466407781 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1910534 14711 2254 9 0 1901272 0
[pid=18627/tid=18632] ppid=18623 vsize=7642136 CPUtime=2.65 cores=0,2
/proc/18627/task/18632/stat : 18632 (java) R 18623 18627 17257 0 -1 4202560 9642 0 1 0 263 2 0 0 25 0 19 0 466407782 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 46912505602286 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18627/tid=18634] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18634/stat : 18634 (java) S 18623 18627 17257 0 -1 4202560 503 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18635] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18635/stat : 18635 (java) S 18623 18627 17257 0 -1 4202560 376 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18636] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18636/stat : 18636 (java) S 18623 18627 17257 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18637] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18637/stat : 18637 (java) S 18623 18627 17257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18638] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18638/stat : 18638 (java) S 18623 18627 17257 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18640] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18640/stat : 18640 (java) S 18623 18627 17257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18641] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18641/stat : 18641 (java) S 18623 18627 17257 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18642] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18642/stat : 18642 (java) S 18623 18627 17257 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 19 0 466407783 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18649] ppid=18623 vsize=7642136 CPUtime=0.06 cores=0,2
/proc/18627/task/18649/stat : 18649 (java) S 18623 18627 17257 0 -1 4202560 973 0 0 0 6 0 0 0 16 0 19 0 466407784 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 0 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18654] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18654/stat : 18654 (java) S 18623 18627 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407785 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18655] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18655/stat : 18655 (java) S 18623 18627 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407785 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18677] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18677/stat : 18677 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407788 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820989361 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18678] ppid=18623 vsize=7642136 CPUtime=0.34 cores=0,2
/proc/18627/task/18678/stat : 18678 (java) S 18623 18627 17257 0 -1 4202560 1259 0 0 0 34 0 0 0 15 0 19 0 466407788 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18679] ppid=18623 vsize=7642136 CPUtime=0.1 cores=0,2
/proc/18627/task/18679/stat : 18679 (java) S 18623 18627 17257 0 -1 4202560 1826 0 0 0 10 0 0 0 21 0 19 0 466407788 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18680] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18680/stat : 18680 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 466407788 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18682] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18682/stat : 18682 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407788 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18723] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18723/stat : 18723 (java) S 18623 18627 17257 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466407804 7825547264 14711 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 7642136

[startup+6.30156 s]
/proc/loadavg: 3.66 4.00 3.93 5/262 18725
/proc/meminfo: memFree=12789348/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7642136 CPUtime=6.39 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 16159 0 1 0 636 3 0 0 17 0 19 0 466407781 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1910534 14870 2254 9 0 1901272 0
[pid=18627/tid=18632] ppid=18623 vsize=7642136 CPUtime=5.79 cores=0,2
/proc/18627/task/18632/stat : 18632 (java) R 18623 18627 17257 0 -1 4202560 9646 0 1 0 577 2 0 0 25 0 19 0 466407782 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 46912505602176 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18627/tid=18634] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18634/stat : 18634 (java) S 18623 18627 17257 0 -1 4202560 504 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18635] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18635/stat : 18635 (java) S 18623 18627 17257 0 -1 4202560 377 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18636] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18636/stat : 18636 (java) S 18623 18627 17257 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18637] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18637/stat : 18637 (java) S 18623 18627 17257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18638] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18638/stat : 18638 (java) S 18623 18627 17257 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18640] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18640/stat : 18640 (java) S 18623 18627 17257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18641] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18641/stat : 18641 (java) S 18623 18627 17257 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18642] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18642/stat : 18642 (java) S 18623 18627 17257 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 466407783 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18649] ppid=18623 vsize=7642136 CPUtime=0.11 cores=0,2
/proc/18627/task/18649/stat : 18649 (java) S 18623 18627 17257 0 -1 4202560 1222 0 0 0 11 0 0 0 16 0 19 0 466407784 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 0 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18654] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18654/stat : 18654 (java) S 18623 18627 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407785 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18655] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18655/stat : 18655 (java) S 18623 18627 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407785 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18677] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18677/stat : 18677 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407788 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820989361 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18678] ppid=18623 vsize=7642136 CPUtime=0.34 cores=0,2
/proc/18627/task/18678/stat : 18678 (java) S 18623 18627 17257 0 -1 4202560 1259 0 0 0 34 0 0 0 15 0 19 0 466407788 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18679] ppid=18623 vsize=7642136 CPUtime=0.1 cores=0,2
/proc/18627/task/18679/stat : 18679 (java) S 18623 18627 17257 0 -1 4202560 1826 0 0 0 10 0 0 0 21 0 19 0 466407788 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18680] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18680/stat : 18680 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 466407788 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18682] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18682/stat : 18682 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407788 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18723] ppid=18623 vsize=7642136 CPUtime=0 cores=0,2
/proc/18627/task/18723/stat : 18723 (java) S 18623 18627 17257 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466407804 7825547264 14870 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 7642136

[startup+12.7014 s]

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

/proc/18627/task/18634/stat : 18634 (java) S 18623 18627 17257 0 -1 4202560 516 0 0 0 15 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18635] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18635/stat : 18635 (java) S 18623 18627 17257 0 -1 4202560 393 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18636] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18636/stat : 18636 (java) S 18623 18627 17257 0 -1 4202560 68 0 0 0 15 0 0 0 16 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18637] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18637/stat : 18637 (java) S 18623 18627 17257 0 -1 4202560 12 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18638] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18638/stat : 18638 (java) S 18623 18627 17257 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18640] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18640/stat : 18640 (java) S 18623 18627 17257 0 -1 4202560 38 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18641] ppid=18623 vsize=7640848 CPUtime=0.17 cores=0,2
/proc/18627/task/18641/stat : 18641 (java) S 18623 18627 17257 0 -1 4202560 116 0 0 0 17 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18642] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18642/stat : 18642 (java) S 18623 18627 17257 0 -1 4202560 254 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18649] ppid=18623 vsize=7640848 CPUtime=9.51 cores=0,2
/proc/18627/task/18649/stat : 18649 (java) S 18623 18627 17257 0 -1 4202560 2394 0 0 0 947 4 0 0 16 0 19 0 466407784 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 0 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18654] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18654/stat : 18654 (java) S 18623 18627 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407785 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18655] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18655/stat : 18655 (java) S 18623 18627 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407785 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18677] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18677/stat : 18677 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820989361 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18678] ppid=18623 vsize=7640848 CPUtime=1.38 cores=0,2
/proc/18627/task/18678/stat : 18678 (java) S 18623 18627 17257 0 -1 4202560 13041 0 0 0 136 2 0 0 15 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18679] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18679/stat : 18679 (java) S 18623 18627 17257 0 -1 4202560 1985 0 0 0 15 0 0 0 18 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18680] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18680/stat : 18680 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18682] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18682/stat : 18682 (java) S 18623 18627 17257 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18723] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18723/stat : 18723 (java) S 18623 18627 17257 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466407804 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1067.89
Current children cumulated vsize (KiB) 7640848

[startup+1067.1 s]
/proc/loadavg: 3.01 3.09 3.40 4/238 18771
/proc/meminfo: memFree=12820452/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7640848 CPUtime=1068.69 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 30106 0 1 0 106856 13 0 0 17 0 19 0 466407781 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1910212 21121 2256 9 0 1900950 0
[pid=18627/tid=18632] ppid=18623 vsize=7640848 CPUtime=1056.29 cores=0,2
/proc/18627/task/18632/stat : 18632 (java) R 18623 18627 17257 0 -1 4202560 10051 0 1 0 105624 5 0 0 25 0 19 0 466407782 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 46912505574539 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18627/tid=18634] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18634/stat : 18634 (java) S 18623 18627 17257 0 -1 4202560 516 0 0 0 15 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18635] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18635/stat : 18635 (java) S 18623 18627 17257 0 -1 4202560 393 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18636] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18636/stat : 18636 (java) S 18623 18627 17257 0 -1 4202560 68 0 0 0 15 0 0 0 16 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18637] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18637/stat : 18637 (java) S 18623 18627 17257 0 -1 4202560 12 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18638] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18638/stat : 18638 (java) S 18623 18627 17257 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18640] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18640/stat : 18640 (java) S 18623 18627 17257 0 -1 4202560 38 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18641] ppid=18623 vsize=7640848 CPUtime=0.17 cores=0,2
/proc/18627/task/18641/stat : 18641 (java) S 18623 18627 17257 0 -1 4202560 116 0 0 0 17 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18642] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18642/stat : 18642 (java) S 18623 18627 17257 0 -1 4202560 254 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18649] ppid=18623 vsize=7640848 CPUtime=9.51 cores=0,2
/proc/18627/task/18649/stat : 18649 (java) S 18623 18627 17257 0 -1 4202560 2394 0 0 0 947 4 0 0 15 0 19 0 466407784 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 0 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18654] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18654/stat : 18654 (java) S 18623 18627 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407785 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18655] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18655/stat : 18655 (java) S 18623 18627 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407785 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18677] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18677/stat : 18677 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820989361 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18678] ppid=18623 vsize=7640848 CPUtime=1.38 cores=0,2
/proc/18627/task/18678/stat : 18678 (java) S 18623 18627 17257 0 -1 4202560 13041 0 0 0 136 2 0 0 15 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18679] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18679/stat : 18679 (java) S 18623 18627 17257 0 -1 4202560 1985 0 0 0 15 0 0 0 18 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18680] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18680/stat : 18680 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18682] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18682/stat : 18682 (java) S 18623 18627 17257 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18723] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18723/stat : 18723 (java) S 18623 18627 17257 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466407804 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1068.69
Current children cumulated vsize (KiB) 7640848

[startup+1067.5 s]
/proc/loadavg: 3.01 3.09 3.40 4/238 18771
/proc/meminfo: memFree=12820452/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7640848 CPUtime=1069.09 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 30106 0 1 0 106896 13 0 0 17 0 19 0 466407781 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1910212 21121 2256 9 0 1900950 0
[pid=18627/tid=18632] ppid=18623 vsize=7640848 CPUtime=1056.69 cores=0,2
/proc/18627/task/18632/stat : 18632 (java) R 18623 18627 17257 0 -1 4202560 10051 0 1 0 105664 5 0 0 25 0 19 0 466407782 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 46912505561516 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18627/tid=18634] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18634/stat : 18634 (java) S 18623 18627 17257 0 -1 4202560 516 0 0 0 15 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18635] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18635/stat : 18635 (java) S 18623 18627 17257 0 -1 4202560 393 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18636] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18636/stat : 18636 (java) S 18623 18627 17257 0 -1 4202560 68 0 0 0 15 0 0 0 16 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18637] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18637/stat : 18637 (java) S 18623 18627 17257 0 -1 4202560 12 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18638] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18638/stat : 18638 (java) S 18623 18627 17257 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18640] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18640/stat : 18640 (java) S 18623 18627 17257 0 -1 4202560 38 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18641] ppid=18623 vsize=7640848 CPUtime=0.17 cores=0,2
/proc/18627/task/18641/stat : 18641 (java) S 18623 18627 17257 0 -1 4202560 116 0 0 0 17 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18642] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18642/stat : 18642 (java) S 18623 18627 17257 0 -1 4202560 254 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18649] ppid=18623 vsize=7640848 CPUtime=9.51 cores=0,2
/proc/18627/task/18649/stat : 18649 (java) S 18623 18627 17257 0 -1 4202560 2394 0 0 0 947 4 0 0 15 0 19 0 466407784 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 0 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18654] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18654/stat : 18654 (java) S 18623 18627 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407785 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18655] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18655/stat : 18655 (java) S 18623 18627 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407785 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18677] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18677/stat : 18677 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820989361 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18678] ppid=18623 vsize=7640848 CPUtime=1.38 cores=0,2
/proc/18627/task/18678/stat : 18678 (java) S 18623 18627 17257 0 -1 4202560 13041 0 0 0 136 2 0 0 15 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18679] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18679/stat : 18679 (java) S 18623 18627 17257 0 -1 4202560 1985 0 0 0 15 0 0 0 18 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18680] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18680/stat : 18680 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18682] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18682/stat : 18682 (java) S 18623 18627 17257 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18723] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18723/stat : 18723 (java) S 18623 18627 17257 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466407804 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1069.09
Current children cumulated vsize (KiB) 7640848

[startup+1067.6 s]
/proc/loadavg: 3.01 3.09 3.40 4/238 18771
/proc/meminfo: memFree=12820452/32951124 swapFree=67111528/67111528
[pid=18627] ppid=18623 vsize=7640848 CPUtime=1069.19 cores=0,2
/proc/18627/stat : 18627 (java) S 18623 18627 17257 0 -1 4202496 30106 0 1 0 106906 13 0 0 17 0 19 0 466407781 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18627/statm: 1910212 21121 2256 9 0 1900950 0
[pid=18627/tid=18632] ppid=18623 vsize=7640848 CPUtime=1056.79 cores=0,2
/proc/18627/task/18632/stat : 18632 (java) R 18623 18627 17257 0 -1 4202560 10051 0 1 0 105674 5 0 0 25 0 19 0 466407782 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 46912505593094 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18627/tid=18634] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18634/stat : 18634 (java) S 18623 18627 17257 0 -1 4202560 516 0 0 0 15 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18635] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18635/stat : 18635 (java) S 18623 18627 17257 0 -1 4202560 393 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18636] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18636/stat : 18636 (java) S 18623 18627 17257 0 -1 4202560 68 0 0 0 15 0 0 0 16 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18637] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18637/stat : 18637 (java) S 18623 18627 17257 0 -1 4202560 12 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18638] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18638/stat : 18638 (java) S 18623 18627 17257 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18640] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18640/stat : 18640 (java) S 18623 18627 17257 0 -1 4202560 38 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18641] ppid=18623 vsize=7640848 CPUtime=0.17 cores=0,2
/proc/18627/task/18641/stat : 18641 (java) S 18623 18627 17257 0 -1 4202560 116 0 0 0 17 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18642] ppid=18623 vsize=7640848 CPUtime=0.16 cores=0,2
/proc/18627/task/18642/stat : 18642 (java) S 18623 18627 17257 0 -1 4202560 254 0 0 0 16 0 0 0 15 0 19 0 466407783 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18649] ppid=18623 vsize=7640848 CPUtime=9.51 cores=0,2
/proc/18627/task/18649/stat : 18649 (java) S 18623 18627 17257 0 -1 4202560 2394 0 0 0 947 4 0 0 15 0 19 0 466407784 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 0 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18654] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18654/stat : 18654 (java) S 18623 18627 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407785 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18655] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18655/stat : 18655 (java) S 18623 18627 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407785 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18677] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18677/stat : 18677 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820989361 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18678] ppid=18623 vsize=7640848 CPUtime=1.38 cores=0,2
/proc/18627/task/18678/stat : 18678 (java) S 18623 18627 17257 0 -1 4202560 13041 0 0 0 136 2 0 0 15 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18679] ppid=18623 vsize=7640848 CPUtime=0.15 cores=0,2
/proc/18627/task/18679/stat : 18679 (java) S 18623 18627 17257 0 -1 4202560 1985 0 0 0 15 0 0 0 18 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 0 0 0 0
[pid=18627/tid=18680] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18680/stat : 18680 (java) S 18623 18627 17257 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820981657 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18682] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18682/stat : 18682 (java) S 18623 18627 17257 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 466407788 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
[pid=18627/tid=18723] ppid=18623 vsize=7640848 CPUtime=0 cores=0,2
/proc/18627/task/18723/stat : 18723 (java) S 18623 18627 17257 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466407804 7824228352 21121 33554432000 1073741824 1073778376 140735792713280 18446744073709551615 230820982272 0 4 0 16800975 18446604453865371776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1069.19
Current children cumulated vsize (KiB) 7640848

Child status: 20
Real time (s): 1067.65
CPU time (s): 1069.25
CPU user time (s): 1069.1
CPU system time (s): 0.141978
CPU usage (%): 100.15
Max. virtual memory (cumulated for all children) (KiB): 7642136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1069.1
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30119
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33486
involuntary context switches= 12405

runsolver used 1.92371 second user time and 3.9234 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-23 10:41:13
IDJOB=3262392
IDBENCH=83298
IDSOLVER=1611
FILE ID=node104/3262392-1303548073
RUNJOBID= node104-1303548073-18610
PBS_JOBID= 13143134
Free space on /tmp= 71132 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_406.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262392-1303548073/watcher-3262392-1303548073 -o /tmp/evaluation-result-3262392-1303548073/solver-3262392-1303548073 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3262392-1303548073.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 906590ef62b3db2841b2d529fd1636f7
RANDOM SEED=1905918183

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13066136 kB
Buffers:       2271596 kB
Cached:       16974488 kB
SwapCached:          0 kB
Active:       10765832 kB
Inactive:      8544612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13066136 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             556 kB
Writeback:           0 kB
AnonPages:       63816 kB
Mapped:          14460 kB
Slab:           510848 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   194152 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71132 MiB
End job on node104 at 2011-04-23 10:59:01