Trace number 3250642

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.48 1300.04

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
MD5SUM1144bbd60c180aa5e72d35b74e9676cb
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 variables312
Number of clauses26889
Sum of the clauses size121302
Maximum clause length18
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 324180
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52709

Solver Data 

0.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.07	c See www.sat4j.org for details.
0.04/0.08	c no version file found!!!
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.18-164.el5
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		6997539544
0.04/0.08	c Max memory 		7034241024
0.04/0.08	c Total memory 		7034241024
0.04/0.08	c Number of processors 	8
0.04/0.09	c --- Begin Solver configuration ---
0.04/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.04/0.09	c Learn all clauses as in MiniSAT
0.04/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.09	c Expensive reason simplification
0.04/0.09	c Armin Biere (Picosat) restarts strategy
0.04/0.09	c Glucose learned constraints deletion strategy
0.04/0.09	c timeout=2147483647s
0.04/0.09	c DB Simplification allowed=true
0.04/0.09	c --- End Solver configuration ---
0.04/0.09	c solving HOME/instance-3250642-1303551317.cnf
0.04/0.09	c reading problem ... 
0.09/0.31	c ... done. Wall clock time 0.182s.
0.09/0.31	c #vars     312
0.09/0.31	c #constraints  26889
0.09/0.31	c constraints type 
0.09/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26889
1.33/0.99	c cleaning 2495 clauses out of 5000 with flag 5000/5000
2.14/1.59	c cleaning 4253 clauses out of 8506 with flag 11001/11001
2.84/2.25	c cleaning 5621 clauses out of 11252 with flag 18000/18000
3.64/3.03	c cleaning 6814 clauses out of 13632 with flag 26001/26001
4.55/3.93	c cleaning 7909 clauses out of 15818 with flag 35001/35001
5.56/4.94	c cleaning 8952 clauses out of 17909 with flag 45001/45001
6.66/6.06	c cleaning 9979 clauses out of 19957 with flag 56001/56001
7.96/7.33	c cleaning 10986 clauses out of 21977 with flag 68000/68000
9.36/8.70	c cleaning 11995 clauses out of 23991 with flag 81000/81000
10.87/10.22	c cleaning 12992 clauses out of 25996 with flag 95000/95000
12.57/11.90	c cleaning 14001 clauses out of 28004 with flag 110000/110000
14.27/13.67	c cleaning 14987 clauses out of 30003 with flag 126000/126000
16.17/15.59	c cleaning 16005 clauses out of 32016 with flag 143000/143000
18.27/17.62	c cleaning 16999 clauses out of 34011 with flag 161000/161000
20.47/19.83	c cleaning 18000 clauses out of 36012 with flag 180000/180000
22.88/22.22	c cleaning 19001 clauses out of 38012 with flag 200000/200000
25.37/24.77	c cleaning 19996 clauses out of 40012 with flag 221001/221001
28.17/27.53	c cleaning 21000 clauses out of 42015 with flag 243000/243000
30.98/30.35	c cleaning 22002 clauses out of 44015 with flag 266000/266000
33.98/33.39	c cleaning 22995 clauses out of 46013 with flag 290000/290000
37.39/36.71	c cleaning 24001 clauses out of 48019 with flag 315001/315001
40.89/40.22	c cleaning 25000 clauses out of 50017 with flag 341000/341000
44.50/43.82	c cleaning 26005 clauses out of 52018 with flag 368001/368001
47.90/47.24	c cleaning 26497 clauses out of 53012 with flag 395000/395000
51.51/50.83	c cleaning 26752 clauses out of 53515 with flag 422000/422000
55.20/54.56	c cleaning 26872 clauses out of 53763 with flag 449000/449000
58.70/58.08	c cleaning 26938 clauses out of 53891 with flag 476000/476000
62.51/61.83	c cleaning 26965 clauses out of 53953 with flag 503000/503000
66.11/65.41	c cleaning 26991 clauses out of 53988 with flag 530000/530000
69.81/69.15	c cleaning 26995 clauses out of 53997 with flag 557000/557000
73.52/72.84	c cleaning 26996 clauses out of 54002 with flag 584000/584000
77.02/76.37	c cleaning 26996 clauses out of 54006 with flag 611000/611000
80.62/79.90	c cleaning 26998 clauses out of 54010 with flag 638000/638000
83.93/83.27	c cleaning 27006 clauses out of 54013 with flag 665001/665001
87.63/86.99	c cleaning 26991 clauses out of 54008 with flag 692002/692002
91.23/90.55	c cleaning 26998 clauses out of 54016 with flag 719001/719001
94.83/94.19	c cleaning 27007 clauses out of 54018 with flag 746001/746001
98.53/97.87	c cleaning 26995 clauses out of 54010 with flag 773000/773000
102.33/101.60	c cleaning 27003 clauses out of 54015 with flag 800000/800000
106.03/105.37	c cleaning 27000 clauses out of 54012 with flag 827000/827000
109.74/109.03	c cleaning 27002 clauses out of 54012 with flag 854000/854000
113.23/112.50	c cleaning 26995 clauses out of 54010 with flag 881000/881000
116.74/116.07	c cleaning 26996 clauses out of 54015 with flag 908000/908000
120.34/119.67	c cleaning 27000 clauses out of 54019 with flag 935000/935000
123.74/123.04	c cleaning 27002 clauses out of 54019 with flag 962000/962000
127.35/126.60	c cleaning 27001 clauses out of 54018 with flag 989001/989001
131.04/130.36	c cleaning 26999 clauses out of 54016 with flag 1016000/1016000
134.54/133.83	c cleaning 26999 clauses out of 54017 with flag 1043000/1043000
138.04/137.38	c cleaning 27000 clauses out of 54020 with flag 1070002/1070002
141.75/141.02	c cleaning 27003 clauses out of 54018 with flag 1097000/1097000
145.54/144.80	c cleaning 27006 clauses out of 54015 with flag 1124000/1124000
148.94/148.20	c cleaning 27000 clauses out of 54009 with flag 1151000/1151000
152.34/151.67	c cleaning 26992 clauses out of 54009 with flag 1178000/1178000
155.75/155.01	c cleaning 26993 clauses out of 54017 with flag 1205000/1205000
159.45/158.79	c cleaning 27004 clauses out of 54024 with flag 1232000/1232000
162.95/162.28	c cleaning 27000 clauses out of 54020 with flag 1259000/1259000
166.55/165.80	c cleaning 26997 clauses out of 54020 with flag 1286000/1286000
170.05/169.36	c cleaning 27001 clauses out of 54023 with flag 1313000/1313000
173.75/173.05	c cleaning 26995 clauses out of 54022 with flag 1340000/1340000
177.55/176.83	c cleaning 27002 clauses out of 54028 with flag 1367001/1367001
180.96/180.23	c cleaning 27007 clauses out of 54025 with flag 1394000/1394000
184.46/183.70	c cleaning 27001 clauses out of 54020 with flag 1421002/1421002
187.87/187.16	c cleaning 26996 clauses out of 54017 with flag 1448000/1448000
191.36/190.65	c cleaning 26997 clauses out of 54021 with flag 1475000/1475000
195.27/194.53	c cleaning 27005 clauses out of 54024 with flag 1502000/1502000
198.77/198.07	c cleaning 27005 clauses out of 54019 with flag 1529000/1529000
202.28/201.53	c cleaning 26998 clauses out of 54017 with flag 1556003/1556003
205.87/205.12	c cleaning 26997 clauses out of 54016 with flag 1583000/1583000
209.17/208.49	c cleaning 27002 clauses out of 54020 with flag 1610001/1610001
212.87/212.10	c cleaning 26992 clauses out of 54017 with flag 1637000/1637000
216.68/215.91	c cleaning 27002 clauses out of 54025 with flag 1664000/1664000
220.08/219.35	c cleaning 27003 clauses out of 54023 with flag 1691000/1691000
223.68/222.94	c cleaning 26986 clauses out of 54020 with flag 1718000/1718000
227.30/226.57	c cleaning 27007 clauses out of 54036 with flag 1745002/1745002
231.01/230.22	c cleaning 27005 clauses out of 54027 with flag 1772000/1772000
234.71/233.96	c cleaning 27006 clauses out of 54022 with flag 1799000/1799000
238.51/237.74	c cleaning 26995 clauses out of 54017 with flag 1826001/1826001
242.11/241.33	c cleaning 26996 clauses out of 54021 with flag 1853000/1853000
245.70/244.90	c cleaning 27003 clauses out of 54026 with flag 1880001/1880001
249.20/248.49	c cleaning 27009 clauses out of 54022 with flag 1907000/1907000
252.91/252.17	c cleaning 26991 clauses out of 54013 with flag 1934000/1934000
256.60/255.84	c cleaning 27000 clauses out of 54022 with flag 1961000/1961000
260.20/259.41	c cleaning 26999 clauses out of 54022 with flag 1988000/1988000
264.00/263.29	c cleaning 27006 clauses out of 54026 with flag 2015003/2015003
267.71/266.90	c cleaning 26993 clauses out of 54018 with flag 2042001/2042001
271.41/270.66	c cleaning 27011 clauses out of 54025 with flag 2069001/2069001
275.11/274.35	c cleaning 26987 clauses out of 54013 with flag 2096000/2096000
278.61/277.81	c cleaning 26993 clauses out of 54026 with flag 2123000/2123000
282.32/281.51	c cleaning 26996 clauses out of 54033 with flag 2150000/2150000
285.82/285.08	c cleaning 27009 clauses out of 54038 with flag 2177001/2177001
289.62/288.89	c cleaning 27006 clauses out of 54028 with flag 2204000/2204000
293.53/292.74	c cleaning 27002 clauses out of 54022 with flag 2231000/2231000
297.12/296.36	c cleaning 27005 clauses out of 54020 with flag 2258000/2258000
300.63/299.89	c cleaning 26992 clauses out of 54015 with flag 2285000/2285000
304.33/303.50	c cleaning 26998 clauses out of 54023 with flag 2312000/2312000
307.83/307.09	c cleaning 27001 clauses out of 54026 with flag 2339001/2339001
311.53/310.71	c cleaning 26996 clauses out of 54024 with flag 2366000/2366000
315.13/314.35	c cleaning 27010 clauses out of 54028 with flag 2393000/2393000
318.84/318.10	c cleaning 27001 clauses out of 54019 with flag 2420001/2420001
322.64/321.87	c cleaning 26992 clauses out of 54018 with flag 2447001/2447001
326.24/325.45	c cleaning 27002 clauses out of 54025 with flag 2474000/2474000
329.75/328.98	c cleaning 27004 clauses out of 54023 with flag 2501000/2501000
333.25/332.47	c cleaning 27001 clauses out of 54020 with flag 2528001/2528001
337.05/336.22	c cleaning 27004 clauses out of 54018 with flag 2555000/2555000
340.85/340.04	c cleaning 26991 clauses out of 54014 with flag 2582000/2582000
344.75/343.93	c cleaning 27003 clauses out of 54023 with flag 2609000/2609000
348.56/347.80	c cleaning 26994 clauses out of 54020 with flag 2636000/2636000
352.55/351.79	c cleaning 26993 clauses out of 54026 with flag 2663000/2663000
356.56/355.77	c cleaning 27001 clauses out of 54034 with flag 2690001/2690001
360.36/359.57	c cleaning 27013 clauses out of 54032 with flag 2717000/2717000
363.96/363.16	c cleaning 27004 clauses out of 54019 with flag 2744000/2744000
367.76/366.91	c cleaning 26998 clauses out of 54015 with flag 2771000/2771000
371.36/370.51	c cleaning 27001 clauses out of 54017 with flag 2798000/2798000
375.07/374.28	c cleaning 26990 clauses out of 54016 with flag 2825000/2825000
378.96/378.12	c cleaning 27007 clauses out of 54028 with flag 2852002/2852002
382.77/381.94	c cleaning 26995 clauses out of 54020 with flag 2879001/2879001
386.56/385.71	c cleaning 27002 clauses out of 54024 with flag 2906000/2906000
390.37/389.54	c cleaning 27002 clauses out of 54025 with flag 2933003/2933003
394.38/393.52	c cleaning 26998 clauses out of 54020 with flag 2960000/2960000
398.08/397.27	c cleaning 27000 clauses out of 54025 with flag 2987003/2987003
401.68/400.82	c cleaning 27006 clauses out of 54024 with flag 3014002/3014002
405.28/404.48	c cleaning 26995 clauses out of 54016 with flag 3041000/3041000
409.08/408.22	c cleaning 27007 clauses out of 54023 with flag 3068002/3068002
412.98/412.11	c cleaning 26993 clauses out of 54014 with flag 3095000/3095000
416.79/415.92	c cleaning 26996 clauses out of 54021 with flag 3122000/3122000
420.69/419.86	c cleaning 27001 clauses out of 54025 with flag 3149000/3149000
424.50/423.65	c cleaning 26989 clauses out of 54024 with flag 3176000/3176000
428.30/427.42	c cleaning 27002 clauses out of 54036 with flag 3203001/3203001
432.20/431.39	c cleaning 27005 clauses out of 54034 with flag 3230001/3230001
436.00/435.11	c cleaning 26998 clauses out of 54030 with flag 3257002/3257002
439.91/439.01	c cleaning 26999 clauses out of 54030 with flag 3284000/3284000
443.40/442.52	c cleaning 27000 clauses out of 54031 with flag 3311000/3311000
446.91/446.03	c cleaning 27000 clauses out of 54032 with flag 3338001/3338001
450.51/449.61	c cleaning 27004 clauses out of 54032 with flag 3365001/3365001
454.01/453.13	c cleaning 27008 clauses out of 54027 with flag 3392000/3392000
457.62/456.75	c cleaning 26995 clauses out of 54019 with flag 3419000/3419000
461.11/460.24	c cleaning 26995 clauses out of 54024 with flag 3446000/3446000
464.92/464.08	c cleaning 26992 clauses out of 54029 with flag 3473000/3473000
468.82/467.90	c cleaning 27007 clauses out of 54037 with flag 3500000/3500000
472.62/471.73	c cleaning 27003 clauses out of 54030 with flag 3527000/3527000
476.52/475.67	c cleaning 26998 clauses out of 54028 with flag 3554001/3554001
480.32/479.47	c cleaning 27001 clauses out of 54029 with flag 3581000/3581000
484.22/483.34	c cleaning 27002 clauses out of 54028 with flag 3608000/3608000
487.93/487.02	c cleaning 27002 clauses out of 54027 with flag 3635001/3635001
491.23/490.39	c cleaning 27006 clauses out of 54025 with flag 3662001/3662001
494.94/494.05	c cleaning 26997 clauses out of 54018 with flag 3689000/3689000
498.64/497.76	c cleaning 26995 clauses out of 54021 with flag 3716000/3716000
502.45/501.56	c cleaning 27007 clauses out of 54028 with flag 3743002/3743002
506.15/505.23	c cleaning 27003 clauses out of 54020 with flag 3770001/3770001
509.75/508.85	c cleaning 26992 clauses out of 54016 with flag 3797000/3797000
513.55/512.64	c cleaning 27007 clauses out of 54025 with flag 3824001/3824001
517.45/516.51	c cleaning 27000 clauses out of 54018 with flag 3851001/3851001
521.15/520.28	c cleaning 26995 clauses out of 54017 with flag 3878000/3878000
525.06/524.13	c cleaning 27000 clauses out of 54023 with flag 3905001/3905001
528.56/527.66	c cleaning 26998 clauses out of 54022 with flag 3932000/3932000
532.06/531.20	c cleaning 26998 clauses out of 54025 with flag 3959001/3959001
535.86/534.97	c cleaning 26995 clauses out of 54026 with flag 3986000/3986000
539.46/538.50	c cleaning 27000 clauses out of 54031 with flag 4013000/4013000
543.06/542.11	c cleaning 27005 clauses out of 54031 with flag 4040000/4040000
546.67/545.76	c cleaning 27001 clauses out of 54026 with flag 4067000/4067000
550.36/549.49	c cleaning 26996 clauses out of 54025 with flag 4094000/4094000
554.16/553.21	c cleaning 27005 clauses out of 54030 with flag 4121001/4121001
557.97/557.08	c cleaning 27001 clauses out of 54024 with flag 4148000/4148000
561.68/560.71	c cleaning 27003 clauses out of 54024 with flag 4175001/4175001
565.38/564.40	c cleaning 26982 clauses out of 54020 with flag 4202000/4202000
569.08/568.12	c cleaning 27008 clauses out of 54038 with flag 4229000/4229000
572.88/571.98	c cleaning 27004 clauses out of 54030 with flag 4256000/4256000
576.88/575.95	c cleaning 26998 clauses out of 54027 with flag 4283001/4283001
580.79/579.83	c cleaning 27003 clauses out of 54028 with flag 4310000/4310000
584.49/583.53	c cleaning 26998 clauses out of 54026 with flag 4337001/4337001
588.09/587.19	c cleaning 27003 clauses out of 54027 with flag 4364000/4364000
591.99/591.09	c cleaning 27001 clauses out of 54024 with flag 4391000/4391000
595.60/594.61	c cleaning 27010 clauses out of 54023 with flag 4418000/4418000
599.20/598.27	c cleaning 27004 clauses out of 54014 with flag 4445001/4445001
602.81/601.89	c cleaning 26996 clauses out of 54009 with flag 4472000/4472000
606.50/605.60	c cleaning 26993 clauses out of 54013 with flag 4499000/4499000
610.21/609.24	c cleaning 27008 clauses out of 54020 with flag 4526000/4526000
614.11/613.13	c cleaning 26995 clauses out of 54013 with flag 4553001/4553001
617.81/616.89	c cleaning 26997 clauses out of 54017 with flag 4580000/4580000
621.41/620.46	c cleaning 27003 clauses out of 54021 with flag 4607001/4607001
625.21/624.28	c cleaning 26992 clauses out of 54017 with flag 4634000/4634000
629.32/628.37	c cleaning 27004 clauses out of 54025 with flag 4661000/4661000
633.32/632.39	c cleaning 26995 clauses out of 54021 with flag 4688000/4688000
637.23/636.24	c cleaning 27001 clauses out of 54028 with flag 4715002/4715002
641.23/640.27	c cleaning 27002 clauses out of 54025 with flag 4742000/4742000
645.33/644.35	c cleaning 27000 clauses out of 54023 with flag 4769000/4769000
649.33/648.34	c cleaning 26993 clauses out of 54023 with flag 4796000/4796000
653.23/652.28	c cleaning 27007 clauses out of 54030 with flag 4823000/4823000
656.94/655.90	c cleaning 27003 clauses out of 54023 with flag 4850000/4850000
660.44/659.40	c cleaning 26999 clauses out of 54021 with flag 4877001/4877001
663.94/662.92	c cleaning 26997 clauses out of 54021 with flag 4904000/4904000
667.54/666.57	c cleaning 26991 clauses out of 54024 with flag 4931000/4931000
671.35/670.38	c cleaning 27004 clauses out of 54034 with flag 4958001/4958001
675.05/674.04	c cleaning 27007 clauses out of 54029 with flag 4985000/4985000
678.65/677.67	c cleaning 26998 clauses out of 54022 with flag 5012000/5012000
682.55/681.52	c cleaning 26992 clauses out of 54024 with flag 5039000/5039000
686.15/685.19	c cleaning 26999 clauses out of 54032 with flag 5066000/5066000
689.76/688.74	c cleaning 27006 clauses out of 54033 with flag 5093000/5093000
693.66/692.61	c cleaning 27004 clauses out of 54027 with flag 5120000/5120000
697.36/696.38	c cleaning 26995 clauses out of 54023 with flag 5147000/5147000
701.16/700.20	c cleaning 27004 clauses out of 54029 with flag 5174001/5174001
705.36/704.32	c cleaning 26997 clauses out of 54025 with flag 5201001/5201001
709.46/708.46	c cleaning 27006 clauses out of 54027 with flag 5228000/5228000
713.46/712.42	c cleaning 27005 clauses out of 54021 with flag 5255000/5255000
717.27/716.28	c cleaning 27000 clauses out of 54016 with flag 5282000/5282000
721.50/720.47	c cleaning 26997 clauses out of 54016 with flag 5309000/5309000
725.31/724.24	c cleaning 26992 clauses out of 54019 with flag 5336000/5336000
728.91/727.89	c cleaning 27000 clauses out of 54027 with flag 5363000/5363000
732.61/731.53	c cleaning 27001 clauses out of 54027 with flag 5390000/5390000
736.11/735.06	c cleaning 27000 clauses out of 54027 with flag 5417001/5417001
739.81/738.77	c cleaning 27007 clauses out of 54026 with flag 5444000/5444000
743.61/742.58	c cleaning 27001 clauses out of 54019 with flag 5471000/5471000
747.32/746.21	c cleaning 26987 clauses out of 54018 with flag 5498000/5498000
751.01/749.98	c cleaning 27009 clauses out of 54032 with flag 5525001/5525001
754.71/753.61	c cleaning 27006 clauses out of 54022 with flag 5552000/5552000
758.32/757.22	c cleaning 26991 clauses out of 54016 with flag 5579000/5579000
762.02/760.92	c cleaning 26996 clauses out of 54025 with flag 5606000/5606000
765.82/764.70	c cleaning 27010 clauses out of 54030 with flag 5633001/5633001
769.62/768.53	c cleaning 26998 clauses out of 54020 with flag 5660001/5660001
773.64/772.52	c cleaning 26996 clauses out of 54022 with flag 5687001/5687001
777.53/776.50	c cleaning 27003 clauses out of 54025 with flag 5714000/5714000
781.24/780.20	c cleaning 26984 clauses out of 54023 with flag 5741001/5741001
785.14/784.08	c cleaning 27010 clauses out of 54038 with flag 5768000/5768000
788.94/787.88	c cleaning 26989 clauses out of 54031 with flag 5795003/5795003
792.64/791.53	c cleaning 27008 clauses out of 54040 with flag 5822001/5822001
796.54/795.49	c cleaning 27006 clauses out of 54031 with flag 5849000/5849000
800.24/799.11	c cleaning 27003 clauses out of 54026 with flag 5876001/5876001
803.64/802.56	c cleaning 26996 clauses out of 54022 with flag 5903000/5903000
807.14/806.08	c cleaning 27005 clauses out of 54028 with flag 5930002/5930002
810.76/809.65	c cleaning 26994 clauses out of 54021 with flag 5957000/5957000
814.46/813.34	c cleaning 27000 clauses out of 54027 with flag 5984000/5984000
818.26/817.13	c cleaning 27001 clauses out of 54027 with flag 6011000/6011000
821.86/820.75	c cleaning 26997 clauses out of 54026 with flag 6038000/6038000
825.47/824.38	c cleaning 27005 clauses out of 54029 with flag 6065000/6065000
829.16/828.04	c cleaning 27005 clauses out of 54024 with flag 6092000/6092000
832.86/831.80	c cleaning 26996 clauses out of 54019 with flag 6119000/6119000
836.87/835.78	c cleaning 26990 clauses out of 54023 with flag 6146000/6146000
840.77/839.60	c cleaning 27008 clauses out of 54033 with flag 6173000/6173000
844.87/843.74	c cleaning 26998 clauses out of 54026 with flag 6200001/6200001
848.87/847.74	c cleaning 26999 clauses out of 54027 with flag 6227000/6227000
852.88/851.73	c cleaning 27006 clauses out of 54029 with flag 6254001/6254001
856.58/855.44	c cleaning 27001 clauses out of 54024 with flag 6281002/6281002
860.18/859.07	c cleaning 26995 clauses out of 54022 with flag 6308001/6308001
864.18/863.02	c cleaning 27002 clauses out of 54026 with flag 6335000/6335000
867.78/866.65	c cleaning 27001 clauses out of 54025 with flag 6362001/6362001
871.59/870.46	c cleaning 27002 clauses out of 54023 with flag 6389000/6389000
875.28/874.19	c cleaning 27007 clauses out of 54022 with flag 6416001/6416001
879.19/878.05	c cleaning 26983 clauses out of 54014 with flag 6443000/6443000
882.79/881.69	c cleaning 27009 clauses out of 54031 with flag 6470000/6470000
886.39/885.29	c cleaning 26996 clauses out of 54023 with flag 6497001/6497001
890.09/888.91	c cleaning 27003 clauses out of 54026 with flag 6524000/6524000
893.70/892.54	c cleaning 26997 clauses out of 54023 with flag 6551000/6551000
897.50/896.35	c cleaning 27004 clauses out of 54026 with flag 6578000/6578000
901.10/899.96	c cleaning 27009 clauses out of 54023 with flag 6605001/6605001
904.80/903.61	c cleaning 26992 clauses out of 54013 with flag 6632000/6632000
908.60/907.40	c cleaning 26999 clauses out of 54022 with flag 6659001/6659001
912.32/911.12	c cleaning 27005 clauses out of 54024 with flag 6686002/6686002
916.01/914.86	c cleaning 27000 clauses out of 54020 with flag 6713003/6713003
919.71/918.54	c cleaning 26998 clauses out of 54017 with flag 6740000/6740000
923.32/922.20	c cleaning 26998 clauses out of 54020 with flag 6767001/6767001
927.02/925.89	c cleaning 26995 clauses out of 54021 with flag 6794000/6794000
930.82/929.67	c cleaning 26990 clauses out of 54026 with flag 6821000/6821000
934.82/933.62	c cleaning 27000 clauses out of 54036 with flag 6848000/6848000
938.62/937.40	c cleaning 27000 clauses out of 54036 with flag 6875000/6875000
942.42/941.26	c cleaning 26996 clauses out of 54036 with flag 6902000/6902000
946.22/945.09	c cleaning 27007 clauses out of 54040 with flag 6929000/6929000
950.02/948.84	c cleaning 27004 clauses out of 54035 with flag 6956002/6956002
953.93/952.79	c cleaning 27006 clauses out of 54029 with flag 6983000/6983000
957.83/956.68	c cleaning 26992 clauses out of 54024 with flag 7010001/7010001
961.94/960.73	c cleaning 27003 clauses out of 54031 with flag 7037000/7037000
965.63/964.49	c cleaning 27005 clauses out of 54029 with flag 7064001/7064001
969.54/968.39	c cleaning 27000 clauses out of 54024 with flag 7091001/7091001
973.23/972.02	c cleaning 27008 clauses out of 54025 with flag 7118002/7118002
976.73/975.55	c cleaning 26994 clauses out of 54017 with flag 7145002/7145002
980.14/978.94	c cleaning 26997 clauses out of 54021 with flag 7172000/7172000
983.74/982.58	c cleaning 27001 clauses out of 54024 with flag 7199000/7199000
987.44/986.26	c cleaning 26996 clauses out of 54024 with flag 7226001/7226001
991.55/990.35	c cleaning 27010 clauses out of 54027 with flag 7253000/7253000
995.34/994.18	c cleaning 26992 clauses out of 54017 with flag 7280000/7280000
999.35/998.11	c cleaning 27004 clauses out of 54025 with flag 7307000/7307000
1003.14/1001.90	c cleaning 26999 clauses out of 54022 with flag 7334001/7334001
1006.95/1005.75	c cleaning 27003 clauses out of 54023 with flag 7361001/7361001
1010.55/1009.34	c cleaning 27004 clauses out of 54020 with flag 7388001/7388001
1014.35/1013.11	c cleaning 26993 clauses out of 54015 with flag 7415000/7415000
1018.06/1016.85	c cleaning 26995 clauses out of 54023 with flag 7442001/7442001
1021.96/1020.77	c cleaning 27001 clauses out of 54027 with flag 7469000/7469000
1025.87/1024.69	c cleaning 26986 clauses out of 54026 with flag 7496000/7496000
1029.57/1028.34	c cleaning 27012 clauses out of 54041 with flag 7523001/7523001
1033.47/1032.27	c cleaning 27009 clauses out of 54029 with flag 7550001/7550001
1037.47/1036.20	c cleaning 26996 clauses out of 54019 with flag 7577000/7577000
1041.08/1039.83	c cleaning 26998 clauses out of 54023 with flag 7604000/7604000
1044.97/1043.72	c cleaning 27001 clauses out of 54025 with flag 7631000/7631000
1048.58/1047.37	c cleaning 27003 clauses out of 54024 with flag 7658000/7658000
1052.48/1051.26	c cleaning 26994 clauses out of 54021 with flag 7685000/7685000
1056.28/1055.09	c cleaning 27011 clauses out of 54027 with flag 7712000/7712000
1060.28/1059.01	c cleaning 26992 clauses out of 54016 with flag 7739000/7739000
1064.19/1062.92	c cleaning 26999 clauses out of 54024 with flag 7766000/7766000
1068.18/1066.92	c cleaning 26992 clauses out of 54025 with flag 7793000/7793000
1072.19/1070.91	c cleaning 27009 clauses out of 54033 with flag 7820000/7820000
1075.59/1074.38	c cleaning 26995 clauses out of 54024 with flag 7847000/7847000
1079.29/1078.05	c cleaning 26999 clauses out of 54030 with flag 7874001/7874001
1082.90/1081.63	c cleaning 27010 clauses out of 54030 with flag 7901000/7901000
1086.79/1085.60	c cleaning 26997 clauses out of 54022 with flag 7928002/7928002
1090.60/1089.37	c cleaning 26995 clauses out of 54024 with flag 7955001/7955001
1094.29/1093.08	c cleaning 27007 clauses out of 54028 with flag 7982000/7982000
1098.00/1096.78	c cleaning 26998 clauses out of 54021 with flag 8009000/8009000
1101.80/1100.50	c cleaning 26990 clauses out of 54023 with flag 8036000/8036000
1105.50/1104.27	c cleaning 27003 clauses out of 54035 with flag 8063002/8063002
1109.31/1108.03	c cleaning 27000 clauses out of 54033 with flag 8090003/8090003
1113.10/1111.88	c cleaning 27002 clauses out of 54032 with flag 8117002/8117002
1117.11/1115.86	c cleaning 26988 clauses out of 54028 with flag 8144000/8144000
1120.82/1119.54	c cleaning 27003 clauses out of 54040 with flag 8171000/8171000
1124.32/1123.03	c cleaning 27007 clauses out of 54037 with flag 8198000/8198000
1128.22/1126.97	c cleaning 27004 clauses out of 54030 with flag 8225000/8225000
1132.32/1131.01	c cleaning 27007 clauses out of 54026 with flag 8252000/8252000
1136.02/1134.75	c cleaning 26992 clauses out of 54021 with flag 8279002/8279002
1139.92/1138.61	c cleaning 26998 clauses out of 54027 with flag 8306000/8306000
1143.62/1142.31	c cleaning 26998 clauses out of 54029 with flag 8333000/8333000
1147.42/1146.11	c cleaning 27010 clauses out of 54031 with flag 8360000/8360000
1151.63/1150.33	c cleaning 26997 clauses out of 54021 with flag 8387000/8387000
1155.73/1154.41	c cleaning 26992 clauses out of 54024 with flag 8414000/8414000
1159.63/1158.31	c cleaning 27000 clauses out of 54032 with flag 8441000/8441000
1163.63/1162.30	c cleaning 26997 clauses out of 54033 with flag 8468001/8468001
1167.53/1166.28	c cleaning 27003 clauses out of 54038 with flag 8495003/8495003
1171.74/1170.48	c cleaning 27002 clauses out of 54032 with flag 8522000/8522000
1175.74/1174.45	c cleaning 27005 clauses out of 54030 with flag 8549000/8549000
1179.85/1178.58	c cleaning 26997 clauses out of 54025 with flag 8576000/8576000
1183.94/1182.69	c cleaning 26999 clauses out of 54028 with flag 8603000/8603000
1187.74/1186.41	c cleaning 27008 clauses out of 54029 with flag 8630000/8630000
1191.15/1189.89	c cleaning 27008 clauses out of 54021 with flag 8657000/8657000
1194.86/1193.51	c cleaning 26996 clauses out of 54015 with flag 8684002/8684002
1198.36/1197.09	c cleaning 26993 clauses out of 54017 with flag 8711000/8711000
1201.96/1200.62	c cleaning 27001 clauses out of 54025 with flag 8738001/8738001
1205.76/1204.47	c cleaning 26994 clauses out of 54023 with flag 8765000/8765000
1209.47/1208.19	c cleaning 27004 clauses out of 54029 with flag 8792000/8792000
1213.06/1211.78	c cleaning 27007 clauses out of 54025 with flag 8819000/8819000
1216.86/1215.52	c cleaning 26998 clauses out of 54019 with flag 8846001/8846001
1220.66/1219.33	c cleaning 26986 clauses out of 54020 with flag 8873000/8873000
1224.76/1223.41	c cleaning 27003 clauses out of 54036 with flag 8900002/8900002
1228.47/1227.19	c cleaning 26999 clauses out of 54031 with flag 8927000/8927000
1232.07/1230.75	c cleaning 27000 clauses out of 54033 with flag 8954001/8954001
1235.77/1234.49	c cleaning 27005 clauses out of 54033 with flag 8981001/8981001
1239.87/1238.55	c cleaning 27003 clauses out of 54027 with flag 9008000/9008000
1243.77/1242.49	c cleaning 27002 clauses out of 54025 with flag 9035001/9035001
1247.58/1246.25	c cleaning 27006 clauses out of 54023 with flag 9062001/9062001
1251.48/1250.19	c cleaning 26989 clauses out of 54016 with flag 9089000/9089000
1255.28/1253.91	c cleaning 27000 clauses out of 54027 with flag 9116000/9116000
1259.09/1257.71	c cleaning 27004 clauses out of 54027 with flag 9143000/9143000
1262.89/1261.56	c cleaning 27001 clauses out of 54023 with flag 9170000/9170000
1266.90/1265.52	c cleaning 26990 clauses out of 54023 with flag 9197001/9197001
1270.70/1269.34	c cleaning 27000 clauses out of 54032 with flag 9224000/9224000
1274.20/1272.87	c cleaning 27009 clauses out of 54034 with flag 9251002/9251002
1278.00/1276.70	c cleaning 26989 clauses out of 54023 with flag 9278000/9278000
1281.91/1280.53	c cleaning 27001 clauses out of 54035 with flag 9305001/9305001
1285.61/1284.22	c cleaning 26998 clauses out of 54033 with flag 9332000/9332000
1289.41/1288.03	c cleaning 26994 clauses out of 54035 with flag 9359000/9359000
1293.41/1292.03	c cleaning 27005 clauses out of 54042 with flag 9386001/9386001
1297.11/1295.77	c cleaning 26995 clauses out of 54036 with flag 9413000/9413000
1301.02/1299.63	c cleaning 27011 clauses out of 54042 with flag 9440001/9440001
1301.43/1300.01	c starts		: 2556
1301.43/1300.01	c conflicts		: 9443664
1301.43/1300.01	c decisions		: 10031211
1301.43/1300.01	c propagations		: 347881983
1301.43/1300.01	c inspects		: 17001354572
1301.43/1300.01	c shortcuts		: 0
1301.43/1300.01	c learnt literals	: 0
1301.43/1300.01	c learnt binary clauses	: 0
1301.43/1300.01	c learnt ternary clauses	: 0
1301.43/1300.01	c learnt constraints	: 9443665
1301.43/1300.01	c ignored constraints	: 0
1301.43/1300.01	c root simplifications	: 2556
1301.43/1300.01	c removed literals (reason simplification)	: 248558281
1301.43/1300.01	c reason swapping (by a shorter reason)	: 0
1301.43/1300.01	c Calls to reduceDB	: 359
1301.43/1300.01	c speed (assignments/second)	: 267656.32660221244
1301.43/1300.01	c non guided choices	21
1301.43/1300.02	c learnt constraints type 
1301.43/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 30746
1301.43/1300.02	c constraints type 
1301.43/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26889
1301.43/1300.02	s UNKNOWN
1301.43/1300.02	c Total wall clock time (in seconds) : 1299.916

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 3.68 3.93 3.94 5/241 26713
/proc/meminfo: memFree=21242052/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=11800 CPUtime=0 cores=4,6
/proc/26713/stat : 26713 (runsolver) R 26711 26713 26290 0 -1 4202560 46 0 0 0 0 0 0 0 23 0 1 0 466730350 12083200 54 33554432000 4194304 5434984 140734229244000 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/26713/statm: 2950 54 34 303 0 2644 0

[startup+0.0519091 s]
/proc/loadavg: 3.68 3.93 3.94 5/241 26713
/proc/meminfo: memFree=21242052/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7564488 CPUtime=0.04 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 8911 0 1 0 3 1 0 0 23 0 13 0 466730350 7746035712 8606 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1891122 8606 1686 9 0 1881870 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7564488

[startup+0.100876 s]
/proc/loadavg: 3.68 3.93 3.94 5/241 26713
/proc/meminfo: memFree=21242052/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7636376 CPUtime=0.09 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 10346 0 1 0 8 1 0 0 23 0 18 0 466730350 7819649024 10041 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1909094 10041 2061 9 0 1899832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636376

[startup+0.317241 s]
/proc/loadavg: 3.68 3.93 3.94 5/241 26713
/proc/meminfo: memFree=21242052/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7642920 CPUtime=0.48 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 14250 0 1 0 46 2 0 0 23 0 19 0 466730350 7826350080 13392 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1910730 13392 2204 9 0 1901468 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7642920

[startup+0.700826 s]
/proc/loadavg: 3.68 3.93 3.94 5/241 26713
/proc/meminfo: memFree=21242052/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7642920 CPUtime=1.11 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 15497 0 1 0 109 2 0 0 23 0 19 0 466730350 7826350080 13894 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1910730 13894 2224 9 0 1901468 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 7642920

[startup+1.50064 s]
/proc/loadavg: 3.68 3.93 3.94 6/260 26732
/proc/meminfo: memFree=21132700/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7659524 CPUtime=2.14 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 23572 0 1 0 211 3 0 0 23 0 19 0 466730350 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1914881 20033 2255 9 0 1905619 0
[pid=26713/tid=26715] ppid=26711 vsize=7659524 CPUtime=1.41 cores=4,6
/proc/26713/task/26715/stat : 26715 (java) R 26711 26713 26290 0 -1 4202560 9896 0 1 0 140 1 0 0 20 0 19 0 466730351 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 46912505612629 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26713/tid=26716] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26716/stat : 26716 (java) S 26711 26713 26290 0 -1 4202560 471 0 0 0 0 0 0 0 18 0 19 0 466730353 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26717] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26717/stat : 26717 (java) S 26711 26713 26290 0 -1 4202560 414 0 0 0 0 0 0 0 18 0 19 0 466730353 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26718] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26718/stat : 26718 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730353 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26719] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26719/stat : 26719 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730353 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26720] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26720/stat : 26720 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730353 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26721] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26721/stat : 26721 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730353 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26722] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26722/stat : 26722 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730353 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26723] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26723/stat : 26723 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730353 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26724] ppid=26711 vsize=7659524 CPUtime=0.01 cores=4,6
/proc/26713/task/26724/stat : 26724 (java) S 26711 26713 26290 0 -1 4202560 889 0 0 0 1 0 0 0 16 0 19 0 466730354 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 0 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26725] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26725/stat : 26725 (java) S 26711 26713 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26726] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26726/stat : 26726 (java) S 26711 26713 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26727] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26727/stat : 26727 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982373809 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26728] ppid=26711 vsize=7659524 CPUtime=0.11 cores=4,6
/proc/26713/task/26728/stat : 26728 (java) S 26711 26713 26290 0 -1 4202560 2585 0 0 0 11 0 0 0 17 0 19 0 466730356 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26729] ppid=26711 vsize=7659524 CPUtime=0.56 cores=4,6
/proc/26713/task/26729/stat : 26729 (java) S 26711 26713 26290 0 -1 4202560 8159 0 0 0 56 0 0 0 16 0 19 0 466730356 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26730] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26730/stat : 26730 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26731] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26731/stat : 26731 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730356 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26732] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26732/stat : 26732 (java) S 26711 26713 26290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466730379 7843352576 20033 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 7659524

[startup+3.10136 s]
/proc/loadavg: 3.70 3.93 3.94 5/260 26732
/proc/meminfo: memFree=21126368/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7659524 CPUtime=3.76 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 24291 0 1 0 373 3 0 0 23 0 19 0 466730350 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1914881 20749 2255 9 0 1905619 0
[pid=26713/tid=26715] ppid=26711 vsize=7659524 CPUtime=2.95 cores=4,6
/proc/26713/task/26715/stat : 26715 (java) R 26711 26713 26290 0 -1 4202560 9900 0 1 0 294 1 0 0 25 0 19 0 466730351 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 46912505605667 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26713/tid=26716] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26716/stat : 26716 (java) S 26711 26713 26290 0 -1 4202560 498 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26717] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26717/stat : 26717 (java) S 26711 26713 26290 0 -1 4202560 501 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26718] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26718/stat : 26718 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26719] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26719/stat : 26719 (java) S 26711 26713 26290 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26720] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26720/stat : 26720 (java) S 26711 26713 26290 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26721] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26721/stat : 26721 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26722] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26722/stat : 26722 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26723] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26723/stat : 26723 (java) S 26711 26713 26290 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26724] ppid=26711 vsize=7659524 CPUtime=0.06 cores=4,6
/proc/26713/task/26724/stat : 26724 (java) S 26711 26713 26290 0 -1 4202560 1202 0 0 0 6 0 0 0 16 0 19 0 466730354 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 0 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26725] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26725/stat : 26725 (java) S 26711 26713 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26726] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26726/stat : 26726 (java) S 26711 26713 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26727] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26727/stat : 26727 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982373809 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26728] ppid=26711 vsize=7659524 CPUtime=0.11 cores=4,6
/proc/26713/task/26728/stat : 26728 (java) S 26711 26713 26290 0 -1 4202560 2585 0 0 0 11 0 0 0 15 0 19 0 466730356 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26729] ppid=26711 vsize=7659524 CPUtime=0.58 cores=4,6
/proc/26713/task/26729/stat : 26729 (java) S 26711 26713 26290 0 -1 4202560 8159 0 0 0 58 0 0 0 15 0 19 0 466730356 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26730] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26730/stat : 26730 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26731] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26731/stat : 26731 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730356 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26732] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26732/stat : 26732 (java) S 26711 26713 26290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466730379 7843352576 20749 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 7659524

[startup+6.30087 s]
/proc/loadavg: 3.70 3.93 3.94 5/260 26732
/proc/meminfo: memFree=21126300/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7659524 CPUtime=6.96 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 24593 0 1 0 692 4 0 0 23 0 19 0 466730350 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1914881 21031 2255 9 0 1905619 0
[pid=26713/tid=26715] ppid=26711 vsize=7659524 CPUtime=6.08 cores=4,6
/proc/26713/task/26715/stat : 26715 (java) R 26711 26713 26290 0 -1 4202560 9904 0 1 0 607 1 0 0 25 0 19 0 466730351 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 46912505631181 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26713/tid=26716] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26716/stat : 26716 (java) S 26711 26713 26290 0 -1 4202560 500 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26717] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26717/stat : 26717 (java) S 26711 26713 26290 0 -1 4202560 501 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26718] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26718/stat : 26718 (java) S 26711 26713 26290 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26719] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26719/stat : 26719 (java) S 26711 26713 26290 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26720] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26720/stat : 26720 (java) S 26711 26713 26290 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26721] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26721/stat : 26721 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 466730353 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26722] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26722/stat : 26722 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26723] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26723/stat : 26723 (java) S 26711 26713 26290 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 466730353 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26724] ppid=26711 vsize=7659524 CPUtime=0.12 cores=4,6
/proc/26713/task/26724/stat : 26724 (java) S 26711 26713 26290 0 -1 4202560 1493 0 0 0 12 0 0 0 15 0 19 0 466730354 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 0 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26725] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26725/stat : 26725 (java) S 26711 26713 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26726] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26726/stat : 26726 (java) S 26711 26713 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26727] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26727/stat : 26727 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982373809 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26728] ppid=26711 vsize=7659524 CPUtime=0.11 cores=4,6
/proc/26713/task/26728/stat : 26728 (java) S 26711 26713 26290 0 -1 4202560 2585 0 0 0 11 0 0 0 15 0 19 0 466730356 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26729] ppid=26711 vsize=7659524 CPUtime=0.58 cores=4,6
/proc/26713/task/26729/stat : 26729 (java) S 26711 26713 26290 0 -1 4202560 8159 0 0 0 58 0 0 0 15 0 19 0 466730356 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26730] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26730/stat : 26730 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26731] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26731/stat : 26731 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730356 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26732] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26732/stat : 26732 (java) S 26711 26713 26290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466730379 7843352576 21031 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 7659524

[startup+12.7008 s]

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

[pid=26713/tid=26721] ppid=26711 vsize=7659524 CPUtime=0.12 cores=4,6
/proc/26713/task/26721/stat : 26721 (java) S 26711 26713 26290 0 -1 4202560 36 0 0 0 12 0 0 0 15 0 19 0 466730353 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26722] ppid=26711 vsize=7659524 CPUtime=0.17 cores=4,6
/proc/26713/task/26722/stat : 26722 (java) S 26711 26713 26290 0 -1 4202560 251 0 0 0 17 0 0 0 15 0 19 0 466730353 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26723] ppid=26711 vsize=7659524 CPUtime=0.16 cores=4,6
/proc/26713/task/26723/stat : 26723 (java) S 26711 26713 26290 0 -1 4202560 247 0 0 0 16 0 0 0 15 0 19 0 466730353 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26724] ppid=26711 vsize=7659524 CPUtime=8.25 cores=4,6
/proc/26713/task/26724/stat : 26724 (java) S 26711 26713 26290 0 -1 4202560 3490 0 0 0 822 3 0 0 15 0 19 0 466730354 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 0 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26725] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26725/stat : 26725 (java) S 26711 26713 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26726] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26726/stat : 26726 (java) S 26711 26713 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26727] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26727/stat : 26727 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982373809 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26728] ppid=26711 vsize=7659524 CPUtime=0.11 cores=4,6
/proc/26713/task/26728/stat : 26728 (java) S 26711 26713 26290 0 -1 4202560 2585 0 0 0 11 0 0 0 15 0 19 0 466730356 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26729] ppid=26711 vsize=7659524 CPUtime=0.61 cores=4,6
/proc/26713/task/26729/stat : 26729 (java) S 26711 26713 26290 0 -1 4202560 8164 0 0 0 61 0 0 0 15 0 19 0 466730356 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26730] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26730/stat : 26730 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26731] ppid=26711 vsize=7659524 CPUtime=0.17 cores=4,6
/proc/26713/task/26731/stat : 26731 (java) S 26711 26713 26290 0 -1 4202560 64 0 0 0 4 13 0 0 15 0 19 0 466730356 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26732] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26732/stat : 26732 (java) S 26711 26713 26290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466730379 7843352576 23989 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1123.62
Current children cumulated vsize (KiB) 7659524

[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.98 5/260 26810
/proc/meminfo: memFree=21045660/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7659524 CPUtime=1183.64 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 28035 0 1 0 118341 23 0 0 23 0 19 0 466730350 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1914881 24019 2256 9 0 1905619 0
[pid=26713/tid=26715] ppid=26711 vsize=7659524 CPUtime=1172.67 cores=4,6
/proc/26713/task/26715/stat : 26715 (java) R 26711 26713 26290 0 -1 4202560 10224 0 1 0 117265 2 0 0 25 0 19 0 466730351 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 46912505606028 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26713/tid=26716] ppid=26711 vsize=7659524 CPUtime=0.16 cores=4,6
/proc/26713/task/26716/stat : 26716 (java) S 26711 26713 26290 0 -1 4202560 551 0 0 0 16 0 0 0 15 0 19 0 466730353 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26717] ppid=26711 vsize=7659524 CPUtime=0.14 cores=4,6
/proc/26713/task/26717/stat : 26717 (java) S 26711 26713 26290 0 -1 4202560 876 0 0 0 14 0 0 0 15 0 19 0 466730353 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26718] ppid=26711 vsize=7659524 CPUtime=0.17 cores=4,6
/proc/26713/task/26718/stat : 26718 (java) S 26711 26713 26290 0 -1 4202560 45 0 0 0 17 0 0 0 15 0 19 0 466730353 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26719] ppid=26711 vsize=7659524 CPUtime=0.18 cores=4,6
/proc/26713/task/26719/stat : 26719 (java) S 26711 26713 26290 0 -1 4202560 69 0 0 0 18 0 0 0 16 0 19 0 466730353 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26720] ppid=26711 vsize=7659524 CPUtime=0.18 cores=4,6
/proc/26713/task/26720/stat : 26720 (java) S 26711 26713 26290 0 -1 4202560 250 0 0 0 18 0 0 0 15 0 19 0 466730353 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26721] ppid=26711 vsize=7659524 CPUtime=0.13 cores=4,6
/proc/26713/task/26721/stat : 26721 (java) S 26711 26713 26290 0 -1 4202560 36 0 0 0 13 0 0 0 15 0 19 0 466730353 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26722] ppid=26711 vsize=7659524 CPUtime=0.18 cores=4,6
/proc/26713/task/26722/stat : 26722 (java) S 26711 26713 26290 0 -1 4202560 252 0 0 0 18 0 0 0 15 0 19 0 466730353 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26723] ppid=26711 vsize=7659524 CPUtime=0.17 cores=4,6
/proc/26713/task/26723/stat : 26723 (java) S 26711 26713 26290 0 -1 4202560 247 0 0 0 17 0 0 0 16 0 19 0 466730353 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26724] ppid=26711 vsize=7659524 CPUtime=8.66 cores=4,6
/proc/26713/task/26724/stat : 26724 (java) S 26711 26713 26290 0 -1 4202560 3519 0 0 0 863 3 0 0 15 0 19 0 466730354 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 0 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26725] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26725/stat : 26725 (java) S 26711 26713 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26726] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26726/stat : 26726 (java) S 26711 26713 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26727] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26727/stat : 26727 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982373809 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26728] ppid=26711 vsize=7659524 CPUtime=0.11 cores=4,6
/proc/26713/task/26728/stat : 26728 (java) S 26711 26713 26290 0 -1 4202560 2585 0 0 0 11 0 0 0 15 0 19 0 466730356 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26729] ppid=26711 vsize=7659524 CPUtime=0.61 cores=4,6
/proc/26713/task/26729/stat : 26729 (java) S 26711 26713 26290 0 -1 4202560 8164 0 0 0 61 0 0 0 15 0 19 0 466730356 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26730] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26730/stat : 26730 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26731] ppid=26711 vsize=7659524 CPUtime=0.17 cores=4,6
/proc/26713/task/26731/stat : 26731 (java) S 26711 26713 26290 0 -1 4202560 66 0 0 0 4 13 0 0 15 0 19 0 466730356 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26732] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26732/stat : 26732 (java) S 26711 26713 26290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466730379 7843352576 24019 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.64
Current children cumulated vsize (KiB) 7659524

[startup+1242.31 s]
/proc/loadavg: 4.00 4.00 3.98 5/260 26811
/proc/meminfo: memFree=21044140/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7659524 CPUtime=1243.68 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 28094 0 1 0 124344 24 0 0 23 0 19 0 466730350 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1914881 24054 2256 9 0 1905619 0
[pid=26713/tid=26715] ppid=26711 vsize=7659524 CPUtime=1232.19 cores=4,6
/proc/26713/task/26715/stat : 26715 (java) R 26711 26713 26290 0 -1 4202560 10240 0 1 0 123217 2 0 0 25 0 19 0 466730351 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 46912505605687 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26713/tid=26716] ppid=26711 vsize=7659524 CPUtime=0.16 cores=4,6
/proc/26713/task/26716/stat : 26716 (java) S 26711 26713 26290 0 -1 4202560 551 0 0 0 16 0 0 0 15 0 19 0 466730353 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26717] ppid=26711 vsize=7659524 CPUtime=0.16 cores=4,6
/proc/26713/task/26717/stat : 26717 (java) S 26711 26713 26290 0 -1 4202560 883 0 0 0 16 0 0 0 15 0 19 0 466730353 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26718] ppid=26711 vsize=7659524 CPUtime=0.18 cores=4,6
/proc/26713/task/26718/stat : 26718 (java) S 26711 26713 26290 0 -1 4202560 46 0 0 0 18 0 0 0 15 0 19 0 466730353 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26719] ppid=26711 vsize=7659524 CPUtime=0.18 cores=4,6
/proc/26713/task/26719/stat : 26719 (java) S 26711 26713 26290 0 -1 4202560 69 0 0 0 18 0 0 0 15 0 19 0 466730353 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26720] ppid=26711 vsize=7659524 CPUtime=0.19 cores=4,6
/proc/26713/task/26720/stat : 26720 (java) S 26711 26713 26290 0 -1 4202560 250 0 0 0 19 0 0 0 15 0 19 0 466730353 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26721] ppid=26711 vsize=7659524 CPUtime=0.14 cores=4,6
/proc/26713/task/26721/stat : 26721 (java) S 26711 26713 26290 0 -1 4202560 41 0 0 0 14 0 0 0 15 0 19 0 466730353 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26722] ppid=26711 vsize=7659524 CPUtime=0.19 cores=4,6
/proc/26713/task/26722/stat : 26722 (java) S 26711 26713 26290 0 -1 4202560 252 0 0 0 19 0 0 0 15 0 19 0 466730353 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26723] ppid=26711 vsize=7659524 CPUtime=0.18 cores=4,6
/proc/26713/task/26723/stat : 26723 (java) S 26711 26713 26290 0 -1 4202560 247 0 0 0 18 0 0 0 15 0 19 0 466730353 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26724] ppid=26711 vsize=7659524 CPUtime=9.09 cores=4,6
/proc/26713/task/26724/stat : 26724 (java) S 26711 26713 26290 0 -1 4202560 3545 0 0 0 906 3 0 0 15 0 19 0 466730354 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 0 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26725] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26725/stat : 26725 (java) S 26711 26713 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26726] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26726/stat : 26726 (java) S 26711 26713 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26727] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26727/stat : 26727 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982373809 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26728] ppid=26711 vsize=7659524 CPUtime=0.11 cores=4,6
/proc/26713/task/26728/stat : 26728 (java) S 26711 26713 26290 0 -1 4202560 2585 0 0 0 11 0 0 0 15 0 19 0 466730356 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26729] ppid=26711 vsize=7659524 CPUtime=0.61 cores=4,6
/proc/26713/task/26729/stat : 26729 (java) S 26711 26713 26290 0 -1 4202560 8164 0 0 0 61 0 0 0 15 0 19 0 466730356 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26730] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26730/stat : 26730 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26731] ppid=26711 vsize=7659524 CPUtime=0.19 cores=4,6
/proc/26713/task/26731/stat : 26731 (java) S 26711 26713 26290 0 -1 4202560 70 0 0 0 4 15 0 0 15 0 19 0 466730356 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26732] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26732/stat : 26732 (java) S 26711 26713 26290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466730379 7843352576 24054 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.68
Current children cumulated vsize (KiB) 7659524



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.98 3/220 26819
/proc/meminfo: memFree=21193212/32951132 swapFree=67111524/67111528
[pid=26713] ppid=26711 vsize=7659524 CPUtime=1301.43 cores=4,6
/proc/26713/stat : 26713 (java) S 26711 26713 26290 0 -1 4202496 28189 0 1 0 130118 25 0 0 23 0 19 0 466730350 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26713/statm: 1914881 24125 2256 9 0 1905619 0
[pid=26713/tid=26715] ppid=26711 vsize=7659524 CPUtime=1289.41 cores=4,6
/proc/26713/task/26715/stat : 26715 (java) R 26711 26713 26290 0 -1 4202560 10256 0 1 0 128939 2 0 0 25 0 19 0 466730351 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 46912505606067 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26713/tid=26716] ppid=26711 vsize=7659524 CPUtime=0.16 cores=4,6
/proc/26713/task/26716/stat : 26716 (java) S 26711 26713 26290 0 -1 4202560 551 0 0 0 16 0 0 0 16 0 19 0 466730353 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26717] ppid=26711 vsize=7659524 CPUtime=0.17 cores=4,6
/proc/26713/task/26717/stat : 26717 (java) S 26711 26713 26290 0 -1 4202560 883 0 0 0 17 0 0 0 15 0 19 0 466730353 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26718] ppid=26711 vsize=7659524 CPUtime=0.19 cores=4,6
/proc/26713/task/26718/stat : 26718 (java) S 26711 26713 26290 0 -1 4202560 48 0 0 0 19 0 0 0 15 0 19 0 466730353 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26719] ppid=26711 vsize=7659524 CPUtime=0.19 cores=4,6
/proc/26713/task/26719/stat : 26719 (java) S 26711 26713 26290 0 -1 4202560 70 0 0 0 19 0 0 0 16 0 19 0 466730353 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26720] ppid=26711 vsize=7659524 CPUtime=0.2 cores=4,6
/proc/26713/task/26720/stat : 26720 (java) S 26711 26713 26290 0 -1 4202560 250 0 0 0 20 0 0 0 16 0 19 0 466730353 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26721] ppid=26711 vsize=7659524 CPUtime=0.15 cores=4,6
/proc/26713/task/26721/stat : 26721 (java) S 26711 26713 26290 0 -1 4202560 46 0 0 0 15 0 0 0 15 0 19 0 466730353 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26722] ppid=26711 vsize=7659524 CPUtime=0.19 cores=4,6
/proc/26713/task/26722/stat : 26722 (java) S 26711 26713 26290 0 -1 4202560 252 0 0 0 19 0 0 0 15 0 19 0 466730353 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26723] ppid=26711 vsize=7659524 CPUtime=0.19 cores=4,6
/proc/26713/task/26723/stat : 26723 (java) S 26711 26713 26290 0 -1 4202560 254 0 0 0 19 0 0 0 16 0 19 0 466730353 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26724] ppid=26711 vsize=7659524 CPUtime=9.53 cores=4,6
/proc/26713/task/26724/stat : 26724 (java) S 26711 26713 26290 0 -1 4202560 3605 0 0 0 950 3 0 0 16 0 19 0 466730354 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 0 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26725] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26725/stat : 26725 (java) S 26711 26713 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26726] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26726/stat : 26726 (java) S 26711 26713 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730354 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26727] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26727/stat : 26727 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982373809 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26728] ppid=26711 vsize=7659524 CPUtime=0.11 cores=4,6
/proc/26713/task/26728/stat : 26728 (java) S 26711 26713 26290 0 -1 4202560 2585 0 0 0 11 0 0 0 15 0 19 0 466730356 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26729] ppid=26711 vsize=7659524 CPUtime=0.61 cores=4,6
/proc/26713/task/26729/stat : 26729 (java) S 26711 26713 26290 0 -1 4202560 8164 0 0 0 61 0 0 0 15 0 19 0 466730356 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 4 0 0 0
[pid=26713/tid=26730] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26730/stat : 26730 (java) S 26711 26713 26290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466730356 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366105 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26731] ppid=26711 vsize=7659524 CPUtime=0.2 cores=4,6
/proc/26713/task/26731/stat : 26731 (java) S 26711 26713 26290 0 -1 4202560 74 0 0 0 5 15 0 0 15 0 19 0 466730356 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
[pid=26713/tid=26732] ppid=26711 vsize=7659524 CPUtime=0 cores=4,6
/proc/26713/task/26732/stat : 26732 (java) S 26711 26713 26290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466730379 7843352576 24125 33554432000 1073741824 1073778376 140735522557248 18446744073709551615 242982366720 0 4 0 16800975 18446604453494232064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.43
Current children cumulated vsize (KiB) 7659524

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.04
CPU time (s): 1301.48
CPU user time (s): 1301.22
CPU system time (s): 0.263959
CPU usage (%): 100.111
Max. virtual memory (cumulated for all children) (KiB): 7659524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.22
system time used= 0.263959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28224
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= 36563
involuntary context switches= 11271

runsolver used 2.28665 second user time and 5.48017 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-23 11:35:17
IDJOB=3250642
IDBENCH=83335
IDSOLVER=1611
FILE ID=node128/3250642-1303551317
RUNJOBID= node128-1303551316-26618
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-18_312.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-3250642-1303551317/watcher-3250642-1303551317 -o /tmp/evaluation-result-3250642-1303551317/solver-3250642-1303551317 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3250642-1303551317.cnf

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

MD5SUM BENCH= 1144bbd60c180aa5e72d35b74e9676cb
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:      21243572 kB
Buffers:       1314832 kB
Cached:        9553288 kB
SwapCached:          4 kB
Active:        2059964 kB
Inactive:      9009628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      21243572 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2876 kB
Writeback:           0 kB
AnonPages:      200968 kB
Mapped:          23224 kB
Slab:           574412 kB
PageTables:       5736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 22019180 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= 66836 MiB
End job on node128 at 2011-04-23 11:56:59