Trace number 3190261

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1300.9 1300.04

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf
MD5SUM274f6c2fc3e630d8716a09f7c87233f2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data 

0.03/0.26	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.26	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.26	c See www.sat4j.org for details.
0.03/0.26	c no version file found!!!
0.03/0.26	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.26	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.26	c java.vm.version	19.1-b02
0.03/0.26	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.26	c sun.arch.data.model	64
0.03/0.26	c java.version		1.6.0_24
0.03/0.26	c os.name		Linux
0.03/0.26	c os.version		2.6.18-164.el5
0.03/0.26	c os.arch		amd64
0.03/0.26	c Free memory 		6997539544
0.03/0.26	c Max memory 		7034241024
0.03/0.26	c Total memory 		7034241024
0.03/0.26	c Number of processors 	8
0.03/0.29	c --- Begin Solver configuration ---
0.03/0.29	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.03/0.29	c Learn all clauses as in MiniSAT
0.03/0.29	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.29	c Expensive reason simplification
0.03/0.29	c Armin Biere (Picosat) restarts strategy
0.03/0.29	c Glucose learned constraints deletion strategy
0.03/0.29	c timeout=2147483647s
0.03/0.29	c DB Simplification allowed=true
0.03/0.29	c --- End Solver configuration ---
0.03/0.29	c solving HOME/instance-3190261-1302597668.cnf
0.03/0.29	c reading problem ... 
0.22/0.38	c ... done. Wall clock time 0.093s.
0.22/0.38	c #vars     200
0.22/0.38	c #constraints  17000
0.22/0.38	c constraints type 
0.22/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17000
1.30/1.19	c cleaning 2496 clauses out of 5001 with flag 5001/5001
2.18/1.88	c cleaning 4249 clauses out of 8505 with flag 11001/11001
3.09/2.70	c cleaning 5627 clauses out of 11256 with flag 18001/18001
4.00/3.69	c cleaning 6809 clauses out of 13630 with flag 26002/26002
5.20/4.85	c cleaning 7907 clauses out of 15821 with flag 35002/35002
6.60/6.26	c cleaning 8954 clauses out of 17914 with flag 45002/45002
8.21/7.82	c cleaning 9976 clauses out of 19958 with flag 56000/56000
10.00/9.64	c cleaning 10988 clauses out of 21983 with flag 68001/68001
12.00/11.63	c cleaning 11995 clauses out of 23994 with flag 81000/81000
14.20/13.87	c cleaning 12999 clauses out of 26002 with flag 95003/95003
16.81/16.45	c cleaning 13994 clauses out of 28001 with flag 110001/110001
19.51/19.14	c cleaning 14999 clauses out of 30006 with flag 126000/126000
22.61/22.21	c cleaning 16002 clauses out of 32007 with flag 143000/143000
25.72/25.35	c cleaning 16496 clauses out of 33005 with flag 160000/160000
28.91/28.56	c cleaning 16752 clauses out of 33512 with flag 177003/177003
32.02/31.66	c cleaning 16876 clauses out of 33757 with flag 194000/194000
35.02/34.63	c cleaning 16937 clauses out of 33881 with flag 211000/211000
38.12/37.79	c cleaning 16963 clauses out of 33944 with flag 228000/228000
41.42/41.04	c cleaning 16983 clauses out of 33981 with flag 245000/245000
44.32/43.99	c cleaning 16995 clauses out of 33999 with flag 262001/262001
47.52/47.15	c cleaning 16998 clauses out of 34004 with flag 279001/279001
50.73/50.33	c cleaning 16999 clauses out of 34008 with flag 296003/296003
53.83/53.44	c cleaning 16996 clauses out of 34008 with flag 313002/313002
57.03/56.63	c cleaning 16997 clauses out of 34011 with flag 330001/330001
60.13/59.74	c cleaning 17003 clauses out of 34013 with flag 347000/347000
63.23/62.81	c cleaning 17002 clauses out of 34011 with flag 364001/364001
66.33/65.95	c cleaning 17001 clauses out of 34009 with flag 381001/381001
69.33/68.98	c cleaning 17002 clauses out of 34010 with flag 398003/398003
72.63/72.27	c cleaning 16997 clauses out of 34005 with flag 415000/415000
75.73/75.32	c cleaning 16996 clauses out of 34008 with flag 432000/432000
78.83/78.42	c cleaning 17002 clauses out of 34012 with flag 449000/449000
81.94/81.60	c cleaning 17000 clauses out of 34010 with flag 466000/466000
85.03/84.60	c cleaning 16997 clauses out of 34010 with flag 483000/483000
88.14/87.79	c cleaning 17005 clauses out of 34013 with flag 500000/500000
91.25/90.85	c cleaning 17000 clauses out of 34009 with flag 517001/517001
94.25/93.84	c cleaning 16991 clauses out of 34009 with flag 534001/534001
97.25/96.90	c cleaning 17007 clauses out of 34017 with flag 551000/551000
100.45/100.08	c cleaning 16997 clauses out of 34010 with flag 568000/568000
103.45/103.03	c cleaning 17002 clauses out of 34015 with flag 585002/585002
106.35/105.97	c cleaning 16995 clauses out of 34011 with flag 602000/602000
109.46/109.05	c cleaning 16995 clauses out of 34016 with flag 619000/619000
112.45/112.08	c cleaning 17000 clauses out of 34021 with flag 636000/636000
115.55/115.10	c cleaning 17004 clauses out of 34021 with flag 653000/653000
118.45/118.07	c cleaning 17001 clauses out of 34018 with flag 670001/670001
121.65/121.23	c cleaning 17005 clauses out of 34017 with flag 687001/687001
124.76/124.32	c cleaning 16999 clauses out of 34011 with flag 704000/704000
127.75/127.39	c cleaning 16998 clauses out of 34012 with flag 721000/721000
130.85/130.43	c cleaning 16999 clauses out of 34015 with flag 738001/738001
134.05/133.60	c cleaning 17002 clauses out of 34016 with flag 755001/755001
136.96/136.55	c cleaning 17002 clauses out of 34013 with flag 772000/772000
139.95/139.56	c cleaning 16997 clauses out of 34011 with flag 789000/789000
142.85/142.49	c cleaning 17002 clauses out of 34014 with flag 806000/806000
145.95/145.56	c cleaning 16997 clauses out of 34012 with flag 823000/823000
149.06/148.66	c cleaning 17005 clauses out of 34016 with flag 840001/840001
152.06/151.66	c cleaning 16999 clauses out of 34010 with flag 857000/857000
155.06/154.62	c cleaning 16998 clauses out of 34012 with flag 874001/874001
157.96/157.56	c cleaning 17001 clauses out of 34013 with flag 891000/891000
160.96/160.54	c cleaning 17000 clauses out of 34012 with flag 908000/908000
164.06/163.67	c cleaning 17004 clauses out of 34014 with flag 925002/925002
167.16/166.77	c cleaning 16997 clauses out of 34008 with flag 942000/942000
170.16/169.78	c cleaning 16999 clauses out of 34015 with flag 959004/959004
173.17/172.72	c cleaning 17000 clauses out of 34013 with flag 976001/976001
176.16/175.78	c cleaning 17001 clauses out of 34013 with flag 993001/993001
179.16/178.71	c cleaning 17002 clauses out of 34011 with flag 1010000/1010000
182.16/181.76	c cleaning 16997 clauses out of 34009 with flag 1027000/1027000
185.27/184.85	c cleaning 17002 clauses out of 34013 with flag 1044001/1044001
188.26/187.89	c cleaning 16994 clauses out of 34010 with flag 1061000/1061000
191.16/190.79	c cleaning 17000 clauses out of 34016 with flag 1078000/1078000
194.26/193.83	c cleaning 16999 clauses out of 34016 with flag 1095000/1095000
197.26/196.86	c cleaning 17003 clauses out of 34019 with flag 1112002/1112002
200.46/200.04	c cleaning 17003 clauses out of 34016 with flag 1129002/1129002
203.56/203.13	c cleaning 17000 clauses out of 34012 with flag 1146001/1146001
206.56/206.18	c cleaning 16996 clauses out of 34011 with flag 1163000/1163000
209.67/209.20	c cleaning 17007 clauses out of 34018 with flag 1180003/1180003
212.67/212.27	c cleaning 16993 clauses out of 34009 with flag 1197001/1197001
215.67/215.23	c cleaning 16997 clauses out of 34015 with flag 1214000/1214000
218.67/218.21	c cleaning 16996 clauses out of 34019 with flag 1231001/1231001
221.77/221.32	c cleaning 17005 clauses out of 34023 with flag 1248001/1248001
224.67/224.26	c cleaning 17002 clauses out of 34017 with flag 1265000/1265000
227.57/227.13	c cleaning 16998 clauses out of 34016 with flag 1282001/1282001
230.67/230.26	c cleaning 17002 clauses out of 34017 with flag 1299000/1299000
233.67/233.22	c cleaning 16995 clauses out of 34015 with flag 1316000/1316000
236.77/236.34	c cleaning 17005 clauses out of 34023 with flag 1333003/1333003
239.97/239.51	c cleaning 16999 clauses out of 34017 with flag 1350002/1350002
243.17/242.71	c cleaning 17004 clauses out of 34017 with flag 1367001/1367001
246.17/245.75	c cleaning 17002 clauses out of 34012 with flag 1384000/1384000
249.17/248.72	c cleaning 17000 clauses out of 34012 with flag 1401002/1401002
252.27/251.81	c cleaning 16997 clauses out of 34012 with flag 1418002/1418002
255.27/254.84	c cleaning 16999 clauses out of 34013 with flag 1435000/1435000
258.27/257.84	c cleaning 17002 clauses out of 34015 with flag 1452001/1452001
261.28/260.89	c cleaning 16997 clauses out of 34012 with flag 1469000/1469000
264.37/263.98	c cleaning 17003 clauses out of 34015 with flag 1486000/1486000
267.57/267.14	c cleaning 17003 clauses out of 34013 with flag 1503001/1503001
270.67/270.22	c cleaning 16997 clauses out of 34009 with flag 1520000/1520000
273.48/273.09	c cleaning 17000 clauses out of 34013 with flag 1537001/1537001
276.48/276.05	c cleaning 16996 clauses out of 34012 with flag 1554000/1554000
279.48/279.08	c cleaning 17001 clauses out of 34016 with flag 1571000/1571000
282.58/282.16	c cleaning 17007 clauses out of 34018 with flag 1588003/1588003
285.58/285.13	c cleaning 16996 clauses out of 34008 with flag 1605000/1605000
288.69/288.28	c cleaning 16999 clauses out of 34012 with flag 1622000/1622000
291.99/291.59	c cleaning 17000 clauses out of 34015 with flag 1639002/1639002
295.29/294.81	c cleaning 17002 clauses out of 34013 with flag 1656000/1656000
298.39/297.96	c cleaning 17000 clauses out of 34013 with flag 1673002/1673002
301.29/300.82	c cleaning 17001 clauses out of 34012 with flag 1690001/1690001
304.20/303.77	c cleaning 16993 clauses out of 34010 with flag 1707000/1707000
307.29/306.87	c cleaning 17001 clauses out of 34017 with flag 1724000/1724000
310.39/309.95	c cleaning 17003 clauses out of 34019 with flag 1741003/1741003
313.39/312.94	c cleaning 17000 clauses out of 34015 with flag 1758002/1758002
316.49/316.02	c cleaning 17002 clauses out of 34013 with flag 1775000/1775000
319.50/319.06	c cleaning 17001 clauses out of 34011 with flag 1792000/1792000
322.49/322.02	c cleaning 16995 clauses out of 34010 with flag 1809000/1809000
325.60/325.15	c cleaning 17000 clauses out of 34017 with flag 1826002/1826002
328.70/328.29	c cleaning 17005 clauses out of 34016 with flag 1843001/1843001
331.80/331.31	c cleaning 16998 clauses out of 34011 with flag 1860001/1860001
334.80/334.35	c cleaning 16998 clauses out of 34014 with flag 1877002/1877002
337.90/337.45	c cleaning 17003 clauses out of 34015 with flag 1894001/1894001
341.00/340.50	c cleaning 16996 clauses out of 34011 with flag 1911000/1911000
343.90/343.47	c cleaning 16997 clauses out of 34016 with flag 1928001/1928001
346.90/346.48	c cleaning 17005 clauses out of 34020 with flag 1945002/1945002
350.00/349.50	c cleaning 16999 clauses out of 34013 with flag 1962000/1962000
353.20/352.71	c cleaning 16998 clauses out of 34016 with flag 1979002/1979002
356.20/355.75	c cleaning 17004 clauses out of 34020 with flag 1996004/1996004
359.40/358.97	c cleaning 16994 clauses out of 34012 with flag 2013000/2013000
362.51/362.07	c cleaning 17000 clauses out of 34018 with flag 2030000/2030000
365.50/365.05	c cleaning 17001 clauses out of 34018 with flag 2047000/2047000
368.60/368.15	c cleaning 17001 clauses out of 34017 with flag 2064000/2064000
371.61/371.17	c cleaning 16999 clauses out of 34016 with flag 2081000/2081000
374.61/374.14	c cleaning 16998 clauses out of 34018 with flag 2098001/2098001
377.61/377.10	c cleaning 17002 clauses out of 34020 with flag 2115001/2115001
380.52/380.05	c cleaning 17003 clauses out of 34017 with flag 2132000/2132000
383.52/383.03	c cleaning 16997 clauses out of 34014 with flag 2149000/2149000
386.42/385.97	c cleaning 17002 clauses out of 34018 with flag 2166001/2166001
389.32/388.87	c cleaning 16999 clauses out of 34015 with flag 2183000/2183000
392.42/391.97	c cleaning 16996 clauses out of 34017 with flag 2200001/2200001
395.53/395.06	c cleaning 17003 clauses out of 34020 with flag 2217000/2217000
398.62/398.16	c cleaning 17005 clauses out of 34017 with flag 2234000/2234000
401.52/401.06	c cleaning 17000 clauses out of 34013 with flag 2251001/2251001
404.42/403.98	c cleaning 16998 clauses out of 34012 with flag 2268000/2268000
407.43/406.96	c cleaning 17001 clauses out of 34014 with flag 2285000/2285000
410.43/409.96	c cleaning 16999 clauses out of 34014 with flag 2302001/2302001
413.43/412.91	c cleaning 16999 clauses out of 34014 with flag 2319000/2319000
416.43/415.92	c cleaning 17005 clauses out of 34016 with flag 2336001/2336001
419.43/418.99	c cleaning 16997 clauses out of 34010 with flag 2353000/2353000
422.53/422.03	c cleaning 16999 clauses out of 34014 with flag 2370001/2370001
425.33/424.81	c cleaning 17001 clauses out of 34015 with flag 2387001/2387001
428.33/427.80	c cleaning 17000 clauses out of 34013 with flag 2404000/2404000
431.33/430.84	c cleaning 16995 clauses out of 34013 with flag 2421000/2421000
434.34/433.85	c cleaning 17002 clauses out of 34018 with flag 2438000/2438000
437.44/436.97	c cleaning 17006 clauses out of 34017 with flag 2455001/2455001
440.44/439.98	c cleaning 16999 clauses out of 34010 with flag 2472000/2472000
443.54/443.02	c cleaning 16996 clauses out of 34011 with flag 2489000/2489000
446.74/446.20	c cleaning 17001 clauses out of 34016 with flag 2506001/2506001
449.74/449.21	c cleaning 17003 clauses out of 34016 with flag 2523002/2523002
452.75/452.24	c cleaning 17002 clauses out of 34013 with flag 2540002/2540002
455.84/455.38	c cleaning 17001 clauses out of 34009 with flag 2557000/2557000
458.84/458.34	c cleaning 16999 clauses out of 34009 with flag 2574001/2574001
462.04/461.50	c cleaning 16996 clauses out of 34009 with flag 2591000/2591000
465.24/464.70	c cleaning 17001 clauses out of 34014 with flag 2608001/2608001
468.34/467.86	c cleaning 17001 clauses out of 34012 with flag 2625000/2625000
471.35/470.87	c cleaning 17002 clauses out of 34013 with flag 2642002/2642002
474.55/474.01	c cleaning 16998 clauses out of 34009 with flag 2659000/2659000
477.55/477.09	c cleaning 16999 clauses out of 34011 with flag 2676000/2676000
480.55/480.09	c cleaning 16998 clauses out of 34012 with flag 2693000/2693000
483.65/483.18	c cleaning 17004 clauses out of 34015 with flag 2710001/2710001
486.65/486.14	c cleaning 16998 clauses out of 34012 with flag 2727002/2727002
489.65/489.15	c cleaning 16995 clauses out of 34012 with flag 2744000/2744000
492.65/492.16	c cleaning 17000 clauses out of 34018 with flag 2761001/2761001
495.66/495.17	c cleaning 16992 clauses out of 34018 with flag 2778001/2778001
498.65/498.20	c cleaning 17006 clauses out of 34026 with flag 2795001/2795001
501.45/500.99	c cleaning 17003 clauses out of 34021 with flag 2812002/2812002
504.46/503.98	c cleaning 17000 clauses out of 34018 with flag 2829002/2829002
507.55/507.01	c cleaning 17002 clauses out of 34018 with flag 2846002/2846002
510.36/509.85	c cleaning 17002 clauses out of 34015 with flag 2863001/2863001
513.16/512.68	c cleaning 17001 clauses out of 34013 with flag 2880001/2880001
516.16/515.64	c cleaning 16998 clauses out of 34013 with flag 2897002/2897002
519.06/518.59	c cleaning 17001 clauses out of 34014 with flag 2914001/2914001
522.07/521.56	c cleaning 17003 clauses out of 34012 with flag 2931000/2931000
525.16/524.68	c cleaning 17000 clauses out of 34009 with flag 2948000/2948000
528.46/527.90	c cleaning 17002 clauses out of 34012 with flag 2965003/2965003
531.56/531.08	c cleaning 16998 clauses out of 34007 with flag 2982000/2982000
534.56/534.02	c cleaning 16998 clauses out of 34009 with flag 2999000/2999000
537.37/536.82	c cleaning 16997 clauses out of 34012 with flag 3016001/3016001
540.17/539.69	c cleaning 16997 clauses out of 34014 with flag 3033000/3033000
543.17/542.65	c cleaning 16995 clauses out of 34017 with flag 3050000/3050000
546.07/545.57	c cleaning 17003 clauses out of 34022 with flag 3067000/3067000
548.97/548.44	c cleaning 16997 clauses out of 34020 with flag 3084001/3084001
551.97/551.42	c cleaning 17009 clauses out of 34023 with flag 3101001/3101001
554.87/554.37	c cleaning 16998 clauses out of 34015 with flag 3118002/3118002
557.87/557.34	c cleaning 17002 clauses out of 34017 with flag 3135002/3135002
560.87/560.32	c cleaning 17001 clauses out of 34015 with flag 3152002/3152002
563.88/563.32	c cleaning 16999 clauses out of 34013 with flag 3169001/3169001
566.98/566.42	c cleaning 17001 clauses out of 34014 with flag 3186001/3186001
570.08/569.58	c cleaning 16998 clauses out of 34012 with flag 3203000/3203000
573.28/572.74	c cleaning 16998 clauses out of 34015 with flag 3220001/3220001
576.08/575.54	c cleaning 17002 clauses out of 34016 with flag 3237000/3237000
579.08/578.60	c cleaning 17000 clauses out of 34014 with flag 3254000/3254000
582.08/581.53	c cleaning 16999 clauses out of 34014 with flag 3271000/3271000
585.08/584.60	c cleaning 17003 clauses out of 34015 with flag 3288000/3288000
588.09/587.54	c cleaning 17000 clauses out of 34012 with flag 3305000/3305000
591.08/590.54	c cleaning 16997 clauses out of 34012 with flag 3322000/3322000
593.98/593.49	c cleaning 16996 clauses out of 34015 with flag 3339000/3339000
596.99/596.46	c cleaning 17001 clauses out of 34019 with flag 3356000/3356000
600.10/599.50	c cleaning 17001 clauses out of 34019 with flag 3373001/3373001
603.10/602.60	c cleaning 17005 clauses out of 34017 with flag 3390000/3390000
606.29/605.73	c cleaning 17001 clauses out of 34013 with flag 3407001/3407001
609.30/608.76	c cleaning 16997 clauses out of 34011 with flag 3424000/3424000
612.30/611.79	c cleaning 16997 clauses out of 34014 with flag 3441000/3441000
615.50/614.98	c cleaning 17001 clauses out of 34017 with flag 3458000/3458000
618.50/617.97	c cleaning 17001 clauses out of 34018 with flag 3475002/3475002
621.50/620.97	c cleaning 17002 clauses out of 34017 with flag 3492002/3492002
624.80/624.24	c cleaning 17004 clauses out of 34013 with flag 3509000/3509000
628.00/627.49	c cleaning 16997 clauses out of 34009 with flag 3526000/3526000
631.30/630.70	c cleaning 17002 clauses out of 34015 with flag 3543003/3543003
634.40/633.84	c cleaning 17001 clauses out of 34010 with flag 3560000/3560000
637.61/637.04	c cleaning 16994 clauses out of 34009 with flag 3577000/3577000
640.50/639.99	c cleaning 16998 clauses out of 34015 with flag 3594000/3594000
643.60/643.06	c cleaning 16997 clauses out of 34017 with flag 3611000/3611000
646.70/646.11	c cleaning 17001 clauses out of 34020 with flag 3628000/3628000
649.61/649.00	c cleaning 17004 clauses out of 34019 with flag 3645000/3645000
652.50/651.93	c cleaning 17002 clauses out of 34015 with flag 3662000/3662000
655.51/654.96	c cleaning 17000 clauses out of 34013 with flag 3679000/3679000
658.51/657.94	c cleaning 16996 clauses out of 34013 with flag 3696000/3696000
661.51/660.92	c cleaning 17001 clauses out of 34018 with flag 3713001/3713001
664.51/663.96	c cleaning 17006 clauses out of 34017 with flag 3730001/3730001
667.51/666.94	c cleaning 16994 clauses out of 34010 with flag 3747000/3747000
670.62/670.07	c cleaning 16998 clauses out of 34016 with flag 3764000/3764000
673.61/673.03	c cleaning 17002 clauses out of 34018 with flag 3781000/3781000
676.61/676.01	c cleaning 17001 clauses out of 34016 with flag 3798000/3798000
679.71/679.12	c cleaning 17005 clauses out of 34018 with flag 3815003/3815003
682.72/682.17	c cleaning 17001 clauses out of 34010 with flag 3832000/3832000
685.82/685.25	c cleaning 16991 clauses out of 34011 with flag 3849002/3849002
688.92/688.31	c cleaning 17005 clauses out of 34020 with flag 3866002/3866002
691.92/691.35	c cleaning 16996 clauses out of 34013 with flag 3883000/3883000
694.92/694.36	c cleaning 17001 clauses out of 34017 with flag 3900000/3900000
698.12/697.57	c cleaning 17002 clauses out of 34016 with flag 3917000/3917000
701.52/700.91	c cleaning 16995 clauses out of 34014 with flag 3934000/3934000
704.63/704.09	c cleaning 16999 clauses out of 34019 with flag 3951000/3951000
707.82/707.22	c cleaning 16996 clauses out of 34020 with flag 3968000/3968000
711.02/710.40	c cleaning 17008 clauses out of 34024 with flag 3985000/3985000
713.93/713.37	c cleaning 17004 clauses out of 34016 with flag 4002000/4002000
716.83/716.29	c cleaning 17000 clauses out of 34013 with flag 4019001/4019001
719.83/719.28	c cleaning 17002 clauses out of 34013 with flag 4036001/4036001
722.83/722.26	c cleaning 17001 clauses out of 34012 with flag 4053002/4053002
725.83/725.22	c cleaning 16998 clauses out of 34010 with flag 4070001/4070001
728.63/728.05	c cleaning 16996 clauses out of 34012 with flag 4087001/4087001
731.63/731.00	c cleaning 16994 clauses out of 34015 with flag 4104000/4104000
734.53/733.90	c cleaning 17005 clauses out of 34022 with flag 4121001/4121001
737.53/737.00	c cleaning 17000 clauses out of 34016 with flag 4138000/4138000
740.64/740.00	c cleaning 16998 clauses out of 34017 with flag 4155001/4155001
743.64/743.03	c cleaning 16997 clauses out of 34018 with flag 4172000/4172000
746.74/746.19	c cleaning 17007 clauses out of 34023 with flag 4189002/4189002
749.94/749.32	c cleaning 17001 clauses out of 34015 with flag 4206001/4206001
752.84/752.25	c cleaning 16999 clauses out of 34016 with flag 4223003/4223003
755.84/755.22	c cleaning 16994 clauses out of 34014 with flag 4240000/4240000
759.04/758.41	c cleaning 17005 clauses out of 34021 with flag 4257001/4257001
762.24/761.68	c cleaning 16995 clauses out of 34015 with flag 4274000/4274000
765.34/764.71	c cleaning 17001 clauses out of 34020 with flag 4291000/4291000
768.45/767.83	c cleaning 17003 clauses out of 34020 with flag 4308001/4308001
771.45/770.80	c cleaning 17004 clauses out of 34017 with flag 4325001/4325001
774.45/773.89	c cleaning 16999 clauses out of 34013 with flag 4342001/4342001
777.55/776.93	c cleaning 16998 clauses out of 34014 with flag 4359001/4359001
780.85/780.24	c cleaning 16995 clauses out of 34016 with flag 4376001/4376001
784.05/783.40	c cleaning 17003 clauses out of 34021 with flag 4393001/4393001
786.95/786.36	c cleaning 16996 clauses out of 34017 with flag 4410000/4410000
790.05/789.45	c cleaning 17002 clauses out of 34021 with flag 4427000/4427000
792.95/792.32	c cleaning 17003 clauses out of 34022 with flag 4444003/4444003
795.96/795.33	c cleaning 17001 clauses out of 34018 with flag 4461002/4461002
798.86/798.26	c cleaning 16997 clauses out of 34016 with flag 4478001/4478001
801.86/801.24	c cleaning 16996 clauses out of 34018 with flag 4495000/4495000
804.97/804.33	c cleaning 17001 clauses out of 34024 with flag 4512002/4512002
807.97/807.36	c cleaning 17000 clauses out of 34021 with flag 4529000/4529000
810.87/810.21	c cleaning 17005 clauses out of 34024 with flag 4546003/4546003
813.87/813.20	c cleaning 17002 clauses out of 34018 with flag 4563002/4563002
817.07/816.43	c cleaning 16994 clauses out of 34015 with flag 4580001/4580001
820.28/819.66	c cleaning 17007 clauses out of 34023 with flag 4597003/4597003
823.48/822.84	c cleaning 17002 clauses out of 34014 with flag 4614001/4614001
826.57/825.98	c cleaning 16994 clauses out of 34013 with flag 4631002/4631002
829.57/828.95	c cleaning 16995 clauses out of 34018 with flag 4648001/4648001
832.57/831.99	c cleaning 17003 clauses out of 34025 with flag 4665003/4665003
835.78/835.11	c cleaning 17000 clauses out of 34020 with flag 4682001/4682001
838.68/838.00	c cleaning 17001 clauses out of 34019 with flag 4699000/4699000
841.68/841.07	c cleaning 17002 clauses out of 34019 with flag 4716001/4716001
844.58/843.96	c cleaning 16997 clauses out of 34017 with flag 4733001/4733001
847.79/847.11	c cleaning 17001 clauses out of 34021 with flag 4750002/4750002
850.68/850.09	c cleaning 16998 clauses out of 34019 with flag 4767001/4767001
853.88/853.26	c cleaning 17000 clauses out of 34020 with flag 4784000/4784000
856.98/856.32	c cleaning 17003 clauses out of 34020 with flag 4801000/4801000
860.08/859.44	c cleaning 16997 clauses out of 34019 with flag 4818002/4818002
863.28/862.60	c cleaning 17006 clauses out of 34021 with flag 4835001/4835001
866.08/865.48	c cleaning 17004 clauses out of 34014 with flag 4852000/4852000
869.09/868.43	c cleaning 16997 clauses out of 34010 with flag 4869000/4869000
871.79/871.17	c cleaning 17001 clauses out of 34015 with flag 4886002/4886002
874.79/874.10	c cleaning 16999 clauses out of 34013 with flag 4903001/4903001
877.69/877.01	c cleaning 16998 clauses out of 34013 with flag 4920000/4920000
880.59/879.90	c cleaning 17003 clauses out of 34015 with flag 4937000/4937000
883.39/882.74	c cleaning 16998 clauses out of 34012 with flag 4954000/4954000
886.39/885.72	c cleaning 16996 clauses out of 34014 with flag 4971000/4971000
889.50/888.86	c cleaning 17002 clauses out of 34021 with flag 4988003/4988003
892.59/891.95	c cleaning 16997 clauses out of 34017 with flag 5005001/5005001
895.69/895.05	c cleaning 17001 clauses out of 34021 with flag 5022002/5022002
898.80/898.16	c cleaning 17004 clauses out of 34019 with flag 5039001/5039001
901.90/901.26	c cleaning 16997 clauses out of 34015 with flag 5056001/5056001
904.80/904.18	c cleaning 17000 clauses out of 34017 with flag 5073000/5073000
907.70/907.04	c cleaning 17005 clauses out of 34018 with flag 5090001/5090001
910.90/910.26	c cleaning 17001 clauses out of 34013 with flag 5107001/5107001
914.00/913.30	c cleaning 17001 clauses out of 34011 with flag 5124000/5124000
916.70/916.07	c cleaning 17001 clauses out of 34010 with flag 5141000/5141000
919.70/919.02	c cleaning 16993 clauses out of 34009 with flag 5158000/5158000
922.61/921.93	c cleaning 16998 clauses out of 34016 with flag 5175000/5175000
925.60/924.98	c cleaning 16995 clauses out of 34018 with flag 5192000/5192000
928.60/927.92	c cleaning 16999 clauses out of 34024 with flag 5209001/5209001
931.61/930.96	c cleaning 17002 clauses out of 34024 with flag 5226000/5226000
934.41/933.72	c cleaning 17000 clauses out of 34023 with flag 5243001/5243001
937.41/936.74	c cleaning 16996 clauses out of 34022 with flag 5260000/5260000
940.41/939.73	c cleaning 17010 clauses out of 34027 with flag 5277001/5277001
943.52/942.86	c cleaning 16998 clauses out of 34016 with flag 5294000/5294000
946.61/945.95	c cleaning 17002 clauses out of 34020 with flag 5311002/5311002
949.72/949.02	c cleaning 16999 clauses out of 34017 with flag 5328001/5328001
952.72/952.00	c cleaning 17007 clauses out of 34019 with flag 5345002/5345002
955.72/955.03	c cleaning 17000 clauses out of 34012 with flag 5362002/5362002
958.52/957.80	c cleaning 16999 clauses out of 34010 with flag 5379000/5379000
961.42/960.72	c cleaning 16999 clauses out of 34012 with flag 5396001/5396001
964.22/963.56	c cleaning 17002 clauses out of 34013 with flag 5413001/5413001
967.22/966.54	c cleaning 17001 clauses out of 34012 with flag 5430002/5430002
970.13/969.45	c cleaning 16990 clauses out of 34009 with flag 5447000/5447000
973.13/972.44	c cleaning 17007 clauses out of 34020 with flag 5464001/5464001
976.03/975.35	c cleaning 17001 clauses out of 34012 with flag 5481000/5481000
979.03/978.33	c cleaning 17001 clauses out of 34011 with flag 5498000/5498000
981.94/981.22	c cleaning 16999 clauses out of 34012 with flag 5515002/5515002
984.83/984.15	c cleaning 16991 clauses out of 34012 with flag 5532001/5532001
987.93/987.24	c cleaning 17006 clauses out of 34022 with flag 5549002/5549002
991.13/990.40	c cleaning 16992 clauses out of 34014 with flag 5566000/5566000
994.14/993.46	c cleaning 17004 clauses out of 34025 with flag 5583003/5583003
997.23/996.53	c cleaning 17001 clauses out of 34019 with flag 5600001/5600001
1000.34/999.63	c cleaning 17005 clauses out of 34018 with flag 5617001/5617001
1003.34/1002.64	c cleaning 16995 clauses out of 34012 with flag 5634000/5634000
1006.44/1005.75	c cleaning 17003 clauses out of 34020 with flag 5651003/5651003
1009.45/1008.71	c cleaning 16997 clauses out of 34015 with flag 5668001/5668001
1012.64/1011.91	c cleaning 16999 clauses out of 34018 with flag 5685001/5685001
1015.64/1014.94	c cleaning 17003 clauses out of 34018 with flag 5702000/5702000
1018.94/1018.26	c cleaning 16998 clauses out of 34017 with flag 5719002/5719002
1022.05/1021.33	c cleaning 17002 clauses out of 34017 with flag 5736000/5736000
1025.25/1024.55	c cleaning 16998 clauses out of 34015 with flag 5753000/5753000
1028.15/1027.49	c cleaning 17002 clauses out of 34018 with flag 5770001/5770001
1031.25/1030.50	c cleaning 16996 clauses out of 34015 with flag 5787000/5787000
1034.45/1033.71	c cleaning 16999 clauses out of 34019 with flag 5804000/5804000
1037.35/1036.70	c cleaning 17002 clauses out of 34020 with flag 5821000/5821000
1040.55/1039.89	c cleaning 17001 clauses out of 34018 with flag 5838000/5838000
1043.75/1043.03	c cleaning 16994 clauses out of 34017 with flag 5855000/5855000
1046.86/1046.12	c cleaning 17011 clauses out of 34024 with flag 5872001/5872001
1049.75/1049.01	c cleaning 16997 clauses out of 34013 with flag 5889001/5889001
1052.65/1051.95	c cleaning 17001 clauses out of 34015 with flag 5906000/5906000
1055.56/1054.80	c cleaning 17000 clauses out of 34015 with flag 5923001/5923001
1058.46/1057.78	c cleaning 17001 clauses out of 34017 with flag 5940003/5940003
1061.46/1060.74	c cleaning 16994 clauses out of 34014 with flag 5957001/5957001
1064.26/1063.53	c cleaning 17001 clauses out of 34019 with flag 5974000/5974000
1067.16/1066.41	c cleaning 16998 clauses out of 34018 with flag 5991000/5991000
1070.16/1069.42	c cleaning 17001 clauses out of 34021 with flag 6008001/6008001
1073.16/1072.47	c cleaning 17003 clauses out of 34020 with flag 6025001/6025001
1076.16/1075.40	c cleaning 16999 clauses out of 34016 with flag 6042000/6042000
1079.06/1078.35	c cleaning 17000 clauses out of 34019 with flag 6059002/6059002
1081.97/1081.28	c cleaning 16999 clauses out of 34018 with flag 6076001/6076001
1085.07/1084.31	c cleaning 17001 clauses out of 34018 with flag 6093000/6093000
1088.17/1087.42	c cleaning 17000 clauses out of 34017 with flag 6110000/6110000
1091.17/1090.42	c cleaning 16996 clauses out of 34017 with flag 6127000/6127000
1094.17/1093.43	c cleaning 17005 clauses out of 34024 with flag 6144003/6144003
1097.37/1096.60	c cleaning 16995 clauses out of 34016 with flag 6161000/6161000
1100.47/1099.74	c cleaning 17002 clauses out of 34021 with flag 6178000/6178000
1103.47/1102.75	c cleaning 16997 clauses out of 34020 with flag 6195001/6195001
1106.57/1105.87	c cleaning 17007 clauses out of 34024 with flag 6212002/6212002
1109.58/1108.90	c cleaning 17003 clauses out of 34016 with flag 6229001/6229001
1112.88/1112.12	c cleaning 17001 clauses out of 34013 with flag 6246001/6246001
1116.08/1115.38	c cleaning 17001 clauses out of 34011 with flag 6263000/6263000
1119.28/1118.57	c cleaning 16999 clauses out of 34011 with flag 6280001/6280001
1122.38/1121.65	c cleaning 16992 clauses out of 34012 with flag 6297001/6297001
1125.38/1124.68	c cleaning 16996 clauses out of 34020 with flag 6314001/6314001
1128.48/1127.73	c cleaning 17001 clauses out of 34023 with flag 6331000/6331000
1131.58/1130.89	c cleaning 17003 clauses out of 34022 with flag 6348000/6348000
1134.58/1133.85	c cleaning 16996 clauses out of 34020 with flag 6365001/6365001
1137.58/1136.88	c cleaning 17004 clauses out of 34023 with flag 6382000/6382000
1140.49/1139.80	c cleaning 17003 clauses out of 34020 with flag 6399001/6399001
1143.79/1143.03	c cleaning 16997 clauses out of 34016 with flag 6416000/6416000
1146.88/1146.11	c cleaning 17002 clauses out of 34020 with flag 6433001/6433001
1149.99/1149.20	c cleaning 17002 clauses out of 34017 with flag 6450000/6450000
1152.98/1152.29	c cleaning 17002 clauses out of 34015 with flag 6467000/6467000
1155.89/1155.17	c cleaning 16999 clauses out of 34013 with flag 6484000/6484000
1158.79/1158.07	c cleaning 17001 clauses out of 34015 with flag 6501001/6501001
1161.69/1160.95	c cleaning 16998 clauses out of 34013 with flag 6518000/6518000
1164.69/1163.98	c cleaning 16996 clauses out of 34016 with flag 6535001/6535001
1167.59/1166.84	c cleaning 17002 clauses out of 34022 with flag 6552003/6552003
1170.59/1169.85	c cleaning 16999 clauses out of 34018 with flag 6569001/6569001
1173.40/1172.65	c cleaning 17004 clauses out of 34018 with flag 6586000/6586000
1176.39/1175.66	c cleaning 16999 clauses out of 34014 with flag 6603000/6603000
1179.49/1178.74	c cleaning 17000 clauses out of 34016 with flag 6620001/6620001
1182.59/1181.82	c cleaning 16993 clauses out of 34016 with flag 6637001/6637001
1185.69/1184.90	c cleaning 16996 clauses out of 34022 with flag 6654000/6654000
1188.50/1187.76	c cleaning 17006 clauses out of 34028 with flag 6671002/6671002
1191.40/1190.67	c cleaning 17005 clauses out of 34021 with flag 6688001/6688001
1194.40/1193.64	c cleaning 16998 clauses out of 34016 with flag 6705001/6705001
1197.50/1196.79	c cleaning 16999 clauses out of 34017 with flag 6722000/6722000
1200.50/1199.78	c cleaning 16995 clauses out of 34018 with flag 6739000/6739000
1203.60/1202.86	c cleaning 17004 clauses out of 34026 with flag 6756003/6756003
1206.70/1205.90	c cleaning 17001 clauses out of 34019 with flag 6773000/6773000
1209.50/1208.80	c cleaning 17001 clauses out of 34018 with flag 6790000/6790000
1212.80/1212.00	c cleaning 16995 clauses out of 34017 with flag 6807000/6807000
1215.70/1214.95	c cleaning 17003 clauses out of 34022 with flag 6824000/6824000
1218.80/1218.00	c cleaning 16999 clauses out of 34019 with flag 6841000/6841000
1221.81/1221.02	c cleaning 17001 clauses out of 34020 with flag 6858000/6858000
1224.91/1224.15	c cleaning 17008 clauses out of 34019 with flag 6875000/6875000
1228.01/1227.28	c cleaning 16995 clauses out of 34012 with flag 6892001/6892001
1231.01/1230.21	c cleaning 16998 clauses out of 34017 with flag 6909001/6909001
1234.02/1233.28	c cleaning 17005 clauses out of 34020 with flag 6926002/6926002
1237.01/1236.24	c cleaning 16999 clauses out of 34013 with flag 6943000/6943000
1240.01/1239.28	c cleaning 16995 clauses out of 34014 with flag 6960000/6960000
1243.12/1242.31	c cleaning 17006 clauses out of 34019 with flag 6977000/6977000
1246.12/1245.36	c cleaning 17000 clauses out of 34013 with flag 6994000/6994000
1249.22/1248.46	c cleaning 16999 clauses out of 34013 with flag 7011000/7011000
1252.22/1251.47	c cleaning 17000 clauses out of 34015 with flag 7028001/7028001
1255.32/1254.55	c cleaning 17004 clauses out of 34016 with flag 7045002/7045002
1258.42/1257.66	c cleaning 16995 clauses out of 34012 with flag 7062002/7062002
1261.43/1260.69	c cleaning 17001 clauses out of 34015 with flag 7079000/7079000
1264.62/1263.81	c cleaning 16990 clauses out of 34014 with flag 7096000/7096000
1267.62/1266.88	c cleaning 17008 clauses out of 34024 with flag 7113000/7113000
1270.52/1269.76	c cleaning 17001 clauses out of 34016 with flag 7130000/7130000
1273.43/1272.68	c cleaning 16999 clauses out of 34016 with flag 7147001/7147001
1276.33/1275.57	c cleaning 16998 clauses out of 34016 with flag 7164000/7164000
1279.33/1278.56	c cleaning 17002 clauses out of 34019 with flag 7181001/7181001
1282.44/1281.60	c cleaning 17009 clauses out of 34018 with flag 7198002/7198002
1285.24/1284.48	c cleaning 16997 clauses out of 34008 with flag 7215001/7215001
1288.14/1287.37	c cleaning 16998 clauses out of 34010 with flag 7232000/7232000
1291.04/1290.29	c cleaning 16997 clauses out of 34012 with flag 7249000/7249000
1294.04/1293.26	c cleaning 16999 clauses out of 34016 with flag 7266001/7266001
1297.04/1296.26	c cleaning 17001 clauses out of 34016 with flag 7283000/7283000
1300.05/1299.25	c cleaning 16997 clauses out of 34015 with flag 7300000/7300000
1300.85/1300.01	c starts		: 2402
1300.85/1300.01	c conflicts		: 7305352
1300.85/1300.01	c decisions		: 8490741
1300.85/1300.01	c propagations		: 163009651
1300.85/1300.01	c inspects		: 15784385563
1300.85/1300.01	c shortcuts		: 0
1300.85/1300.01	c learnt literals	: 0
1300.85/1300.01	c learnt binary clauses	: 0
1300.85/1300.01	c learnt ternary clauses	: 0
1300.85/1300.01	c learnt constraints	: 7305354
1300.85/1300.01	c ignored constraints	: 0
1300.85/1300.01	c root simplifications	: 2402
1300.85/1300.01	c removed literals (reason simplification)	: 36214238
1300.85/1300.01	c reason swapping (by a shorter reason)	: 0
1300.85/1300.01	c Calls to reduceDB	: 434
1300.85/1300.01	c speed (assignments/second)	: 125427.68678186346
1300.85/1300.01	c non guided choices	92
1300.85/1300.02	c learnt constraints type 
1300.85/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22404
1300.85/1300.02	c constraints type 
1300.85/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17000
1300.85/1300.02	s UNKNOWN
1300.85/1300.02	c Total wall clock time (in seconds) : 1299.725

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.15 3/182 29389
/proc/meminfo: memFree=11093864/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=9100 CPUtime=0 cores=0,2
/proc/29389/stat : 29389 (java) R 29385 29389 29350 0 -1 4202496 229 0 1 0 0 0 0 0 18 0 1 0 371365020 9318400 165 33554432000 1073741824 1073778376 140733223754752 18446744073709551615 246516832256 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29389/statm: 2275 165 125 9 0 67 0

[startup+0.102154 s]
/proc/loadavg: 0.92 0.98 1.15 3/182 29389
/proc/meminfo: memFree=11093864/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=28384 CPUtime=0 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 1119 0 61 0 0 0 0 0 18 0 2 0 371365020 29065216 906 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 7096 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.201136 s]
/proc/loadavg: 0.92 0.98 1.15 3/182 29389
/proc/meminfo: memFree=11093864/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=7564352 CPUtime=0.03 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 8777 0 113 0 2 1 0 0 18 0 13 0 371365020 7745896448 8584 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 1891088 8584 1682 9 0 1881836 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.364071 s]
/proc/loadavg: 0.92 0.98 1.15 3/182 29389
/proc/meminfo: memFree=11093864/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=7636064 CPUtime=0.22 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 11066 0 113 0 20 2 0 0 18 0 18 0 371365020 7819329536 10723 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 1909016 10724 2182 9 0 1899754 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 7636064

[startup+0.701045 s]
/proc/loadavg: 0.92 0.98 1.15 3/182 29389
/proc/meminfo: memFree=11093864/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=7639184 CPUtime=0.85 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 14782 0 113 0 82 3 0 0 18 0 19 0 371365020 7822524416 13045 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 1909796 13045 2221 9 0 1900534 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 7639184

[startup+1.50088 s]
/proc/loadavg: 0.92 0.98 1.15 6/266 29483
/proc/meminfo: memFree=10889188/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=7658680 CPUtime=1.88 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 23262 0 113 0 185 3 0 0 18 0 19 0 371365020 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 1914670 19588 2252 9 0 1905408 0
[pid=29389/tid=29403] ppid=29385 vsize=7658680 CPUtime=1.19 cores=0,2
/proc/29389/task/29403/stat : 29403 (java) R 29385 29389 29350 0 -1 4202560 9844 0 53 0 118 1 0 0 20 0 19 0 371365030 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 46912505644294 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=29389/tid=29413] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29413/stat : 29413 (java) S 29385 29389 29350 0 -1 4202560 657 0 0 0 0 0 0 0 18 0 19 0 371365033 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29415] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29415/stat : 29415 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29417] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29417/stat : 29417 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29419] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29419/stat : 29419 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29421] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29421/stat : 29421 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29423] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29423/stat : 29423 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29425] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29425/stat : 29425 (java) S 29385 29389 29350 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 19 0 371365033 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29428] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29428/stat : 29428 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29430] ppid=29385 vsize=7658680 CPUtime=0.01 cores=0,2
/proc/29389/task/29430/stat : 29430 (java) S 29385 29389 29350 0 -1 4202560 742 0 0 0 1 0 0 0 15 0 19 0 371365036 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 0 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29432] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29432/stat : 29432 (java) S 29385 29389 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29435] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29435/stat : 29435 (java) S 29385 29389 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 6
[pid=29389/tid=29438] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29438/stat : 29438 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528657841 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29441] ppid=29385 vsize=7658680 CPUtime=0.37 cores=0,2
/proc/29389/task/29441/stat : 29441 (java) S 29385 29389 29350 0 -1 4202560 7551 0 0 0 37 0 0 0 16 0 19 0 371365043 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29445] ppid=29385 vsize=7658680 CPUtime=0.26 cores=0,2
/proc/29389/task/29445/stat : 29445 (java) S 29385 29389 29350 0 -1 4202560 3295 0 0 0 26 0 0 0 16 0 19 0 371365043 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29447] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29447/stat : 29447 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29450] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29450/stat : 29450 (java) S 29385 29389 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365043 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29457] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29457/stat : 29457 (java) S 29385 29389 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7842488320 19588 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 7658680

[startup+3.10155 s]
/proc/loadavg: 0.92 0.98 1.15 6/266 29483
/proc/meminfo: memFree=10823220/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=7658680 CPUtime=3.5 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 23943 0 113 0 346 4 0 0 18 0 19 0 371365020 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 1914670 20267 2254 9 0 1905408 0
[pid=29389/tid=29403] ppid=29385 vsize=7658680 CPUtime=2.74 cores=0,2
/proc/29389/task/29403/stat : 29403 (java) R 29385 29389 29350 0 -1 4202560 9846 0 53 0 273 1 0 0 25 0 19 0 371365030 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 46912505578040 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=29389/tid=29413] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29413/stat : 29413 (java) S 29385 29389 29350 0 -1 4202560 657 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29415] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29415/stat : 29415 (java) S 29385 29389 29350 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29417] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29417/stat : 29417 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29419] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29419/stat : 29419 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29421] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29421/stat : 29421 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29423] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29423/stat : 29423 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29425] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29425/stat : 29425 (java) S 29385 29389 29350 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29428] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29428/stat : 29428 (java) S 29385 29389 29350 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29430] ppid=29385 vsize=7658680 CPUtime=0.04 cores=0,2
/proc/29389/task/29430/stat : 29430 (java) S 29385 29389 29350 0 -1 4202560 1072 0 0 0 4 0 0 0 15 0 19 0 371365036 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 0 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29432] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29432/stat : 29432 (java) S 29385 29389 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29435] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29435/stat : 29435 (java) S 29385 29389 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 6
[pid=29389/tid=29438] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29438/stat : 29438 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528657841 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29441] ppid=29385 vsize=7658680 CPUtime=0.38 cores=0,2
/proc/29389/task/29441/stat : 29441 (java) S 29385 29389 29350 0 -1 4202560 7551 0 0 0 38 0 0 0 15 0 19 0 371365043 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29445] ppid=29385 vsize=7658680 CPUtime=0.28 cores=0,2
/proc/29389/task/29445/stat : 29445 (java) S 29385 29389 29350 0 -1 4202560 3298 0 0 0 28 0 0 0 15 0 19 0 371365043 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29447] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29447/stat : 29447 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29450] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29450/stat : 29450 (java) S 29385 29389 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365043 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29457] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29457/stat : 29457 (java) S 29385 29389 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7842488320 20267 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 7658680

[startup+6.301 s]
/proc/loadavg: 1.49 1.10 1.18 6/266 29483
/proc/meminfo: memFree=10761516/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=7658680 CPUtime=6.7 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 24362 0 113 0 666 4 0 0 18 0 19 0 371365020 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 1914670 20646 2254 9 0 1905408 0
[pid=29389/tid=29403] ppid=29385 vsize=7658680 CPUtime=5.85 cores=0,2
/proc/29389/task/29403/stat : 29403 (java) R 29385 29389 29350 0 -1 4202560 9850 0 53 0 584 1 0 0 25 0 19 0 371365030 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 46912505578080 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=29389/tid=29413] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29413/stat : 29413 (java) S 29385 29389 29350 0 -1 4202560 658 0 0 0 0 0 0 0 16 0 19 0 371365033 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29415] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29415/stat : 29415 (java) S 29385 29389 29350 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29417] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29417/stat : 29417 (java) S 29385 29389 29350 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29419] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29419/stat : 29419 (java) S 29385 29389 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29421] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29421/stat : 29421 (java) S 29385 29389 29350 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29423] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29423/stat : 29423 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29425] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29425/stat : 29425 (java) S 29385 29389 29350 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29428] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29428/stat : 29428 (java) S 29385 29389 29350 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 371365033 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29430] ppid=29385 vsize=7658680 CPUtime=0.09 cores=0,2
/proc/29389/task/29430/stat : 29430 (java) S 29385 29389 29350 0 -1 4202560 1248 0 0 0 9 0 0 0 16 0 19 0 371365036 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 0 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29432] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29432/stat : 29432 (java) S 29385 29389 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29435] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29435/stat : 29435 (java) S 29385 29389 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 6
[pid=29389/tid=29438] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29438/stat : 29438 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528657841 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29441] ppid=29385 vsize=7658680 CPUtime=0.38 cores=0,2
/proc/29389/task/29441/stat : 29441 (java) S 29385 29389 29350 0 -1 4202560 7551 0 0 0 38 0 0 0 15 0 19 0 371365043 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29445] ppid=29385 vsize=7658680 CPUtime=0.31 cores=0,2
/proc/29389/task/29445/stat : 29445 (java) S 29385 29389 29350 0 -1 4202560 3302 0 0 0 31 0 0 0 15 0 19 0 371365043 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29447] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29447/stat : 29447 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29450] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29450/stat : 29450 (java) S 29385 29389 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365043 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29457] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29457/stat : 29457 (java) S 29385 29389 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7842488320 20646 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 7658680

[startup+12.7009 s]

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

[pid=29389/tid=29423] ppid=29385 vsize=7658680 CPUtime=0.13 cores=0,2
/proc/29389/task/29423/stat : 29423 (java) S 29385 29389 29350 0 -1 4202560 153 0 0 0 13 0 0 0 15 0 19 0 371365033 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29425] ppid=29385 vsize=7658680 CPUtime=0.13 cores=0,2
/proc/29389/task/29425/stat : 29425 (java) S 29385 29389 29350 0 -1 4202560 82 0 0 0 13 0 0 0 15 0 19 0 371365033 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29428] ppid=29385 vsize=7658680 CPUtime=0.13 cores=0,2
/proc/29389/task/29428/stat : 29428 (java) S 29385 29389 29350 0 -1 4202560 233 0 0 0 13 0 0 0 15 0 19 0 371365033 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29430] ppid=29385 vsize=7658680 CPUtime=8.47 cores=0,2
/proc/29389/task/29430/stat : 29430 (java) S 29385 29389 29350 0 -1 4202560 2229 0 0 0 844 3 0 0 16 0 19 0 371365036 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 0 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29432] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29432/stat : 29432 (java) S 29385 29389 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29435] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29435/stat : 29435 (java) S 29385 29389 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 6
[pid=29389/tid=29438] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29438/stat : 29438 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528657841 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29441] ppid=29385 vsize=7658680 CPUtime=0.38 cores=0,2
/proc/29389/task/29441/stat : 29441 (java) S 29385 29389 29350 0 -1 4202560 7551 0 0 0 38 0 0 0 15 0 19 0 371365043 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29445] ppid=29385 vsize=7658680 CPUtime=0.33 cores=0,2
/proc/29389/task/29445/stat : 29445 (java) S 29385 29389 29350 0 -1 4202560 3311 0 0 0 33 0 0 0 15 0 19 0 371365043 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29447] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29447/stat : 29447 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29450] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29450/stat : 29450 (java) S 29385 29389 29350 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 371365043 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29457] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29457/stat : 29457 (java) S 29385 29389 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7842488320 22055 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.1
Current children cumulated vsize (KiB) 7658680

[startup+1242.3 s]
/proc/loadavg: 4.06 4.01 3.29 6/266 29525
/proc/meminfo: memFree=10487156/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=7658680 CPUtime=1243.12 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 26392 0 113 0 124302 10 0 0 18 0 19 0 371365020 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 1914670 22122 2255 9 0 1905408 0
[pid=29389/tid=29403] ppid=29385 vsize=7658680 CPUtime=1232.27 cores=0,2
/proc/29389/task/29403/stat : 29403 (java) R 29385 29389 29350 0 -1 4202560 10258 0 53 0 123223 4 0 0 25 0 19 0 371365030 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 46912505750320 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=29389/tid=29413] ppid=29385 vsize=7658680 CPUtime=0.15 cores=0,2
/proc/29389/task/29413/stat : 29413 (java) S 29385 29389 29350 0 -1 4202560 681 0 0 0 15 0 0 0 15 0 19 0 371365033 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29415] ppid=29385 vsize=7658680 CPUtime=0.15 cores=0,2
/proc/29389/task/29415/stat : 29415 (java) S 29385 29389 29350 0 -1 4202560 149 0 0 0 15 0 0 0 15 0 19 0 371365033 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29417] ppid=29385 vsize=7658680 CPUtime=0.14 cores=0,2
/proc/29389/task/29417/stat : 29417 (java) S 29385 29389 29350 0 -1 4202560 137 0 0 0 14 0 0 0 15 0 19 0 371365033 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29419] ppid=29385 vsize=7658680 CPUtime=0.16 cores=0,2
/proc/29389/task/29419/stat : 29419 (java) S 29385 29389 29350 0 -1 4202560 15 0 0 0 16 0 0 0 15 0 19 0 371365033 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29421] ppid=29385 vsize=7658680 CPUtime=0.16 cores=0,2
/proc/29389/task/29421/stat : 29421 (java) S 29385 29389 29350 0 -1 4202560 361 0 0 0 16 0 0 0 15 0 19 0 371365033 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29423] ppid=29385 vsize=7658680 CPUtime=0.13 cores=0,2
/proc/29389/task/29423/stat : 29423 (java) S 29385 29389 29350 0 -1 4202560 155 0 0 0 13 0 0 0 15 0 19 0 371365033 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29425] ppid=29385 vsize=7658680 CPUtime=0.14 cores=0,2
/proc/29389/task/29425/stat : 29425 (java) S 29385 29389 29350 0 -1 4202560 82 0 0 0 14 0 0 0 15 0 19 0 371365033 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29428] ppid=29385 vsize=7658680 CPUtime=0.14 cores=0,2
/proc/29389/task/29428/stat : 29428 (java) S 29385 29389 29350 0 -1 4202560 233 0 0 0 14 0 0 0 15 0 19 0 371365033 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29430] ppid=29385 vsize=7658680 CPUtime=8.89 cores=0,2
/proc/29389/task/29430/stat : 29430 (java) S 29385 29389 29350 0 -1 4202560 2292 0 0 0 886 3 0 0 15 0 19 0 371365036 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 0 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29432] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29432/stat : 29432 (java) S 29385 29389 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29435] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29435/stat : 29435 (java) S 29385 29389 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 6
[pid=29389/tid=29438] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29438/stat : 29438 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528657841 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29441] ppid=29385 vsize=7658680 CPUtime=0.38 cores=0,2
/proc/29389/task/29441/stat : 29441 (java) S 29385 29389 29350 0 -1 4202560 7551 0 0 0 38 0 0 0 15 0 19 0 371365043 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29445] ppid=29385 vsize=7658680 CPUtime=0.33 cores=0,2
/proc/29389/task/29445/stat : 29445 (java) S 29385 29389 29350 0 -1 4202560 3311 0 0 0 33 0 0 0 15 0 19 0 371365043 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29447] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29447/stat : 29447 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29450] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29450/stat : 29450 (java) S 29385 29389 29350 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 371365043 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29457] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29457/stat : 29457 (java) S 29385 29389 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7842488320 22122 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.12
Current children cumulated vsize (KiB) 7658680



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.01 3.33 6/266 29527
/proc/meminfo: memFree=10485108/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=7658680 CPUtime=1300.85 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 26424 0 113 0 130074 11 0 0 18 0 19 0 371365020 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 1914670 22126 2255 9 0 1905408 0
[pid=29389/tid=29403] ppid=29385 vsize=7658680 CPUtime=1289.49 cores=0,2
/proc/29389/task/29403/stat : 29403 (java) R 29385 29389 29350 0 -1 4202560 10278 0 53 0 128945 4 0 0 25 0 19 0 371365030 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 46912505578061 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=29389/tid=29413] ppid=29385 vsize=7658680 CPUtime=0.15 cores=0,2
/proc/29389/task/29413/stat : 29413 (java) S 29385 29389 29350 0 -1 4202560 681 0 0 0 15 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29415] ppid=29385 vsize=7658680 CPUtime=0.16 cores=0,2
/proc/29389/task/29415/stat : 29415 (java) S 29385 29389 29350 0 -1 4202560 149 0 0 0 16 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29417] ppid=29385 vsize=7658680 CPUtime=0.15 cores=0,2
/proc/29389/task/29417/stat : 29417 (java) S 29385 29389 29350 0 -1 4202560 137 0 0 0 15 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29419] ppid=29385 vsize=7658680 CPUtime=0.16 cores=0,2
/proc/29389/task/29419/stat : 29419 (java) S 29385 29389 29350 0 -1 4202560 15 0 0 0 16 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29421] ppid=29385 vsize=7658680 CPUtime=0.16 cores=0,2
/proc/29389/task/29421/stat : 29421 (java) S 29385 29389 29350 0 -1 4202560 361 0 0 0 16 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29423] ppid=29385 vsize=7658680 CPUtime=0.14 cores=0,2
/proc/29389/task/29423/stat : 29423 (java) S 29385 29389 29350 0 -1 4202560 155 0 0 0 14 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29425] ppid=29385 vsize=7658680 CPUtime=0.14 cores=0,2
/proc/29389/task/29425/stat : 29425 (java) S 29385 29389 29350 0 -1 4202560 82 0 0 0 14 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29428] ppid=29385 vsize=7658680 CPUtime=0.15 cores=0,2
/proc/29389/task/29428/stat : 29428 (java) S 29385 29389 29350 0 -1 4202560 233 0 0 0 15 0 0 0 16 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29430] ppid=29385 vsize=7658680 CPUtime=9.34 cores=0,2
/proc/29389/task/29430/stat : 29430 (java) S 29385 29389 29350 0 -1 4202560 2300 0 0 0 931 3 0 0 16 0 19 0 371365036 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 0 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29432] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29432/stat : 29432 (java) S 29385 29389 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29435] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29435/stat : 29435 (java) S 29385 29389 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 6
[pid=29389/tid=29438] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29438/stat : 29438 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528657841 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29441] ppid=29385 vsize=7658680 CPUtime=0.38 cores=0,2
/proc/29389/task/29441/stat : 29441 (java) S 29385 29389 29350 0 -1 4202560 7551 0 0 0 38 0 0 0 15 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29445] ppid=29385 vsize=7658680 CPUtime=0.33 cores=0,2
/proc/29389/task/29445/stat : 29445 (java) S 29385 29389 29350 0 -1 4202560 3311 0 0 0 33 0 0 0 15 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29447] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29447/stat : 29447 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29450] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29450/stat : 29450 (java) S 29385 29389 29350 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29457] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29457/stat : 29457 (java) S 29385 29389 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.85
Current children cumulated vsize (KiB) 7658680

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

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

[startup+1300 s]
/proc/loadavg: 4.02 4.01 3.33 6/266 29527
/proc/meminfo: memFree=10485108/32951124 swapFree=67111524/67111528
[pid=29389] ppid=29385 vsize=7658680 CPUtime=1300.85 cores=0,2
/proc/29389/stat : 29389 (java) S 29385 29389 29350 0 -1 4202496 26424 0 113 0 130074 11 0 0 18 0 19 0 371365020 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/29389/statm: 1914670 22126 2255 9 0 1905408 0
[pid=29389/tid=29403] ppid=29385 vsize=7658680 CPUtime=1289.49 cores=0,2
/proc/29389/task/29403/stat : 29403 (java) R 29385 29389 29350 0 -1 4202560 10278 0 53 0 128945 4 0 0 25 0 19 0 371365030 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 46912505578061 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=29389/tid=29413] ppid=29385 vsize=7658680 CPUtime=0.15 cores=0,2
/proc/29389/task/29413/stat : 29413 (java) S 29385 29389 29350 0 -1 4202560 681 0 0 0 15 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29415] ppid=29385 vsize=7658680 CPUtime=0.16 cores=0,2
/proc/29389/task/29415/stat : 29415 (java) S 29385 29389 29350 0 -1 4202560 149 0 0 0 16 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29417] ppid=29385 vsize=7658680 CPUtime=0.15 cores=0,2
/proc/29389/task/29417/stat : 29417 (java) S 29385 29389 29350 0 -1 4202560 137 0 0 0 15 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29419] ppid=29385 vsize=7658680 CPUtime=0.16 cores=0,2
/proc/29389/task/29419/stat : 29419 (java) S 29385 29389 29350 0 -1 4202560 15 0 0 0 16 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29421] ppid=29385 vsize=7658680 CPUtime=0.16 cores=0,2
/proc/29389/task/29421/stat : 29421 (java) S 29385 29389 29350 0 -1 4202560 361 0 0 0 16 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29423] ppid=29385 vsize=7658680 CPUtime=0.14 cores=0,2
/proc/29389/task/29423/stat : 29423 (java) S 29385 29389 29350 0 -1 4202560 155 0 0 0 14 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29425] ppid=29385 vsize=7658680 CPUtime=0.14 cores=0,2
/proc/29389/task/29425/stat : 29425 (java) S 29385 29389 29350 0 -1 4202560 82 0 0 0 14 0 0 0 15 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29428] ppid=29385 vsize=7658680 CPUtime=0.15 cores=0,2
/proc/29389/task/29428/stat : 29428 (java) S 29385 29389 29350 0 -1 4202560 233 0 0 0 15 0 0 0 16 0 19 0 371365033 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29430] ppid=29385 vsize=7658680 CPUtime=9.34 cores=0,2
/proc/29389/task/29430/stat : 29430 (java) S 29385 29389 29350 0 -1 4202560 2300 0 0 0 931 3 0 0 16 0 19 0 371365036 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 0 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29432] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29432/stat : 29432 (java) S 29385 29389 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29435] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29435/stat : 29435 (java) S 29385 29389 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371365037 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 6
[pid=29389/tid=29438] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29438/stat : 29438 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528657841 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29441] ppid=29385 vsize=7658680 CPUtime=0.38 cores=0,2
/proc/29389/task/29441/stat : 29441 (java) S 29385 29389 29350 0 -1 4202560 7551 0 0 0 38 0 0 0 15 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29445] ppid=29385 vsize=7658680 CPUtime=0.33 cores=0,2
/proc/29389/task/29445/stat : 29445 (java) S 29385 29389 29350 0 -1 4202560 3311 0 0 0 33 0 0 0 15 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29447] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29447/stat : 29447 (java) S 29385 29389 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650137 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
[pid=29389/tid=29450] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29450/stat : 29450 (java) S 29385 29389 29350 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 371365043 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 2 0 0 0
[pid=29389/tid=29457] ppid=29385 vsize=7658680 CPUtime=0 cores=0,2
/proc/29389/task/29457/stat : 29457 (java) S 29385 29389 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7842488320 22126 33554432000 1073741824 1073778376 140734536786880 18446744073709551615 246528650752 0 4 0 16800975 18446604453856955264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.85
Current children cumulated vsize (KiB) 7658680

Child status: 143
Real time (s): 1300.04
CPU time (s): 1300.9
CPU user time (s): 1300.79
CPU system time (s): 0.115982
CPU usage (%): 100.067
Max. virtual memory (cumulated for all children) (KiB): 7658680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.79
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26459
page faults= 113
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39812
involuntary context switches= 14298

runsolver used 2.45863 second user time and 4.66729 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-12 10:41:08
IDJOB=3190261
IDBENCH=82592
IDSOLVER=1611
FILE ID=node134/3190261-1302597668
RUNJOBID= node134-1302597668-29368
PBS_JOBID= 12958108
Free space on /tmp= 71436 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.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-3190261-1302597668/watcher-3190261-1302597668 -o /tmp/evaluation-result-3190261-1302597668/solver-3190261-1302597668 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190261-1302597668.cnf

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

MD5SUM BENCH= 274f6c2fc3e630d8716a09f7c87233f2
RANDOM SEED=1121015898

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
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.831
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11094424 kB
Buffers:        688580 kB
Cached:       20654392 kB
SwapCached:          4 kB
Active:        9712596 kB
Inactive:     11693912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11094424 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1312 kB
Writeback:           0 kB
AnonPages:       63920 kB
Mapped:          14880 kB
Slab:           384672 kB
PageTables:       5536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71432 MiB
End job on node134 at 2011-04-12 11:02:50