Trace number 3261996

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-06? (TO) 1301.82 1300.03

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
MD5SUMa722a199fd84ba0b319251daa47aa19c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables232
Number of clauses28991
Sum of the clauses size130855
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 277
Number of clauses of size 326594
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52320

Solver Data 

0.04/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.16	c See www.sat4j.org for details.
0.04/0.17	c no version file found!!!
0.04/0.17	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.17	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.17	c java.vm.version	19.1-b02
0.04/0.17	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.17	c sun.arch.data.model	64
0.04/0.17	c java.version		1.6.0_24
0.04/0.17	c os.name		Linux
0.04/0.17	c os.version		2.6.18-164.el5
0.04/0.17	c os.arch		amd64
0.04/0.17	c Free memory 		6997539544
0.04/0.17	c Max memory 		7034241024
0.04/0.17	c Total memory 		7034241024
0.04/0.17	c Number of processors 	8
0.04/0.19	c --- Begin Solver configuration ---
0.04/0.19	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.04/0.19	c Learn all clauses as in MiniSAT
0.04/0.19	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.19	c Expensive reason simplification
0.04/0.19	c Armin Biere (Picosat) restarts strategy
0.04/0.19	c Glucose learned constraints deletion strategy
0.04/0.19	c timeout=2147483647s
0.04/0.19	c DB Simplification allowed=true
0.04/0.19	c --- End Solver configuration ---
0.04/0.19	c solving HOME/instance-3261996-1303545371.cnf
0.04/0.19	c reading problem ... 
0.30/0.31	c ... done. Wall clock time 0.122s.
0.30/0.31	c #vars     232
0.30/0.31	c #constraints  28991
0.30/0.31	c constraints type 
0.30/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28914
0.30/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 77
1.34/1.06	c cleaning 2495 clauses out of 5000 with flag 5000/5000
2.15/1.64	c cleaning 4253 clauses out of 8505 with flag 11000/11000
2.75/2.29	c cleaning 5623 clauses out of 11252 with flag 18000/18000
3.56/3.06	c cleaning 6813 clauses out of 13629 with flag 26000/26000
4.48/3.90	c cleaning 7908 clauses out of 15816 with flag 35000/35000
5.38/4.85	c cleaning 8952 clauses out of 17909 with flag 45001/45001
6.48/5.90	c cleaning 9978 clauses out of 19957 with flag 56001/56001
7.58/7.07	c cleaning 10984 clauses out of 21978 with flag 68000/68000
8.89/8.38	c cleaning 11995 clauses out of 23994 with flag 81000/81000
10.39/9.83	c cleaning 12995 clauses out of 25999 with flag 95000/95000
11.99/11.40	c cleaning 13997 clauses out of 28006 with flag 110002/110002
13.70/13.15	c cleaning 15000 clauses out of 30007 with flag 126000/126000
15.59/15.00	c cleaning 16004 clauses out of 32007 with flag 143000/143000
17.49/16.94	c cleaning 16995 clauses out of 34003 with flag 161000/161000
19.50/18.99	c cleaning 18003 clauses out of 36009 with flag 180001/180001
21.70/21.17	c cleaning 19000 clauses out of 38007 with flag 200002/200002
24.10/23.55	c cleaning 19999 clauses out of 40005 with flag 221000/221000
26.50/25.96	c cleaning 20994 clauses out of 42006 with flag 243000/243000
29.12/28.60	c cleaning 21996 clauses out of 44012 with flag 266000/266000
31.82/31.25	c cleaning 23006 clauses out of 46016 with flag 290000/290000
34.62/34.02	c cleaning 23997 clauses out of 48010 with flag 315000/315000
37.62/37.07	c cleaning 25006 clauses out of 50014 with flag 341001/341001
40.92/40.32	c cleaning 26004 clauses out of 52008 with flag 368001/368001
44.13/43.59	c cleaning 27002 clauses out of 54003 with flag 396000/396000
47.63/47.01	c cleaning 28000 clauses out of 56002 with flag 425001/425001
51.53/50.91	c cleaning 28497 clauses out of 57002 with flag 454001/454001
55.03/54.41	c cleaning 28740 clauses out of 57504 with flag 483000/483000
58.53/57.94	c cleaning 28879 clauses out of 57764 with flag 512000/512000
62.24/61.64	c cleaning 28937 clauses out of 57885 with flag 541000/541000
65.84/65.28	c cleaning 28971 clauses out of 57948 with flag 570000/570000
69.54/68.99	c cleaning 28983 clauses out of 57977 with flag 599000/599000
73.25/72.62	c cleaning 28989 clauses out of 57994 with flag 628000/628000
76.94/76.33	c cleaning 28998 clauses out of 58005 with flag 657000/657000
80.64/80.04	c cleaning 29000 clauses out of 58007 with flag 686000/686000
84.15/83.58	c cleaning 28999 clauses out of 58008 with flag 715001/715001
87.95/87.32	c cleaning 29000 clauses out of 58009 with flag 744001/744001
91.45/90.87	c cleaning 29002 clauses out of 58009 with flag 773001/773001
95.35/94.76	c cleaning 28993 clauses out of 58006 with flag 802000/802000
99.35/98.70	c cleaning 29001 clauses out of 58013 with flag 831000/831000
102.96/102.31	c cleaning 29004 clauses out of 58012 with flag 860000/860000
106.66/106.00	c cleaning 29002 clauses out of 58009 with flag 889001/889001
110.26/109.60	c cleaning 29000 clauses out of 58008 with flag 918002/918002
113.76/113.17	c cleaning 28999 clauses out of 58008 with flag 947002/947002
117.46/116.87	c cleaning 28995 clauses out of 58007 with flag 976000/976000
121.06/120.44	c cleaning 29004 clauses out of 58012 with flag 1005000/1005000
124.56/123.94	c cleaning 29001 clauses out of 58009 with flag 1034001/1034001
128.17/127.54	c cleaning 28992 clauses out of 58007 with flag 1063000/1063000
131.77/131.18	c cleaning 29001 clauses out of 58015 with flag 1092000/1092000
135.57/134.93	c cleaning 29002 clauses out of 58014 with flag 1121000/1121000
138.87/138.25	c cleaning 28993 clauses out of 58012 with flag 1150000/1150000
142.37/141.70	c cleaning 29001 clauses out of 58019 with flag 1179000/1179000
145.88/145.24	c cleaning 29002 clauses out of 58018 with flag 1208000/1208000
149.47/148.85	c cleaning 29004 clauses out of 58016 with flag 1237000/1237000
152.88/152.26	c cleaning 29000 clauses out of 58012 with flag 1266000/1266000
156.38/155.71	c cleaning 29003 clauses out of 58012 with flag 1295000/1295000
159.88/159.21	c cleaning 29005 clauses out of 58011 with flag 1324002/1324002
163.68/163.04	c cleaning 29000 clauses out of 58004 with flag 1353000/1353000
166.98/166.40	c cleaning 28998 clauses out of 58004 with flag 1382000/1382000
170.38/169.78	c cleaning 29000 clauses out of 58006 with flag 1411000/1411000
173.88/173.27	c cleaning 28998 clauses out of 58007 with flag 1440001/1440001
177.59/176.96	c cleaning 28997 clauses out of 58009 with flag 1469001/1469001
181.09/180.40	c cleaning 28998 clauses out of 58011 with flag 1498000/1498000
184.39/183.77	c cleaning 29003 clauses out of 58013 with flag 1527000/1527000
187.89/187.23	c cleaning 29002 clauses out of 58010 with flag 1556000/1556000
191.39/190.74	c cleaning 28995 clauses out of 58010 with flag 1585002/1585002
194.89/194.26	c cleaning 28996 clauses out of 58013 with flag 1614000/1614000
198.20/197.57	c cleaning 29004 clauses out of 58017 with flag 1643000/1643000
201.70/201.06	c cleaning 29005 clauses out of 58014 with flag 1672001/1672001
205.00/204.38	c cleaning 28995 clauses out of 58008 with flag 1701000/1701000
208.40/207.74	c cleaning 28997 clauses out of 58013 with flag 1730000/1730000
212.10/211.43	c cleaning 29005 clauses out of 58016 with flag 1759000/1759000
215.60/214.92	c cleaning 28990 clauses out of 58011 with flag 1788000/1788000
219.22/218.52	c cleaning 28997 clauses out of 58021 with flag 1817000/1817000
222.72/222.03	c cleaning 29010 clauses out of 58024 with flag 1846000/1846000
226.23/225.50	c cleaning 29006 clauses out of 58014 with flag 1875000/1875000
229.73/229.04	c cleaning 28999 clauses out of 58008 with flag 1904000/1904000
233.23/232.60	c cleaning 29004 clauses out of 58010 with flag 1933001/1933001
236.83/236.14	c cleaning 28998 clauses out of 58006 with flag 1962001/1962001
240.44/239.74	c cleaning 28995 clauses out of 58007 with flag 1991000/1991000
244.03/243.36	c cleaning 28997 clauses out of 58012 with flag 2020000/2020000
247.54/246.85	c cleaning 28997 clauses out of 58015 with flag 2049000/2049000
251.14/250.46	c cleaning 29003 clauses out of 58018 with flag 2078000/2078000
254.64/254.00	c cleaning 29002 clauses out of 58015 with flag 2107000/2107000
258.15/257.48	c cleaning 29001 clauses out of 58013 with flag 2136000/2136000
261.94/261.20	c cleaning 28998 clauses out of 58013 with flag 2165001/2165001
265.55/264.87	c cleaning 29006 clauses out of 58014 with flag 2194000/2194000
269.25/268.55	c cleaning 28996 clauses out of 58008 with flag 2223000/2223000
272.75/272.07	c cleaning 29004 clauses out of 58012 with flag 2252000/2252000
276.25/275.57	c cleaning 28998 clauses out of 58008 with flag 2281000/2281000
279.85/279.12	c cleaning 29002 clauses out of 58011 with flag 2310001/2310001
283.46/282.78	c cleaning 28997 clauses out of 58008 with flag 2339000/2339000
287.15/286.43	c cleaning 28996 clauses out of 58011 with flag 2368000/2368000
290.75/290.01	c cleaning 29002 clauses out of 58016 with flag 2397001/2397001
294.55/293.83	c cleaning 29005 clauses out of 58013 with flag 2426000/2426000
298.25/297.58	c cleaning 28995 clauses out of 58008 with flag 2455000/2455000
301.96/301.23	c cleaning 29002 clauses out of 58013 with flag 2484000/2484000
305.46/304.73	c cleaning 28997 clauses out of 58012 with flag 2513001/2513001
309.26/308.56	c cleaning 29001 clauses out of 58014 with flag 2542000/2542000
312.86/312.17	c cleaning 29004 clauses out of 58014 with flag 2571001/2571001
316.47/315.77	c cleaning 28997 clauses out of 58009 with flag 2600000/2600000
319.96/319.25	c cleaning 28998 clauses out of 58013 with flag 2629001/2629001
323.56/322.87	c cleaning 29000 clauses out of 58014 with flag 2658000/2658000
327.17/326.44	c cleaning 29001 clauses out of 58014 with flag 2687000/2687000
330.67/329.97	c cleaning 29004 clauses out of 58015 with flag 2716002/2716002
334.17/333.46	c cleaning 28997 clauses out of 58009 with flag 2745000/2745000
337.77/337.07	c cleaning 29005 clauses out of 58013 with flag 2774001/2774001
341.47/340.75	c cleaning 28998 clauses out of 58008 with flag 2803001/2803001
345.08/344.35	c cleaning 29003 clauses out of 58009 with flag 2832000/2832000
348.87/348.16	c cleaning 28994 clauses out of 58006 with flag 2861000/2861000
352.58/351.81	c cleaning 28996 clauses out of 58012 with flag 2890000/2890000
356.28/355.52	c cleaning 28998 clauses out of 58016 with flag 2919000/2919000
359.88/359.16	c cleaning 29002 clauses out of 58018 with flag 2948000/2948000
363.48/362.71	c cleaning 29007 clauses out of 58016 with flag 2977000/2977000
366.99/366.25	c cleaning 29000 clauses out of 58009 with flag 3006000/3006000
370.68/369.90	c cleaning 29005 clauses out of 58009 with flag 3035000/3035000
374.48/373.75	c cleaning 28995 clauses out of 58005 with flag 3064001/3064001
378.18/377.45	c cleaning 28999 clauses out of 58009 with flag 3093000/3093000
381.98/381.29	c cleaning 28997 clauses out of 58010 with flag 3122000/3122000
385.89/385.20	c cleaning 28999 clauses out of 58013 with flag 3151000/3151000
389.59/388.86	c cleaning 29005 clauses out of 58017 with flag 3180003/3180003
393.40/392.65	c cleaning 29002 clauses out of 58009 with flag 3209000/3209000
397.19/396.47	c cleaning 28991 clauses out of 58007 with flag 3238000/3238000
400.99/400.21	c cleaning 29004 clauses out of 58016 with flag 3267000/3267000
404.60/403.83	c cleaning 28998 clauses out of 58012 with flag 3296000/3296000
408.20/407.49	c cleaning 28996 clauses out of 58014 with flag 3325000/3325000
411.90/411.13	c cleaning 29005 clauses out of 58019 with flag 3354001/3354001
415.51/414.71	c cleaning 28999 clauses out of 58013 with flag 3383000/3383000
419.20/418.43	c cleaning 29005 clauses out of 58015 with flag 3412001/3412001
422.90/422.19	c cleaning 29003 clauses out of 58009 with flag 3441000/3441000
426.60/425.82	c cleaning 28997 clauses out of 58007 with flag 3470001/3470001
430.41/429.62	c cleaning 28996 clauses out of 58009 with flag 3499000/3499000
434.11/433.36	c cleaning 28995 clauses out of 58013 with flag 3528000/3528000
438.01/437.26	c cleaning 29001 clauses out of 58019 with flag 3557001/3557001
441.82/441.08	c cleaning 29003 clauses out of 58018 with flag 3586001/3586001
445.61/444.89	c cleaning 29003 clauses out of 58014 with flag 3615000/3615000
449.11/448.37	c cleaning 29001 clauses out of 58012 with flag 3644001/3644001
452.82/452.03	c cleaning 28998 clauses out of 58011 with flag 3673001/3673001
456.52/455.70	c cleaning 28989 clauses out of 58012 with flag 3702000/3702000
460.22/459.48	c cleaning 29005 clauses out of 58023 with flag 3731000/3731000
463.92/463.16	c cleaning 29002 clauses out of 58018 with flag 3760000/3760000
467.52/466.76	c cleaning 29005 clauses out of 58018 with flag 3789002/3789002
471.32/470.51	c cleaning 28994 clauses out of 58011 with flag 3818000/3818000
475.12/474.38	c cleaning 29005 clauses out of 58018 with flag 3847001/3847001
478.63/477.84	c cleaning 28994 clauses out of 58012 with flag 3876000/3876000
482.33/481.57	c cleaning 28999 clauses out of 58018 with flag 3905000/3905000
486.03/485.26	c cleaning 28998 clauses out of 58019 with flag 3934000/3934000
489.63/488.89	c cleaning 29005 clauses out of 58021 with flag 3963000/3963000
493.34/492.53	c cleaning 28991 clauses out of 58016 with flag 3992000/3992000
496.84/496.08	c cleaning 29000 clauses out of 58025 with flag 4021000/4021000
500.34/499.56	c cleaning 29002 clauses out of 58025 with flag 4050000/4050000
503.94/503.17	c cleaning 28996 clauses out of 58023 with flag 4079000/4079000
507.74/506.90	c cleaning 29009 clauses out of 58027 with flag 4108000/4108000
511.44/510.62	c cleaning 29005 clauses out of 58020 with flag 4137002/4137002
515.24/514.47	c cleaning 28999 clauses out of 58015 with flag 4166002/4166002
518.95/518.12	c cleaning 29001 clauses out of 58016 with flag 4195002/4195002
522.55/521.72	c cleaning 28996 clauses out of 58014 with flag 4224001/4224001
526.25/525.42	c cleaning 29002 clauses out of 58017 with flag 4253000/4253000
529.95/529.15	c cleaning 28996 clauses out of 58015 with flag 4282000/4282000
533.75/532.93	c cleaning 29007 clauses out of 58019 with flag 4311000/4311000
537.35/536.51	c cleaning 29001 clauses out of 58013 with flag 4340001/4340001
540.96/540.17	c cleaning 29004 clauses out of 58011 with flag 4369000/4369000
544.45/543.69	c cleaning 28998 clauses out of 58009 with flag 4398002/4398002
547.95/547.15	c cleaning 28993 clauses out of 58009 with flag 4427000/4427000
551.55/550.74	c cleaning 28997 clauses out of 58016 with flag 4456000/4456000
555.26/554.45	c cleaning 29004 clauses out of 58019 with flag 4485000/4485000
558.95/558.15	c cleaning 29006 clauses out of 58015 with flag 4514000/4514000
562.55/561.78	c cleaning 28999 clauses out of 58009 with flag 4543000/4543000
566.05/565.28	c cleaning 28993 clauses out of 58010 with flag 4572000/4572000
569.75/568.99	c cleaning 28999 clauses out of 58017 with flag 4601000/4601000
573.35/572.57	c cleaning 28997 clauses out of 58019 with flag 4630001/4630001
576.96/576.17	c cleaning 29001 clauses out of 58021 with flag 4659000/4659000
580.76/579.91	c cleaning 29000 clauses out of 58020 with flag 4688000/4688000
584.46/583.60	c cleaning 29002 clauses out of 58020 with flag 4717000/4717000
588.17/587.34	c cleaning 29003 clauses out of 58019 with flag 4746001/4746001
591.76/590.94	c cleaning 29005 clauses out of 58016 with flag 4775001/4775001
595.46/594.60	c cleaning 28996 clauses out of 58010 with flag 4804000/4804000
599.06/598.23	c cleaning 29001 clauses out of 58014 with flag 4833000/4833000
602.56/601.75	c cleaning 29004 clauses out of 58013 with flag 4862000/4862000
606.06/605.29	c cleaning 29000 clauses out of 58009 with flag 4891000/4891000
609.56/608.73	c cleaning 28993 clauses out of 58010 with flag 4920001/4920001
612.97/612.18	c cleaning 28998 clauses out of 58016 with flag 4949000/4949000
616.47/615.67	c cleaning 29000 clauses out of 58018 with flag 4978000/4978000
620.08/619.27	c cleaning 29001 clauses out of 58018 with flag 5007000/5007000
623.77/622.97	c cleaning 28996 clauses out of 58017 with flag 5036000/5036000
627.57/626.74	c cleaning 29009 clauses out of 58021 with flag 5065000/5065000
631.18/630.36	c cleaning 28992 clauses out of 58012 with flag 5094000/5094000
634.98/634.16	c cleaning 28995 clauses out of 58020 with flag 5123000/5123000
638.48/637.60	c cleaning 29008 clauses out of 58026 with flag 5152001/5152001
641.98/641.16	c cleaning 29002 clauses out of 58017 with flag 5181000/5181000
645.48/644.67	c cleaning 29003 clauses out of 58015 with flag 5210000/5210000
648.98/648.15	c cleaning 28990 clauses out of 58012 with flag 5239000/5239000
652.58/651.80	c cleaning 29008 clauses out of 58022 with flag 5268000/5268000
656.28/655.41	c cleaning 29001 clauses out of 58014 with flag 5297000/5297000
659.69/658.87	c cleaning 29002 clauses out of 58013 with flag 5326000/5326000
662.99/662.14	c cleaning 28996 clauses out of 58011 with flag 5355000/5355000
666.39/665.54	c cleaning 29001 clauses out of 58015 with flag 5384000/5384000
669.69/668.89	c cleaning 28998 clauses out of 58014 with flag 5413000/5413000
673.19/672.39	c cleaning 28996 clauses out of 58016 with flag 5442000/5442000
676.79/675.90	c cleaning 28998 clauses out of 58021 with flag 5471001/5471001
680.19/679.39	c cleaning 29003 clauses out of 58023 with flag 5500001/5500001
683.69/682.82	c cleaning 28992 clauses out of 58019 with flag 5529000/5529000
687.20/686.34	c cleaning 28999 clauses out of 58028 with flag 5558001/5558001
690.80/689.93	c cleaning 29009 clauses out of 58029 with flag 5587001/5587001
694.30/693.41	c cleaning 29000 clauses out of 58019 with flag 5616000/5616000
697.80/696.96	c cleaning 29003 clauses out of 58019 with flag 5645000/5645000
701.30/700.44	c cleaning 28993 clauses out of 58016 with flag 5674000/5674000
704.81/703.95	c cleaning 29005 clauses out of 58023 with flag 5703000/5703000
708.21/707.37	c cleaning 28999 clauses out of 58018 with flag 5732000/5732000
711.70/710.86	c cleaning 29005 clauses out of 58019 with flag 5761000/5761000
715.40/714.54	c cleaning 29000 clauses out of 58015 with flag 5790001/5790001
718.90/718.01	c cleaning 28997 clauses out of 58014 with flag 5819000/5819000
722.30/721.47	c cleaning 29000 clauses out of 58017 with flag 5848000/5848000
725.60/724.80	c cleaning 29002 clauses out of 58017 with flag 5877000/5877000
728.90/728.10	c cleaning 29006 clauses out of 58015 with flag 5906000/5906000
732.51/731.63	c cleaning 28995 clauses out of 58009 with flag 5935000/5935000
735.91/735.06	c cleaning 29003 clauses out of 58015 with flag 5964001/5964001
739.31/738.44	c cleaning 28995 clauses out of 58011 with flag 5993000/5993000
742.61/741.78	c cleaning 29001 clauses out of 58016 with flag 6022000/6022000
746.11/745.24	c cleaning 28992 clauses out of 58015 with flag 6051000/6051000
749.72/748.85	c cleaning 29006 clauses out of 58023 with flag 6080000/6080000
753.32/752.47	c cleaning 28997 clauses out of 58017 with flag 6109000/6109000
756.82/755.95	c cleaning 29000 clauses out of 58020 with flag 6138000/6138000
760.22/759.34	c cleaning 29005 clauses out of 58020 with flag 6167000/6167000
763.72/762.80	c cleaning 28998 clauses out of 58015 with flag 6196000/6196000
767.12/766.25	c cleaning 28994 clauses out of 58017 with flag 6225000/6225000
770.72/769.84	c cleaning 29005 clauses out of 58023 with flag 6254000/6254000
774.02/773.18	c cleaning 29003 clauses out of 58018 with flag 6283000/6283000
777.43/776.60	c cleaning 28987 clauses out of 58015 with flag 6312000/6312000
781.02/780.14	c cleaning 29004 clauses out of 58028 with flag 6341000/6341000
784.53/783.64	c cleaning 28998 clauses out of 58024 with flag 6370000/6370000
787.93/787.09	c cleaning 29006 clauses out of 58027 with flag 6399001/6399001
791.43/790.51	c cleaning 28997 clauses out of 58020 with flag 6428000/6428000
794.83/793.96	c cleaning 29010 clauses out of 58023 with flag 6457000/6457000
798.23/797.38	c cleaning 28997 clauses out of 58013 with flag 6486000/6486000
801.74/800.87	c cleaning 29004 clauses out of 58017 with flag 6515001/6515001
805.23/804.32	c cleaning 28996 clauses out of 58012 with flag 6544000/6544000
808.63/807.77	c cleaning 29002 clauses out of 58018 with flag 6573002/6573002
812.03/811.16	c cleaning 29000 clauses out of 58014 with flag 6602000/6602000
815.54/814.65	c cleaning 28998 clauses out of 58015 with flag 6631001/6631001
819.04/818.10	c cleaning 28998 clauses out of 58016 with flag 6660000/6660000
822.84/821.73	c cleaning 29007 clauses out of 58019 with flag 6689001/6689001
826.62/825.23	c cleaning 29002 clauses out of 58011 with flag 6718000/6718000
830.27/828.77	c cleaning 28998 clauses out of 58009 with flag 6747000/6747000
833.78/832.23	c cleaning 28994 clauses out of 58012 with flag 6776001/6776001
837.18/835.68	c cleaning 29004 clauses out of 58017 with flag 6805000/6805000
840.58/839.05	c cleaning 29001 clauses out of 58013 with flag 6834000/6834000
844.09/842.53	c cleaning 28994 clauses out of 58012 with flag 6863000/6863000
847.58/846.07	c cleaning 29004 clauses out of 58020 with flag 6892002/6892002
851.18/849.67	c cleaning 28996 clauses out of 58014 with flag 6921000/6921000
854.68/853.12	c cleaning 29007 clauses out of 58019 with flag 6950001/6950001
858.19/856.64	c cleaning 28997 clauses out of 58011 with flag 6979000/6979000
861.79/860.22	c cleaning 29002 clauses out of 58014 with flag 7008000/7008000
865.29/863.76	c cleaning 28999 clauses out of 58014 with flag 7037002/7037002
868.90/867.35	c cleaning 29002 clauses out of 58013 with flag 7066000/7066000
872.30/870.73	c cleaning 29000 clauses out of 58012 with flag 7095001/7095001
875.70/874.12	c cleaning 28994 clauses out of 58012 with flag 7124001/7124001
879.31/877.70	c cleaning 29002 clauses out of 58017 with flag 7153000/7153000
882.90/881.30	c cleaning 29003 clauses out of 58015 with flag 7182000/7182000
886.20/884.64	c cleaning 28999 clauses out of 58012 with flag 7211000/7211000
889.70/888.12	c cleaning 28997 clauses out of 58013 with flag 7240000/7240000
893.21/891.63	c cleaning 29006 clauses out of 58016 with flag 7269000/7269000
896.81/895.22	c cleaning 29002 clauses out of 58010 with flag 7298000/7298000
900.31/898.78	c cleaning 29000 clauses out of 58010 with flag 7327002/7327002
903.91/902.31	c cleaning 28990 clauses out of 58008 with flag 7356000/7356000
907.41/905.86	c cleaning 29003 clauses out of 58018 with flag 7385000/7385000
910.91/909.33	c cleaning 29005 clauses out of 58015 with flag 7414000/7414000
914.52/912.94	c cleaning 28996 clauses out of 58010 with flag 7443000/7443000
918.01/916.45	c cleaning 28997 clauses out of 58017 with flag 7472003/7472003
921.41/919.85	c cleaning 28995 clauses out of 58017 with flag 7501000/7501000
924.92/923.33	c cleaning 29002 clauses out of 58022 with flag 7530000/7530000
928.32/926.76	c cleaning 29005 clauses out of 58020 with flag 7559000/7559000
931.92/930.36	c cleaning 29001 clauses out of 58015 with flag 7588000/7588000
935.33/933.79	c cleaning 29002 clauses out of 58015 with flag 7617001/7617001
938.83/937.24	c cleaning 29001 clauses out of 58013 with flag 7646001/7646001
942.43/940.86	c cleaning 28998 clauses out of 58011 with flag 7675000/7675000
946.03/944.43	c cleaning 28994 clauses out of 58014 with flag 7704001/7704001
949.53/947.94	c cleaning 28998 clauses out of 58020 with flag 7733001/7733001
953.14/951.55	c cleaning 29006 clauses out of 58021 with flag 7762000/7762000
956.64/955.09	c cleaning 29008 clauses out of 58017 with flag 7791002/7791002
960.24/958.67	c cleaning 28996 clauses out of 58007 with flag 7820000/7820000
963.64/962.07	c cleaning 28997 clauses out of 58011 with flag 7849000/7849000
967.14/965.56	c cleaning 28993 clauses out of 58014 with flag 7878000/7878000
970.44/968.88	c cleaning 29001 clauses out of 58021 with flag 7907000/7907000
974.05/972.41	c cleaning 29004 clauses out of 58021 with flag 7936001/7936001
977.54/975.92	c cleaning 29004 clauses out of 58017 with flag 7965001/7965001
980.94/979.34	c cleaning 28997 clauses out of 58012 with flag 7994000/7994000
984.35/982.71	c cleaning 29002 clauses out of 58015 with flag 8023000/8023000
987.75/986.15	c cleaning 28997 clauses out of 58013 with flag 8052000/8052000
991.25/989.63	c cleaning 29000 clauses out of 58016 with flag 8081000/8081000
994.65/993.07	c cleaning 29004 clauses out of 58016 with flag 8110000/8110000
998.15/996.60	c cleaning 28999 clauses out of 58013 with flag 8139001/8139001
1001.75/1000.10	c cleaning 29000 clauses out of 58013 with flag 8168000/8168000
1005.25/1003.63	c cleaning 28999 clauses out of 58015 with flag 8197002/8197002
1008.75/1007.13	c cleaning 28994 clauses out of 58014 with flag 8226000/8226000
1012.35/1010.80	c cleaning 28998 clauses out of 58020 with flag 8255000/8255000
1015.95/1014.34	c cleaning 28999 clauses out of 58022 with flag 8284000/8284000
1019.56/1017.96	c cleaning 29006 clauses out of 58023 with flag 8313000/8313000
1023.16/1021.55	c cleaning 28999 clauses out of 58017 with flag 8342000/8342000
1026.76/1025.10	c cleaning 28996 clauses out of 58018 with flag 8371000/8371000
1030.26/1028.69	c cleaning 29003 clauses out of 58022 with flag 8400000/8400000
1033.86/1032.20	c cleaning 29000 clauses out of 58019 with flag 8429000/8429000
1037.36/1035.71	c cleaning 29004 clauses out of 58021 with flag 8458002/8458002
1040.76/1039.19	c cleaning 28995 clauses out of 58016 with flag 8487001/8487001
1044.37/1042.78	c cleaning 28999 clauses out of 58020 with flag 8516000/8516000
1047.96/1046.39	c cleaning 28999 clauses out of 58021 with flag 8545000/8545000
1051.56/1049.93	c cleaning 29008 clauses out of 58022 with flag 8574000/8574000
1055.26/1053.63	c cleaning 29001 clauses out of 58014 with flag 8603000/8603000
1058.67/1057.05	c cleaning 29001 clauses out of 58013 with flag 8632000/8632000
1062.07/1060.49	c cleaning 28998 clauses out of 58012 with flag 8661000/8661000
1065.67/1064.02	c cleaning 28994 clauses out of 58014 with flag 8690000/8690000
1069.17/1067.60	c cleaning 29006 clauses out of 58020 with flag 8719000/8719000
1072.67/1071.08	c cleaning 28995 clauses out of 58014 with flag 8748000/8748000
1076.28/1074.63	c cleaning 29005 clauses out of 58020 with flag 8777001/8777001
1079.87/1078.26	c cleaning 28994 clauses out of 58014 with flag 8806000/8806000
1083.57/1081.97	c cleaning 29001 clauses out of 58021 with flag 8835001/8835001
1087.17/1085.54	c cleaning 29004 clauses out of 58020 with flag 8864001/8864001
1090.77/1089.13	c cleaning 28996 clauses out of 58015 with flag 8893000/8893000
1094.17/1092.52	c cleaning 29010 clauses out of 58020 with flag 8922001/8922001
1097.68/1096.01	c cleaning 28996 clauses out of 58009 with flag 8951000/8951000
1101.18/1099.52	c cleaning 28998 clauses out of 58013 with flag 8980000/8980000
1104.68/1103.03	c cleaning 29000 clauses out of 58017 with flag 9009002/9009002
1107.98/1106.39	c cleaning 29002 clauses out of 58015 with flag 9038000/9038000
1111.29/1109.67	c cleaning 29004 clauses out of 58013 with flag 9067000/9067000
1114.79/1113.13	c cleaning 28992 clauses out of 58009 with flag 9096000/9096000
1118.20/1116.57	c cleaning 28997 clauses out of 58018 with flag 9125001/9125001
1121.69/1120.01	c cleaning 29000 clauses out of 58021 with flag 9154001/9154001
1125.19/1123.50	c cleaning 29000 clauses out of 58020 with flag 9183000/9183000
1128.59/1126.94	c cleaning 29000 clauses out of 58020 with flag 9212000/9212000
1132.20/1130.56	c cleaning 29003 clauses out of 58020 with flag 9241000/9241000
1135.70/1134.09	c cleaning 29003 clauses out of 58018 with flag 9270001/9270001
1139.20/1137.56	c cleaning 29005 clauses out of 58015 with flag 9299001/9299001
1142.90/1141.21	c cleaning 28995 clauses out of 58009 with flag 9328000/9328000
1146.50/1144.84	c cleaning 29005 clauses out of 58015 with flag 9357001/9357001
1150.01/1148.34	c cleaning 28994 clauses out of 58009 with flag 9386000/9386000
1153.41/1151.72	c cleaning 29001 clauses out of 58015 with flag 9415000/9415000
1157.00/1155.38	c cleaning 28998 clauses out of 58014 with flag 9444000/9444000
1160.50/1158.86	c cleaning 28999 clauses out of 58016 with flag 9473000/9473000
1163.91/1162.26	c cleaning 29002 clauses out of 58017 with flag 9502000/9502000
1167.30/1165.69	c cleaning 28998 clauses out of 58015 with flag 9531000/9531000
1170.71/1169.09	c cleaning 29002 clauses out of 58017 with flag 9560000/9560000
1174.31/1172.67	c cleaning 29005 clauses out of 58015 with flag 9589000/9589000
1177.81/1176.14	c cleaning 28988 clauses out of 58010 with flag 9618000/9618000
1181.41/1179.71	c cleaning 29011 clauses out of 58023 with flag 9647001/9647001
1185.11/1183.43	c cleaning 28996 clauses out of 58011 with flag 9676000/9676000
1188.61/1186.90	c cleaning 29002 clauses out of 58015 with flag 9705000/9705000
1192.11/1190.43	c cleaning 28996 clauses out of 58013 with flag 9734000/9734000
1195.61/1193.91	c cleaning 28994 clauses out of 58017 with flag 9763000/9763000
1198.81/1197.20	c cleaning 29003 clauses out of 58023 with flag 9792000/9792000
1202.31/1200.62	c cleaning 29000 clauses out of 58020 with flag 9821000/9821000
1205.81/1204.18	c cleaning 28999 clauses out of 58020 with flag 9850000/9850000
1209.31/1207.68	c cleaning 29009 clauses out of 58023 with flag 9879002/9879002
1212.82/1211.10	c cleaning 28999 clauses out of 58012 with flag 9908000/9908000
1216.43/1214.71	c cleaning 28999 clauses out of 58013 with flag 9937000/9937000
1219.93/1218.29	c cleaning 28998 clauses out of 58014 with flag 9966000/9966000
1223.43/1221.78	c cleaning 28995 clauses out of 58016 with flag 9995000/9995000
1227.14/1225.42	c cleaning 29009 clauses out of 58021 with flag 10024000/10024000
1230.63/1228.97	c cleaning 28991 clauses out of 58012 with flag 10053000/10053000
1234.13/1232.46	c cleaning 29006 clauses out of 58022 with flag 10082001/10082001
1237.73/1236.02	c cleaning 28998 clauses out of 58015 with flag 10111000/10111000
1241.34/1239.62	c cleaning 29000 clauses out of 58017 with flag 10140000/10140000
1244.83/1243.13	c cleaning 29003 clauses out of 58017 with flag 10169000/10169000
1248.44/1246.71	c cleaning 28993 clauses out of 58014 with flag 10198000/10198000
1251.84/1250.14	c cleaning 29004 clauses out of 58021 with flag 10227000/10227000
1255.34/1253.69	c cleaning 28999 clauses out of 58018 with flag 10256001/10256001
1258.94/1257.28	c cleaning 28998 clauses out of 58018 with flag 10285000/10285000
1262.54/1260.87	c cleaning 29001 clauses out of 58020 with flag 10314000/10314000
1266.15/1264.46	c cleaning 29005 clauses out of 58020 with flag 10343001/10343001
1269.66/1267.97	c cleaning 29005 clauses out of 58015 with flag 10372001/10372001
1273.27/1271.53	c cleaning 28999 clauses out of 58009 with flag 10401000/10401000
1276.96/1275.20	c cleaning 28997 clauses out of 58010 with flag 10430000/10430000
1280.26/1278.55	c cleaning 28997 clauses out of 58013 with flag 10459000/10459000
1283.66/1281.98	c cleaning 28996 clauses out of 58016 with flag 10488000/10488000
1287.37/1285.60	c cleaning 28992 clauses out of 58020 with flag 10517000/10517000
1290.87/1289.20	c cleaning 29001 clauses out of 58028 with flag 10546000/10546000
1294.57/1292.83	c cleaning 29006 clauses out of 58027 with flag 10575000/10575000
1298.07/1296.35	c cleaning 29006 clauses out of 58022 with flag 10604001/10604001
1301.57/1299.86	c cleaning 29004 clauses out of 58015 with flag 10633000/10633000
1301.78/1300.01	c starts		: 2684
1301.78/1300.01	c conflicts		: 10634328
1301.78/1300.01	c decisions		: 11055584
1301.78/1300.01	c propagations		: 331610553
1301.78/1300.01	c inspects		: 17880915252
1301.78/1300.01	c shortcuts		: 0
1301.78/1300.01	c learnt literals	: 0
1301.78/1300.01	c learnt binary clauses	: 4
1301.78/1300.01	c learnt ternary clauses	: 308
1301.78/1300.01	c learnt constraints	: 10634328
1301.78/1300.01	c ignored constraints	: 0
1301.78/1300.01	c root simplifications	: 2684
1301.78/1300.01	c removed literals (reason simplification)	: 266158373
1301.78/1300.01	c reason swapping (by a shorter reason)	: 0
1301.78/1300.01	c Calls to reduceDB	: 377
1301.78/1300.01	c speed (assignments/second)	: 255143.9209048242
1301.78/1300.01	c non guided choices	8
1301.78/1300.02	c learnt constraints type 
1301.78/1300.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4
1301.78/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 30375
1301.78/1300.02	c constraints type 
1301.78/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28914
1301.78/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 77
1301.78/1300.02	s UNKNOWN
1301.78/1300.02	c Total wall clock time (in seconds) : 1299.823

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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

running on 2 cores: 4,6

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: 1.36 3.00 3.41 3/190 11325
/proc/meminfo: memFree=14486728/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=24004 CPUtime=0 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 1141 0 0 0 0 0 0 0 20 0 2 0 466135040 24580096 876 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 6001 876 664 9 0 381 0
[pid=11325/tid=11328] ppid=11323 vsize=24056 CPUtime=0 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 33 0 0 0 0 0 0 0 21 0 2 0 466135040 24633344 883 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228239425255 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.0766681 s]
/proc/loadavg: 1.36 3.00 3.41 3/190 11325
/proc/meminfo: memFree=14486728/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7564352 CPUtime=0.03 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 8682 0 41 0 2 1 0 0 20 0 13 0 466135040 7745896448 8417 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1891088 8418 1671 9 0 1881836 0
[pid=11325/tid=11328] ppid=11323 vsize=7564352 CPUtime=0.02 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 7535 0 41 0 2 0 0 0 19 0 13 0 466135040 7745896448 8419 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 47868531707909 0 4 0 16784584 0 0 0 -1 4 0 0 2
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.100617 s]
/proc/loadavg: 1.36 3.00 3.41 3/190 11325
/proc/meminfo: memFree=14486728/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7564488 CPUtime=0.04 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 8857 0 41 0 3 1 0 0 20 0 13 0 466135040 7746035712 8592 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1891122 8592 1684 9 0 1881870 0
[pid=11325/tid=11328] ppid=11323 vsize=7564488 CPUtime=0.04 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 7709 0 41 0 3 1 0 0 18 0 13 0 466135040 7746035712 8593 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 47868531712771 0 4 0 16800971 0 0 0 -1 4 0 0 4
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7564488

[startup+0.300498 s]
/proc/loadavg: 1.36 3.00 3.41 3/190 11325
/proc/meminfo: memFree=14486728/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7642136 CPUtime=0.3 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 13118 0 41 0 28 2 0 0 20 0 18 0 466135040 7825547264 12307 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1910534 12307 2195 9 0 1901272 0
[pid=11325/tid=11328] ppid=11323 vsize=7642136 CPUtime=0.19 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 9213 0 41 0 18 1 0 0 18 0 18 0 466135040 7825547264 12307 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 47868530634528 0 4 0 16800975 0 0 0 -1 4 0 0 8
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 7642136

[startup+0.700486 s]
/proc/loadavg: 1.36 3.00 3.41 3/190 11325
/proc/meminfo: memFree=14486728/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7643184 CPUtime=0.98 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 15176 0 41 0 96 2 0 0 20 0 19 0 466135040 7826620416 13052 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1910796 13052 2224 9 0 1901534 0
[pid=11325/tid=11328] ppid=11323 vsize=7643184 CPUtime=0.59 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 9647 0 41 0 58 1 0 0 19 0 19 0 466135040 7826620416 13052 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 46912505625356 0 4 0 16800975 0 0 0 -1 4 0 0 8
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 7643184

[startup+1.50139 s]
/proc/loadavg: 1.36 3.00 3.41 10/262 11397
/proc/meminfo: memFree=14264724/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7643184 CPUtime=2.03 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 24669 0 41 0 199 4 0 0 20 0 19 0 466135040 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1910796 20165 2253 9 0 1901534 0
[pid=11325/tid=11328] ppid=11323 vsize=7643184 CPUtime=1.37 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 9833 0 41 0 136 1 0 0 20 0 19 0 466135040 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 46912505672224 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=11325/tid=11346] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11346/stat : 11346 (java) S 11323 11325 10350 0 -1 4202560 413 0 0 0 0 0 0 0 18 0 19 0 466135042 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11347] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11347/stat : 11347 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466135042 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11348] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11348/stat : 11348 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466135042 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11349] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11349/stat : 11349 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466135042 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11351] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11351/stat : 11351 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466135042 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11352] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11352/stat : 11352 (java) S 11323 11325 10350 0 -1 4202560 109 0 0 0 0 0 0 0 17 0 19 0 466135042 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11354] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11354/stat : 11354 (java) S 11323 11325 10350 0 -1 4202560 380 0 0 0 0 0 0 0 18 0 19 0 466135042 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11356] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11356/stat : 11356 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466135042 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11362] ppid=11323 vsize=7643184 CPUtime=0.01 cores=4,6
/proc/11325/task/11362/stat : 11362 (java) S 11323 11325 10350 0 -1 4202560 907 0 0 0 1 0 0 0 16 0 19 0 466135045 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 0 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11366] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11366/stat : 11366 (java) S 11323 11325 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11371] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11371/stat : 11371 (java) S 11323 11325 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11375] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11375/stat : 11375 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256172465 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11377] ppid=11323 vsize=7643184 CPUtime=0.34 cores=4,6
/proc/11325/task/11377/stat : 11377 (java) S 11323 11325 10350 0 -1 4202560 8643 0 0 0 33 1 0 0 16 0 19 0 466135053 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11383] ppid=11323 vsize=7643184 CPUtime=0.26 cores=4,6
/proc/11325/task/11383/stat : 11383 (java) S 11323 11325 10350 0 -1 4202560 3227 0 0 0 26 0 0 0 16 0 19 0 466135053 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11385] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11385/stat : 11385 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11389] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11389/stat : 11389 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135053 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11397] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11397/stat : 11397 (java) S 11323 11325 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7826620416 20165 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 7643184

[startup+3.10107 s]
/proc/loadavg: 1.36 3.00 3.41 6/262 11397
/proc/meminfo: memFree=14196760/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7643184 CPUtime=3.68 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 25255 0 41 0 364 4 0 0 20 0 19 0 466135040 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1910796 20748 2255 9 0 1901534 0
[pid=11325/tid=11328] ppid=11323 vsize=7643184 CPUtime=2.91 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 9836 0 41 0 290 1 0 0 25 0 19 0 466135040 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 46912505619329 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=11325/tid=11346] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11346/stat : 11346 (java) S 11323 11325 10350 0 -1 4202560 487 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11347] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11347/stat : 11347 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11348] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11348/stat : 11348 (java) S 11323 11325 10350 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11349] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11349/stat : 11349 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11351] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11351/stat : 11351 (java) S 11323 11325 10350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11352] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11352/stat : 11352 (java) S 11323 11325 10350 0 -1 4202560 173 0 0 0 0 0 0 0 16 0 19 0 466135042 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11354] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11354/stat : 11354 (java) S 11323 11325 10350 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11356] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11356/stat : 11356 (java) S 11323 11325 10350 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11362] ppid=11323 vsize=7643184 CPUtime=0.07 cores=4,6
/proc/11325/task/11362/stat : 11362 (java) S 11323 11325 10350 0 -1 4202560 1150 0 0 0 7 0 0 0 16 0 19 0 466135045 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 0 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11366] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11366/stat : 11366 (java) S 11323 11325 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11371] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11371/stat : 11371 (java) S 11323 11325 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11375] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11375/stat : 11375 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256172465 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11377] ppid=11323 vsize=7643184 CPUtime=0.36 cores=4,6
/proc/11325/task/11377/stat : 11377 (java) S 11323 11325 10350 0 -1 4202560 8645 0 0 0 35 1 0 0 15 0 19 0 466135053 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11383] ppid=11323 vsize=7643184 CPUtime=0.3 cores=4,6
/proc/11325/task/11383/stat : 11383 (java) S 11323 11325 10350 0 -1 4202560 3231 0 0 0 30 0 0 0 15 0 19 0 466135053 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11385] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11385/stat : 11385 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11389] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11389/stat : 11389 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135053 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11397] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11397/stat : 11397 (java) S 11323 11325 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7826620416 20748 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 7643184

[startup+6.3015 s]
/proc/loadavg: 1.65 3.03 3.42 6/262 11397
/proc/meminfo: memFree=14191800/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7643184 CPUtime=6.88 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 25493 0 41 0 684 4 0 0 20 0 19 0 466135040 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1910796 20513 2255 9 0 1901534 0
[pid=11325/tid=11328] ppid=11323 vsize=7643184 CPUtime=6.04 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 9840 0 41 0 603 1 0 0 19 0 19 0 466135040 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 46912505672361 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=11325/tid=11346] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11346/stat : 11346 (java) S 11323 11325 10350 0 -1 4202560 487 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11347] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11347/stat : 11347 (java) S 11323 11325 10350 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11348] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11348/stat : 11348 (java) S 11323 11325 10350 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11349] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11349/stat : 11349 (java) S 11323 11325 10350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11351] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11351/stat : 11351 (java) S 11323 11325 10350 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11352] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11352/stat : 11352 (java) S 11323 11325 10350 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11354] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11354/stat : 11354 (java) S 11323 11325 10350 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11356] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11356/stat : 11356 (java) S 11323 11325 10350 0 -1 4202560 169 0 0 0 0 0 0 0 15 0 19 0 466135042 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11362] ppid=11323 vsize=7643184 CPUtime=0.12 cores=4,6
/proc/11325/task/11362/stat : 11362 (java) S 11323 11325 10350 0 -1 4202560 1374 0 0 0 12 0 0 0 16 0 19 0 466135045 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 0 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11366] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11366/stat : 11366 (java) S 11323 11325 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11371] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11371/stat : 11371 (java) S 11323 11325 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11375] ppid=11323 vsize=7643184 CPUtime=0 cores=4,6
/proc/11325/task/11375/stat : 11375 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256172465 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11377] ppid=11323 vsize=7643184 CPUtime=0.36 cores=4,6
/proc/11325/task/11377/stat : 11377 (java) S 11323 11325 10350 0 -1 4202560 8645 0 0 0 35 1 0 0 15 0 19 0 466135053 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11383] ppid=11323 vsize=7643184 CPUtime=0.3 cores=4,6
/proc/11325/task/11383/stat : 11383 (java) S 11323 11325 10350 0 -1 4202560 3231 0 0 0 30 0 0 0 15 0 19 0 466135053 7826620416 20513 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0

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

[pid=11325/tid=11352] ppid=11323 vsize=7649220 CPUtime=0.16 cores=4,6
/proc/11325/task/11352/stat : 11352 (java) S 11323 11325 10350 0 -1 4202560 335 0 0 0 16 0 0 0 16 0 19 0 466135042 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11354] ppid=11323 vsize=7649220 CPUtime=0.15 cores=4,6
/proc/11325/task/11354/stat : 11354 (java) S 11323 11325 10350 0 -1 4202560 399 0 0 0 15 0 0 0 16 0 19 0 466135042 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11356] ppid=11323 vsize=7649220 CPUtime=0.14 cores=4,6
/proc/11325/task/11356/stat : 11356 (java) S 11323 11325 10350 0 -1 4202560 257 0 0 0 14 0 0 0 15 0 19 0 466135042 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11362] ppid=11323 vsize=7649220 CPUtime=8.23 cores=4,6
/proc/11325/task/11362/stat : 11362 (java) S 11323 11325 10350 0 -1 4202560 2952 0 0 0 822 1 0 0 15 0 19 0 466135045 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 0 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11366] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11366/stat : 11366 (java) S 11323 11325 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11371] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11371/stat : 11371 (java) S 11323 11325 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11375] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11375/stat : 11375 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256172465 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11377] ppid=11323 vsize=7649220 CPUtime=0.37 cores=4,6
/proc/11325/task/11377/stat : 11377 (java) S 11323 11325 10350 0 -1 4202560 8679 0 0 0 36 1 0 0 15 0 19 0 466135053 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11383] ppid=11323 vsize=7649220 CPUtime=0.97 cores=4,6
/proc/11325/task/11383/stat : 11383 (java) S 11323 11325 10350 0 -1 4202560 8926 0 0 0 96 1 0 0 15 0 19 0 466135053 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11385] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11385/stat : 11385 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11389] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11389/stat : 11389 (java) S 11323 11325 10350 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 466135053 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11397] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11397/stat : 11397 (java) S 11323 11325 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7832801280 24486 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1123.99
Current children cumulated vsize (KiB) 7649220

[startup+1182.3 s]
/proc/loadavg: 3.00 3.16 3.40 5/238 11551
/proc/meminfo: memFree=14215956/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7649220 CPUtime=1184.01 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 34087 0 41 0 118389 12 0 0 20 0 19 0 466135040 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1912305 24514 2256 9 0 1903043 0
[pid=11325/tid=11328] ppid=11323 vsize=7649220 CPUtime=1172.72 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 10177 0 41 0 117267 5 0 0 25 0 19 0 466135040 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 46912505619459 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=11325/tid=11346] ppid=11323 vsize=7649220 CPUtime=0.13 cores=4,6
/proc/11325/task/11346/stat : 11346 (java) S 11323 11325 10350 0 -1 4202560 510 0 0 0 13 0 0 0 16 0 19 0 466135042 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11347] ppid=11323 vsize=7649220 CPUtime=0.14 cores=4,6
/proc/11325/task/11347/stat : 11347 (java) S 11323 11325 10350 0 -1 4202560 180 0 0 0 14 0 0 0 15 0 19 0 466135042 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11348] ppid=11323 vsize=7649220 CPUtime=0.14 cores=4,6
/proc/11325/task/11348/stat : 11348 (java) S 11323 11325 10350 0 -1 4202560 375 0 0 0 14 0 0 0 15 0 19 0 466135042 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11349] ppid=11323 vsize=7649220 CPUtime=0.14 cores=4,6
/proc/11325/task/11349/stat : 11349 (java) S 11323 11325 10350 0 -1 4202560 25 0 0 0 14 0 0 0 15 0 19 0 466135042 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11351] ppid=11323 vsize=7649220 CPUtime=0.16 cores=4,6
/proc/11325/task/11351/stat : 11351 (java) S 11323 11325 10350 0 -1 4202560 21 0 0 0 16 0 0 0 16 0 19 0 466135042 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11352] ppid=11323 vsize=7649220 CPUtime=0.16 cores=4,6
/proc/11325/task/11352/stat : 11352 (java) S 11323 11325 10350 0 -1 4202560 335 0 0 0 16 0 0 0 15 0 19 0 466135042 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11354] ppid=11323 vsize=7649220 CPUtime=0.17 cores=4,6
/proc/11325/task/11354/stat : 11354 (java) S 11323 11325 10350 0 -1 4202560 399 0 0 0 17 0 0 0 15 0 19 0 466135042 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11356] ppid=11323 vsize=7649220 CPUtime=0.14 cores=4,6
/proc/11325/task/11356/stat : 11356 (java) S 11323 11325 10350 0 -1 4202560 257 0 0 0 14 0 0 0 15 0 19 0 466135042 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11362] ppid=11323 vsize=7649220 CPUtime=8.67 cores=4,6
/proc/11325/task/11362/stat : 11362 (java) S 11323 11325 10350 0 -1 4202560 2984 0 0 0 865 2 0 0 15 0 19 0 466135045 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 0 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11366] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11366/stat : 11366 (java) S 11323 11325 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11371] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11371/stat : 11371 (java) S 11323 11325 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11375] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11375/stat : 11375 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256172465 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11377] ppid=11323 vsize=7649220 CPUtime=0.37 cores=4,6
/proc/11325/task/11377/stat : 11377 (java) S 11323 11325 10350 0 -1 4202560 8679 0 0 0 36 1 0 0 15 0 19 0 466135053 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11383] ppid=11323 vsize=7649220 CPUtime=0.97 cores=4,6
/proc/11325/task/11383/stat : 11383 (java) S 11323 11325 10350 0 -1 4202560 8926 0 0 0 96 1 0 0 15 0 19 0 466135053 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11385] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11385/stat : 11385 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11389] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11389/stat : 11389 (java) R 11323 11325 10350 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 466135053 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11325/tid=11397] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11397/stat : 11397 (java) S 11323 11325 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7832801280 24514 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1184.01
Current children cumulated vsize (KiB) 7649220

[startup+1242.3 s]
/proc/loadavg: 3.00 3.13 3.37 5/238 11552
/proc/meminfo: memFree=14203772/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7649220 CPUtime=1244.03 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 34116 0 41 0 124390 13 0 0 20 0 19 0 466135040 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1912305 24518 2256 9 0 1903043 0
[pid=11325/tid=11328] ppid=11323 vsize=7649220 CPUtime=1232.25 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 10194 0 41 0 123220 5 0 0 25 0 19 0 466135040 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 46912505672361 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=11325/tid=11346] ppid=11323 vsize=7649220 CPUtime=0.14 cores=4,6
/proc/11325/task/11346/stat : 11346 (java) S 11323 11325 10350 0 -1 4202560 510 0 0 0 14 0 0 0 15 0 19 0 466135042 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11347] ppid=11323 vsize=7649220 CPUtime=0.15 cores=4,6
/proc/11325/task/11347/stat : 11347 (java) S 11323 11325 10350 0 -1 4202560 184 0 0 0 15 0 0 0 15 0 19 0 466135042 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11348] ppid=11323 vsize=7649220 CPUtime=0.15 cores=4,6
/proc/11325/task/11348/stat : 11348 (java) S 11323 11325 10350 0 -1 4202560 375 0 0 0 15 0 0 0 15 0 19 0 466135042 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11349] ppid=11323 vsize=7649220 CPUtime=0.15 cores=4,6
/proc/11325/task/11349/stat : 11349 (java) S 11323 11325 10350 0 -1 4202560 25 0 0 0 15 0 0 0 15 0 19 0 466135042 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11351] ppid=11323 vsize=7649220 CPUtime=0.17 cores=4,6
/proc/11325/task/11351/stat : 11351 (java) S 11323 11325 10350 0 -1 4202560 21 0 0 0 17 0 0 0 15 0 19 0 466135042 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11352] ppid=11323 vsize=7649220 CPUtime=0.18 cores=4,6
/proc/11325/task/11352/stat : 11352 (java) S 11323 11325 10350 0 -1 4202560 335 0 0 0 18 0 0 0 16 0 19 0 466135042 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11354] ppid=11323 vsize=7649220 CPUtime=0.17 cores=4,6
/proc/11325/task/11354/stat : 11354 (java) S 11323 11325 10350 0 -1 4202560 399 0 0 0 17 0 0 0 15 0 19 0 466135042 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11356] ppid=11323 vsize=7649220 CPUtime=0.15 cores=4,6
/proc/11325/task/11356/stat : 11356 (java) S 11323 11325 10350 0 -1 4202560 257 0 0 0 15 0 0 0 15 0 19 0 466135042 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11362] ppid=11323 vsize=7649220 CPUtime=9.1 cores=4,6
/proc/11325/task/11362/stat : 11362 (java) S 11323 11325 10350 0 -1 4202560 2988 0 0 0 908 2 0 0 15 0 19 0 466135045 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 0 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11366] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11366/stat : 11366 (java) S 11323 11325 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11371] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11371/stat : 11371 (java) S 11323 11325 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11375] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11375/stat : 11375 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256172465 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11377] ppid=11323 vsize=7649220 CPUtime=0.37 cores=4,6
/proc/11325/task/11377/stat : 11377 (java) S 11323 11325 10350 0 -1 4202560 8679 0 0 0 36 1 0 0 15 0 19 0 466135053 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11383] ppid=11323 vsize=7649220 CPUtime=0.97 cores=4,6
/proc/11325/task/11383/stat : 11383 (java) S 11323 11325 10350 0 -1 4202560 8926 0 0 0 96 1 0 0 15 0 19 0 466135053 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11385] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11385/stat : 11385 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11389] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11389/stat : 11389 (java) S 11323 11325 10350 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 466135053 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11397] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11397/stat : 11397 (java) S 11323 11325 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7832801280 24518 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1244.03
Current children cumulated vsize (KiB) 7649220



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.03 3.12 3.35 5/238 11554
/proc/meminfo: memFree=14201760/32951124 swapFree=67111524/67111528
[pid=11325] ppid=11323 vsize=7649220 CPUtime=1301.78 cores=4,6
/proc/11325/stat : 11325 (java) S 11323 11325 10350 0 -1 4202496 34173 0 41 0 130165 13 0 0 20 0 19 0 466135040 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11325/statm: 1912305 24547 2256 9 0 1903043 0
[pid=11325/tid=11328] ppid=11323 vsize=7649220 CPUtime=1289.48 cores=4,6
/proc/11325/task/11328/stat : 11328 (java) R 11323 11325 10350 0 -1 4202560 10213 0 41 0 128943 5 0 0 25 0 19 0 466135040 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 46912505583872 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=11325/tid=11346] ppid=11323 vsize=7649220 CPUtime=0.14 cores=4,6
/proc/11325/task/11346/stat : 11346 (java) S 11323 11325 10350 0 -1 4202560 510 0 0 0 14 0 0 0 15 0 19 0 466135042 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11347] ppid=11323 vsize=7649220 CPUtime=0.16 cores=4,6
/proc/11325/task/11347/stat : 11347 (java) S 11323 11325 10350 0 -1 4202560 184 0 0 0 16 0 0 0 16 0 19 0 466135042 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11348] ppid=11323 vsize=7649220 CPUtime=0.16 cores=4,6
/proc/11325/task/11348/stat : 11348 (java) S 11323 11325 10350 0 -1 4202560 375 0 0 0 16 0 0 0 16 0 19 0 466135042 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11349] ppid=11323 vsize=7649220 CPUtime=0.15 cores=4,6
/proc/11325/task/11349/stat : 11349 (java) S 11323 11325 10350 0 -1 4202560 25 0 0 0 15 0 0 0 15 0 19 0 466135042 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11351] ppid=11323 vsize=7649220 CPUtime=0.17 cores=4,6
/proc/11325/task/11351/stat : 11351 (java) S 11323 11325 10350 0 -1 4202560 21 0 0 0 17 0 0 0 15 0 19 0 466135042 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11352] ppid=11323 vsize=7649220 CPUtime=0.18 cores=4,6
/proc/11325/task/11352/stat : 11352 (java) S 11323 11325 10350 0 -1 4202560 335 0 0 0 18 0 0 0 15 0 19 0 466135042 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11354] ppid=11323 vsize=7649220 CPUtime=0.18 cores=4,6
/proc/11325/task/11354/stat : 11354 (java) S 11323 11325 10350 0 -1 4202560 399 0 0 0 18 0 0 0 15 0 19 0 466135042 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11356] ppid=11323 vsize=7649220 CPUtime=0.16 cores=4,6
/proc/11325/task/11356/stat : 11356 (java) S 11323 11325 10350 0 -1 4202560 257 0 0 0 16 0 0 0 15 0 19 0 466135042 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11362] ppid=11323 vsize=7649220 CPUtime=9.54 cores=4,6
/proc/11325/task/11362/stat : 11362 (java) S 11323 11325 10350 0 -1 4202560 3021 0 0 0 952 2 0 0 16 0 19 0 466135045 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 0 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11366] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11366/stat : 11366 (java) S 11323 11325 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11371] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11371/stat : 11371 (java) S 11323 11325 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11375] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11375/stat : 11375 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256172465 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11377] ppid=11323 vsize=7649220 CPUtime=0.37 cores=4,6
/proc/11325/task/11377/stat : 11377 (java) S 11323 11325 10350 0 -1 4202560 8679 0 0 0 36 1 0 0 15 0 19 0 466135053 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11383] ppid=11323 vsize=7649220 CPUtime=0.99 cores=4,6
/proc/11325/task/11383/stat : 11383 (java) S 11323 11325 10350 0 -1 4202560 8927 0 0 0 98 1 0 0 15 0 19 0 466135053 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11385] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11385/stat : 11385 (java) S 11323 11325 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256164761 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
[pid=11325/tid=11389] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11389/stat : 11389 (java) S 11323 11325 10350 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 466135053 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 6 0 0 0
[pid=11325/tid=11397] ppid=11323 vsize=7649220 CPUtime=0 cores=4,6
/proc/11325/task/11397/stat : 11397 (java) S 11323 11325 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7832801280 24547 33554432000 1073741824 1073778376 140734133363440 18446744073709551615 228256165376 0 4 0 16800975 18446604446130281472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 7649220

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

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

Child status: 143
Real time (s): 1300.03
CPU time (s): 1301.82
CPU user time (s): 1301.68
CPU system time (s): 0.142978
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 7659016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.68
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34208
page faults= 41
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37937
involuntary context switches= 12676

runsolver used 2.28065 second user time and 4.85826 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-23 09:56:11
IDJOB=3261996
IDBENCH=83268
IDSOLVER=1611
FILE ID=node136/3261996-1303545371
RUNJOBID= node136-1303545371-11283
PBS_JOBID= 13143102
Free space on /tmp= 71636 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-22_464.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-3261996-1303545371/watcher-3261996-1303545371 -o /tmp/evaluation-result-3261996-1303545371/solver-3261996-1303545371 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3261996-1303545371.cnf

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

MD5SUM BENCH= a722a199fd84ba0b319251daa47aa19c
RANDOM SEED=1178373316

node136.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.809
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.61
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.809
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.75
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.809
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.75
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.809
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.76
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.809
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	: 5332.75
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14487132 kB
Buffers:       1698492 kB
Cached:       16135284 kB
SwapCached:          4 kB
Active:        9402116 kB
Inactive:      8498968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14487132 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2728 kB
Writeback:           0 kB
AnonPages:       66496 kB
Mapped:          17356 kB
Slab:           499888 kB
PageTables:       5208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   260876 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= 71636 MiB
End job on node136 at 2011-04-23 10:17:53