Trace number 3262436

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06UNSAT 1220.93 1218.78

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
MD5SUM4f7ff14ba0d33c4cf7de4e3c004f2f79
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark899.169
Satisfiable
(Un)Satisfiability was proved
Number of variables223
Number of clauses26441
Sum of the clauses size116565
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2296
Number of clauses of size 324153
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51992

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.11/0.23	c no version file found!!!
0.11/0.23	c java.runtime.name	Java(TM) SE Runtime Environment
0.11/0.23	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.11/0.23	c java.vm.version	19.1-b02
0.11/0.23	c java.vm.vendor	Sun Microsystems Inc.
0.11/0.23	c sun.arch.data.model	64
0.11/0.23	c java.version		1.6.0_24
0.11/0.23	c os.name		Linux
0.11/0.23	c os.version		2.6.18-164.el5
0.11/0.23	c os.arch		amd64
0.11/0.23	c Free memory 		6997539544
0.11/0.23	c Max memory 		7034241024
0.11/0.23	c Total memory 		7034241024
0.11/0.23	c Number of processors 	8
0.11/0.23	c --- Begin Solver configuration ---
0.11/0.23	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.11/0.23	c Learn all clauses as in MiniSAT
0.11/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.11/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.11/0.23	c Expensive reason simplification
0.11/0.23	c Armin Biere (Picosat) restarts strategy
0.11/0.23	c Glucose learned constraints deletion strategy
0.11/0.23	c timeout=2147483647s
0.11/0.23	c DB Simplification allowed=true
0.11/0.23	c --- End Solver configuration ---
0.11/0.23	c solving HOME/instance-3262436-1303548073.cnf
0.11/0.23	c reading problem ... 
0.11/0.23	c ... done. Wall clock time 0.113s.
0.11/0.23	c #vars     223
0.11/0.23	c #constraints  26441
0.11/0.23	c constraints type 
0.11/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26145
0.11/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 296
1.31/0.90	c cleaning 2501 clauses out of 5001 with flag 5001/5001
2.00/1.47	c cleaning 4248 clauses out of 8499 with flag 11000/11000
2.71/2.11	c cleaning 5623 clauses out of 11251 with flag 18000/18000
3.42/2.85	c cleaning 6811 clauses out of 13628 with flag 26000/26000
4.34/3.72	c cleaning 7909 clauses out of 15818 with flag 35001/35001
5.34/4.73	c cleaning 8953 clauses out of 17909 with flag 45001/45001
6.34/5.79	c cleaning 9976 clauses out of 19955 with flag 56000/56000
7.54/6.98	c cleaning 10989 clauses out of 21979 with flag 68000/68000
8.85/8.29	c cleaning 11988 clauses out of 23990 with flag 81000/81000
10.35/9.71	c cleaning 12996 clauses out of 26002 with flag 95000/95000
11.96/11.37	c cleaning 14001 clauses out of 28006 with flag 110000/110000
13.66/13.04	c cleaning 14999 clauses out of 30005 with flag 126000/126000
15.46/14.84	c cleaning 16002 clauses out of 32006 with flag 143000/143000
17.36/16.75	c cleaning 16999 clauses out of 34004 with flag 161000/161000
19.46/18.83	c cleaning 18001 clauses out of 36005 with flag 180000/180000
21.76/21.13	c cleaning 19001 clauses out of 38005 with flag 200001/200001
24.17/23.56	c cleaning 19999 clauses out of 40003 with flag 221000/221000
26.67/26.06	c cleaning 21001 clauses out of 42005 with flag 243001/243001
29.47/28.85	c cleaning 21997 clauses out of 44003 with flag 266000/266000
32.37/31.73	c cleaning 22994 clauses out of 46006 with flag 290000/290000
35.37/34.76	c cleaning 24002 clauses out of 48014 with flag 315002/315002
38.58/37.97	c cleaning 25001 clauses out of 50010 with flag 341000/341000
42.08/41.41	c cleaning 25996 clauses out of 52009 with flag 368000/368000
45.38/44.79	c cleaning 26506 clauses out of 53013 with flag 395000/395000
48.88/48.28	c cleaning 26751 clauses out of 53507 with flag 422000/422000
52.58/51.95	c cleaning 26871 clauses out of 53756 with flag 449000/449000
55.99/55.34	c cleaning 26941 clauses out of 53885 with flag 476000/476000
59.49/58.81	c cleaning 26965 clauses out of 53944 with flag 503000/503000
62.79/62.18	c cleaning 26982 clauses out of 53980 with flag 530001/530001
66.29/65.61	c cleaning 26995 clauses out of 53997 with flag 557000/557000
69.49/68.81	c cleaning 26998 clauses out of 54002 with flag 584000/584000
72.90/72.25	c cleaning 26997 clauses out of 54005 with flag 611001/611001
76.10/75.44	c cleaning 27004 clauses out of 54007 with flag 638000/638000
79.30/78.62	c cleaning 26992 clauses out of 54003 with flag 665000/665000
82.50/81.82	c cleaning 27004 clauses out of 54011 with flag 692000/692000
85.70/85.05	c cleaning 26999 clauses out of 54007 with flag 719000/719000
89.01/88.37	c cleaning 26996 clauses out of 54008 with flag 746000/746000
92.31/91.66	c cleaning 27003 clauses out of 54012 with flag 773000/773000
95.51/94.85	c cleaning 26997 clauses out of 54009 with flag 800000/800000
98.81/98.20	c cleaning 26995 clauses out of 54012 with flag 827000/827000
102.21/101.52	c cleaning 27004 clauses out of 54017 with flag 854000/854000
105.51/104.84	c cleaning 27003 clauses out of 54013 with flag 881000/881000
108.81/108.16	c cleaning 26996 clauses out of 54010 with flag 908000/908000
112.12/111.40	c cleaning 27004 clauses out of 54014 with flag 935000/935000
115.42/114.79	c cleaning 26992 clauses out of 54010 with flag 962000/962000
118.82/118.10	c cleaning 27005 clauses out of 54018 with flag 989000/989000
122.22/121.56	c cleaning 26998 clauses out of 54013 with flag 1016000/1016000
125.52/124.85	c cleaning 27005 clauses out of 54015 with flag 1043000/1043000
128.92/128.25	c cleaning 27001 clauses out of 54011 with flag 1070001/1070001
132.23/131.58	c cleaning 26997 clauses out of 54009 with flag 1097000/1097000
135.63/134.92	c cleaning 26999 clauses out of 54012 with flag 1124000/1124000
138.93/138.21	c cleaning 26999 clauses out of 54013 with flag 1151000/1151000
142.33/141.68	c cleaning 27000 clauses out of 54014 with flag 1178000/1178000
145.73/145.09	c cleaning 27001 clauses out of 54015 with flag 1205001/1205001
149.24/148.53	c cleaning 26995 clauses out of 54013 with flag 1232000/1232000
152.44/151.74	c cleaning 27006 clauses out of 54019 with flag 1259001/1259001
155.74/155.05	c cleaning 27003 clauses out of 54012 with flag 1286000/1286000
159.14/158.49	c cleaning 27000 clauses out of 54009 with flag 1313000/1313000
162.54/161.87	c cleaning 27001 clauses out of 54010 with flag 1340001/1340001
166.15/165.47	c cleaning 26998 clauses out of 54009 with flag 1367001/1367001
169.45/168.72	c cleaning 26994 clauses out of 54010 with flag 1394000/1394000
172.95/172.20	c cleaning 27006 clauses out of 54016 with flag 1421000/1421000
176.35/175.65	c cleaning 27005 clauses out of 54011 with flag 1448001/1448001
179.75/179.09	c cleaning 27001 clauses out of 54005 with flag 1475000/1475000
183.36/182.61	c cleaning 26993 clauses out of 54005 with flag 1502001/1502001
186.76/186.03	c cleaning 26992 clauses out of 54011 with flag 1529000/1529000
190.26/189.52	c cleaning 27009 clauses out of 54019 with flag 1556000/1556000
193.66/192.99	c cleaning 27002 clauses out of 54010 with flag 1583000/1583000
197.26/196.51	c cleaning 26997 clauses out of 54008 with flag 1610000/1610000
200.76/200.05	c cleaning 26999 clauses out of 54011 with flag 1637000/1637000
204.06/203.40	c cleaning 27003 clauses out of 54014 with flag 1664002/1664002
207.47/206.71	c cleaning 26996 clauses out of 54009 with flag 1691000/1691000
210.89/210.14	c cleaning 27000 clauses out of 54013 with flag 1718000/1718000
214.29/213.56	c cleaning 27006 clauses out of 54013 with flag 1745000/1745000
217.69/216.91	c cleaning 27002 clauses out of 54008 with flag 1772001/1772001
221.09/220.36	c cleaning 26992 clauses out of 54005 with flag 1799000/1799000
224.59/223.86	c cleaning 26998 clauses out of 54013 with flag 1826000/1826000
228.40/227.63	c cleaning 27006 clauses out of 54015 with flag 1853000/1853000
231.80/231.05	c cleaning 26996 clauses out of 54009 with flag 1880000/1880000
235.20/234.40	c cleaning 26998 clauses out of 54013 with flag 1907000/1907000
238.60/237.87	c cleaning 26998 clauses out of 54015 with flag 1934000/1934000
242.20/241.42	c cleaning 27001 clauses out of 54017 with flag 1961000/1961000
245.60/244.84	c cleaning 27001 clauses out of 54016 with flag 1988000/1988000
249.00/248.28	c cleaning 26996 clauses out of 54015 with flag 2015000/2015000
252.40/251.68	c cleaning 26997 clauses out of 54019 with flag 2042000/2042000
255.80/255.00	c cleaning 27007 clauses out of 54023 with flag 2069001/2069001
259.10/258.34	c cleaning 27001 clauses out of 54016 with flag 2096001/2096001
262.40/261.70	c cleaning 27002 clauses out of 54016 with flag 2123002/2123002
266.00/265.21	c cleaning 27002 clauses out of 54012 with flag 2150000/2150000
269.40/268.60	c cleaning 27003 clauses out of 54010 with flag 2177000/2177000
272.70/271.91	c cleaning 27000 clauses out of 54008 with flag 2204001/2204001
276.01/275.21	c cleaning 26995 clauses out of 54007 with flag 2231000/2231000
279.11/278.34	c cleaning 26998 clauses out of 54012 with flag 2258000/2258000
282.51/281.71	c cleaning 27005 clauses out of 54014 with flag 2285000/2285000
285.72/284.98	c cleaning 26992 clauses out of 54009 with flag 2312000/2312000
289.21/288.41	c cleaning 27003 clauses out of 54017 with flag 2339000/2339000
292.62/291.88	c cleaning 26998 clauses out of 54014 with flag 2366000/2366000
296.02/295.24	c cleaning 27002 clauses out of 54016 with flag 2393000/2393000
299.32/298.52	c cleaning 26998 clauses out of 54014 with flag 2420000/2420000
302.62/301.86	c cleaning 27006 clauses out of 54017 with flag 2447001/2447001
305.92/305.15	c cleaning 27000 clauses out of 54011 with flag 2474001/2474001
309.13/308.30	c cleaning 27000 clauses out of 54010 with flag 2501000/2501000
312.33/311.58	c cleaning 27000 clauses out of 54011 with flag 2528001/2528001
315.43/314.63	c cleaning 26996 clauses out of 54010 with flag 2555000/2555000
318.53/317.77	c cleaning 26998 clauses out of 54014 with flag 2582000/2582000
321.83/321.04	c cleaning 27002 clauses out of 54016 with flag 2609000/2609000
325.03/324.21	c cleaning 26999 clauses out of 54014 with flag 2636000/2636000
328.23/327.40	c cleaning 27006 clauses out of 54017 with flag 2663002/2663002
331.33/330.56	c cleaning 26995 clauses out of 54009 with flag 2690000/2690000
334.44/333.67	c cleaning 26998 clauses out of 54016 with flag 2717002/2717002
337.44/336.67	c cleaning 26994 clauses out of 54016 with flag 2744000/2744000
340.54/339.71	c cleaning 27005 clauses out of 54023 with flag 2771001/2771001
343.64/342.87	c cleaning 26999 clauses out of 54017 with flag 2798000/2798000
346.74/345.98	c cleaning 26999 clauses out of 54018 with flag 2825000/2825000
349.94/349.13	c cleaning 27005 clauses out of 54019 with flag 2852000/2852000
353.04/352.27	c cleaning 26999 clauses out of 54014 with flag 2879000/2879000
356.15/355.39	c cleaning 26996 clauses out of 54015 with flag 2906000/2906000
359.35/358.55	c cleaning 27001 clauses out of 54019 with flag 2933000/2933000
362.55/361.78	c cleaning 27003 clauses out of 54018 with flag 2960000/2960000
365.65/364.83	c cleaning 26997 clauses out of 54016 with flag 2987001/2987001
368.95/368.11	c cleaning 27001 clauses out of 54018 with flag 3014000/3014000
371.95/371.18	c cleaning 27002 clauses out of 54017 with flag 3041000/3041000
375.15/374.36	c cleaning 27005 clauses out of 54015 with flag 3068000/3068000
378.35/377.52	c cleaning 26996 clauses out of 54010 with flag 3095000/3095000
381.55/380.71	c cleaning 26998 clauses out of 54014 with flag 3122000/3122000
384.66/383.83	c cleaning 27004 clauses out of 54018 with flag 3149002/3149002
387.86/387.00	c cleaning 27001 clauses out of 54012 with flag 3176000/3176000
390.96/390.11	c cleaning 26988 clauses out of 54011 with flag 3203000/3203000
394.16/393.38	c cleaning 27011 clauses out of 54023 with flag 3230000/3230000
397.36/396.52	c cleaning 26997 clauses out of 54014 with flag 3257002/3257002
400.46/399.69	c cleaning 26994 clauses out of 54016 with flag 3284001/3284001
403.56/402.73	c cleaning 27004 clauses out of 54021 with flag 3311000/3311000
406.67/405.89	c cleaning 27005 clauses out of 54017 with flag 3338000/3338000
409.66/408.88	c cleaning 26991 clauses out of 54012 with flag 3365000/3365000
412.87/412.01	c cleaning 27004 clauses out of 54022 with flag 3392001/3392001
415.97/415.12	c cleaning 27007 clauses out of 54019 with flag 3419002/3419002
419.17/418.31	c cleaning 26992 clauses out of 54010 with flag 3446000/3446000
422.27/421.48	c cleaning 27000 clauses out of 54018 with flag 3473000/3473000
425.57/424.71	c cleaning 26994 clauses out of 54018 with flag 3500000/3500000
428.78/427.91	c cleaning 27005 clauses out of 54024 with flag 3527000/3527000
431.98/431.13	c cleaning 26992 clauses out of 54019 with flag 3554000/3554000
435.07/434.26	c cleaning 27012 clauses out of 54028 with flag 3581001/3581001
438.27/437.48	c cleaning 27002 clauses out of 54015 with flag 3608000/3608000
441.37/440.57	c cleaning 27004 clauses out of 54014 with flag 3635001/3635001
444.48/443.62	c cleaning 26997 clauses out of 54009 with flag 3662000/3662000
447.67/446.82	c cleaning 27000 clauses out of 54012 with flag 3689000/3689000
450.68/449.90	c cleaning 26982 clauses out of 54012 with flag 3716000/3716000
453.88/453.06	c cleaning 27009 clauses out of 54031 with flag 3743001/3743001
456.98/456.14	c cleaning 27002 clauses out of 54022 with flag 3770001/3770001
460.08/459.29	c cleaning 27004 clauses out of 54020 with flag 3797001/3797001
463.38/462.53	c cleaning 27006 clauses out of 54018 with flag 3824003/3824003
466.58/465.72	c cleaning 26997 clauses out of 54009 with flag 3851000/3851000
469.78/468.94	c cleaning 26998 clauses out of 54012 with flag 3878000/3878000
473.00/472.08	c cleaning 27003 clauses out of 54014 with flag 3905000/3905000
476.30/475.13	c cleaning 26998 clauses out of 54011 with flag 3932000/3932000
479.61/478.46	c cleaning 27005 clauses out of 54013 with flag 3959000/3959000
483.21/481.81	c cleaning 26991 clauses out of 54008 with flag 3986000/3986000
486.53/484.90	c cleaning 27001 clauses out of 54017 with flag 4013000/4013000
489.84/488.09	c cleaning 27002 clauses out of 54017 with flag 4040001/4040001
493.24/491.41	c cleaning 27007 clauses out of 54015 with flag 4067001/4067001
496.24/494.49	c cleaning 27000 clauses out of 54007 with flag 4094000/4094000
499.54/497.79	c cleaning 26997 clauses out of 54009 with flag 4121002/4121002
502.74/500.99	c cleaning 26991 clauses out of 54010 with flag 4148000/4148000
505.94/504.14	c cleaning 27005 clauses out of 54020 with flag 4175001/4175001
508.95/507.18	c cleaning 27000 clauses out of 54014 with flag 4202000/4202000
512.25/510.41	c cleaning 27001 clauses out of 54014 with flag 4229000/4229000
515.35/513.58	c cleaning 26995 clauses out of 54013 with flag 4256000/4256000
518.55/516.76	c cleaning 27001 clauses out of 54019 with flag 4283001/4283001
521.85/520.04	c cleaning 27009 clauses out of 54018 with flag 4310001/4310001
524.95/523.12	c cleaning 26993 clauses out of 54008 with flag 4337000/4337000
528.15/526.37	c cleaning 26999 clauses out of 54015 with flag 4364000/4364000
531.55/529.70	c cleaning 27000 clauses out of 54016 with flag 4391000/4391000
534.65/532.86	c cleaning 27004 clauses out of 54018 with flag 4418002/4418002
537.86/536.03	c cleaning 27002 clauses out of 54013 with flag 4445001/4445001
540.96/539.16	c cleaning 27002 clauses out of 54010 with flag 4472000/4472000
544.16/542.36	c cleaning 27003 clauses out of 54009 with flag 4499001/4499001
547.36/545.54	c cleaning 27000 clauses out of 54006 with flag 4526001/4526001
550.56/548.73	c cleaning 26986 clauses out of 54005 with flag 4553000/4553000
553.86/552.01	c cleaning 26998 clauses out of 54019 with flag 4580000/4580000
557.06/555.30	c cleaning 27008 clauses out of 54023 with flag 4607002/4607002
560.27/558.44	c cleaning 27001 clauses out of 54015 with flag 4634002/4634002
563.57/561.76	c cleaning 26991 clauses out of 54012 with flag 4661000/4661000
566.88/565.09	c cleaning 27006 clauses out of 54022 with flag 4688001/4688001
570.19/568.37	c cleaning 27002 clauses out of 54015 with flag 4715000/4715000
573.39/571.54	c cleaning 26997 clauses out of 54013 with flag 4742000/4742000
576.59/574.70	c cleaning 27004 clauses out of 54016 with flag 4769000/4769000
579.79/577.91	c cleaning 27006 clauses out of 54012 with flag 4796000/4796000
582.99/581.10	c cleaning 26990 clauses out of 54007 with flag 4823001/4823001
586.09/584.21	c cleaning 26993 clauses out of 54016 with flag 4850000/4850000
589.09/587.24	c cleaning 26996 clauses out of 54023 with flag 4877000/4877000
592.29/590.43	c cleaning 26999 clauses out of 54027 with flag 4904000/4904000
595.49/593.66	c cleaning 27005 clauses out of 54028 with flag 4931000/4931000
598.69/596.86	c cleaning 27006 clauses out of 54023 with flag 4958000/4958000
601.99/600.10	c cleaning 26998 clauses out of 54018 with flag 4985001/4985001
605.30/603.40	c cleaning 27002 clauses out of 54019 with flag 5012000/5012000
608.50/606.68	c cleaning 27007 clauses out of 54018 with flag 5039001/5039001
611.70/609.87	c cleaning 27000 clauses out of 54010 with flag 5066000/5066000
614.90/613.06	c cleaning 26999 clauses out of 54010 with flag 5093000/5093000
618.10/616.27	c cleaning 27001 clauses out of 54011 with flag 5120000/5120000
621.40/619.52	c cleaning 27001 clauses out of 54010 with flag 5147000/5147000
624.70/622.80	c cleaning 26992 clauses out of 54009 with flag 5174000/5174000
628.00/626.15	c cleaning 27004 clauses out of 54017 with flag 5201000/5201000
631.30/629.47	c cleaning 27000 clauses out of 54014 with flag 5228001/5228001
634.50/632.64	c cleaning 26993 clauses out of 54014 with flag 5255001/5255001
637.81/635.93	c cleaning 27011 clauses out of 54022 with flag 5282002/5282002
641.01/639.16	c cleaning 26999 clauses out of 54009 with flag 5309000/5309000
644.21/642.37	c cleaning 26995 clauses out of 54010 with flag 5336000/5336000
647.41/645.51	c cleaning 26995 clauses out of 54015 with flag 5363000/5363000
650.71/648.81	c cleaning 27006 clauses out of 54020 with flag 5390000/5390000
654.01/652.13	c cleaning 26998 clauses out of 54014 with flag 5417000/5417000
657.11/655.29	c cleaning 26993 clauses out of 54016 with flag 5444000/5444000
660.31/658.40	c cleaning 27002 clauses out of 54023 with flag 5471000/5471000
663.51/661.62	c cleaning 26997 clauses out of 54022 with flag 5498001/5498001
666.81/664.92	c cleaning 27008 clauses out of 54024 with flag 5525000/5525000
670.02/668.19	c cleaning 26995 clauses out of 54016 with flag 5552000/5552000
673.32/671.41	c cleaning 27008 clauses out of 54021 with flag 5579000/5579000
676.52/674.68	c cleaning 27004 clauses out of 54014 with flag 5606001/5606001
679.92/678.01	c cleaning 26995 clauses out of 54010 with flag 5633001/5633001
683.02/681.14	c cleaning 27003 clauses out of 54015 with flag 5660001/5660001
686.32/684.40	c cleaning 27001 clauses out of 54011 with flag 5687000/5687000
689.52/687.60	c cleaning 26995 clauses out of 54010 with flag 5714000/5714000
692.92/691.01	c cleaning 26995 clauses out of 54015 with flag 5741000/5741000
696.22/694.34	c cleaning 27001 clauses out of 54021 with flag 5768001/5768001
699.43/697.59	c cleaning 27004 clauses out of 54019 with flag 5795000/5795000
702.73/700.84	c cleaning 26999 clauses out of 54015 with flag 5822000/5822000
706.04/704.18	c cleaning 26991 clauses out of 54016 with flag 5849000/5849000
709.34/707.41	c cleaning 27010 clauses out of 54025 with flag 5876000/5876000
712.54/710.67	c cleaning 26996 clauses out of 54015 with flag 5903000/5903000
715.64/713.76	c cleaning 26996 clauses out of 54020 with flag 5930001/5930001
718.84/716.93	c cleaning 27002 clauses out of 54024 with flag 5957001/5957001
722.04/720.19	c cleaning 27001 clauses out of 54021 with flag 5984000/5984000
725.24/723.37	c cleaning 27008 clauses out of 54021 with flag 6011001/6011001
728.44/726.58	c cleaning 27001 clauses out of 54012 with flag 6038000/6038000
731.84/729.90	c cleaning 26993 clauses out of 54011 with flag 6065000/6065000
735.15/733.25	c cleaning 27005 clauses out of 54018 with flag 6092000/6092000
738.34/736.48	c cleaning 26996 clauses out of 54013 with flag 6119000/6119000
741.75/739.83	c cleaning 26995 clauses out of 54017 with flag 6146000/6146000
745.05/743.19	c cleaning 27003 clauses out of 54023 with flag 6173001/6173001
748.35/746.46	c cleaning 27006 clauses out of 54019 with flag 6200000/6200000
751.65/749.75	c cleaning 26991 clauses out of 54013 with flag 6227000/6227000
754.75/752.82	c cleaning 27000 clauses out of 54022 with flag 6254000/6254000
758.05/756.14	c cleaning 27001 clauses out of 54022 with flag 6281000/6281000
761.15/759.28	c cleaning 27009 clauses out of 54024 with flag 6308003/6308003
764.55/762.66	c cleaning 27000 clauses out of 54012 with flag 6335000/6335000
767.86/765.90	c cleaning 26999 clauses out of 54012 with flag 6362000/6362000
771.16/769.29	c cleaning 26999 clauses out of 54013 with flag 6389000/6389000
774.46/772.57	c cleaning 27009 clauses out of 54017 with flag 6416003/6416003
777.96/776.02	c cleaning 27001 clauses out of 54005 with flag 6443000/6443000
781.16/779.20	c cleaning 26999 clauses out of 54004 with flag 6470000/6470000
784.16/782.27	c cleaning 26996 clauses out of 54005 with flag 6497000/6497000
787.37/785.48	c cleaning 26998 clauses out of 54009 with flag 6524000/6524000
790.57/788.66	c cleaning 26996 clauses out of 54011 with flag 6551000/6551000
793.76/791.87	c cleaning 26998 clauses out of 54016 with flag 6578001/6578001
797.17/795.21	c cleaning 27001 clauses out of 54019 with flag 6605002/6605002
800.57/798.61	c cleaning 27003 clauses out of 54018 with flag 6632002/6632002
803.97/802.02	c cleaning 27005 clauses out of 54013 with flag 6659000/6659000
807.27/805.30	c cleaning 27001 clauses out of 54008 with flag 6686000/6686000
810.48/808.51	c cleaning 26992 clauses out of 54007 with flag 6713000/6713000
813.68/811.76	c cleaning 27006 clauses out of 54016 with flag 6740001/6740001
816.98/815.05	c cleaning 26996 clauses out of 54009 with flag 6767000/6767000
820.28/818.40	c cleaning 26998 clauses out of 54013 with flag 6794000/6794000
823.48/821.52	c cleaning 27003 clauses out of 54015 with flag 6821000/6821000
826.58/824.67	c cleaning 26995 clauses out of 54012 with flag 6848000/6848000
829.88/827.93	c cleaning 27003 clauses out of 54017 with flag 6875000/6875000
833.08/831.14	c cleaning 26998 clauses out of 54015 with flag 6902001/6902001
836.38/834.48	c cleaning 26998 clauses out of 54016 with flag 6929000/6929000
839.78/837.84	c cleaning 27004 clauses out of 54018 with flag 6956000/6956000
842.98/841.05	c cleaning 27008 clauses out of 54015 with flag 6983001/6983001
846.29/844.35	c cleaning 26995 clauses out of 54006 with flag 7010000/7010000
849.59/847.62	c cleaning 27004 clauses out of 54011 with flag 7037000/7037000
852.79/850.87	c cleaning 26993 clauses out of 54007 with flag 7064000/7064000
856.19/854.21	c cleaning 27002 clauses out of 54014 with flag 7091000/7091000
859.39/857.40	c cleaning 27001 clauses out of 54012 with flag 7118000/7118000
862.59/860.64	c cleaning 26998 clauses out of 54011 with flag 7145000/7145000
865.89/863.90	c cleaning 26999 clauses out of 54015 with flag 7172002/7172002
869.19/867.23	c cleaning 27001 clauses out of 54014 with flag 7199000/7199000
872.49/870.50	c cleaning 27002 clauses out of 54014 with flag 7226001/7226001
875.79/873.86	c cleaning 27003 clauses out of 54011 with flag 7253000/7253000
879.09/877.15	c cleaning 26998 clauses out of 54008 with flag 7280000/7280000
882.29/880.33	c cleaning 27000 clauses out of 54010 with flag 7307000/7307000
885.60/883.68	c cleaning 26994 clauses out of 54010 with flag 7334000/7334000
889.00/887.09	c cleaning 27009 clauses out of 54017 with flag 7361001/7361001
892.50/890.51	c cleaning 26998 clauses out of 54008 with flag 7388001/7388001
895.70/893.77	c cleaning 27000 clauses out of 54009 with flag 7415000/7415000
899.10/897.13	c cleaning 27001 clauses out of 54010 with flag 7442001/7442001
902.40/900.46	c cleaning 27002 clauses out of 54008 with flag 7469000/7469000
905.80/903.82	c cleaning 26993 clauses out of 54006 with flag 7496000/7496000
909.10/907.16	c cleaning 27003 clauses out of 54013 with flag 7523000/7523000
912.30/910.38	c cleaning 26998 clauses out of 54010 with flag 7550000/7550000
915.61/913.70	c cleaning 26988 clauses out of 54012 with flag 7577000/7577000
919.00/917.06	c cleaning 27000 clauses out of 54025 with flag 7604001/7604001
922.40/920.43	c cleaning 27007 clauses out of 54025 with flag 7631001/7631001
925.81/923.86	c cleaning 27006 clauses out of 54017 with flag 7658000/7658000
929.21/927.26	c cleaning 26997 clauses out of 54012 with flag 7685001/7685001
932.71/930.73	c cleaning 27005 clauses out of 54015 with flag 7712001/7712001
936.21/934.25	c cleaning 26995 clauses out of 54009 with flag 7739000/7739000
939.51/937.54	c cleaning 16870 clauses out of 33759 with flag 7766000/7766000
942.61/940.62	c cleaning 21938 clauses out of 43890 with flag 7793001/7793001
945.82/943.84	c cleaning 24472 clauses out of 48951 with flag 7820000/7820000
948.92/946.99	c cleaning 25735 clauses out of 51479 with flag 7847000/7847000
952.12/950.19	c cleaning 26370 clauses out of 52744 with flag 7874000/7874000
955.32/953.39	c cleaning 26681 clauses out of 53374 with flag 7901000/7901000
958.72/956.78	c cleaning 26844 clauses out of 53693 with flag 7928000/7928000
962.12/960.11	c cleaning 26918 clauses out of 53850 with flag 7955001/7955001
965.42/963.40	c cleaning 26957 clauses out of 53932 with flag 7982001/7982001
968.72/966.71	c cleaning 26980 clauses out of 53974 with flag 8009000/8009000
971.92/969.95	c cleaning 26994 clauses out of 53994 with flag 8036000/8036000
975.22/973.24	c cleaning 26993 clauses out of 54000 with flag 8063000/8063000
978.53/976.50	c cleaning 26997 clauses out of 54007 with flag 8090000/8090000
981.63/979.62	c cleaning 26991 clauses out of 54010 with flag 8117000/8117000
984.83/982.84	c cleaning 27003 clauses out of 54019 with flag 8144000/8144000
988.03/986.09	c cleaning 26998 clauses out of 54016 with flag 8171000/8171000
991.33/989.33	c cleaning 27009 clauses out of 54018 with flag 8198000/8198000
994.73/992.70	c cleaning 27002 clauses out of 54011 with flag 8225002/8225002
998.03/996.02	c cleaning 26995 clauses out of 54007 with flag 8252000/8252000
1001.33/999.38	c cleaning 26999 clauses out of 54012 with flag 8279000/8279000
1004.63/1002.64	c cleaning 26994 clauses out of 54013 with flag 8306000/8306000
1007.83/1005.84	c cleaning 26997 clauses out of 54019 with flag 8333000/8333000
1011.14/1009.15	c cleaning 27005 clauses out of 54022 with flag 8360000/8360000
1014.34/1012.39	c cleaning 27005 clauses out of 54017 with flag 8387000/8387000
1017.64/1015.66	c cleaning 27003 clauses out of 54012 with flag 8414000/8414000
1020.95/1018.94	c cleaning 26994 clauses out of 54009 with flag 8441000/8441000
1024.35/1022.33	c cleaning 27003 clauses out of 54015 with flag 8468000/8468000
1027.65/1025.66	c cleaning 26999 clauses out of 54014 with flag 8495002/8495002
1031.05/1029.03	c cleaning 27007 clauses out of 54015 with flag 8522002/8522002
1034.35/1032.32	c cleaning 26997 clauses out of 54008 with flag 8549002/8549002
1037.56/1035.57	c cleaning 26996 clauses out of 54009 with flag 8576000/8576000
1040.76/1038.75	c cleaning 26992 clauses out of 54013 with flag 8603000/8603000
1043.96/1041.91	c cleaning 26999 clauses out of 54021 with flag 8630000/8630000
1047.16/1045.15	c cleaning 27002 clauses out of 54022 with flag 8657000/8657000
1050.46/1048.45	c cleaning 27007 clauses out of 54021 with flag 8684001/8684001
1053.67/1051.60	c cleaning 27004 clauses out of 54014 with flag 8711001/8711001
1056.76/1054.78	c cleaning 26996 clauses out of 54009 with flag 8738000/8738000
1060.06/1058.07	c cleaning 27002 clauses out of 54013 with flag 8765000/8765000
1063.37/1061.33	c cleaning 27004 clauses out of 54011 with flag 8792000/8792000
1066.47/1064.50	c cleaning 18608 clauses out of 37243 with flag 8819000/8819000
1069.57/1067.56	c cleaning 22812 clauses out of 45636 with flag 8846001/8846001
1072.77/1070.74	c cleaning 24909 clauses out of 49824 with flag 8873001/8873001
1075.97/1073.93	c cleaning 25952 clauses out of 51914 with flag 8900000/8900000
1079.17/1077.17	c cleaning 26468 clauses out of 52962 with flag 8927000/8927000
1082.47/1080.41	c cleaning 26741 clauses out of 53494 with flag 8954000/8954000
1085.58/1083.54	c cleaning 26874 clauses out of 53753 with flag 8981000/8981000
1088.88/1086.84	c cleaning 26939 clauses out of 53880 with flag 9008001/9008001
1092.08/1090.03	c cleaning 26971 clauses out of 53942 with flag 9035002/9035002
1095.27/1093.20	c cleaning 26982 clauses out of 53969 with flag 9062000/9062000
1098.38/1096.32	c cleaning 26988 clauses out of 53987 with flag 9089000/9089000
1101.48/1099.48	c cleaning 26998 clauses out of 53999 with flag 9116000/9116000
1104.68/1102.67	c cleaning 27000 clauses out of 54002 with flag 9143001/9143001
1107.98/1105.93	c cleaning 26993 clauses out of 54001 with flag 9170000/9170000
1111.18/1109.11	c cleaning 26997 clauses out of 54008 with flag 9197000/9197000
1114.38/1112.34	c cleaning 27003 clauses out of 54011 with flag 9224000/9224000
1117.68/1115.60	c cleaning 27004 clauses out of 54009 with flag 9251001/9251001
1120.88/1118.89	c cleaning 26994 clauses out of 54006 with flag 9278002/9278002
1124.19/1122.13	c cleaning 27001 clauses out of 54011 with flag 9305001/9305001
1127.29/1125.22	c cleaning 21114 clauses out of 42242 with flag 9332000/9332000
1130.39/1128.30	c cleaning 24059 clauses out of 48128 with flag 9359000/9359000
1133.49/1131.47	c cleaning 25530 clauses out of 51069 with flag 9386000/9386000
1136.69/1134.68	c cleaning 26260 clauses out of 52539 with flag 9413000/9413000
1139.99/1137.91	c cleaning 26634 clauses out of 53279 with flag 9440000/9440000
1143.19/1141.13	c cleaning 26806 clauses out of 53645 with flag 9467000/9467000
1146.21/1144.15	c cleaning 19406 clauses out of 38827 with flag 9494000/9494000
1149.21/1147.19	c cleaning 23209 clauses out of 46421 with flag 9521000/9521000
1152.31/1150.27	c cleaning 25101 clauses out of 50212 with flag 9548000/9548000
1155.61/1153.55	c cleaning 26048 clauses out of 52111 with flag 9575000/9575000
1158.92/1156.87	c cleaning 26527 clauses out of 53063 with flag 9602000/9602000
1162.22/1160.12	c cleaning 26760 clauses out of 53536 with flag 9629000/9629000
1165.42/1163.31	c cleaning 26883 clauses out of 53777 with flag 9656001/9656001
1168.72/1166.64	c cleaning 26939 clauses out of 53894 with flag 9683001/9683001
1171.92/1169.85	c cleaning 26973 clauses out of 53954 with flag 9710000/9710000
1175.22/1173.10	c cleaning 26988 clauses out of 53983 with flag 9737002/9737002
1178.32/1176.22	c cleaning 26997 clauses out of 53993 with flag 9764000/9764000
1181.53/1179.48	c cleaning 26991 clauses out of 53997 with flag 9791001/9791001
1184.72/1182.69	c cleaning 26998 clauses out of 54005 with flag 9818000/9818000
1188.03/1185.92	c cleaning 26991 clauses out of 54007 with flag 9845000/9845000
1191.03/1188.93	c cleaning 21951 clauses out of 43911 with flag 9872000/9872000
1194.13/1192.02	c cleaning 22990 clauses out of 45985 with flag 9899000/9899000
1197.44/1195.33	c cleaning 24990 clauses out of 49996 with flag 9926001/9926001
1200.64/1198.53	c cleaning 19083 clauses out of 38172 with flag 9953000/9953000
1203.54/1201.43	c cleaning 12582 clauses out of 25179 with flag 9980000/9980000
1206.34/1204.25	c cleaning 13609 clauses out of 27220 with flag 10007001/10007001
1209.34/1207.20	c cleaning 14256 clauses out of 28513 with flag 10034000/10034000
1212.54/1210.48	c cleaning 20619 clauses out of 41257 with flag 10061000/10061000
1215.74/1213.60	c cleaning 12061 clauses out of 24121 with flag 10088001/10088001
1218.65/1216.51	c cleaning 12051 clauses out of 24107 with flag 10115000/10115000
1220.85/1218.77	c starts		: 2619
1220.85/1218.77	c conflicts		: 10137370
1220.85/1218.77	c decisions		: 10587409
1220.85/1218.77	c propagations		: 321988825
1220.85/1218.77	c inspects		: 16228015043
1220.85/1218.77	c shortcuts		: 0
1220.85/1218.77	c learnt literals	: 34
1220.85/1218.77	c learnt binary clauses	: 500
1220.85/1218.77	c learnt ternary clauses	: 5311
1220.85/1218.77	c learnt constraints	: 10137335
1220.85/1218.77	c ignored constraints	: 0
1220.85/1218.77	c root simplifications	: 2652
1220.85/1218.77	c removed literals (reason simplification)	: 241209292
1220.85/1218.77	c reason swapping (by a shorter reason)	: 0
1220.85/1218.77	c Calls to reduceDB	: 384
1220.85/1218.77	c speed (assignments/second)	: 264235.20128938125
1220.85/1218.77	c non guided choices	7
1220.85/1218.77	c learnt constraints type 
1220.85/1218.77	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 158
1220.85/1218.77	c constraints type 
1220.85/1218.77	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26145
1220.85/1218.77	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 296
1220.85/1218.77	s UNSATISFIABLE
1220.85/1218.77	c Total wall clock time (in seconds) : 1218.682

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3262436-1303548073/watcher-3262436-1303548073 -o /tmp/evaluation-result-3262436-1303548073/solver-3262436-1303548073 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3262436-1303548073.cnf 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.54 3.98 3.92 11/190 18645
/proc/meminfo: memFree=13036564/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=30540 CPUtime=0 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 1248 0 0 0 0 0 0 0 18 0 2 0 466407783 31272960 967 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 7635 967 741 9 0 386 0
[pid=18645/tid=18646] ppid=18643 vsize=30540 CPUtime=0 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 135 0 0 0 0 0 0 0 18 0 2 0 466407784 31272960 968 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230809165627 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0973899 s]
/proc/loadavg: 3.54 3.98 3.92 11/190 18645
/proc/meminfo: memFree=13036564/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7569940 CPUtime=0.08 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 9762 0 1 0 7 1 0 0 18 0 18 0 466407783 7751618560 9458 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1892485 9458 1757 9 0 1883223 0
[pid=18645/tid=18646] ppid=18643 vsize=7569940 CPUtime=0.08 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 8588 0 1 0 7 1 0 0 18 0 18 0 466407784 7751618560 9458 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 46912505227905 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7569940

[startup+0.112396 s]
/proc/loadavg: 3.54 3.98 3.92 11/190 18645
/proc/meminfo: memFree=13036564/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7570952 CPUtime=0.11 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 10400 0 1 0 10 1 0 0 18 0 18 0 466407783 7752654848 10096 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1892738 10096 2117 9 0 1883476 0
[pid=18645/tid=18646] ppid=18643 vsize=7570952 CPUtime=0.1 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 8624 0 1 0 9 1 0 0 18 0 18 0 466407784 7752654848 10096 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 46912505191184 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7570952

[startup+0.373576 s]
/proc/loadavg: 3.54 3.98 3.92 11/190 18645
/proc/meminfo: memFree=13036564/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7643156 CPUtime=0.64 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 14702 0 1 0 62 2 0 0 18 0 19 0 466407783 7826591744 13423 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1910789 13423 2221 9 0 1901527 0
[pid=18645/tid=18646] ppid=18643 vsize=7643156 CPUtime=0.32 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 9447 0 1 0 31 1 0 0 19 0 19 0 466407784 7826591744 13423 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 47048925604830 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 7643156

[startup+0.700266 s]
/proc/loadavg: 3.54 3.98 3.92 11/190 18645
/proc/meminfo: memFree=13036564/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7643156 CPUtime=1.04 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 14966 0 1 0 102 2 0 0 18 0 19 0 466407783 7826591744 13687 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1910789 13687 2223 9 0 1901527 0
[pid=18645/tid=18646] ppid=18643 vsize=7643156 CPUtime=0.65 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 9688 0 1 0 64 1 0 0 19 0 19 0 466407784 7826591744 13687 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 46912505592777 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 7643156

[startup+1.50112 s]
/proc/loadavg: 3.54 3.98 3.92 8/262 18725
/proc/meminfo: memFree=12852400/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7643156 CPUtime=2.11 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 23365 0 1 0 207 4 0 0 18 0 19 0 466407783 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1910789 20112 2254 9 0 1901527 0
[pid=18645/tid=18646] ppid=18643 vsize=7643156 CPUtime=1.41 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 9770 0 1 0 140 1 0 0 20 0 19 0 466407784 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 46912505591135 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18645/tid=18657] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18657/stat : 18657 (java) S 18643 18645 17257 0 -1 4202560 681 0 0 0 0 0 0 0 16 0 19 0 466407785 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18658] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18658/stat : 18658 (java) S 18643 18645 17257 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18659] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18659/stat : 18659 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18660] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18660/stat : 18660 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18661] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18661/stat : 18661 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18662] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18662/stat : 18662 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18663] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18663/stat : 18663 (java) S 18643 18645 17257 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18664] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18664/stat : 18664 (java) S 18643 18645 17257 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 19 0 466407785 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18666] ppid=18643 vsize=7643156 CPUtime=0.03 cores=5,7
/proc/18645/task/18666/stat : 18666 (java) S 18643 18645 17257 0 -1 4202560 951 0 0 0 3 0 0 0 16 0 19 0 466407786 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 0 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18675] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18675/stat : 18675 (java) S 18643 18645 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407787 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18676] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18676/stat : 18676 (java) S 18643 18645 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407787 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18685] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18685/stat : 18685 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466407789 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820989361 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18686] ppid=18643 vsize=7643156 CPUtime=0.48 cores=5,7
/proc/18645/task/18686/stat : 18686 (java) S 18643 18645 17257 0 -1 4202560 8392 0 0 0 47 1 0 0 15 0 19 0 466407789 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18687] ppid=18643 vsize=7643156 CPUtime=0.15 cores=5,7
/proc/18645/task/18687/stat : 18687 (java) S 18643 18645 17257 0 -1 4202560 2037 0 0 0 15 0 0 0 15 0 19 0 466407789 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18688] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18688/stat : 18688 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407789 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18689] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18689/stat : 18689 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407789 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18722] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18722/stat : 18722 (java) S 18643 18645 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407804 7826591744 20112 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 7643156

[startup+3.10083 s]
/proc/loadavg: 3.66 4.00 3.93 5/262 18725
/proc/meminfo: memFree=12794124/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7643156 CPUtime=3.74 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 23610 0 1 0 370 4 0 0 18 0 19 0 466407783 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1910789 20355 2254 9 0 1901527 0
[pid=18645/tid=18646] ppid=18643 vsize=7643156 CPUtime=2.97 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 9772 0 1 0 296 1 0 0 25 0 19 0 466407784 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 46912505598080 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18645/tid=18657] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18657/stat : 18657 (java) S 18643 18645 17257 0 -1 4202560 681 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18658] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18658/stat : 18658 (java) S 18643 18645 17257 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18659] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18659/stat : 18659 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18660] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18660/stat : 18660 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18661] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18661/stat : 18661 (java) S 18643 18645 17257 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18662] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18662/stat : 18662 (java) S 18643 18645 17257 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18663] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18663/stat : 18663 (java) S 18643 18645 17257 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18664] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18664/stat : 18664 (java) S 18643 18645 17257 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18666] ppid=18643 vsize=7643156 CPUtime=0.06 cores=5,7
/proc/18645/task/18666/stat : 18666 (java) S 18643 18645 17257 0 -1 4202560 1065 0 0 0 6 0 0 0 16 0 19 0 466407786 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 0 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18675] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18675/stat : 18675 (java) S 18643 18645 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407787 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18676] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18676/stat : 18676 (java) S 18643 18645 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407787 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18685] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18685/stat : 18685 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466407789 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820989361 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18686] ppid=18643 vsize=7643156 CPUtime=0.48 cores=5,7
/proc/18645/task/18686/stat : 18686 (java) S 18643 18645 17257 0 -1 4202560 8392 0 0 0 47 1 0 0 15 0 19 0 466407789 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18687] ppid=18643 vsize=7643156 CPUtime=0.18 cores=5,7
/proc/18645/task/18687/stat : 18687 (java) S 18643 18645 17257 0 -1 4202560 2051 0 0 0 18 0 0 0 15 0 19 0 466407789 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18688] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18688/stat : 18688 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407789 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18689] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18689/stat : 18689 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407789 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18722] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18722/stat : 18722 (java) S 18643 18645 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407804 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 7643156

[startup+6.30125 s]
/proc/loadavg: 3.66 4.00 3.93 5/262 18725
/proc/meminfo: memFree=12789348/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7643156 CPUtime=6.94 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 23825 0 1 0 690 4 0 0 18 0 19 0 466407783 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1910789 20355 2254 9 0 1901527 0
[pid=18645/tid=18646] ppid=18643 vsize=7643156 CPUtime=6.11 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 9776 0 1 0 610 1 0 0 25 0 19 0 466407784 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 46912505591403 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18645/tid=18657] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18657/stat : 18657 (java) S 18643 18645 17257 0 -1 4202560 683 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18658] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18658/stat : 18658 (java) S 18643 18645 17257 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18659] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18659/stat : 18659 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18660] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18660/stat : 18660 (java) S 18643 18645 17257 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18661] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18661/stat : 18661 (java) S 18643 18645 17257 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18662] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18662/stat : 18662 (java) S 18643 18645 17257 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18663] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18663/stat : 18663 (java) S 18643 18645 17257 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18664] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18664/stat : 18664 (java) S 18643 18645 17257 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 466407785 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18666] ppid=18643 vsize=7643156 CPUtime=0.11 cores=5,7
/proc/18645/task/18666/stat : 18666 (java) S 18643 18645 17257 0 -1 4202560 1271 0 0 0 11 0 0 0 16 0 19 0 466407786 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 0 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18675] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18675/stat : 18675 (java) S 18643 18645 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407787 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18676] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18676/stat : 18676 (java) S 18643 18645 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407787 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18685] ppid=18643 vsize=7643156 CPUtime=0 cores=5,7
/proc/18645/task/18685/stat : 18685 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466407789 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820989361 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18686] ppid=18643 vsize=7643156 CPUtime=0.48 cores=5,7
/proc/18645/task/18686/stat : 18686 (java) S 18643 18645 17257 0 -1 4202560 8392 0 0 0 47 1 0 0 15 0 19 0 466407789 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18687] ppid=18643 vsize=7643156 CPUtime=0.18 cores=5,7
/proc/18645/task/18687/stat : 18687 (java) S 18643 18645 17257 0 -1 4202560 2051 0 0 0 18 0 0 0 15 0 19 0 466407789 7826591744 20355 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0

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

/proc/18645/task/18657/stat : 18657 (java) S 18643 18645 17257 0 -1 4202560 707 0 0 0 16 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18658] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18658/stat : 18658 (java) S 18643 18645 17257 0 -1 4202560 326 0 0 0 16 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18659] ppid=18643 vsize=7643108 CPUtime=0.17 cores=5,7
/proc/18645/task/18659/stat : 18659 (java) S 18643 18645 17257 0 -1 4202560 23 0 0 0 17 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18660] ppid=18643 vsize=7643108 CPUtime=0.17 cores=5,7
/proc/18645/task/18660/stat : 18660 (java) S 18643 18645 17257 0 -1 4202560 315 0 0 0 17 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18661] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18661/stat : 18661 (java) S 18643 18645 17257 0 -1 4202560 81 0 0 0 16 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18662] ppid=18643 vsize=7643108 CPUtime=0.15 cores=5,7
/proc/18645/task/18662/stat : 18662 (java) S 18643 18645 17257 0 -1 4202560 210 0 0 0 15 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18663] ppid=18643 vsize=7643108 CPUtime=0.15 cores=5,7
/proc/18645/task/18663/stat : 18663 (java) S 18643 18645 17257 0 -1 4202560 110 0 0 0 15 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18664] ppid=18643 vsize=7643108 CPUtime=0.14 cores=5,7
/proc/18645/task/18664/stat : 18664 (java) S 18643 18645 17257 0 -1 4202560 221 0 0 0 14 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18666] ppid=18643 vsize=7643108 CPUtime=9.11 cores=5,7
/proc/18645/task/18666/stat : 18666 (java) S 18643 18645 17257 0 -1 4202560 2829 0 0 0 908 3 0 0 15 0 19 0 466407786 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 0 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18675] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18675/stat : 18675 (java) S 18643 18645 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407787 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18676] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18676/stat : 18676 (java) S 18643 18645 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407787 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18685] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18685/stat : 18685 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820989361 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18686] ppid=18643 vsize=7643108 CPUtime=0.51 cores=5,7
/proc/18645/task/18686/stat : 18686 (java) S 18643 18645 17257 0 -1 4202560 8414 0 0 0 50 1 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18687] ppid=18643 vsize=7643108 CPUtime=1.17 cores=5,7
/proc/18645/task/18687/stat : 18687 (java) S 18643 18645 17257 0 -1 4202560 11634 0 0 0 116 1 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18688] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18688/stat : 18688 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18689] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18689/stat : 18689 (java) S 18643 18645 17257 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18722] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18722/stat : 18722 (java) S 18643 18645 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407804 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1218.04
Current children cumulated vsize (KiB) 7643108

[startup+1217.5 s]
/proc/loadavg: 2.08 2.65 3.19 3/214 18802
/proc/meminfo: memFree=12898980/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7643108 CPUtime=1219.64 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 36253 0 1 0 121953 11 0 0 18 0 19 0 466407783 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1910777 21877 2255 9 0 1901515 0
[pid=18645/tid=18646] ppid=18643 vsize=7643108 CPUtime=1207.46 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 10163 0 1 0 120744 2 0 0 25 0 19 0 466407784 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 46912505616131 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18645/tid=18657] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18657/stat : 18657 (java) S 18643 18645 17257 0 -1 4202560 707 0 0 0 16 0 0 0 16 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18658] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18658/stat : 18658 (java) S 18643 18645 17257 0 -1 4202560 326 0 0 0 16 0 0 0 16 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18659] ppid=18643 vsize=7643108 CPUtime=0.18 cores=5,7
/proc/18645/task/18659/stat : 18659 (java) S 18643 18645 17257 0 -1 4202560 23 0 0 0 18 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18660] ppid=18643 vsize=7643108 CPUtime=0.17 cores=5,7
/proc/18645/task/18660/stat : 18660 (java) S 18643 18645 17257 0 -1 4202560 315 0 0 0 17 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18661] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18661/stat : 18661 (java) S 18643 18645 17257 0 -1 4202560 81 0 0 0 16 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18662] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18662/stat : 18662 (java) S 18643 18645 17257 0 -1 4202560 210 0 0 0 16 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18663] ppid=18643 vsize=7643108 CPUtime=0.15 cores=5,7
/proc/18645/task/18663/stat : 18663 (java) S 18643 18645 17257 0 -1 4202560 110 0 0 0 15 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18664] ppid=18643 vsize=7643108 CPUtime=0.14 cores=5,7
/proc/18645/task/18664/stat : 18664 (java) S 18643 18645 17257 0 -1 4202560 221 0 0 0 14 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18666] ppid=18643 vsize=7643108 CPUtime=9.13 cores=5,7
/proc/18645/task/18666/stat : 18666 (java) S 18643 18645 17257 0 -1 4202560 2829 0 0 0 910 3 0 0 16 0 19 0 466407786 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 0 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18675] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18675/stat : 18675 (java) S 18643 18645 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407787 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18676] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18676/stat : 18676 (java) S 18643 18645 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407787 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18685] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18685/stat : 18685 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820989361 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18686] ppid=18643 vsize=7643108 CPUtime=0.51 cores=5,7
/proc/18645/task/18686/stat : 18686 (java) S 18643 18645 17257 0 -1 4202560 8414 0 0 0 50 1 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18687] ppid=18643 vsize=7643108 CPUtime=1.17 cores=5,7
/proc/18645/task/18687/stat : 18687 (java) S 18643 18645 17257 0 -1 4202560 11634 0 0 0 116 1 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18688] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18688/stat : 18688 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18689] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18689/stat : 18689 (java) S 18643 18645 17257 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18722] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18722/stat : 18722 (java) S 18643 18645 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407804 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1219.64
Current children cumulated vsize (KiB) 7643108

[startup+1218.3 s]
/proc/loadavg: 2.08 2.65 3.19 3/214 18802
/proc/meminfo: memFree=12898980/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7643108 CPUtime=1220.44 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 36253 0 1 0 122033 11 0 0 18 0 19 0 466407783 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1910777 21877 2255 9 0 1901515 0
[pid=18645/tid=18646] ppid=18643 vsize=7643108 CPUtime=1208.26 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 10163 0 1 0 120824 2 0 0 25 0 19 0 466407784 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 46912505569152 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18645/tid=18657] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18657/stat : 18657 (java) S 18643 18645 17257 0 -1 4202560 707 0 0 0 16 0 0 0 16 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18658] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18658/stat : 18658 (java) S 18643 18645 17257 0 -1 4202560 326 0 0 0 16 0 0 0 16 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18659] ppid=18643 vsize=7643108 CPUtime=0.18 cores=5,7
/proc/18645/task/18659/stat : 18659 (java) S 18643 18645 17257 0 -1 4202560 23 0 0 0 18 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18660] ppid=18643 vsize=7643108 CPUtime=0.17 cores=5,7
/proc/18645/task/18660/stat : 18660 (java) S 18643 18645 17257 0 -1 4202560 315 0 0 0 17 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18661] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18661/stat : 18661 (java) S 18643 18645 17257 0 -1 4202560 81 0 0 0 16 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18662] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18662/stat : 18662 (java) S 18643 18645 17257 0 -1 4202560 210 0 0 0 16 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18663] ppid=18643 vsize=7643108 CPUtime=0.15 cores=5,7
/proc/18645/task/18663/stat : 18663 (java) S 18643 18645 17257 0 -1 4202560 110 0 0 0 15 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18664] ppid=18643 vsize=7643108 CPUtime=0.14 cores=5,7
/proc/18645/task/18664/stat : 18664 (java) S 18643 18645 17257 0 -1 4202560 221 0 0 0 14 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18666] ppid=18643 vsize=7643108 CPUtime=9.13 cores=5,7
/proc/18645/task/18666/stat : 18666 (java) S 18643 18645 17257 0 -1 4202560 2829 0 0 0 910 3 0 0 15 0 19 0 466407786 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 0 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18675] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18675/stat : 18675 (java) S 18643 18645 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407787 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18676] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18676/stat : 18676 (java) S 18643 18645 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407787 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18685] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18685/stat : 18685 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820989361 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18686] ppid=18643 vsize=7643108 CPUtime=0.51 cores=5,7
/proc/18645/task/18686/stat : 18686 (java) S 18643 18645 17257 0 -1 4202560 8414 0 0 0 50 1 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18687] ppid=18643 vsize=7643108 CPUtime=1.17 cores=5,7
/proc/18645/task/18687/stat : 18687 (java) S 18643 18645 17257 0 -1 4202560 11634 0 0 0 116 1 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18688] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18688/stat : 18688 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18689] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18689/stat : 18689 (java) S 18643 18645 17257 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18722] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18722/stat : 18722 (java) S 18643 18645 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407804 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1220.44
Current children cumulated vsize (KiB) 7643108

[startup+1218.7 s]
/proc/loadavg: 2.08 2.65 3.19 3/214 18802
/proc/meminfo: memFree=12898980/32951124 swapFree=67111528/67111528
[pid=18645] ppid=18643 vsize=7643108 CPUtime=1220.85 cores=5,7
/proc/18645/stat : 18645 (java) S 18643 18645 17257 0 -1 4202496 36253 0 1 0 122074 11 0 0 18 0 19 0 466407783 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18645/statm: 1910777 21877 2255 9 0 1901515 0
[pid=18645/tid=18646] ppid=18643 vsize=7643108 CPUtime=1208.66 cores=5,7
/proc/18645/task/18646/stat : 18646 (java) R 18643 18645 17257 0 -1 4202560 10163 0 1 0 120864 2 0 0 25 0 19 0 466407784 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 46912505598203 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18645/tid=18657] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18657/stat : 18657 (java) S 18643 18645 17257 0 -1 4202560 707 0 0 0 16 0 0 0 16 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18658] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18658/stat : 18658 (java) S 18643 18645 17257 0 -1 4202560 326 0 0 0 16 0 0 0 16 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18659] ppid=18643 vsize=7643108 CPUtime=0.18 cores=5,7
/proc/18645/task/18659/stat : 18659 (java) S 18643 18645 17257 0 -1 4202560 23 0 0 0 18 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18660] ppid=18643 vsize=7643108 CPUtime=0.17 cores=5,7
/proc/18645/task/18660/stat : 18660 (java) S 18643 18645 17257 0 -1 4202560 315 0 0 0 17 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18661] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18661/stat : 18661 (java) S 18643 18645 17257 0 -1 4202560 81 0 0 0 16 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18662] ppid=18643 vsize=7643108 CPUtime=0.16 cores=5,7
/proc/18645/task/18662/stat : 18662 (java) S 18643 18645 17257 0 -1 4202560 210 0 0 0 16 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18663] ppid=18643 vsize=7643108 CPUtime=0.15 cores=5,7
/proc/18645/task/18663/stat : 18663 (java) S 18643 18645 17257 0 -1 4202560 110 0 0 0 15 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18664] ppid=18643 vsize=7643108 CPUtime=0.14 cores=5,7
/proc/18645/task/18664/stat : 18664 (java) S 18643 18645 17257 0 -1 4202560 221 0 0 0 14 0 0 0 15 0 19 0 466407785 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18666] ppid=18643 vsize=7643108 CPUtime=9.13 cores=5,7
/proc/18645/task/18666/stat : 18666 (java) S 18643 18645 17257 0 -1 4202560 2829 0 0 0 910 3 0 0 15 0 19 0 466407786 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 0 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18675] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18675/stat : 18675 (java) S 18643 18645 17257 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466407787 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18676] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18676/stat : 18676 (java) S 18643 18645 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407787 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18685] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18685/stat : 18685 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820989361 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18686] ppid=18643 vsize=7643108 CPUtime=0.51 cores=5,7
/proc/18645/task/18686/stat : 18686 (java) S 18643 18645 17257 0 -1 4202560 8414 0 0 0 50 1 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 7 0 0 0
[pid=18645/tid=18687] ppid=18643 vsize=7643108 CPUtime=1.17 cores=5,7
/proc/18645/task/18687/stat : 18687 (java) S 18643 18645 17257 0 -1 4202560 11634 0 0 0 116 1 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18688] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18688/stat : 18688 (java) S 18643 18645 17257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820981657 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18689] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18689/stat : 18689 (java) S 18643 18645 17257 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 466407789 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
[pid=18645/tid=18722] ppid=18643 vsize=7643108 CPUtime=0 cores=5,7
/proc/18645/task/18722/stat : 18722 (java) S 18643 18645 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407804 7826542592 21877 33554432000 1073741824 1073778376 140735956865728 18446744073709551615 230820982272 0 4 0 16800975 18446604464785708992 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1220.85
Current children cumulated vsize (KiB) 7643108

Child status: 20
Real time (s): 1218.78
CPU time (s): 1220.93
CPU user time (s): 1220.81
CPU system time (s): 0.116982
CPU usage (%): 100.176
Max. virtual memory (cumulated for all children) (KiB): 7662772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1220.81
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36267
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= 35957
involuntary context switches= 10940

runsolver used 1.9627 second user time and 4.70528 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 4f7ff14ba0d33c4cf7de4e3c004f2f79
RANDOM SEED=1905918183

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13037248 kB
Buffers:       2271616 kB
Cached:       16975632 kB
SwapCached:          0 kB
Active:       10794584 kB
Inactive:      8545184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13037248 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1720 kB
Writeback:           0 kB
AnonPages:       92140 kB
Mapped:          17564 kB
Slab:           510848 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7436452 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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