Trace number 3250554

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.27 1300.03

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
MD5SUMd2562f4e152a54a992ab300a2bacfba9
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 variables279
Number of clauses21616
Sum of the clauses size96978
Maximum clause length17
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 319321
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52295

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.18-164.el5
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		6997539544
0.06/0.10	c Max memory 		7034241024
0.06/0.10	c Total memory 		7034241024
0.06/0.10	c Number of processors 	8
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.12	c Expensive reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483647s
0.07/0.12	c DB Simplification allowed=true
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3250554-1303551316.cnf
0.07/0.12	c reading problem ... 
0.26/0.26	c ... done. Wall clock time 0.113s.
0.26/0.26	c #vars     279
0.26/0.26	c #constraints  21616
0.26/0.26	c constraints type 
0.26/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21616
1.33/0.95	c cleaning 2500 clauses out of 5000 with flag 5000/5000
2.17/1.52	c cleaning 4247 clauses out of 8500 with flag 11000/11000
2.78/2.15	c cleaning 5625 clauses out of 11253 with flag 18000/18000
3.48/2.88	c cleaning 6812 clauses out of 13628 with flag 26000/26000
4.38/3.73	c cleaning 7906 clauses out of 15816 with flag 35000/35000
5.38/4.71	c cleaning 8947 clauses out of 17910 with flag 45000/45000
6.48/5.84	c cleaning 9978 clauses out of 19963 with flag 56000/56000
7.78/7.16	c cleaning 10988 clauses out of 21986 with flag 68001/68001
9.18/8.56	c cleaning 11995 clauses out of 23998 with flag 81001/81001
10.79/10.15	c cleaning 12999 clauses out of 26002 with flag 95000/95000
12.49/11.83	c cleaning 13996 clauses out of 28003 with flag 110000/110000
14.29/13.67	c cleaning 14997 clauses out of 30007 with flag 126000/126000
16.29/15.69	c cleaning 15996 clauses out of 32010 with flag 143000/143000
18.49/17.80	c cleaning 16999 clauses out of 34014 with flag 161000/161000
20.79/20.12	c cleaning 18001 clauses out of 36015 with flag 180000/180000
23.29/22.62	c cleaning 19006 clauses out of 38016 with flag 200002/200002
25.90/25.20	c cleaning 19997 clauses out of 40008 with flag 221000/221000
28.59/27.99	c cleaning 20990 clauses out of 42011 with flag 243000/243000
31.50/30.82	c cleaning 21506 clauses out of 43021 with flag 265000/265000
34.40/33.71	c cleaning 21752 clauses out of 43516 with flag 287001/287001
37.10/36.47	c cleaning 21873 clauses out of 43763 with flag 309000/309000
40.20/39.60	c cleaning 21937 clauses out of 43890 with flag 331000/331000
43.10/42.49	c cleaning 21963 clauses out of 43953 with flag 353000/353000
46.00/45.39	c cleaning 21989 clauses out of 43991 with flag 375001/375001
48.80/48.14	c cleaning 21991 clauses out of 44001 with flag 397000/397000
51.61/50.99	c cleaning 21998 clauses out of 44010 with flag 419000/419000
54.41/53.73	c cleaning 21997 clauses out of 44012 with flag 441000/441000
57.31/56.66	c cleaning 22000 clauses out of 44015 with flag 463000/463000
60.12/59.40	c cleaning 21997 clauses out of 44015 with flag 485000/485000
63.11/62.42	c cleaning 22004 clauses out of 44018 with flag 507000/507000
65.81/65.10	c cleaning 22002 clauses out of 44014 with flag 529000/529000
68.61/67.98	c cleaning 21996 clauses out of 44012 with flag 551000/551000
71.52/70.83	c cleaning 22000 clauses out of 44017 with flag 573001/573001
74.32/73.70	c cleaning 22000 clauses out of 44016 with flag 595000/595000
77.42/76.71	c cleaning 22001 clauses out of 44016 with flag 617000/617000
80.22/79.55	c cleaning 22002 clauses out of 44017 with flag 639002/639002
83.02/82.31	c cleaning 21999 clauses out of 44015 with flag 661002/661002
85.82/85.20	c cleaning 22003 clauses out of 44014 with flag 683000/683000
88.63/87.97	c cleaning 21994 clauses out of 44012 with flag 705001/705001
91.43/90.73	c cleaning 21999 clauses out of 44017 with flag 727000/727000
94.43/93.72	c cleaning 22007 clauses out of 44018 with flag 749000/749000
97.13/96.41	c cleaning 21999 clauses out of 44011 with flag 771000/771000
99.83/99.18	c cleaning 22002 clauses out of 44012 with flag 793000/793000
102.63/101.96	c cleaning 21998 clauses out of 44010 with flag 815000/815000
105.53/104.85	c cleaning 21996 clauses out of 44013 with flag 837001/837001
108.33/107.61	c cleaning 22002 clauses out of 44016 with flag 859000/859000
111.13/110.45	c cleaning 21996 clauses out of 44014 with flag 881000/881000
114.13/113.49	c cleaning 21993 clauses out of 44018 with flag 903000/903000
117.14/116.43	c cleaning 22003 clauses out of 44028 with flag 925003/925003
119.94/119.23	c cleaning 22000 clauses out of 44022 with flag 947000/947000
123.04/122.35	c cleaning 22000 clauses out of 44023 with flag 969001/969001
125.94/125.25	c cleaning 21998 clauses out of 44023 with flag 991001/991001
129.04/128.31	c cleaning 22006 clauses out of 44025 with flag 1013001/1013001
131.84/131.12	c cleaning 22002 clauses out of 44019 with flag 1035001/1035001
134.64/133.90	c cleaning 22000 clauses out of 44016 with flag 1057000/1057000
137.44/136.77	c cleaning 22001 clauses out of 44016 with flag 1079000/1079000
140.35/139.60	c cleaning 21994 clauses out of 44015 with flag 1101000/1101000
143.24/142.54	c cleaning 22003 clauses out of 44022 with flag 1123001/1123001
146.04/145.37	c cleaning 22001 clauses out of 44018 with flag 1145000/1145000
148.84/148.11	c cleaning 22000 clauses out of 44017 with flag 1167000/1167000
151.64/150.98	c cleaning 21998 clauses out of 44017 with flag 1189000/1189000
154.55/153.89	c cleaning 22004 clauses out of 44020 with flag 1211001/1211001
157.65/156.94	c cleaning 22002 clauses out of 44016 with flag 1233001/1233001
160.45/159.77	c cleaning 21994 clauses out of 44013 with flag 1255000/1255000
163.15/162.49	c cleaning 21997 clauses out of 44019 with flag 1277000/1277000
165.95/165.28	c cleaning 21992 clauses out of 44022 with flag 1299000/1299000
168.96/168.22	c cleaning 22007 clauses out of 44030 with flag 1321000/1321000
171.85/171.15	c cleaning 22004 clauses out of 44023 with flag 1343000/1343000
174.75/174.08	c cleaning 22004 clauses out of 44020 with flag 1365001/1365001
177.55/176.85	c cleaning 22003 clauses out of 44016 with flag 1387001/1387001
180.45/179.76	c cleaning 22002 clauses out of 44013 with flag 1409001/1409001
183.26/182.54	c cleaning 22003 clauses out of 44011 with flag 1431001/1431001
186.26/185.58	c cleaning 21984 clauses out of 44007 with flag 1453000/1453000
189.27/188.55	c cleaning 22000 clauses out of 44023 with flag 1475000/1475000
192.37/191.64	c cleaning 22004 clauses out of 44023 with flag 1497000/1497000
195.17/194.47	c cleaning 22003 clauses out of 44019 with flag 1519000/1519000
198.07/197.32	c cleaning 21998 clauses out of 44016 with flag 1541000/1541000
200.88/200.12	c cleaning 22005 clauses out of 44018 with flag 1563000/1563000
203.78/203.00	c cleaning 21994 clauses out of 44013 with flag 1585000/1585000
206.68/205.96	c cleaning 21992 clauses out of 44019 with flag 1607000/1607000
209.48/208.77	c cleaning 22001 clauses out of 44028 with flag 1629001/1629001
212.58/211.87	c cleaning 22007 clauses out of 44027 with flag 1651001/1651001
215.48/214.77	c cleaning 21995 clauses out of 44020 with flag 1673001/1673001
218.59/217.80	c cleaning 22000 clauses out of 44024 with flag 1695000/1695000
221.58/220.83	c cleaning 21998 clauses out of 44024 with flag 1717000/1717000
224.58/223.82	c cleaning 21999 clauses out of 44026 with flag 1739000/1739000
227.59/226.80	c cleaning 22004 clauses out of 44027 with flag 1761000/1761000
230.49/229.74	c cleaning 22002 clauses out of 44025 with flag 1783002/1783002
233.29/232.58	c cleaning 21996 clauses out of 44021 with flag 1805000/1805000
236.29/235.53	c cleaning 22010 clauses out of 44025 with flag 1827000/1827000
239.19/238.40	c cleaning 21998 clauses out of 44015 with flag 1849000/1849000
241.99/241.24	c cleaning 21998 clauses out of 44017 with flag 1871000/1871000
245.09/244.30	c cleaning 22000 clauses out of 44019 with flag 1893000/1893000
247.89/247.19	c cleaning 21995 clauses out of 44020 with flag 1915001/1915001
250.89/250.18	c cleaning 22003 clauses out of 44024 with flag 1937000/1937000
253.89/253.16	c cleaning 22004 clauses out of 44022 with flag 1959001/1959001
256.89/256.13	c cleaning 21993 clauses out of 44017 with flag 1981000/1981000
259.80/259.00	c cleaning 22004 clauses out of 44024 with flag 2003000/2003000
262.70/261.92	c cleaning 21998 clauses out of 44020 with flag 2025000/2025000
265.50/264.78	c cleaning 22006 clauses out of 44023 with flag 2047001/2047001
268.40/267.61	c cleaning 22004 clauses out of 44016 with flag 2069000/2069000
271.41/270.68	c cleaning 21981 clauses out of 44012 with flag 2091000/2091000
274.50/273.74	c cleaning 22009 clauses out of 44034 with flag 2113003/2113003
277.50/276.70	c cleaning 22002 clauses out of 44022 with flag 2135000/2135000
280.40/279.66	c cleaning 21999 clauses out of 44020 with flag 2157000/2157000
283.30/282.51	c cleaning 22005 clauses out of 44021 with flag 2179000/2179000
286.30/285.57	c cleaning 22002 clauses out of 44017 with flag 2201001/2201001
289.40/288.69	c cleaning 21991 clauses out of 44014 with flag 2223000/2223000
292.31/291.58	c cleaning 22005 clauses out of 44023 with flag 2245000/2245000
295.21/294.45	c cleaning 21998 clauses out of 44018 with flag 2267000/2267000
298.01/297.29	c cleaning 22000 clauses out of 44020 with flag 2289000/2289000
301.01/300.27	c cleaning 22001 clauses out of 44020 with flag 2311000/2311000
304.11/303.30	c cleaning 22002 clauses out of 44019 with flag 2333000/2333000
307.01/306.20	c cleaning 22000 clauses out of 44017 with flag 2355000/2355000
310.11/309.30	c cleaning 22002 clauses out of 44019 with flag 2377002/2377002
313.22/312.45	c cleaning 21997 clauses out of 44015 with flag 2399000/2399000
316.42/315.65	c cleaning 22001 clauses out of 44018 with flag 2421000/2421000
319.41/318.61	c cleaning 21992 clauses out of 44017 with flag 2443000/2443000
322.22/321.44	c cleaning 21993 clauses out of 44025 with flag 2465000/2465000
325.02/324.26	c cleaning 22009 clauses out of 44033 with flag 2487001/2487001
327.92/327.13	c cleaning 22005 clauses out of 44025 with flag 2509002/2509002
330.92/330.10	c cleaning 21999 clauses out of 44018 with flag 2531000/2531000
333.72/332.95	c cleaning 22002 clauses out of 44019 with flag 2553000/2553000
336.72/335.92	c cleaning 21996 clauses out of 44017 with flag 2575000/2575000
339.72/338.95	c cleaning 22003 clauses out of 44021 with flag 2597000/2597000
342.72/341.94	c cleaning 21998 clauses out of 44018 with flag 2619000/2619000
345.62/344.89	c cleaning 22003 clauses out of 44020 with flag 2641000/2641000
348.73/347.98	c cleaning 21994 clauses out of 44017 with flag 2663000/2663000
351.74/351.00	c cleaning 22004 clauses out of 44024 with flag 2685001/2685001
354.74/353.99	c cleaning 22002 clauses out of 44019 with flag 2707000/2707000
357.64/356.85	c cleaning 22003 clauses out of 44018 with flag 2729001/2729001
360.55/359.74	c cleaning 21994 clauses out of 44014 with flag 2751000/2751000
363.34/362.59	c cleaning 21997 clauses out of 44020 with flag 2773000/2773000
366.34/365.59	c cleaning 22004 clauses out of 44023 with flag 2795000/2795000
369.54/368.71	c cleaning 21997 clauses out of 44019 with flag 2817000/2817000
372.55/371.72	c cleaning 22008 clauses out of 44022 with flag 2839000/2839000
375.65/374.88	c cleaning 21999 clauses out of 44014 with flag 2861000/2861000
378.75/377.91	c cleaning 21996 clauses out of 44015 with flag 2883000/2883000
381.85/381.06	c cleaning 22007 clauses out of 44020 with flag 2905001/2905001
385.15/384.30	c cleaning 21994 clauses out of 44012 with flag 2927000/2927000
388.26/387.41	c cleaning 22006 clauses out of 44018 with flag 2949000/2949000
391.46/390.64	c cleaning 21993 clauses out of 44012 with flag 2971000/2971000
394.46/393.61	c cleaning 21997 clauses out of 44019 with flag 2993000/2993000
397.26/396.47	c cleaning 22000 clauses out of 44022 with flag 3015000/3015000
400.16/399.34	c cleaning 21992 clauses out of 44022 with flag 3037000/3037000
403.16/402.34	c cleaning 22007 clauses out of 44030 with flag 3059000/3059000
406.26/405.40	c cleaning 22003 clauses out of 44023 with flag 3081000/3081000
409.26/408.44	c cleaning 21993 clauses out of 44021 with flag 3103001/3103001
412.27/411.42	c cleaning 22003 clauses out of 44028 with flag 3125001/3125001
415.26/414.43	c cleaning 22003 clauses out of 44024 with flag 3147000/3147000
418.37/417.52	c cleaning 21999 clauses out of 44022 with flag 3169001/3169001
421.27/420.43	c cleaning 22002 clauses out of 44022 with flag 3191000/3191000
424.17/423.34	c cleaning 21999 clauses out of 44020 with flag 3213000/3213000
427.27/426.41	c cleaning 22003 clauses out of 44021 with flag 3235000/3235000
430.37/429.57	c cleaning 21998 clauses out of 44018 with flag 3257000/3257000
433.67/432.87	c cleaning 22004 clauses out of 44022 with flag 3279002/3279002
436.67/435.84	c cleaning 21996 clauses out of 44016 with flag 3301000/3301000
439.57/438.76	c cleaning 21996 clauses out of 44020 with flag 3323000/3323000
442.57/441.70	c cleaning 22002 clauses out of 44025 with flag 3345001/3345001
445.38/444.58	c cleaning 22004 clauses out of 44022 with flag 3367000/3367000
448.38/447.54	c cleaning 21998 clauses out of 44019 with flag 3389001/3389001
451.38/450.57	c cleaning 21999 clauses out of 44020 with flag 3411000/3411000
454.48/453.69	c cleaning 21990 clauses out of 44021 with flag 3433000/3433000
457.58/456.72	c cleaning 21999 clauses out of 44031 with flag 3455000/3455000
460.38/459.58	c cleaning 21999 clauses out of 44032 with flag 3477000/3477000
463.38/462.54	c cleaning 21999 clauses out of 44035 with flag 3499002/3499002
466.38/465.54	c cleaning 22009 clauses out of 44034 with flag 3521000/3521000
469.28/468.49	c cleaning 22000 clauses out of 44025 with flag 3543000/3543000
472.29/471.44	c cleaning 22005 clauses out of 44027 with flag 3565002/3565002
475.29/474.47	c cleaning 21988 clauses out of 44020 with flag 3587000/3587000
478.49/477.61	c cleaning 21992 clauses out of 44032 with flag 3609000/3609000
481.39/480.55	c cleaning 22007 clauses out of 44040 with flag 3631000/3631000
484.19/483.37	c cleaning 22005 clauses out of 44033 with flag 3653000/3653000
487.00/486.16	c cleaning 22000 clauses out of 44028 with flag 3675000/3675000
489.99/489.19	c cleaning 22003 clauses out of 44028 with flag 3697000/3697000
492.89/492.03	c cleaning 21998 clauses out of 44025 with flag 3719000/3719000
495.99/495.16	c cleaning 21995 clauses out of 44027 with flag 3741000/3741000
499.10/498.24	c cleaning 22006 clauses out of 44033 with flag 3763001/3763001
502.20/501.33	c cleaning 21999 clauses out of 44026 with flag 3785000/3785000
505.20/504.35	c cleaning 22002 clauses out of 44027 with flag 3807000/3807000
508.20/507.33	c cleaning 21997 clauses out of 44027 with flag 3829002/3829002
511.10/510.21	c cleaning 22003 clauses out of 44029 with flag 3851001/3851001
514.00/513.12	c cleaning 22000 clauses out of 44025 with flag 3873000/3873000
517.11/516.20	c cleaning 22001 clauses out of 44026 with flag 3895001/3895001
520.11/519.29	c cleaning 22003 clauses out of 44024 with flag 3917000/3917000
523.21/522.31	c cleaning 21991 clauses out of 44021 with flag 3939000/3939000
526.21/525.30	c cleaning 21999 clauses out of 44030 with flag 3961000/3961000
529.31/528.49	c cleaning 22013 clauses out of 44031 with flag 3983000/3983000
532.22/531.30	c cleaning 21998 clauses out of 44018 with flag 4005000/4005000
534.91/534.06	c cleaning 22002 clauses out of 44020 with flag 4027000/4027000
537.91/537.02	c cleaning 21998 clauses out of 44018 with flag 4049000/4049000
541.02/540.11	c cleaning 21999 clauses out of 44020 with flag 4071000/4071000
543.72/542.85	c cleaning 22000 clauses out of 44021 with flag 4093000/4093000
546.52/545.64	c cleaning 21998 clauses out of 44021 with flag 4115000/4115000
549.42/548.52	c cleaning 22004 clauses out of 44024 with flag 4137001/4137001
552.32/551.46	c cleaning 21994 clauses out of 44019 with flag 4159000/4159000
555.22/554.36	c cleaning 22003 clauses out of 44025 with flag 4181000/4181000
558.42/557.52	c cleaning 21993 clauses out of 44022 with flag 4203000/4203000
561.52/560.63	c cleaning 22002 clauses out of 44029 with flag 4225000/4225000
564.32/563.46	c cleaning 22003 clauses out of 44027 with flag 4247000/4247000
567.33/566.40	c cleaning 21998 clauses out of 44024 with flag 4269000/4269000
570.32/569.43	c cleaning 22005 clauses out of 44026 with flag 4291000/4291000
573.52/572.62	c cleaning 21997 clauses out of 44022 with flag 4313001/4313001
576.62/575.79	c cleaning 22004 clauses out of 44024 with flag 4335000/4335000
579.72/578.83	c cleaning 21992 clauses out of 44020 with flag 4357000/4357000
582.73/581.88	c cleaning 22001 clauses out of 44028 with flag 4379000/4379000
585.63/584.75	c cleaning 22001 clauses out of 44027 with flag 4401000/4401000
588.53/587.65	c cleaning 22003 clauses out of 44027 with flag 4423001/4423001
591.43/590.51	c cleaning 22003 clauses out of 44023 with flag 4445000/4445000
594.43/593.55	c cleaning 21994 clauses out of 44020 with flag 4467000/4467000
597.53/596.60	c cleaning 22002 clauses out of 44027 with flag 4489001/4489001
600.53/599.64	c cleaning 21991 clauses out of 44024 with flag 4511000/4511000
603.53/602.63	c cleaning 21999 clauses out of 44033 with flag 4533000/4533000
606.53/605.64	c cleaning 22006 clauses out of 44035 with flag 4555001/4555001
609.73/608.84	c cleaning 22004 clauses out of 44029 with flag 4577001/4577001
612.84/611.92	c cleaning 21996 clauses out of 44024 with flag 4599000/4599000
615.74/614.80	c cleaning 22001 clauses out of 44028 with flag 4621000/4621000
618.84/617.99	c cleaning 21990 clauses out of 44027 with flag 4643000/4643000
621.74/620.83	c cleaning 22008 clauses out of 44038 with flag 4665001/4665001
624.64/623.75	c cleaning 22002 clauses out of 44029 with flag 4687000/4687000
627.64/626.74	c cleaning 21999 clauses out of 44028 with flag 4709001/4709001
630.54/629.66	c cleaning 21991 clauses out of 44028 with flag 4731000/4731000
633.54/632.62	c cleaning 22012 clauses out of 44038 with flag 4753001/4753001
636.75/635.87	c cleaning 22001 clauses out of 44026 with flag 4775001/4775001
640.05/639.15	c cleaning 22002 clauses out of 44024 with flag 4797000/4797000
643.25/642.38	c cleaning 21990 clauses out of 44022 with flag 4819000/4819000
646.44/645.50	c cleaning 22008 clauses out of 44032 with flag 4841000/4841000
649.15/648.25	c cleaning 21999 clauses out of 44024 with flag 4863000/4863000
652.15/651.29	c cleaning 21997 clauses out of 44025 with flag 4885000/4885000
655.25/654.36	c cleaning 21994 clauses out of 44030 with flag 4907002/4907002
658.25/657.38	c cleaning 22006 clauses out of 44035 with flag 4929001/4929001
661.35/660.46	c cleaning 21998 clauses out of 44028 with flag 4951000/4951000
664.35/663.42	c cleaning 21999 clauses out of 44030 with flag 4973000/4973000
667.46/666.51	c cleaning 22006 clauses out of 44032 with flag 4995001/4995001
670.45/669.56	c cleaning 22009 clauses out of 44026 with flag 5017001/5017001
673.66/672.71	c cleaning 22002 clauses out of 44017 with flag 5039001/5039001
676.86/675.92	c cleaning 22000 clauses out of 44015 with flag 5061001/5061001
679.86/679.00	c cleaning 21997 clauses out of 44014 with flag 5083000/5083000
683.16/682.20	c cleaning 21996 clauses out of 44017 with flag 5105000/5105000
686.36/685.40	c cleaning 21999 clauses out of 44022 with flag 5127001/5127001
689.26/688.37	c cleaning 22001 clauses out of 44022 with flag 5149000/5149000
692.36/691.40	c cleaning 21996 clauses out of 44021 with flag 5171000/5171000
695.36/694.41	c cleaning 21997 clauses out of 44025 with flag 5193000/5193000
698.27/697.38	c cleaning 21993 clauses out of 44028 with flag 5215000/5215000
701.37/700.46	c cleaning 22006 clauses out of 44035 with flag 5237000/5237000
704.37/703.43	c cleaning 22006 clauses out of 44029 with flag 5259000/5259000
707.37/706.40	c cleaning 22000 clauses out of 44023 with flag 5281000/5281000
710.47/709.59	c cleaning 21999 clauses out of 44025 with flag 5303002/5303002
713.68/712.74	c cleaning 22010 clauses out of 44026 with flag 5325002/5325002
716.47/715.55	c cleaning 21995 clauses out of 44014 with flag 5347000/5347000
719.28/718.37	c cleaning 21998 clauses out of 44019 with flag 5369000/5369000
722.27/721.34	c cleaning 21996 clauses out of 44021 with flag 5391000/5391000
725.27/724.33	c cleaning 21996 clauses out of 44025 with flag 5413000/5413000
728.27/727.30	c cleaning 21999 clauses out of 44030 with flag 5435001/5435001
731.18/730.26	c cleaning 22002 clauses out of 44031 with flag 5457001/5457001
734.38/733.42	c cleaning 22002 clauses out of 44028 with flag 5479000/5479000
737.28/736.37	c cleaning 22002 clauses out of 44026 with flag 5501000/5501000
740.38/739.42	c cleaning 22000 clauses out of 44024 with flag 5523000/5523000
743.39/742.49	c cleaning 22003 clauses out of 44025 with flag 5545001/5545001
746.38/745.49	c cleaning 21996 clauses out of 44021 with flag 5567000/5567000
749.38/748.47	c cleaning 22005 clauses out of 44025 with flag 5589000/5589000
752.38/751.47	c cleaning 22002 clauses out of 44021 with flag 5611001/5611001
755.38/754.47	c cleaning 22000 clauses out of 44019 with flag 5633001/5633001
758.38/757.50	c cleaning 21994 clauses out of 44018 with flag 5655000/5655000
761.48/760.54	c cleaning 21995 clauses out of 44024 with flag 5677000/5677000
764.59/763.60	c cleaning 22003 clauses out of 44029 with flag 5699000/5699000
767.79/766.87	c cleaning 22000 clauses out of 44026 with flag 5721000/5721000
770.89/770.00	c cleaning 22000 clauses out of 44026 with flag 5743000/5743000
774.19/773.25	c cleaning 22001 clauses out of 44026 with flag 5765000/5765000
777.39/776.40	c cleaning 21995 clauses out of 44025 with flag 5787000/5787000
780.49/779.56	c cleaning 22007 clauses out of 44031 with flag 5809001/5809001
783.69/782.76	c cleaning 22000 clauses out of 44023 with flag 5831000/5831000
786.89/785.99	c cleaning 21995 clauses out of 44024 with flag 5853001/5853001
789.90/788.94	c cleaning 22011 clauses out of 44029 with flag 5875001/5875001
792.81/791.82	c cleaning 21995 clauses out of 44018 with flag 5897001/5897001
795.61/794.69	c cleaning 22003 clauses out of 44022 with flag 5919000/5919000
798.61/797.61	c cleaning 21998 clauses out of 44020 with flag 5941001/5941001
801.51/800.55	c cleaning 22002 clauses out of 44021 with flag 5963000/5963000
804.61/803.64	c cleaning 21995 clauses out of 44019 with flag 5985000/5985000
807.81/806.81	c cleaning 21991 clauses out of 44024 with flag 6007000/6007000
810.81/809.86	c cleaning 22005 clauses out of 44033 with flag 6029000/6029000
813.82/812.88	c cleaning 22001 clauses out of 44028 with flag 6051000/6051000
817.12/816.10	c cleaning 21997 clauses out of 44027 with flag 6073000/6073000
820.02/819.02	c cleaning 21993 clauses out of 44030 with flag 6095000/6095000
823.12/822.16	c cleaning 22001 clauses out of 44037 with flag 6117000/6117000
826.02/825.04	c cleaning 22007 clauses out of 44037 with flag 6139001/6139001
829.02/828.06	c cleaning 22003 clauses out of 44030 with flag 6161001/6161001
832.22/831.20	c cleaning 21997 clauses out of 44027 with flag 6183001/6183001
835.12/834.18	c cleaning 21994 clauses out of 44029 with flag 6205000/6205000
838.13/837.14	c cleaning 22016 clauses out of 44036 with flag 6227001/6227001
841.22/840.23	c cleaning 21996 clauses out of 44019 with flag 6249000/6249000
844.22/843.22	c cleaning 21999 clauses out of 44023 with flag 6271000/6271000
847.33/846.39	c cleaning 22009 clauses out of 44025 with flag 6293001/6293001
850.33/849.37	c cleaning 21995 clauses out of 44015 with flag 6315000/6315000
853.63/852.65	c cleaning 21992 clauses out of 44020 with flag 6337000/6337000
856.53/855.57	c cleaning 22001 clauses out of 44029 with flag 6359001/6359001
859.53/858.53	c cleaning 21996 clauses out of 44027 with flag 6381000/6381000
862.44/861.49	c cleaning 21996 clauses out of 44031 with flag 6403000/6403000
865.54/864.57	c cleaning 21996 clauses out of 44036 with flag 6425001/6425001
868.53/867.54	c cleaning 22013 clauses out of 44040 with flag 6447001/6447001
871.33/870.39	c cleaning 22005 clauses out of 44028 with flag 6469002/6469002
874.23/873.21	c cleaning 21997 clauses out of 44022 with flag 6491001/6491001
877.03/876.06	c cleaning 22004 clauses out of 44025 with flag 6513001/6513001
879.84/878.85	c cleaning 21998 clauses out of 44021 with flag 6535001/6535001
882.74/881.75	c cleaning 21998 clauses out of 44022 with flag 6557000/6557000
885.74/884.71	c cleaning 22003 clauses out of 44025 with flag 6579001/6579001
888.94/887.92	c cleaning 22006 clauses out of 44022 with flag 6601001/6601001
892.15/891.17	c cleaning 21998 clauses out of 44015 with flag 6623000/6623000
895.36/894.32	c cleaning 21995 clauses out of 44019 with flag 6645002/6645002
898.45/897.49	c cleaning 22001 clauses out of 44022 with flag 6667000/6667000
901.55/900.59	c cleaning 21995 clauses out of 44021 with flag 6689000/6689000
904.76/903.76	c cleaning 22000 clauses out of 44026 with flag 6711000/6711000
907.86/906.89	c cleaning 22002 clauses out of 44026 with flag 6733000/6733000
910.96/909.99	c cleaning 22002 clauses out of 44024 with flag 6755000/6755000
914.26/913.26	c cleaning 22005 clauses out of 44023 with flag 6777001/6777001
917.26/916.22	c cleaning 21994 clauses out of 44017 with flag 6799000/6799000
920.26/919.28	c cleaning 22004 clauses out of 44023 with flag 6821000/6821000
923.46/922.46	c cleaning 21997 clauses out of 44019 with flag 6843000/6843000
926.56/925.59	c cleaning 22003 clauses out of 44023 with flag 6865001/6865001
929.86/928.81	c cleaning 21999 clauses out of 44019 with flag 6887000/6887000
932.77/931.72	c cleaning 21990 clauses out of 44020 with flag 6909000/6909000
935.97/934.99	c cleaning 22005 clauses out of 44030 with flag 6931000/6931000
939.07/938.01	c cleaning 21997 clauses out of 44025 with flag 6953000/6953000
942.17/941.12	c cleaning 22000 clauses out of 44028 with flag 6975000/6975000
945.17/944.16	c cleaning 22005 clauses out of 44028 with flag 6997000/6997000
948.27/947.24	c cleaning 22003 clauses out of 44023 with flag 7019000/7019000
951.57/950.51	c cleaning 22009 clauses out of 44021 with flag 7041001/7041001
954.68/953.68	c cleaning 21999 clauses out of 44013 with flag 7063002/7063002
957.88/956.81	c cleaning 22000 clauses out of 44013 with flag 7085001/7085001
960.98/959.98	c cleaning 21998 clauses out of 44012 with flag 7107000/7107000
963.88/962.87	c cleaning 21996 clauses out of 44015 with flag 7129001/7129001
966.68/965.68	c cleaning 22002 clauses out of 44018 with flag 7151000/7151000
969.68/968.61	c cleaning 21994 clauses out of 44017 with flag 7173001/7173001
972.68/971.63	c cleaning 21996 clauses out of 44022 with flag 7195000/7195000
975.59/974.57	c cleaning 22001 clauses out of 44027 with flag 7217001/7217001
978.38/977.36	c cleaning 21997 clauses out of 44027 with flag 7239002/7239002
981.38/980.30	c cleaning 22006 clauses out of 44028 with flag 7261000/7261000
984.29/983.28	c cleaning 21999 clauses out of 44022 with flag 7283000/7283000
987.39/986.35	c cleaning 21998 clauses out of 44023 with flag 7305000/7305000
990.39/989.37	c cleaning 21995 clauses out of 44025 with flag 7327000/7327000
993.59/992.55	c cleaning 22008 clauses out of 44031 with flag 7349001/7349001
996.60/995.58	c cleaning 21988 clauses out of 44022 with flag 7371000/7371000
999.59/998.53	c cleaning 22015 clauses out of 44035 with flag 7393001/7393001
1002.59/1001.54	c cleaning 21997 clauses out of 44019 with flag 7415000/7415000
1005.50/1004.41	c cleaning 21992 clauses out of 44022 with flag 7437000/7437000
1008.49/1007.45	c cleaning 22001 clauses out of 44030 with flag 7459000/7459000
1011.59/1010.55	c cleaning 21996 clauses out of 44030 with flag 7481001/7481001
1014.89/1013.88	c cleaning 22002 clauses out of 44033 with flag 7503000/7503000
1018.10/1017.05	c cleaning 22001 clauses out of 44031 with flag 7525000/7525000
1021.20/1020.19	c cleaning 22006 clauses out of 44030 with flag 7547000/7547000
1024.50/1023.43	c cleaning 22007 clauses out of 44027 with flag 7569003/7569003
1027.80/1026.74	c cleaning 22005 clauses out of 44017 with flag 7591000/7591000
1030.90/1029.85	c cleaning 21992 clauses out of 44012 with flag 7613000/7613000
1034.10/1033.00	c cleaning 21995 clauses out of 44021 with flag 7635001/7635001
1037.21/1036.14	c cleaning 22003 clauses out of 44025 with flag 7657000/7657000
1040.31/1039.24	c cleaning 21996 clauses out of 44022 with flag 7679000/7679000
1043.31/1042.26	c cleaning 21999 clauses out of 44026 with flag 7701000/7701000
1046.41/1045.32	c cleaning 21998 clauses out of 44028 with flag 7723001/7723001
1049.51/1048.49	c cleaning 21998 clauses out of 44029 with flag 7745000/7745000
1052.61/1051.51	c cleaning 21999 clauses out of 44031 with flag 7767000/7767000
1055.71/1054.65	c cleaning 22002 clauses out of 44032 with flag 7789000/7789000
1058.71/1057.69	c cleaning 22001 clauses out of 44030 with flag 7811000/7811000
1061.72/1060.67	c cleaning 22006 clauses out of 44029 with flag 7833000/7833000
1064.52/1063.46	c cleaning 22003 clauses out of 44023 with flag 7855000/7855000
1067.42/1066.33	c cleaning 22001 clauses out of 44021 with flag 7877001/7877001
1070.22/1069.13	c cleaning 21998 clauses out of 44019 with flag 7899000/7899000
1073.12/1072.02	c cleaning 21990 clauses out of 44021 with flag 7921000/7921000
1076.02/1074.95	c cleaning 22002 clauses out of 44031 with flag 7943000/7943000
1079.03/1077.95	c cleaning 21998 clauses out of 44029 with flag 7965000/7965000
1081.92/1080.87	c cleaning 22008 clauses out of 44031 with flag 7987000/7987000
1084.82/1083.75	c cleaning 22002 clauses out of 44024 with flag 8009001/8009001
1087.83/1086.73	c cleaning 21992 clauses out of 44022 with flag 8031001/8031001
1090.83/1089.76	c cleaning 22004 clauses out of 44029 with flag 8053000/8053000
1093.73/1092.68	c cleaning 21986 clauses out of 44025 with flag 8075000/8075000
1096.83/1095.73	c cleaning 22006 clauses out of 44039 with flag 8097000/8097000
1099.93/1098.89	c cleaning 22006 clauses out of 44034 with flag 8119001/8119001
1102.93/1101.89	c cleaning 22001 clauses out of 44028 with flag 8141001/8141001
1105.93/1104.86	c cleaning 21997 clauses out of 44026 with flag 8163000/8163000
1109.03/1107.95	c cleaning 21991 clauses out of 44029 with flag 8185000/8185000
1112.14/1111.06	c cleaning 22004 clauses out of 44038 with flag 8207000/8207000
1115.23/1114.19	c cleaning 22000 clauses out of 44034 with flag 8229000/8229000
1118.53/1117.44	c cleaning 22000 clauses out of 44034 with flag 8251000/8251000
1121.53/1120.40	c cleaning 22005 clauses out of 44034 with flag 8273000/8273000
1124.54/1123.43	c cleaning 21999 clauses out of 44029 with flag 8295000/8295000
1127.54/1126.49	c cleaning 21998 clauses out of 44030 with flag 8317000/8317000
1130.64/1129.57	c cleaning 22007 clauses out of 44033 with flag 8339001/8339001
1133.74/1132.63	c cleaning 22004 clauses out of 44025 with flag 8361000/8361000
1136.94/1135.87	c cleaning 21998 clauses out of 44021 with flag 8383000/8383000
1140.24/1139.16	c cleaning 22005 clauses out of 44025 with flag 8405002/8405002
1143.34/1142.22	c cleaning 21992 clauses out of 44018 with flag 8427000/8427000
1146.34/1145.26	c cleaning 21994 clauses out of 44026 with flag 8449000/8449000
1149.35/1148.29	c cleaning 21999 clauses out of 44032 with flag 8471000/8471000
1152.55/1151.46	c cleaning 22005 clauses out of 44033 with flag 8493000/8493000
1155.65/1154.51	c cleaning 21996 clauses out of 44028 with flag 8515000/8515000
1158.75/1157.61	c cleaning 22004 clauses out of 44033 with flag 8537001/8537001
1161.66/1160.57	c cleaning 22008 clauses out of 44028 with flag 8559000/8559000
1164.75/1163.60	c cleaning 21996 clauses out of 44020 with flag 8581000/8581000
1167.65/1166.59	c cleaning 21993 clauses out of 44024 with flag 8603000/8603000
1170.56/1169.48	c cleaning 22007 clauses out of 44031 with flag 8625000/8625000
1173.36/1172.26	c cleaning 21999 clauses out of 44024 with flag 8647000/8647000
1176.26/1175.14	c cleaning 22006 clauses out of 44025 with flag 8669000/8669000
1179.06/1177.99	c cleaning 21990 clauses out of 44019 with flag 8691000/8691000
1181.96/1180.89	c cleaning 22008 clauses out of 44029 with flag 8713000/8713000
1185.26/1184.11	c cleaning 22005 clauses out of 44021 with flag 8735000/8735000
1188.16/1187.00	c cleaning 21996 clauses out of 44018 with flag 8757002/8757002
1191.16/1190.09	c cleaning 22003 clauses out of 44020 with flag 8779000/8779000
1194.36/1193.26	c cleaning 21998 clauses out of 44017 with flag 8801000/8801000
1197.37/1196.20	c cleaning 21993 clauses out of 44021 with flag 8823002/8823002
1200.27/1199.17	c cleaning 21989 clauses out of 44026 with flag 8845000/8845000
1203.18/1202.05	c cleaning 22007 clauses out of 44037 with flag 8867000/8867000
1206.28/1205.13	c cleaning 22004 clauses out of 44030 with flag 8889000/8889000
1209.58/1208.48	c cleaning 22009 clauses out of 44026 with flag 8911000/8911000
1212.88/1211.77	c cleaning 21993 clauses out of 44017 with flag 8933000/8933000
1215.78/1214.67	c cleaning 22003 clauses out of 44024 with flag 8955000/8955000
1218.79/1217.67	c cleaning 22005 clauses out of 44022 with flag 8977001/8977001
1221.88/1220.72	c cleaning 21994 clauses out of 44017 with flag 8999001/8999001
1224.88/1223.75	c cleaning 21996 clauses out of 44023 with flag 9021001/9021001
1227.98/1226.84	c cleaning 22005 clauses out of 44028 with flag 9043002/9043002
1230.89/1229.79	c cleaning 21998 clauses out of 44022 with flag 9065001/9065001
1234.29/1233.14	c cleaning 22011 clauses out of 44023 with flag 9087000/9087000
1237.29/1236.12	c cleaning 21995 clauses out of 44014 with flag 9109002/9109002
1240.29/1239.15	c cleaning 21993 clauses out of 44017 with flag 9131000/9131000
1243.29/1242.13	c cleaning 22001 clauses out of 44024 with flag 9153000/9153000
1246.49/1245.35	c cleaning 21994 clauses out of 44023 with flag 9175000/9175000
1249.70/1248.59	c cleaning 21997 clauses out of 44029 with flag 9197000/9197000
1252.69/1251.53	c cleaning 22006 clauses out of 44033 with flag 9219001/9219001
1255.59/1254.49	c cleaning 22000 clauses out of 44026 with flag 9241000/9241000
1258.59/1257.49	c cleaning 22008 clauses out of 44027 with flag 9263001/9263001
1261.59/1260.44	c cleaning 21996 clauses out of 44018 with flag 9285000/9285000
1264.60/1263.40	c cleaning 21992 clauses out of 44022 with flag 9307000/9307000
1267.50/1266.39	c cleaning 22003 clauses out of 44030 with flag 9329000/9329000
1270.70/1269.52	c cleaning 21995 clauses out of 44028 with flag 9351001/9351001
1273.80/1272.66	c cleaning 22004 clauses out of 44032 with flag 9373000/9373000
1276.90/1275.78	c cleaning 21995 clauses out of 44028 with flag 9395000/9395000
1279.90/1278.79	c cleaning 22005 clauses out of 44033 with flag 9417000/9417000
1283.10/1281.90	c cleaning 21995 clauses out of 44029 with flag 9439001/9439001
1286.10/1284.91	c cleaning 22004 clauses out of 44033 with flag 9461000/9461000
1289.10/1287.98	c cleaning 22010 clauses out of 44030 with flag 9483001/9483001
1292.01/1290.80	c cleaning 21999 clauses out of 44019 with flag 9505000/9505000
1294.71/1293.54	c cleaning 21997 clauses out of 44020 with flag 9527000/9527000
1297.51/1296.31	c cleaning 22000 clauses out of 44024 with flag 9549001/9549001
1300.41/1299.27	c cleaning 22008 clauses out of 44024 with flag 9571001/9571001
1301.22/1300.01	c starts		: 2605
1301.22/1300.01	c conflicts		: 9577252
1301.22/1300.01	c decisions		: 10152923
1301.22/1300.01	c propagations		: 328796274
1301.22/1300.01	c inspects		: 15687916167
1301.22/1300.01	c shortcuts		: 0
1301.22/1300.01	c learnt literals	: 0
1301.22/1300.01	c learnt binary clauses	: 0
1301.22/1300.01	c learnt ternary clauses	: 0
1301.22/1300.01	c learnt constraints	: 9577254
1301.22/1300.01	c ignored constraints	: 0
1301.22/1300.01	c root simplifications	: 2605
1301.22/1300.01	c removed literals (reason simplification)	: 230383095
1301.22/1300.01	c reason swapping (by a shorter reason)	: 0
1301.22/1300.01	c Calls to reduceDB	: 442
1301.22/1300.01	c speed (assignments/second)	: 252962.49912485393
1301.22/1300.01	c non guided choices	15
1301.22/1300.02	c learnt constraints type 
1301.22/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 28306
1301.22/1300.02	c constraints type 
1301.22/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21616
1301.22/1300.02	s UNKNOWN
1301.22/1300.02	c Total wall clock time (in seconds) : 1299.895

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 3.68 3.93 3.94 1/172 26629
/proc/meminfo: memFree=21382840/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=23028 CPUtime=0 cores=0,2
/proc/26629/stat : 26629 (java) R 26627 26629 26290 0 -1 4202496 950 0 0 0 0 0 0 0 24 0 1 0 466730264 23580672 692 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242965587432 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26629/statm: 5757 692 509 9 0 124 0

[startup+0.0929641 s]
/proc/loadavg: 3.68 3.93 3.94 1/172 26629
/proc/meminfo: memFree=21382840/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7569940 CPUtime=0.06 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 9436 0 1 0 5 1 0 0 24 0 18 0 466730264 7751618560 9131 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1892485 9131 1754 9 0 1883223 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7569940

[startup+0.108531 s]
/proc/loadavg: 3.68 3.93 3.94 1/172 26629
/proc/meminfo: memFree=21382840/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7569940 CPUtime=0.07 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 9583 0 1 0 6 1 0 0 24 0 18 0 466730264 7751618560 9278 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1892485 9278 1754 9 0 1883223 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7569940

[startup+0.300892 s]
/proc/loadavg: 3.68 3.93 3.94 1/172 26629
/proc/meminfo: memFree=21382840/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7641572 CPUtime=0.43 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 12647 0 1 0 41 2 0 0 24 0 19 0 466730264 7824969728 11851 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1910393 11851 2201 9 0 1901131 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 7641572

[startup+0.700848 s]
/proc/loadavg: 3.68 3.93 3.94 1/172 26629
/proc/meminfo: memFree=21382840/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7647944 CPUtime=1.09 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 15297 0 1 0 107 2 0 0 24 0 19 0 466730264 7831494656 13724 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1911986 13724 2223 9 0 1902724 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 7647944

[startup+1.50069 s]
/proc/loadavg: 3.68 3.93 3.94 9/259 26731
/proc/meminfo: memFree=21194548/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7662972 CPUtime=2.17 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 22517 0 1 0 214 3 0 0 24 0 19 0 466730264 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1915743 19009 2254 9 0 1906481 0
[pid=26629/tid=26632] ppid=26627 vsize=7662972 CPUtime=1.41 cores=0,2
/proc/26629/task/26632/stat : 26632 (java) R 26627 26629 26290 0 -1 4202560 9678 0 1 0 140 1 0 0 19 0 19 0 466730265 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 46912505601216 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 26290 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 19 0 466730267 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730267 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730267 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730267 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730267 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730267 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730267 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730267 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=7662972 CPUtime=0.01 cores=0,2
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 26290 0 -1 4202560 747 0 0 0 1 0 0 0 19 0 19 0 466730268 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 0 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730268 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730268 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26661] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26661/stat : 26661 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466730271 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982373809 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26662] ppid=26627 vsize=7662972 CPUtime=0.45 cores=0,2
/proc/26629/task/26662/stat : 26662 (java) S 26627 26629 26290 0 -1 4202560 6621 0 0 0 44 1 0 0 16 0 19 0 466730271 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26665] ppid=26627 vsize=7662972 CPUtime=0.26 cores=0,2
/proc/26629/task/26665/stat : 26665 (java) S 26627 26629 26290 0 -1 4202560 3574 0 0 0 26 0 0 0 15 0 19 0 466730271 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26666] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26666/stat : 26666 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466730271 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26667] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26667/stat : 26667 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730271 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26697] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26697/stat : 26697 (java) S 26627 26629 26290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 466730288 7846883328 19009 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 7662972

[startup+3.10143 s]
/proc/loadavg: 3.68 3.93 3.94 5/260 26732
/proc/meminfo: memFree=21130964/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7662972 CPUtime=3.79 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 23202 0 1 0 376 3 0 0 24 0 19 0 466730264 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1915743 19690 2254 9 0 1906481 0
[pid=26629/tid=26632] ppid=26627 vsize=7662972 CPUtime=2.95 cores=0,2
/proc/26629/task/26632/stat : 26632 (java) R 26627 26629 26290 0 -1 4202560 9682 0 1 0 294 1 0 0 22 0 19 0 466730265 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 46912505601221 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=7662972 CPUtime=0.01 cores=0,2
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 26290 0 -1 4202560 792 0 0 0 1 0 0 0 15 0 19 0 466730267 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730267 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730267 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730267 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 26290 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466730267 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 26290 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 466730267 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 26290 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 466730267 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 26290 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 19 0 466730267 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=7662972 CPUtime=0.06 cores=0,2
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 26290 0 -1 4202560 1029 0 0 0 6 0 0 0 16 0 19 0 466730268 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 0 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730268 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730268 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26661] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26661/stat : 26661 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466730271 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982373809 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26662] ppid=26627 vsize=7662972 CPUtime=0.47 cores=0,2
/proc/26629/task/26662/stat : 26662 (java) S 26627 26629 26290 0 -1 4202560 6625 0 0 0 46 1 0 0 15 0 19 0 466730271 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26665] ppid=26627 vsize=7662972 CPUtime=0.26 cores=0,2
/proc/26629/task/26665/stat : 26665 (java) S 26627 26629 26290 0 -1 4202560 3574 0 0 0 26 0 0 0 15 0 19 0 466730271 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26666] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26666/stat : 26666 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466730271 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26667] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26667/stat : 26667 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730271 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26697] ppid=26627 vsize=7662972 CPUtime=0 cores=0,2
/proc/26629/task/26697/stat : 26697 (java) S 26627 26629 26290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 466730288 7846883328 19690 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 7662972

[startup+6.30093 s]
/proc/loadavg: 3.70 3.93 3.94 5/260 26732
/proc/meminfo: memFree=21122580/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7657348 CPUtime=6.98 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 23499 0 1 0 695 3 0 0 24 0 19 0 466730264 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1914337 18715 2254 9 0 1905075 0
[pid=26629/tid=26632] ppid=26627 vsize=7657348 CPUtime=6.08 cores=0,2
/proc/26629/task/26632/stat : 26632 (java) R 26627 26629 26290 0 -1 4202560 9686 0 1 0 607 1 0 0 25 0 19 0 466730265 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 46912505594551 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=7657348 CPUtime=0.01 cores=0,2
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 26290 0 -1 4202560 792 0 0 0 1 0 0 0 15 0 19 0 466730267 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730267 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730267 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730267 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 26290 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466730267 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 26290 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 19 0 466730267 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 26290 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 466730267 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 26290 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 19 0 466730267 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=7657348 CPUtime=0.11 cores=0,2
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 26290 0 -1 4202560 1322 0 0 0 11 0 0 0 15 0 19 0 466730268 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 0 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26661] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26661/stat : 26661 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466730271 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982373809 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26662] ppid=26627 vsize=7657348 CPUtime=0.47 cores=0,2
/proc/26629/task/26662/stat : 26662 (java) S 26627 26629 26290 0 -1 4202560 6625 0 0 0 46 1 0 0 15 0 19 0 466730271 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26665] ppid=26627 vsize=7657348 CPUtime=0.26 cores=0,2
/proc/26629/task/26665/stat : 26665 (java) S 26627 26629 26290 0 -1 4202560 3574 0 0 0 26 0 0 0 15 0 19 0 466730271 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26666] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26666/stat : 26666 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466730271 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26667] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26667/stat : 26667 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730271 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26697] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26697/stat : 26697 (java) S 26627 26629 26290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 466730288 7841124352 18715 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 7657348

[startup+12.7008 s]

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

[pid=26629/tid=26641] ppid=26627 vsize=7657348 CPUtime=0.15 cores=0,2
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 26290 0 -1 4202560 57 0 0 0 15 0 0 0 15 0 19 0 466730267 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=7657348 CPUtime=0.19 cores=0,2
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 26290 0 -1 4202560 276 0 0 0 19 0 0 0 15 0 19 0 466730267 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=7657348 CPUtime=0.13 cores=0,2
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 26290 0 -1 4202560 307 0 0 0 13 0 0 0 15 0 19 0 466730267 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=7657348 CPUtime=9.48 cores=0,2
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 26290 0 -1 4202560 2801 0 0 0 947 1 0 0 15 0 19 0 466730268 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 0 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26661] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26661/stat : 26661 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466730271 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982373809 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26662] ppid=26627 vsize=7657348 CPUtime=0.5 cores=0,2
/proc/26629/task/26662/stat : 26662 (java) S 26627 26629 26290 0 -1 4202560 6631 0 0 0 49 1 0 0 15 0 19 0 466730271 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26665] ppid=26627 vsize=7657348 CPUtime=0.26 cores=0,2
/proc/26629/task/26665/stat : 26665 (java) S 26627 26629 26290 0 -1 4202560 3574 0 0 0 26 0 0 0 15 0 19 0 466730271 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26666] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26666/stat : 26666 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466730271 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26667] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26667/stat : 26667 (java) S 26627 26629 26290 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 466730271 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26697] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26697/stat : 26697 (java) S 26627 26629 26290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 466730288 7841124352 20505 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1123.44
Current children cumulated vsize (KiB) 7657348

[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.98 5/260 26810
/proc/meminfo: memFree=21045664/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7657348 CPUtime=1183.46 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 25854 0 1 0 118338 8 0 0 24 0 19 0 466730264 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1914337 20536 2255 9 0 1905075 0
[pid=26629/tid=26632] ppid=26627 vsize=7657348 CPUtime=1171.26 cores=0,2
/proc/26629/task/26632/stat : 26632 (java) R 26627 26629 26290 0 -1 4202560 10081 0 1 0 117123 3 0 0 25 0 19 0 466730265 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 46912505601124 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=7657348 CPUtime=0.18 cores=0,2
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 26290 0 -1 4202560 804 0 0 0 18 0 0 0 16 0 19 0 466730267 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=7657348 CPUtime=0.17 cores=0,2
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 26290 0 -1 4202560 15 0 0 0 17 0 0 0 15 0 19 0 466730267 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=7657348 CPUtime=0.16 cores=0,2
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 26290 0 -1 4202560 19 0 0 0 16 0 0 0 15 0 19 0 466730267 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=7657348 CPUtime=0.18 cores=0,2
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 26290 0 -1 4202560 21 0 0 0 18 0 0 0 15 0 19 0 466730267 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=7657348 CPUtime=0.17 cores=0,2
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 26290 0 -1 4202560 26 0 0 0 17 0 0 0 15 0 19 0 466730267 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=7657348 CPUtime=0.15 cores=0,2
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 26290 0 -1 4202560 57 0 0 0 15 0 0 0 15 0 19 0 466730267 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=7657348 CPUtime=0.2 cores=0,2
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 26290 0 -1 4202560 277 0 0 0 20 0 0 0 16 0 19 0 466730267 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=7657348 CPUtime=0.14 cores=0,2
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 26290 0 -1 4202560 307 0 0 0 14 0 0 0 15 0 19 0 466730267 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=7657348 CPUtime=9.99 cores=0,2
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 26290 0 -1 4202560 2823 0 0 0 998 1 0 0 15 0 19 0 466730268 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 0 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26661] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26661/stat : 26661 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466730271 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982373809 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26662] ppid=26627 vsize=7657348 CPUtime=0.5 cores=0,2
/proc/26629/task/26662/stat : 26662 (java) S 26627 26629 26290 0 -1 4202560 6631 0 0 0 49 1 0 0 15 0 19 0 466730271 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26665] ppid=26627 vsize=7657348 CPUtime=0.26 cores=0,2
/proc/26629/task/26665/stat : 26665 (java) S 26627 26629 26290 0 -1 4202560 3574 0 0 0 26 0 0 0 15 0 19 0 466730271 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26666] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26666/stat : 26666 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466730271 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26667] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26667/stat : 26667 (java) S 26627 26629 26290 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 466730271 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26697] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26697/stat : 26697 (java) S 26627 26629 26290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 466730288 7841124352 20536 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.46
Current children cumulated vsize (KiB) 7657348

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/260 26811
/proc/meminfo: memFree=21044140/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7657348 CPUtime=1243.49 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 25916 0 1 0 124340 9 0 0 24 0 19 0 466730264 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1914337 20570 2255 9 0 1905075 0
[pid=26629/tid=26632] ppid=26627 vsize=7657348 CPUtime=1230.69 cores=0,2
/proc/26629/task/26632/stat : 26632 (java) R 26627 26629 26290 0 -1 4202560 10101 0 1 0 123066 3 0 0 25 0 19 0 466730265 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 46912505670889 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=7657348 CPUtime=0.2 cores=0,2
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 26290 0 -1 4202560 804 0 0 0 20 0 0 0 15 0 19 0 466730267 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=7657348 CPUtime=0.17 cores=0,2
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 26290 0 -1 4202560 15 0 0 0 17 0 0 0 15 0 19 0 466730267 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=7657348 CPUtime=0.17 cores=0,2
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 26290 0 -1 4202560 19 0 0 0 17 0 0 0 15 0 19 0 466730267 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=7657348 CPUtime=0.19 cores=0,2
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 26290 0 -1 4202560 21 0 0 0 19 0 0 0 15 0 19 0 466730267 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=7657348 CPUtime=0.17 cores=0,2
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 26290 0 -1 4202560 26 0 0 0 17 0 0 0 15 0 19 0 466730267 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=7657348 CPUtime=0.16 cores=0,2
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 26290 0 -1 4202560 57 0 0 0 16 0 0 0 15 0 19 0 466730267 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=7657348 CPUtime=0.21 cores=0,2
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 26290 0 -1 4202560 284 0 0 0 21 0 0 0 15 0 19 0 466730267 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=7657348 CPUtime=0.15 cores=0,2
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 26290 0 -1 4202560 307 0 0 0 15 0 0 0 15 0 19 0 466730267 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=7657348 CPUtime=10.51 cores=0,2
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 26290 0 -1 4202560 2855 0 0 0 1049 2 0 0 16 0 19 0 466730268 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 0 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26661] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26661/stat : 26661 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466730271 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982373809 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26662] ppid=26627 vsize=7657348 CPUtime=0.5 cores=0,2
/proc/26629/task/26662/stat : 26662 (java) S 26627 26629 26290 0 -1 4202560 6631 0 0 0 49 1 0 0 15 0 19 0 466730271 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26665] ppid=26627 vsize=7657348 CPUtime=0.26 cores=0,2
/proc/26629/task/26665/stat : 26665 (java) S 26627 26629 26290 0 -1 4202560 3574 0 0 0 26 0 0 0 15 0 19 0 466730271 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26666] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26666/stat : 26666 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466730271 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26667] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26667/stat : 26667 (java) S 26627 26629 26290 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 466730271 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26697] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26697/stat : 26697 (java) S 26627 26629 26290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 466730288 7841124352 20570 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.49
Current children cumulated vsize (KiB) 7657348



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.98 5/260 26813
/proc/meminfo: memFree=21043484/32951132 swapFree=67111524/67111528
[pid=26629] ppid=26627 vsize=7657348 CPUtime=1301.22 cores=0,2
/proc/26629/stat : 26629 (java) S 26627 26629 26290 0 -1 4202496 25944 0 1 0 130113 9 0 0 24 0 19 0 466730264 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26629/statm: 1914337 20571 2255 9 0 1905075 0
[pid=26629/tid=26632] ppid=26627 vsize=7657348 CPUtime=1287.87 cores=0,2
/proc/26629/task/26632/stat : 26632 (java) R 26627 26629 26290 0 -1 4202560 10120 0 1 0 128784 3 0 0 25 0 19 0 466730265 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 46912505594491 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=7657348 CPUtime=0.21 cores=0,2
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 26290 0 -1 4202560 804 0 0 0 21 0 0 0 15 0 19 0 466730267 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=7657348 CPUtime=0.18 cores=0,2
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 26290 0 -1 4202560 15 0 0 0 18 0 0 0 15 0 19 0 466730267 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=7657348 CPUtime=0.18 cores=0,2
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 26290 0 -1 4202560 19 0 0 0 18 0 0 0 15 0 19 0 466730267 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=7657348 CPUtime=0.2 cores=0,2
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 26290 0 -1 4202560 22 0 0 0 20 0 0 0 15 0 19 0 466730267 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=7657348 CPUtime=0.18 cores=0,2
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 26290 0 -1 4202560 26 0 0 0 18 0 0 0 15 0 19 0 466730267 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=7657348 CPUtime=0.17 cores=0,2
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 26290 0 -1 4202560 57 0 0 0 17 0 0 0 16 0 19 0 466730267 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=7657348 CPUtime=0.21 cores=0,2
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 26290 0 -1 4202560 284 0 0 0 21 0 0 0 15 0 19 0 466730267 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=7657348 CPUtime=0.16 cores=0,2
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 26290 0 -1 4202560 307 0 0 0 16 0 0 0 15 0 19 0 466730267 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=7657348 CPUtime=11 cores=0,2
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 26290 0 -1 4202560 2859 0 0 0 1098 2 0 0 16 0 19 0 466730268 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 0 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730268 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26661] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26661/stat : 26661 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466730271 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982373809 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26662] ppid=26627 vsize=7657348 CPUtime=0.5 cores=0,2
/proc/26629/task/26662/stat : 26662 (java) S 26627 26629 26290 0 -1 4202560 6631 0 0 0 49 1 0 0 15 0 19 0 466730271 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26665] ppid=26627 vsize=7657348 CPUtime=0.26 cores=0,2
/proc/26629/task/26665/stat : 26665 (java) S 26627 26629 26290 0 -1 4202560 3574 0 0 0 26 0 0 0 15 0 19 0 466730271 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 0 0 0 0
[pid=26629/tid=26666] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26666/stat : 26666 (java) S 26627 26629 26290 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466730271 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366105 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26667] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26667/stat : 26667 (java) S 26627 26629 26290 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 466730271 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
[pid=26629/tid=26697] ppid=26627 vsize=7657348 CPUtime=0 cores=0,2
/proc/26629/task/26697/stat : 26697 (java) S 26627 26629 26290 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 466730288 7841124352 20571 33554432000 1073741824 1073778376 140737056719584 18446744073709551615 242982366720 0 4 0 16800975 18446604452074246592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.22
Current children cumulated vsize (KiB) 7657348

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.27
CPU user time (s): 1301.16
CPU system time (s): 0.104984
CPU usage (%): 100.095
Max. virtual memory (cumulated for all children) (KiB): 7662972

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

runsolver used 2.25866 second user time and 4.89126 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-23 11:35:16
IDJOB=3250554
IDBENCH=83320
IDSOLVER=1611
FILE ID=node128/3250554-1303551316
RUNJOBID= node128-1303551316-26617
PBS_JOBID= 13143154
Free space on /tmp= 66836 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-17_279.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-3250554-1303551316/watcher-3250554-1303551316 -o /tmp/evaluation-result-3250554-1303551316/solver-3250554-1303551316 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3250554-1303551316.cnf

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

MD5SUM BENCH= d2562f4e152a54a992ab300a2bacfba9
RANDOM SEED=251172290

node128.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.852
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.70
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.852
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.852
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.82
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.852
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.75
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.852
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.82
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.852
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.75
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      21382872 kB
Buffers:       1314788 kB
Cached:        9550884 kB
SwapCached:          4 kB
Active:        1920844 kB
Inactive:      9009616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      21382872 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             424 kB
Writeback:           0 kB
AnonPages:       64908 kB
Mapped:          14780 kB
Slab:           574000 kB
PageTables:       5184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   194484 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66832 MiB
End job on node128 at 2011-04-23 11:56:58