Trace number 3190359

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf
MD5SUMb0f2a8c1ae428dae6bc946bb38e8786d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark54.7627
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of clauses20000
Sum of the clauses size100000
Maximum clause length5
Minimum clause length5
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 520000
Number of clauses of size over 50

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.16	c no version file found!!!
0.03/0.16	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.16	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.16	c java.vm.version	19.1-b02
0.03/0.16	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.16	c sun.arch.data.model	64
0.03/0.16	c java.version		1.6.0_24
0.03/0.16	c os.name		Linux
0.03/0.16	c os.version		2.6.18-164.el5
0.03/0.16	c os.arch		amd64
0.03/0.16	c Free memory 		6997539544
0.03/0.16	c Max memory 		7034241024
0.03/0.16	c Total memory 		7034241024
0.03/0.16	c Number of processors 	8
0.03/0.16	c --- Begin Solver configuration ---
0.03/0.16	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.03/0.16	c Learn all clauses as in MiniSAT
0.03/0.16	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.16	c Expensive reason simplification
0.03/0.16	c Armin Biere (Picosat) restarts strategy
0.03/0.16	c Glucose learned constraints deletion strategy
0.03/0.16	c timeout=2147483647s
0.03/0.16	c DB Simplification allowed=true
0.03/0.16	c --- End Solver configuration ---
0.03/0.16	c solving HOME/instance-3190359-1302598971.cnf
0.03/0.16	c reading problem ... 
0.23/0.28	c ... done. Wall clock time 0.185s.
0.23/0.28	c #vars     1000
0.23/0.28	c #constraints  20000
0.23/0.28	c constraints type 
0.23/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20000
1.42/1.19	c cleaning 2500 clauses out of 5001 with flag 5001/5001
2.54/2.00	c cleaning 4249 clauses out of 8500 with flag 11000/11000
3.44/2.95	c cleaning 5624 clauses out of 11251 with flag 18000/18000
4.55/4.08	c cleaning 6810 clauses out of 13627 with flag 26000/26000
5.86/5.37	c cleaning 7903 clauses out of 15817 with flag 35000/35000
7.36/6.87	c cleaning 8957 clauses out of 17914 with flag 45000/45000
9.08/8.57	c cleaning 9976 clauses out of 19957 with flag 56000/56000
11.08/10.51	c cleaning 10991 clauses out of 21983 with flag 68002/68002
13.19/12.61	c cleaning 11992 clauses out of 23994 with flag 81004/81004
15.49/14.94	c cleaning 12999 clauses out of 26000 with flag 95002/95002
18.09/17.56	c cleaning 13998 clauses out of 28002 with flag 110003/110003
20.89/20.39	c cleaning 14993 clauses out of 30001 with flag 126000/126000
23.89/23.38	c cleaning 15998 clauses out of 32010 with flag 143002/143002
27.19/26.61	c cleaning 16997 clauses out of 34010 with flag 161000/161000
30.70/30.14	c cleaning 18002 clauses out of 36015 with flag 180002/180002
34.50/33.98	c cleaning 19003 clauses out of 38011 with flag 200000/200000
38.40/37.84	c cleaning 19504 clauses out of 39009 with flag 220001/220001
42.31/41.76	c cleaning 19752 clauses out of 39504 with flag 240000/240000
46.10/45.52	c cleaning 19868 clauses out of 39752 with flag 260000/260000
50.01/49.42	c cleaning 19941 clauses out of 39884 with flag 280000/280000
54.01/53.40	c cleaning 19967 clauses out of 39943 with flag 300000/300000
57.61/57.07	c cleaning 19983 clauses out of 39977 with flag 320001/320001
61.51/60.95	c cleaning 19994 clauses out of 39993 with flag 340000/340000
65.22/64.68	c cleaning 19991 clauses out of 40000 with flag 360001/360001
69.12/68.55	c cleaning 19996 clauses out of 40008 with flag 380000/380000
72.82/72.23	c cleaning 19999 clauses out of 40013 with flag 400001/400001
76.72/76.13	c cleaning 19998 clauses out of 40014 with flag 420001/420001
80.32/79.79	c cleaning 19995 clauses out of 40016 with flag 440001/440001
84.33/83.71	c cleaning 20005 clauses out of 40021 with flag 460001/460001
87.93/87.37	c cleaning 20004 clauses out of 40018 with flag 480003/480003
91.93/91.31	c cleaning 20000 clauses out of 40011 with flag 500000/500000
95.63/95.07	c cleaning 19994 clauses out of 40012 with flag 520001/520001
99.33/98.71	c cleaning 19997 clauses out of 40017 with flag 540000/540000
103.23/102.63	c cleaning 20007 clauses out of 40020 with flag 560000/560000
106.83/106.29	c cleaning 20002 clauses out of 40014 with flag 580001/580001
110.54/109.98	c cleaning 19994 clauses out of 40011 with flag 600000/600000
114.54/113.91	c cleaning 20006 clauses out of 40018 with flag 620001/620001
118.14/117.60	c cleaning 20000 clauses out of 40011 with flag 640000/640000
121.84/121.21	c cleaning 19996 clauses out of 40011 with flag 660000/660000
125.74/125.12	c cleaning 20003 clauses out of 40015 with flag 680000/680000
129.45/128.81	c cleaning 20002 clauses out of 40013 with flag 700001/700001
133.15/132.52	c cleaning 19994 clauses out of 40010 with flag 720000/720000
136.85/136.24	c cleaning 20004 clauses out of 40017 with flag 740001/740001
140.75/140.19	c cleaning 20002 clauses out of 40016 with flag 760004/760004
144.55/143.92	c cleaning 20003 clauses out of 40010 with flag 780000/780000
148.06/147.49	c cleaning 19998 clauses out of 40009 with flag 800002/800002
151.86/151.21	c cleaning 20002 clauses out of 40010 with flag 820001/820001
155.67/155.09	c cleaning 19997 clauses out of 40008 with flag 840001/840001
159.36/158.75	c cleaning 20001 clauses out of 40013 with flag 860003/860003
162.96/162.39	c cleaning 20004 clauses out of 40011 with flag 880002/880002
166.77/166.15	c cleaning 19990 clauses out of 40006 with flag 900001/900001
170.76/170.16	c cleaning 20003 clauses out of 40015 with flag 920000/920000
174.48/173.88	c cleaning 19997 clauses out of 40012 with flag 940000/940000
178.28/177.60	c cleaning 20000 clauses out of 40016 with flag 960001/960001
181.98/181.32	c cleaning 20002 clauses out of 40017 with flag 980002/980002
185.78/185.12	c cleaning 19999 clauses out of 40014 with flag 1000001/1000001
189.79/189.12	c cleaning 19997 clauses out of 40014 with flag 1020000/1020000
193.48/192.87	c cleaning 20003 clauses out of 40017 with flag 1040000/1040000
197.18/196.53	c cleaning 19991 clauses out of 40014 with flag 1060000/1060000
200.89/200.24	c cleaning 19996 clauses out of 40023 with flag 1080000/1080000
204.78/204.10	c cleaning 20006 clauses out of 40028 with flag 1100001/1100001
208.69/208.08	c cleaning 20007 clauses out of 40021 with flag 1120000/1120000
212.49/211.84	c cleaning 20003 clauses out of 40014 with flag 1140000/1140000
216.20/215.53	c cleaning 19999 clauses out of 40015 with flag 1160004/1160004
219.99/219.31	c cleaning 20003 clauses out of 40012 with flag 1180000/1180000
223.70/223.09	c cleaning 19988 clauses out of 40009 with flag 1200000/1200000
227.50/226.85	c cleaning 20003 clauses out of 40021 with flag 1220000/1220000
231.50/230.83	c cleaning 20009 clauses out of 40019 with flag 1240001/1240001
235.20/234.57	c cleaning 19997 clauses out of 40010 with flag 1260001/1260001
238.91/238.22	c cleaning 20002 clauses out of 40012 with flag 1280000/1280000
242.61/241.95	c cleaning 19998 clauses out of 40012 with flag 1300002/1300002
246.41/245.71	c cleaning 19997 clauses out of 40015 with flag 1320003/1320003
250.21/249.55	c cleaning 19995 clauses out of 40015 with flag 1340000/1340000
254.13/253.44	c cleaning 20005 clauses out of 40020 with flag 1360000/1360000
258.04/257.33	c cleaning 20000 clauses out of 40015 with flag 1380000/1380000
261.74/261.04	c cleaning 20000 clauses out of 40015 with flag 1400000/1400000
265.43/264.77	c cleaning 20000 clauses out of 40016 with flag 1420001/1420001
269.24/268.56	c cleaning 20006 clauses out of 40016 with flag 1440001/1440001
273.24/272.53	c cleaning 19993 clauses out of 40011 with flag 1460002/1460002
277.04/276.33	c cleaning 19999 clauses out of 40017 with flag 1480001/1480001
280.94/280.25	c cleaning 19995 clauses out of 40017 with flag 1500000/1500000
284.84/284.14	c cleaning 20004 clauses out of 40022 with flag 1520000/1520000
288.54/287.86	c cleaning 20005 clauses out of 40019 with flag 1540001/1540001
292.25/291.57	c cleaning 20002 clauses out of 40013 with flag 1560000/1560000
296.05/295.37	c cleaning 19994 clauses out of 40012 with flag 1580001/1580001
299.96/299.27	c cleaning 20007 clauses out of 40017 with flag 1600000/1600000
303.85/303.17	c cleaning 19998 clauses out of 40011 with flag 1620001/1620001
307.75/307.04	c cleaning 19991 clauses out of 40013 with flag 1640001/1640001
311.86/311.14	c cleaning 20005 clauses out of 40022 with flag 1660001/1660001
315.57/314.82	c cleaning 20001 clauses out of 40018 with flag 1680002/1680002
319.17/318.45	c cleaning 20005 clauses out of 40015 with flag 1700000/1700000
322.87/322.18	c cleaning 20000 clauses out of 40013 with flag 1720003/1720003
326.67/325.99	c cleaning 19995 clauses out of 40011 with flag 1740001/1740001
330.57/329.82	c cleaning 20001 clauses out of 40016 with flag 1760001/1760001
334.37/333.68	c cleaning 20001 clauses out of 40015 with flag 1780001/1780001
338.28/337.58	c cleaning 19999 clauses out of 40014 with flag 1800001/1800001
342.28/341.56	c cleaning 19998 clauses out of 40016 with flag 1820002/1820002
346.19/345.48	c cleaning 20008 clauses out of 40018 with flag 1840002/1840002
349.98/349.24	c cleaning 20000 clauses out of 40010 with flag 1860002/1860002
353.79/353.05	c cleaning 19993 clauses out of 40008 with flag 1880000/1880000
357.48/356.79	c cleaning 20002 clauses out of 40015 with flag 1900000/1900000
361.39/360.60	c cleaning 20001 clauses out of 40014 with flag 1920001/1920001
365.09/364.39	c cleaning 19996 clauses out of 40013 with flag 1940001/1940001
368.99/368.29	c cleaning 20000 clauses out of 40017 with flag 1960001/1960001
372.99/372.21	c cleaning 19987 clauses out of 40017 with flag 1980001/1980001
377.00/376.22	c cleaning 20005 clauses out of 40029 with flag 2000000/2000000
381.19/380.41	c cleaning 20008 clauses out of 40024 with flag 2020000/2020000
384.90/384.15	c cleaning 20002 clauses out of 40019 with flag 2040003/2040003
388.60/387.82	c cleaning 19998 clauses out of 40014 with flag 2060000/2060000
392.30/391.55	c cleaning 20004 clauses out of 40016 with flag 2080000/2080000
396.10/395.38	c cleaning 19997 clauses out of 40012 with flag 2100000/2100000
400.01/399.22	c cleaning 19994 clauses out of 40015 with flag 2120000/2120000
403.90/403.18	c cleaning 20005 clauses out of 40021 with flag 2140000/2140000
408.00/407.21	c cleaning 20003 clauses out of 40016 with flag 2160000/2160000
412.01/411.23	c cleaning 19993 clauses out of 40014 with flag 2180001/2180001
416.01/415.24	c cleaning 20000 clauses out of 40020 with flag 2200000/2200000
420.11/419.32	c cleaning 19996 clauses out of 40020 with flag 2220000/2220000
424.01/423.27	c cleaning 20008 clauses out of 40025 with flag 2240001/2240001
427.81/427.01	c cleaning 19992 clauses out of 40017 with flag 2260001/2260001
431.61/430.82	c cleaning 20006 clauses out of 40026 with flag 2280002/2280002
435.41/434.63	c cleaning 20000 clauses out of 40019 with flag 2300001/2300001
439.32/438.54	c cleaning 20000 clauses out of 40018 with flag 2320000/2320000
443.22/442.49	c cleaning 20002 clauses out of 40018 with flag 2340000/2340000
447.22/446.45	c cleaning 19995 clauses out of 40017 with flag 2360001/2360001
451.22/450.49	c cleaning 19998 clauses out of 40023 with flag 2380002/2380002
455.32/454.51	c cleaning 19999 clauses out of 40023 with flag 2400000/2400000
459.33/458.52	c cleaning 19999 clauses out of 40024 with flag 2420000/2420000
463.23/462.43	c cleaning 20001 clauses out of 40026 with flag 2440001/2440001
467.14/466.39	c cleaning 20008 clauses out of 40026 with flag 2460002/2460002
470.83/470.09	c cleaning 20006 clauses out of 40018 with flag 2480002/2480002
474.63/473.81	c cleaning 19991 clauses out of 40011 with flag 2500001/2500001
478.34/477.57	c cleaning 20005 clauses out of 40020 with flag 2520001/2520001
482.14/481.31	c cleaning 19994 clauses out of 40014 with flag 2540000/2540000
485.95/485.15	c cleaning 20000 clauses out of 40022 with flag 2560002/2560002
489.94/489.14	c cleaning 20002 clauses out of 40021 with flag 2580001/2580001
493.94/493.10	c cleaning 19996 clauses out of 40018 with flag 2600000/2600000
498.05/497.22	c cleaning 19993 clauses out of 40022 with flag 2620000/2620000
502.25/501.50	c cleaning 20004 clauses out of 40031 with flag 2640002/2640002
506.35/505.54	c cleaning 19999 clauses out of 40025 with flag 2660000/2660000
510.65/509.80	c cleaning 20008 clauses out of 40029 with flag 2680003/2680003
515.05/514.29	c cleaning 20001 clauses out of 40019 with flag 2700001/2700001
518.96/518.12	c cleaning 20006 clauses out of 40017 with flag 2720000/2720000
522.66/521.87	c cleaning 19992 clauses out of 40012 with flag 2740001/2740001
526.56/525.74	c cleaning 20007 clauses out of 40019 with flag 2760000/2760000
530.46/529.62	c cleaning 19995 clauses out of 40012 with flag 2780000/2780000
534.27/533.41	c cleaning 19997 clauses out of 40017 with flag 2800000/2800000
538.06/537.27	c cleaning 19993 clauses out of 40020 with flag 2820000/2820000
542.07/541.22	c cleaning 20006 clauses out of 40030 with flag 2840003/2840003
546.17/545.31	c cleaning 19996 clauses out of 40021 with flag 2860000/2860000
550.07/549.26	c cleaning 20004 clauses out of 40026 with flag 2880001/2880001
554.08/553.28	c cleaning 19998 clauses out of 40021 with flag 2900000/2900000
558.08/557.27	c cleaning 20000 clauses out of 40023 with flag 2920000/2920000
562.18/561.35	c cleaning 19995 clauses out of 40023 with flag 2940000/2940000
566.19/565.32	c cleaning 19999 clauses out of 40028 with flag 2960000/2960000
570.48/569.65	c cleaning 20005 clauses out of 40029 with flag 2980000/2980000
574.29/573.48	c cleaning 20004 clauses out of 40024 with flag 3000000/3000000
578.10/577.26	c cleaning 20003 clauses out of 40024 with flag 3020004/3020004
581.90/581.02	c cleaning 19983 clauses out of 40017 with flag 3040000/3040000
585.70/584.82	c cleaning 20006 clauses out of 40035 with flag 3060001/3060001
589.50/588.65	c cleaning 19995 clauses out of 40028 with flag 3080000/3080000
593.40/592.57	c cleaning 20005 clauses out of 40033 with flag 3100000/3100000
597.50/596.60	c cleaning 20007 clauses out of 40028 with flag 3120000/3120000
601.41/600.59	c cleaning 20002 clauses out of 40021 with flag 3140000/3140000
605.51/604.66	c cleaning 19999 clauses out of 40019 with flag 3160000/3160000
609.71/608.84	c cleaning 20001 clauses out of 40023 with flag 3180003/3180003
613.91/613.00	c cleaning 20001 clauses out of 40019 with flag 3200000/3200000
617.92/617.09	c cleaning 19996 clauses out of 40020 with flag 3220002/3220002
621.92/621.05	c cleaning 20007 clauses out of 40026 with flag 3240004/3240004
625.92/625.03	c cleaning 19997 clauses out of 40016 with flag 3260001/3260001
630.22/629.36	c cleaning 20008 clauses out of 40019 with flag 3280001/3280001
634.12/633.23	c cleaning 20000 clauses out of 40010 with flag 3300000/3300000
637.93/637.01	c cleaning 19998 clauses out of 40010 with flag 3320000/3320000
641.73/640.80	c cleaning 19993 clauses out of 40012 with flag 3340000/3340000
645.53/644.66	c cleaning 19995 clauses out of 40019 with flag 3360000/3360000
649.43/648.50	c cleaning 20004 clauses out of 40025 with flag 3380001/3380001
653.33/652.43	c cleaning 19999 clauses out of 40020 with flag 3400000/3400000
657.33/656.40	c cleaning 20002 clauses out of 40023 with flag 3420002/3420002
661.43/660.54	c cleaning 20001 clauses out of 40021 with flag 3440002/3440002
665.34/664.43	c cleaning 19996 clauses out of 40019 with flag 3460001/3460001
669.24/668.37	c cleaning 20002 clauses out of 40022 with flag 3480000/3480000
673.24/672.34	c cleaning 19998 clauses out of 40020 with flag 3500000/3500000
677.14/676.26	c cleaning 20000 clauses out of 40022 with flag 3520000/3520000
681.14/680.26	c cleaning 19997 clauses out of 40022 with flag 3540000/3540000
685.24/684.39	c cleaning 19998 clauses out of 40027 with flag 3560002/3560002
689.85/688.92	c cleaning 19994 clauses out of 40027 with flag 3580000/3580000
694.25/693.34	c cleaning 20010 clauses out of 40034 with flag 3600001/3600001
698.45/697.59	c cleaning 20006 clauses out of 40023 with flag 3620000/3620000
702.25/701.31	c cleaning 20000 clauses out of 40017 with flag 3640000/3640000
705.96/705.06	c cleaning 19999 clauses out of 40019 with flag 3660002/3660002
709.76/708.84	c cleaning 20001 clauses out of 40018 with flag 3680000/3680000
713.56/712.60	c cleaning 19997 clauses out of 40018 with flag 3700001/3700001
717.36/716.45	c cleaning 20006 clauses out of 40022 with flag 3720002/3720002
721.26/720.36	c cleaning 19990 clauses out of 40014 with flag 3740000/3740000
725.36/724.44	c cleaning 19998 clauses out of 40024 with flag 3760000/3760000
729.27/728.33	c cleaning 20006 clauses out of 40027 with flag 3780001/3780001
733.27/732.31	c cleaning 20004 clauses out of 40022 with flag 3800002/3800002
737.47/736.54	c cleaning 19978 clauses out of 40018 with flag 3820002/3820002
741.77/740.87	c cleaning 20005 clauses out of 40039 with flag 3840001/3840001
746.07/745.18	c cleaning 20007 clauses out of 40033 with flag 3860000/3860000
750.17/749.28	c cleaning 19995 clauses out of 40026 with flag 3880000/3880000
754.17/753.23	c cleaning 20004 clauses out of 40031 with flag 3900000/3900000
758.28/757.37	c cleaning 20009 clauses out of 40029 with flag 3920002/3920002
762.68/761.72	c cleaning 19997 clauses out of 40018 with flag 3940000/3940000
766.59/765.67	c cleaning 20004 clauses out of 40022 with flag 3960001/3960001
770.99/770.05	c cleaning 19992 clauses out of 40019 with flag 3980002/3980002
774.89/773.94	c cleaning 20007 clauses out of 40025 with flag 4000000/4000000
778.59/777.66	c cleaning 19996 clauses out of 40018 with flag 4020000/4020000
782.39/781.42	c cleaning 20004 clauses out of 40024 with flag 4040002/4040002
786.19/785.23	c cleaning 19999 clauses out of 40018 with flag 4060000/4060000
789.99/789.08	c cleaning 20000 clauses out of 40021 with flag 4080002/4080002
793.79/792.88	c cleaning 19987 clauses out of 40019 with flag 4100000/4100000
797.80/796.84	c cleaning 20000 clauses out of 40033 with flag 4120001/4120001
801.81/800.81	c cleaning 20003 clauses out of 40032 with flag 4140000/4140000
805.60/804.67	c cleaning 19998 clauses out of 40030 with flag 4160001/4160001
809.60/808.68	c cleaning 20005 clauses out of 40035 with flag 4180004/4180004
813.61/812.60	c cleaning 19993 clauses out of 40026 with flag 4200000/4200000
817.61/816.61	c cleaning 20002 clauses out of 40034 with flag 4220001/4220001
821.52/820.58	c cleaning 20008 clauses out of 40032 with flag 4240001/4240001
825.61/824.68	c cleaning 19992 clauses out of 40023 with flag 4260000/4260000
830.01/829.01	c cleaning 20000 clauses out of 40031 with flag 4280000/4280000
834.02/833.07	c cleaning 20007 clauses out of 40033 with flag 4300002/4300002
838.12/837.14	c cleaning 20001 clauses out of 40025 with flag 4320001/4320001
842.62/841.66	c cleaning 19994 clauses out of 40023 with flag 4340000/4340000
846.42/845.49	c cleaning 20008 clauses out of 40033 with flag 4360004/4360004
850.93/849.95	c cleaning 19998 clauses out of 40021 with flag 4380000/4380000
854.83/853.84	c cleaning 20001 clauses out of 40024 with flag 4400001/4400001
858.53/857.59	c cleaning 20003 clauses out of 40022 with flag 4420000/4420000
862.34/861.34	c cleaning 20003 clauses out of 40019 with flag 4440000/4440000
866.03/865.05	c cleaning 19998 clauses out of 40020 with flag 4460004/4460004
869.84/868.89	c cleaning 19999 clauses out of 40018 with flag 4480000/4480000
873.74/872.79	c cleaning 20000 clauses out of 40020 with flag 4500001/4500001
877.84/876.80	c cleaning 20003 clauses out of 40019 with flag 4520000/4520000
881.74/880.74	c cleaning 19998 clauses out of 40017 with flag 4540001/4540001
885.84/884.85	c cleaning 20002 clauses out of 40018 with flag 4560000/4560000
889.85/888.87	c cleaning 19999 clauses out of 40017 with flag 4580001/4580001
893.75/892.72	c cleaning 19996 clauses out of 40018 with flag 4600001/4600001
897.75/896.72	c cleaning 20007 clauses out of 40022 with flag 4620001/4620001
901.86/900.87	c cleaning 20000 clauses out of 40014 with flag 4640000/4640000
906.26/905.21	c cleaning 19993 clauses out of 40014 with flag 4660000/4660000
910.46/909.44	c cleaning 19996 clauses out of 40022 with flag 4680001/4680001
914.46/913.44	c cleaning 20005 clauses out of 40027 with flag 4700002/4700002
918.86/917.84	c cleaning 20004 clauses out of 40021 with flag 4720001/4720001
923.17/922.11	c cleaning 19999 clauses out of 40019 with flag 4740003/4740003
927.07/926.09	c cleaning 19999 clauses out of 40017 with flag 4760000/4760000
931.67/930.61	c cleaning 19995 clauses out of 40019 with flag 4780001/4780001
935.67/934.68	c cleaning 20001 clauses out of 40023 with flag 4800000/4800000
940.07/939.01	c cleaning 19995 clauses out of 40023 with flag 4820001/4820001
944.17/943.13	c cleaning 20013 clauses out of 40028 with flag 4840001/4840001
947.88/946.82	c cleaning 20003 clauses out of 40017 with flag 4860003/4860003
951.58/950.55	c cleaning 19999 clauses out of 40011 with flag 4880000/4880000
955.38/954.32	c cleaning 20001 clauses out of 40013 with flag 4900001/4900001
959.19/958.16	c cleaning 20004 clauses out of 40015 with flag 4920004/4920004
963.08/962.05	c cleaning 19989 clauses out of 40007 with flag 4940000/4940000
966.98/965.92	c cleaning 19997 clauses out of 40020 with flag 4960002/4960002
971.09/970.01	c cleaning 19999 clauses out of 40021 with flag 4980000/4980000
975.09/974.05	c cleaning 19998 clauses out of 40026 with flag 5000004/5000004
979.19/978.15	c cleaning 20007 clauses out of 40025 with flag 5020001/5020001
983.40/982.31	c cleaning 20004 clauses out of 40017 with flag 5040000/5040000
987.49/986.47	c cleaning 19992 clauses out of 40015 with flag 5060002/5060002
991.90/990.87	c cleaning 20005 clauses out of 40021 with flag 5080000/5080000
996.20/995.11	c cleaning 19988 clauses out of 40017 with flag 5100001/5100001
1000.30/999.22	c cleaning 20003 clauses out of 40030 with flag 5120002/5120002
1004.31/1003.22	c cleaning 19999 clauses out of 40025 with flag 5140000/5140000
1008.61/1007.55	c cleaning 19993 clauses out of 40026 with flag 5160000/5160000
1012.71/1011.63	c cleaning 19997 clauses out of 40033 with flag 5180000/5180000
1017.01/1015.90	c cleaning 20010 clauses out of 40036 with flag 5200000/5200000
1021.31/1020.21	c cleaning 19999 clauses out of 40027 with flag 5220001/5220001
1025.22/1024.14	c cleaning 19997 clauses out of 40027 with flag 5240000/5240000
1029.42/1028.39	c cleaning 20002 clauses out of 40031 with flag 5260001/5260001
1033.52/1032.49	c cleaning 20006 clauses out of 40029 with flag 5280001/5280001
1037.82/1036.73	c cleaning 19998 clauses out of 40022 with flag 5300000/5300000
1042.13/1041.06	c cleaning 20008 clauses out of 40024 with flag 5320000/5320000
1046.03/1044.94	c cleaning 20003 clauses out of 40016 with flag 5340000/5340000
1049.73/1048.67	c cleaning 20000 clauses out of 40013 with flag 5360000/5360000
1053.53/1052.48	c cleaning 19998 clauses out of 40015 with flag 5380002/5380002
1057.43/1056.37	c cleaning 19995 clauses out of 40016 with flag 5400001/5400001
1061.44/1060.37	c cleaning 19993 clauses out of 40020 with flag 5420000/5420000
1065.34/1064.28	c cleaning 20009 clauses out of 40028 with flag 5440001/5440001
1069.34/1068.28	c cleaning 19995 clauses out of 40018 with flag 5460000/5460000
1073.44/1072.34	c cleaning 20000 clauses out of 40023 with flag 5480000/5480000
1077.44/1076.36	c cleaning 19993 clauses out of 40023 with flag 5500000/5500000
1081.54/1080.45	c cleaning 20004 clauses out of 40030 with flag 5520000/5520000
1085.65/1084.53	c cleaning 19987 clauses out of 40027 with flag 5540001/5540001
1089.55/1088.49	c cleaning 20003 clauses out of 40040 with flag 5560001/5560001
1093.55/1092.41	c cleaning 20001 clauses out of 40037 with flag 5580001/5580001
1097.55/1096.45	c cleaning 20004 clauses out of 40036 with flag 5600001/5600001
1101.86/1100.78	c cleaning 20005 clauses out of 40031 with flag 5620000/5620000
1106.06/1104.95	c cleaning 20003 clauses out of 40026 with flag 5640000/5640000
1110.16/1109.03	c cleaning 19998 clauses out of 40023 with flag 5660000/5660000
1114.46/1113.35	c cleaning 19999 clauses out of 40025 with flag 5680000/5680000
1118.57/1117.43	c cleaning 19997 clauses out of 40026 with flag 5700000/5700000
1122.97/1121.87	c cleaning 20004 clauses out of 40029 with flag 5720000/5720000
1127.08/1125.94	c cleaning 19997 clauses out of 40027 with flag 5740002/5740002
1131.38/1130.20	c cleaning 19998 clauses out of 40028 with flag 5760000/5760000
1135.48/1134.36	c cleaning 19998 clauses out of 40030 with flag 5780000/5780000
1139.88/1138.79	c cleaning 20012 clauses out of 40032 with flag 5800000/5800000
1144.00/1142.83	c cleaning 20004 clauses out of 40022 with flag 5820002/5820002
1148.19/1147.10	c cleaning 19989 clauses out of 40016 with flag 5840000/5840000
1152.49/1151.37	c cleaning 20009 clauses out of 40027 with flag 5860000/5860000
1156.29/1155.19	c cleaning 19994 clauses out of 40018 with flag 5880000/5880000
1160.09/1158.98	c cleaning 20003 clauses out of 40025 with flag 5900001/5900001
1164.00/1162.80	c cleaning 20001 clauses out of 40021 with flag 5920000/5920000
1167.80/1166.62	c cleaning 19998 clauses out of 40020 with flag 5940000/5940000
1171.61/1170.48	c cleaning 20003 clauses out of 40023 with flag 5960001/5960001
1175.60/1174.49	c cleaning 19997 clauses out of 40019 with flag 5980000/5980000
1179.70/1178.56	c cleaning 20005 clauses out of 40022 with flag 6000000/6000000
1183.91/1182.71	c cleaning 19996 clauses out of 40019 with flag 6020002/6020002
1187.81/1186.68	c cleaning 20001 clauses out of 40021 with flag 6040000/6040000
1192.01/1190.86	c cleaning 19996 clauses out of 40020 with flag 6060000/6060000
1196.11/1194.93	c cleaning 19999 clauses out of 40024 with flag 6080000/6080000
1200.12/1198.90	c cleaning 19999 clauses out of 40026 with flag 6100001/6100001
1204.01/1202.86	c cleaning 20002 clauses out of 40027 with flag 6120001/6120001
1208.02/1206.88	c cleaning 19993 clauses out of 40024 with flag 6140000/6140000
1212.52/1211.32	c cleaning 20009 clauses out of 40032 with flag 6160001/6160001
1216.63/1215.45	c cleaning 20003 clauses out of 40023 with flag 6180001/6180001
1220.62/1219.41	c cleaning 19999 clauses out of 40019 with flag 6200000/6200000
1224.92/1223.76	c cleaning 19997 clauses out of 40022 with flag 6220002/6220002
1228.93/1227.73	c cleaning 19997 clauses out of 40023 with flag 6240000/6240000
1233.23/1232.09	c cleaning 20000 clauses out of 40026 with flag 6260000/6260000
1237.43/1236.23	c cleaning 20004 clauses out of 40027 with flag 6280001/6280001
1241.83/1240.65	c cleaning 20000 clauses out of 40024 with flag 6300002/6300002
1246.04/1244.83	c cleaning 20004 clauses out of 40023 with flag 6320001/6320001
1250.34/1249.20	c cleaning 19995 clauses out of 40019 with flag 6340001/6340001
1254.44/1253.21	c cleaning 19993 clauses out of 40024 with flag 6360001/6360001
1258.94/1257.75	c cleaning 20003 clauses out of 40030 with flag 6380000/6380000
1263.15/1261.90	c cleaning 20008 clauses out of 40030 with flag 6400003/6400003
1267.36/1266.15	c cleaning 19991 clauses out of 40020 with flag 6420001/6420001
1271.66/1270.41	c cleaning 19997 clauses out of 40028 with flag 6440000/6440000
1275.65/1274.43	c cleaning 20007 clauses out of 40031 with flag 6460000/6460000
1279.37/1278.14	c cleaning 20005 clauses out of 40024 with flag 6480000/6480000
1283.16/1281.92	c cleaning 20004 clauses out of 40019 with flag 6500000/6500000
1286.76/1285.59	c cleaning 19993 clauses out of 40015 with flag 6520000/6520000
1290.56/1289.33	c cleaning 20003 clauses out of 40025 with flag 6540003/6540003
1294.57/1293.30	c cleaning 20000 clauses out of 40019 with flag 6560000/6560000
1298.47/1297.22	c cleaning 20000 clauses out of 40019 with flag 6580000/6580000
1301.28/1300.01	c starts		: 2331
1301.28/1300.01	c conflicts		: 6594724
1301.28/1300.01	c decisions		: 8790583
1301.28/1300.01	c propagations		: 544482752
1301.28/1300.01	c inspects		: 11866477139
1301.28/1300.01	c shortcuts		: 0
1301.28/1300.01	c learnt literals	: 0
1301.28/1300.01	c learnt binary clauses	: 0
1301.28/1300.01	c learnt ternary clauses	: 0
1301.28/1300.01	c learnt constraints	: 6594724
1301.28/1300.01	c ignored constraints	: 0
1301.28/1300.01	c root simplifications	: 2331
1301.28/1300.01	c removed literals (reason simplification)	: 77654178
1301.28/1300.01	c reason swapping (by a shorter reason)	: 0
1301.28/1300.01	c Calls to reduceDB	: 335
1301.28/1300.01	c speed (assignments/second)	: 418919.6187518802
1301.28/1300.01	c non guided choices	321
1301.28/1300.04	c learnt constraints type 
1301.28/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 34895
1301.28/1300.04	c constraints type 
1301.28/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20000
1301.28/1300.04	s UNKNOWN
1301.28/1300.04	c Total wall clock time (in seconds) : 1299.916

Verifier Data 

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

Watcher Data 

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

running on 2 cores: 1,3

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: 4.02 4.01 3.33 14/247 29700
/proc/meminfo: memFree=10950612/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=11760 CPUtime=0 cores=1,3
/proc/29700/stat : 29700 (runsolver) R 29698 29700 29350 0 -1 4202560 47 0 0 0 0 0 0 0 25 0 1 0 371495284 12042240 54 33554432000 4194304 5392636 140733869330816 18446744073709551615 5012135 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/29700/statm: 2940 54 36 293 0 2644 0

[startup+0.0534349 s]
/proc/loadavg: 4.02 4.01 3.33 14/247 29700
/proc/meminfo: memFree=10950612/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7564488 CPUtime=0.03 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 8942 0 1 0 2 1 0 0 25 0 13 0 371495284 7746035712 8637 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1891122 8637 1686 9 0 1881870 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564488

[startup+0.19268 s]
/proc/loadavg: 4.02 4.01 3.33 14/247 29700
/proc/meminfo: memFree=10950612/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7572876 CPUtime=0.18 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 10940 0 1 0 16 2 0 0 25 0 18 0 371495284 7754625024 10635 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1893219 10635 2168 9 0 1883957 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7572876

[startup+0.300661 s]
/proc/loadavg: 4.02 4.01 3.33 14/247 29700
/proc/meminfo: memFree=10950612/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7639880 CPUtime=0.34 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 11998 0 1 0 32 2 0 0 25 0 19 0 371495284 7823237120 11641 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1909970 11641 2203 9 0 1900708 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 7639880

[startup+0.700621 s]
/proc/loadavg: 4.02 4.01 3.33 14/247 29700
/proc/meminfo: memFree=10950612/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7641660 CPUtime=0.96 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 13730 0 1 0 94 2 0 0 25 0 19 0 371495284 7825059840 12539 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1910415 12539 2223 9 0 1901153 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 7641660

[startup+1.50148 s]
/proc/loadavg: 4.02 4.01 3.33 5/266 29719
/proc/meminfo: memFree=10835832/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7661608 CPUtime=2.02 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 23644 0 1 0 199 3 0 0 25 0 19 0 371495284 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1915402 19754 2252 9 0 1906140 0
[pid=29700/tid=29702] ppid=29698 vsize=7661608 CPUtime=1.38 cores=1,3
/proc/29700/task/29702/stat : 29702 (java) R 29698 29700 29350 0 -1 4202560 10295 0 1 0 137 1 0 0 25 0 19 0 371495286 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 46912505583807 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29700/tid=29703] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29703/stat : 29703 (java) S 29698 29700 29350 0 -1 4202560 362 0 0 0 0 0 0 0 17 0 19 0 371495287 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29704] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29704/stat : 29704 (java) S 29698 29700 29350 0 -1 4202560 474 0 0 0 0 0 0 0 17 0 19 0 371495287 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29705] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29705/stat : 29705 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371495287 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29706] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29706/stat : 29706 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371495287 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29707] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29707/stat : 29707 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371495287 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29708] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29708/stat : 29708 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371495287 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29709] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29709/stat : 29709 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371495287 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29710] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29710/stat : 29710 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371495287 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29711] ppid=29698 vsize=7661608 CPUtime=0.01 cores=1,3
/proc/29700/task/29711/stat : 29711 (java) S 29698 29700 29350 0 -1 4202560 843 0 0 0 1 0 0 0 17 0 19 0 371495288 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 0 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29712] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29712/stat : 29712 (java) S 29698 29700 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371495288 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29713] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29713/stat : 29713 (java) S 29698 29700 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371495288 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29714] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29714/stat : 29714 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495290 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528657841 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29715] ppid=29698 vsize=7661608 CPUtime=0.43 cores=1,3
/proc/29700/task/29715/stat : 29715 (java) S 29698 29700 29350 0 -1 4202560 9292 0 0 0 43 0 0 0 20 0 19 0 371495290 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29716] ppid=29698 vsize=7661608 CPUtime=0.17 cores=1,3
/proc/29700/task/29716/stat : 29716 (java) S 29698 29700 29350 0 -1 4202560 1218 0 0 0 17 0 0 0 19 0 19 0 371495291 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29717] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29717/stat : 29717 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495291 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29718] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29718/stat : 29718 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371495291 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29719] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29719/stat : 29719 (java) S 29698 29700 29350 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 371495313 7845486592 19754 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 7661608

[startup+3.10118 s]
/proc/loadavg: 4.02 4.01 3.33 5/266 29719
/proc/meminfo: memFree=10796524/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7661608 CPUtime=3.65 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 24648 0 1 0 362 3 0 0 25 0 19 0 371495284 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1915402 20747 2254 9 0 1906140 0
[pid=29700/tid=29702] ppid=29698 vsize=7661608 CPUtime=2.94 cores=1,3
/proc/29700/task/29702/stat : 29702 (java) R 29698 29700 29350 0 -1 4202560 10297 0 1 0 293 1 0 0 25 0 19 0 371495286 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 46912505698805 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29700/tid=29703] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29703/stat : 29703 (java) S 29698 29700 29350 0 -1 4202560 362 0 0 0 0 0 0 0 15 0 19 0 371495287 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29704] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29704/stat : 29704 (java) S 29698 29700 29350 0 -1 4202560 474 0 0 0 0 0 0 0 15 0 19 0 371495287 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29705] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29705/stat : 29705 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371495287 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29706] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29706/stat : 29706 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371495287 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29707] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29707/stat : 29707 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371495287 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29708] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29708/stat : 29708 (java) S 29698 29700 29350 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 371495287 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29709] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29709/stat : 29709 (java) S 29698 29700 29350 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 371495287 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29710] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29710/stat : 29710 (java) S 29698 29700 29350 0 -1 4202560 485 0 0 0 0 0 0 0 15 0 19 0 371495287 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29711] ppid=29698 vsize=7661608 CPUtime=0.04 cores=1,3
/proc/29700/task/29711/stat : 29711 (java) S 29698 29700 29350 0 -1 4202560 1159 0 0 0 4 0 0 0 16 0 19 0 371495288 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 0 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29712] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29712/stat : 29712 (java) S 29698 29700 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371495288 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29713] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29713/stat : 29713 (java) S 29698 29700 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371495288 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29714] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29714/stat : 29714 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495290 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528657841 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29715] ppid=29698 vsize=7661608 CPUtime=0.45 cores=1,3
/proc/29700/task/29715/stat : 29715 (java) S 29698 29700 29350 0 -1 4202560 9294 0 0 0 45 0 0 0 15 0 19 0 371495290 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29716] ppid=29698 vsize=7661608 CPUtime=0.18 cores=1,3
/proc/29700/task/29716/stat : 29716 (java) S 29698 29700 29350 0 -1 4202560 1253 0 0 0 18 0 0 0 15 0 19 0 371495291 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29717] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29717/stat : 29717 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495291 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29718] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29718/stat : 29718 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371495291 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29719] ppid=29698 vsize=7661608 CPUtime=0 cores=1,3
/proc/29700/task/29719/stat : 29719 (java) S 29698 29700 29350 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 371495313 7845486592 20747 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 7661608

[startup+6.30061 s]
/proc/loadavg: 4.02 4.01 3.33 5/266 29719
/proc/meminfo: memFree=10794492/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7657324 CPUtime=6.86 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 25076 0 1 0 683 3 0 0 25 0 19 0 371495284 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1914331 20067 2254 9 0 1905069 0
[pid=29700/tid=29702] ppid=29698 vsize=7657324 CPUtime=6.09 cores=1,3
/proc/29700/task/29702/stat : 29702 (java) R 29698 29700 29350 0 -1 4202560 10300 0 1 0 608 1 0 0 25 0 19 0 371495286 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 46912505663436 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29700/tid=29703] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29703/stat : 29703 (java) S 29698 29700 29350 0 -1 4202560 362 0 0 0 0 0 0 0 15 0 19 0 371495287 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29704] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29704/stat : 29704 (java) S 29698 29700 29350 0 -1 4202560 729 0 0 0 0 0 0 0 15 0 19 0 371495287 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29705] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29705/stat : 29705 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371495287 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29706] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29706/stat : 29706 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371495287 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29707] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29707/stat : 29707 (java) S 29698 29700 29350 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 371495287 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29708] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29708/stat : 29708 (java) S 29698 29700 29350 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 371495287 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29709] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29709/stat : 29709 (java) S 29698 29700 29350 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 371495287 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29710] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29710/stat : 29710 (java) S 29698 29700 29350 0 -1 4202560 485 0 0 0 0 0 0 0 15 0 19 0 371495287 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29711] ppid=29698 vsize=7657324 CPUtime=0.08 cores=1,3
/proc/29700/task/29711/stat : 29711 (java) S 29698 29700 29350 0 -1 4202560 1203 0 0 0 8 0 0 0 16 0 19 0 371495288 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 0 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29712] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29712/stat : 29712 (java) S 29698 29700 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29713] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29713/stat : 29713 (java) S 29698 29700 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29714] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29714/stat : 29714 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495290 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528657841 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29715] ppid=29698 vsize=7657324 CPUtime=0.45 cores=1,3
/proc/29700/task/29715/stat : 29715 (java) S 29698 29700 29350 0 -1 4202560 9294 0 0 0 45 0 0 0 15 0 19 0 371495290 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29716] ppid=29698 vsize=7657324 CPUtime=0.19 cores=1,3
/proc/29700/task/29716/stat : 29716 (java) S 29698 29700 29350 0 -1 4202560 1291 0 0 0 19 0 0 0 15 0 19 0 371495291 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29717] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29717/stat : 29717 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495291 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29718] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29718/stat : 29718 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371495291 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29719] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29719/stat : 29719 (java) S 29698 29700 29350 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 371495313 7841099776 20067 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 7657324

[startup+12.7014 s]

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

[pid=29700/tid=29708] ppid=29698 vsize=7657324 CPUtime=0.18 cores=1,3
/proc/29700/task/29708/stat : 29708 (java) S 29698 29700 29350 0 -1 4202560 575 0 0 0 18 0 0 0 15 0 19 0 371495287 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29709] ppid=29698 vsize=7657324 CPUtime=0.17 cores=1,3
/proc/29700/task/29709/stat : 29709 (java) S 29698 29700 29350 0 -1 4202560 62 0 0 0 17 0 0 0 15 0 19 0 371495287 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29710] ppid=29698 vsize=7657324 CPUtime=0.14 cores=1,3
/proc/29700/task/29710/stat : 29710 (java) S 29698 29700 29350 0 -1 4202560 665 0 0 0 14 0 0 0 15 0 19 0 371495287 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29711] ppid=29698 vsize=7657324 CPUtime=7.04 cores=1,3
/proc/29700/task/29711/stat : 29711 (java) S 29698 29700 29350 0 -1 4202560 3171 0 0 0 702 2 0 0 16 0 19 0 371495288 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 0 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29712] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29712/stat : 29712 (java) S 29698 29700 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29713] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29713/stat : 29713 (java) S 29698 29700 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29714] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29714/stat : 29714 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495290 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528657841 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29715] ppid=29698 vsize=7657324 CPUtime=0.45 cores=1,3
/proc/29700/task/29715/stat : 29715 (java) S 29698 29700 29350 0 -1 4202560 9294 0 0 0 45 0 0 0 15 0 19 0 371495290 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29716] ppid=29698 vsize=7657324 CPUtime=0.21 cores=1,3
/proc/29700/task/29716/stat : 29716 (java) S 29698 29700 29350 0 -1 4202560 1930 0 0 0 21 0 0 0 15 0 19 0 371495291 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29717] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29717/stat : 29717 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495291 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29718] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29718/stat : 29718 (java) S 29698 29700 29350 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371495291 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29719] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29719/stat : 29719 (java) S 29698 29700 29350 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 371495313 7841099776 24960 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.48
Current children cumulated vsize (KiB) 7657324

[startup+1182.3 s]
/proc/loadavg: 4.02 4.02 3.81 5/266 29754
/proc/meminfo: memFree=10733064/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7657324 CPUtime=1183.51 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 30912 0 1 0 118342 9 0 0 25 0 19 0 371495284 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1914331 25021 2255 9 0 1905069 0
[pid=29700/tid=29702] ppid=29698 vsize=7657324 CPUtime=1173.91 cores=1,3
/proc/29700/task/29702/stat : 29702 (java) R 29698 29700 29350 0 -1 4202560 11776 0 1 0 117389 2 0 0 25 0 19 0 371495286 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 46912505583115 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29700/tid=29703] ppid=29698 vsize=7657324 CPUtime=0.2 cores=1,3
/proc/29700/task/29703/stat : 29703 (java) S 29698 29700 29350 0 -1 4202560 545 0 0 0 20 0 0 0 15 0 19 0 371495287 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29704] ppid=29698 vsize=7657324 CPUtime=0.18 cores=1,3
/proc/29700/task/29704/stat : 29704 (java) S 29698 29700 29350 0 -1 4202560 735 0 0 0 18 0 0 0 16 0 19 0 371495287 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29705] ppid=29698 vsize=7657324 CPUtime=0.18 cores=1,3
/proc/29700/task/29705/stat : 29705 (java) S 29698 29700 29350 0 -1 4202560 184 0 0 0 18 0 0 0 15 0 19 0 371495287 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29706] ppid=29698 vsize=7657324 CPUtime=0.16 cores=1,3
/proc/29700/task/29706/stat : 29706 (java) S 29698 29700 29350 0 -1 4202560 18 0 0 0 16 0 0 0 15 0 19 0 371495287 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29707] ppid=29698 vsize=7657324 CPUtime=0.19 cores=1,3
/proc/29700/task/29707/stat : 29707 (java) S 29698 29700 29350 0 -1 4202560 670 0 0 0 19 0 0 0 15 0 19 0 371495287 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29708] ppid=29698 vsize=7657324 CPUtime=0.19 cores=1,3
/proc/29700/task/29708/stat : 29708 (java) S 29698 29700 29350 0 -1 4202560 575 0 0 0 19 0 0 0 15 0 19 0 371495287 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29709] ppid=29698 vsize=7657324 CPUtime=0.18 cores=1,3
/proc/29700/task/29709/stat : 29709 (java) S 29698 29700 29350 0 -1 4202560 64 0 0 0 18 0 0 0 15 0 19 0 371495287 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29710] ppid=29698 vsize=7657324 CPUtime=0.16 cores=1,3
/proc/29700/task/29710/stat : 29710 (java) S 29698 29700 29350 0 -1 4202560 665 0 0 0 16 0 0 0 15 0 19 0 371495287 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29711] ppid=29698 vsize=7657324 CPUtime=7.41 cores=1,3
/proc/29700/task/29711/stat : 29711 (java) S 29698 29700 29350 0 -1 4202560 3234 0 0 0 738 3 0 0 15 0 19 0 371495288 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 0 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29712] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29712/stat : 29712 (java) S 29698 29700 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29713] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29713/stat : 29713 (java) S 29698 29700 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29714] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29714/stat : 29714 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495290 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528657841 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29715] ppid=29698 vsize=7657324 CPUtime=0.45 cores=1,3
/proc/29700/task/29715/stat : 29715 (java) S 29698 29700 29350 0 -1 4202560 9294 0 0 0 45 0 0 0 15 0 19 0 371495290 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29716] ppid=29698 vsize=7657324 CPUtime=0.21 cores=1,3
/proc/29700/task/29716/stat : 29716 (java) S 29698 29700 29350 0 -1 4202560 1930 0 0 0 21 0 0 0 15 0 19 0 371495291 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29717] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29717/stat : 29717 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495291 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29718] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29718/stat : 29718 (java) S 29698 29700 29350 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371495291 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29719] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29719/stat : 29719 (java) S 29698 29700 29350 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 371495313 7841099776 25021 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.51
Current children cumulated vsize (KiB) 7657324

[startup+1242.3 s]
/proc/loadavg: 4.08 4.03 3.83 5/266 29755
/proc/meminfo: memFree=10731260/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7657324 CPUtime=1243.54 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 30955 0 1 0 124345 9 0 0 25 0 19 0 371495284 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1914331 25041 2255 9 0 1905069 0
[pid=29700/tid=29702] ppid=29698 vsize=7657324 CPUtime=1233.47 cores=1,3
/proc/29700/task/29702/stat : 29702 (java) R 29698 29700 29350 0 -1 4202560 11791 0 1 0 123345 2 0 0 25 0 19 0 371495286 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 46912505582819 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29700/tid=29703] ppid=29698 vsize=7657324 CPUtime=0.22 cores=1,3
/proc/29700/task/29703/stat : 29703 (java) S 29698 29700 29350 0 -1 4202560 545 0 0 0 22 0 0 0 15 0 19 0 371495287 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29704] ppid=29698 vsize=7657324 CPUtime=0.19 cores=1,3
/proc/29700/task/29704/stat : 29704 (java) S 29698 29700 29350 0 -1 4202560 735 0 0 0 19 0 0 0 15 0 19 0 371495287 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29705] ppid=29698 vsize=7657324 CPUtime=0.19 cores=1,3
/proc/29700/task/29705/stat : 29705 (java) S 29698 29700 29350 0 -1 4202560 184 0 0 0 19 0 0 0 15 0 19 0 371495287 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29706] ppid=29698 vsize=7657324 CPUtime=0.17 cores=1,3
/proc/29700/task/29706/stat : 29706 (java) S 29698 29700 29350 0 -1 4202560 19 0 0 0 17 0 0 0 15 0 19 0 371495287 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29707] ppid=29698 vsize=7657324 CPUtime=0.2 cores=1,3
/proc/29700/task/29707/stat : 29707 (java) S 29698 29700 29350 0 -1 4202560 670 0 0 0 20 0 0 0 15 0 19 0 371495287 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29708] ppid=29698 vsize=7657324 CPUtime=0.2 cores=1,3
/proc/29700/task/29708/stat : 29708 (java) S 29698 29700 29350 0 -1 4202560 575 0 0 0 20 0 0 0 15 0 19 0 371495287 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29709] ppid=29698 vsize=7657324 CPUtime=0.18 cores=1,3
/proc/29700/task/29709/stat : 29709 (java) S 29698 29700 29350 0 -1 4202560 64 0 0 0 18 0 0 0 15 0 19 0 371495287 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29710] ppid=29698 vsize=7657324 CPUtime=0.17 cores=1,3
/proc/29700/task/29710/stat : 29710 (java) S 29698 29700 29350 0 -1 4202560 665 0 0 0 17 0 0 0 15 0 19 0 371495287 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29711] ppid=29698 vsize=7657324 CPUtime=7.8 cores=1,3
/proc/29700/task/29711/stat : 29711 (java) S 29698 29700 29350 0 -1 4202560 3257 0 0 0 777 3 0 0 15 0 19 0 371495288 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 0 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29712] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29712/stat : 29712 (java) S 29698 29700 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29713] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29713/stat : 29713 (java) S 29698 29700 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29714] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29714/stat : 29714 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495290 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528657841 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29715] ppid=29698 vsize=7657324 CPUtime=0.45 cores=1,3
/proc/29700/task/29715/stat : 29715 (java) S 29698 29700 29350 0 -1 4202560 9294 0 0 0 45 0 0 0 15 0 19 0 371495290 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29716] ppid=29698 vsize=7657324 CPUtime=0.21 cores=1,3
/proc/29700/task/29716/stat : 29716 (java) S 29698 29700 29350 0 -1 4202560 1930 0 0 0 21 0 0 0 15 0 19 0 371495291 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29717] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29717/stat : 29717 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495291 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29718] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29718/stat : 29718 (java) S 29698 29700 29350 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371495291 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29719] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29719/stat : 29719 (java) S 29698 29700 29350 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 371495313 7841099776 25041 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.54
Current children cumulated vsize (KiB) 7657324



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.03 4.02 3.83 2/206 29766
/proc/meminfo: memFree=10977064/32951124 swapFree=67111524/67111528
[pid=29700] ppid=29698 vsize=7657324 CPUtime=1301.28 cores=1,3
/proc/29700/stat : 29700 (java) S 29698 29700 29350 0 -1 4202496 31025 0 1 0 130118 10 0 0 25 0 19 0 371495284 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29700/statm: 1914331 25089 2255 9 0 1905069 0
[pid=29700/tid=29702] ppid=29698 vsize=7657324 CPUtime=1290.77 cores=1,3
/proc/29700/task/29702/stat : 29702 (java) R 29698 29700 29350 0 -1 4202560 11805 0 1 0 129075 2 0 0 25 0 19 0 371495286 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 46912505663377 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29700/tid=29703] ppid=29698 vsize=7657324 CPUtime=0.22 cores=1,3
/proc/29700/task/29703/stat : 29703 (java) S 29698 29700 29350 0 -1 4202560 546 0 0 0 22 0 0 0 15 0 19 0 371495287 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29704] ppid=29698 vsize=7657324 CPUtime=0.2 cores=1,3
/proc/29700/task/29704/stat : 29704 (java) S 29698 29700 29350 0 -1 4202560 735 0 0 0 20 0 0 0 15 0 19 0 371495287 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29705] ppid=29698 vsize=7657324 CPUtime=0.2 cores=1,3
/proc/29700/task/29705/stat : 29705 (java) S 29698 29700 29350 0 -1 4202560 184 0 0 0 20 0 0 0 15 0 19 0 371495287 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29706] ppid=29698 vsize=7657324 CPUtime=0.18 cores=1,3
/proc/29700/task/29706/stat : 29706 (java) S 29698 29700 29350 0 -1 4202560 20 0 0 0 18 0 0 0 15 0 19 0 371495287 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29707] ppid=29698 vsize=7657324 CPUtime=0.2 cores=1,3
/proc/29700/task/29707/stat : 29707 (java) S 29698 29700 29350 0 -1 4202560 670 0 0 0 20 0 0 0 15 0 19 0 371495287 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29708] ppid=29698 vsize=7657324 CPUtime=0.22 cores=1,3
/proc/29700/task/29708/stat : 29708 (java) S 29698 29700 29350 0 -1 4202560 576 0 0 0 22 0 0 0 15 0 19 0 371495287 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29709] ppid=29698 vsize=7657324 CPUtime=0.19 cores=1,3
/proc/29700/task/29709/stat : 29709 (java) S 29698 29700 29350 0 -1 4202560 64 0 0 0 19 0 0 0 15 0 19 0 371495287 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29710] ppid=29698 vsize=7657324 CPUtime=0.18 cores=1,3
/proc/29700/task/29710/stat : 29710 (java) S 29698 29700 29350 0 -1 4202560 665 0 0 0 18 0 0 0 15 0 19 0 371495287 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29711] ppid=29698 vsize=7657324 CPUtime=8.16 cores=1,3
/proc/29700/task/29711/stat : 29711 (java) S 29698 29700 29350 0 -1 4202560 3306 0 0 0 813 3 0 0 15 0 19 0 371495288 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 0 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
[pid=29700/tid=29712] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29712/stat : 29712 (java) S 29698 29700 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29713] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29713/stat : 29713 (java) S 29698 29700 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371495288 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29714] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29714/stat : 29714 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495290 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528657841 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29715] ppid=29698 vsize=7657324 CPUtime=0.45 cores=1,3
/proc/29700/task/29715/stat : 29715 (java) S 29698 29700 29350 0 -1 4202560 9294 0 0 0 45 0 0 0 15 0 19 0 371495290 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29716] ppid=29698 vsize=7657324 CPUtime=0.21 cores=1,3
/proc/29700/task/29716/stat : 29716 (java) S 29698 29700 29350 0 -1 4202560 1930 0 0 0 21 0 0 0 15 0 19 0 371495291 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29717] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29717/stat : 29717 (java) S 29698 29700 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371495291 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650137 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29718] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29718/stat : 29718 (java) S 29698 29700 29350 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371495291 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 3 0 0 0
[pid=29700/tid=29719] ppid=29698 vsize=7657324 CPUtime=0 cores=1,3
/proc/29700/task/29719/stat : 29719 (java) S 29698 29700 29350 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 371495313 7841099776 25089 33554432000 1073741824 1073778376 140733709682208 18446744073709551615 246528650752 0 4 0 16800975 18446604460948354304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.28
Current children cumulated vsize (KiB) 7657324

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.35
CPU user time (s): 1301.25
CPU system time (s): 0.108983
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 7664416

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

runsolver used 2.01669 second user time and 5.11722 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-12 11:02:51
IDJOB=3190359
IDBENCH=82690
IDSOLVER=1611
FILE ID=node134/3190359-1302598971
RUNJOBID= node134-1302597668-29370
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-k5-r20-v1000-c20000-S519298227-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-3190359-1302598971/watcher-3190359-1302598971 -o /tmp/evaluation-result-3190359-1302598971/solver-3190359-1302598971 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190359-1302598971.cnf

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

MD5SUM BENCH= b0f2a8c1ae428dae6bc946bb38e8786d
RANDOM SEED=1047315059

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:      10951372 kB
Buffers:        688836 kB
Cached:       20669076 kB
SwapCached:          4 kB
Active:        9854160 kB
Inactive:     11695344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10951372 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2808 kB
Writeback:          36 kB
AnonPages:      190752 kB
Mapped:          23056 kB
Slab:           385684 kB
PageTables:       5868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22012524 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= 71436 MiB
End job on node134 at 2011-04-12 11:24:33