Trace number 3262480

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

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
MD5SUM8e7b614904543aa28491ea45c761cbd5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark97.5682
Satisfiable
(Un)Satisfiability was proved
Number of variables253
Number of clauses34014
Sum of the clauses size150994
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2336
Number of clauses of size 331196
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52482

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		6997539544
0.00/0.08	c Max memory 		7034241024
0.00/0.08	c Total memory 		7034241024
0.00/0.08	c Number of processors 	8
0.00/0.10	c --- Begin Solver configuration ---
0.00/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.00/0.10	c Learn all clauses as in MiniSAT
0.00/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.10	c Expensive reason simplification
0.00/0.10	c Armin Biere (Picosat) restarts strategy
0.00/0.10	c Glucose learned constraints deletion strategy
0.00/0.10	c timeout=2147483647s
0.00/0.10	c DB Simplification allowed=true
0.00/0.10	c --- End Solver configuration ---
0.00/0.10	c solving HOME/instance-3262480-1303548073.cnf
0.00/0.10	c reading problem ... 
0.27/0.25	c ... done. Wall clock time 0.141s.
0.27/0.25	c #vars     253
0.27/0.25	c #constraints  34014
0.27/0.25	c constraints type 
0.27/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33678
0.27/0.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 336
1.26/0.96	c cleaning 2500 clauses out of 5000 with flag 5000/5000
2.21/1.60	c cleaning 4250 clauses out of 8500 with flag 11000/11000
2.81/2.29	c cleaning 5626 clauses out of 11251 with flag 18001/18001
3.70/3.12	c cleaning 6811 clauses out of 13625 with flag 26001/26001
4.61/4.05	c cleaning 7903 clauses out of 15813 with flag 35000/35000
5.61/5.07	c cleaning 8947 clauses out of 17911 with flag 45001/45001
6.81/6.21	c cleaning 9976 clauses out of 19963 with flag 56000/56000
8.11/7.52	c cleaning 10994 clauses out of 21987 with flag 68000/68000
9.51/8.92	c cleaning 11995 clauses out of 23993 with flag 81000/81000
11.01/10.48	c cleaning 12996 clauses out of 26000 with flag 95002/95002
12.71/12.15	c cleaning 13991 clauses out of 28002 with flag 110000/110000
14.61/14.00	c cleaning 15000 clauses out of 30012 with flag 126001/126001
16.61/16.00	c cleaning 16002 clauses out of 32011 with flag 143000/143000
18.71/18.16	c cleaning 17004 clauses out of 34009 with flag 161000/161000
20.91/20.37	c cleaning 17999 clauses out of 36005 with flag 180000/180000
23.31/22.76	c cleaning 18998 clauses out of 38006 with flag 200000/200000
25.81/25.22	c cleaning 19997 clauses out of 40008 with flag 221000/221000
28.51/27.95	c cleaning 21003 clauses out of 42011 with flag 243000/243000
31.21/30.70	c cleaning 22001 clauses out of 44008 with flag 266000/266000
34.11/33.59	c cleaning 22992 clauses out of 46007 with flag 290000/290000
37.31/36.76	c cleaning 24005 clauses out of 48015 with flag 315000/315000
40.71/40.10	c cleaning 25004 clauses out of 50010 with flag 341000/341000
44.11/43.56	c cleaning 25997 clauses out of 52006 with flag 368000/368000
47.82/47.24	c cleaning 26997 clauses out of 54009 with flag 396000/396000
51.72/51.12	c cleaning 28004 clauses out of 56012 with flag 425000/425000
55.63/55.01	c cleaning 29004 clauses out of 58009 with flag 455001/455001
59.73/59.11	c cleaning 29997 clauses out of 60004 with flag 486000/486000
64.03/63.41	c cleaning 30995 clauses out of 62008 with flag 518001/518001
68.53/67.91	c cleaning 31995 clauses out of 64012 with flag 551000/551000
73.24/72.61	c cleaning 33002 clauses out of 66017 with flag 585000/585000
78.14/77.50	c cleaning 33996 clauses out of 68015 with flag 620000/620000
82.94/82.31	c cleaning 34509 clauses out of 69019 with flag 655000/655000
88.04/87.45	c cleaning 34753 clauses out of 69510 with flag 690000/690000
93.14/92.50	c cleaning 34870 clauses out of 69758 with flag 725001/725001
98.34/97.71	c cleaning 34944 clauses out of 69887 with flag 760000/760000
103.35/102.71	c cleaning 34964 clauses out of 69943 with flag 795000/795000
108.65/108.01	c cleaning 34984 clauses out of 69979 with flag 830000/830000
113.66/113.01	c cleaning 34993 clauses out of 69995 with flag 865000/865000
118.76/118.18	c cleaning 34991 clauses out of 70003 with flag 900001/900001
123.96/123.38	c cleaning 35004 clauses out of 70012 with flag 935001/935001
128.96/128.32	c cleaning 34997 clauses out of 70007 with flag 970000/970000
133.67/133.09	c cleaning 34997 clauses out of 70010 with flag 1005000/1005000
138.67/138.01	c cleaning 35003 clauses out of 70014 with flag 1040001/1040001
143.47/142.80	c cleaning 34991 clauses out of 70010 with flag 1075000/1075000
148.37/147.71	c cleaning 35001 clauses out of 70020 with flag 1110001/1110001
153.17/152.58	c cleaning 35007 clauses out of 70018 with flag 1145000/1145000
158.07/157.48	c cleaning 34997 clauses out of 70011 with flag 1180000/1180000
163.08/162.42	c cleaning 35004 clauses out of 70014 with flag 1215000/1215000
167.98/167.32	c cleaning 35001 clauses out of 70010 with flag 1250000/1250000
172.98/172.36	c cleaning 35004 clauses out of 70009 with flag 1285000/1285000
177.88/177.28	c cleaning 34993 clauses out of 70005 with flag 1320000/1320000
182.68/182.06	c cleaning 35002 clauses out of 70012 with flag 1355000/1355000
187.48/186.87	c cleaning 35000 clauses out of 70010 with flag 1390000/1390000
192.29/191.68	c cleaning 35005 clauses out of 70010 with flag 1425000/1425000
196.99/196.33	c cleaning 35002 clauses out of 70005 with flag 1460000/1460000
202.09/201.43	c cleaning 35000 clauses out of 70003 with flag 1495000/1495000
206.99/206.30	c cleaning 34990 clauses out of 70003 with flag 1530000/1530000
211.69/211.07	c cleaning 34999 clauses out of 70014 with flag 1565001/1565001
216.49/215.87	c cleaning 35003 clauses out of 70015 with flag 1600001/1600001
221.49/220.84	c cleaning 34993 clauses out of 70013 with flag 1635002/1635002
226.40/225.75	c cleaning 35000 clauses out of 70018 with flag 1670000/1670000
231.10/230.49	c cleaning 35002 clauses out of 70018 with flag 1705000/1705000
236.20/235.58	c cleaning 34994 clauses out of 70016 with flag 1740000/1740000
241.20/240.54	c cleaning 35006 clauses out of 70022 with flag 1775000/1775000
246.20/245.50	c cleaning 35003 clauses out of 70016 with flag 1810000/1810000
250.90/250.25	c cleaning 35002 clauses out of 70014 with flag 1845001/1845001
255.61/254.93	c cleaning 35001 clauses out of 70011 with flag 1880000/1880000
260.41/259.71	c cleaning 35000 clauses out of 70010 with flag 1915000/1915000
265.11/264.48	c cleaning 34993 clauses out of 70010 with flag 1950000/1950000
269.91/269.28	c cleaning 35002 clauses out of 70018 with flag 1985001/1985001
275.11/274.46	c cleaning 35007 clauses out of 70015 with flag 2020000/2020000
280.22/279.53	c cleaning 34999 clauses out of 70008 with flag 2055000/2055000
285.42/284.74	c cleaning 35002 clauses out of 70009 with flag 2090000/2090000
290.12/289.41	c cleaning 35004 clauses out of 70007 with flag 2125000/2125000
294.92/294.27	c cleaning 34989 clauses out of 70004 with flag 2160001/2160001
299.83/299.20	c cleaning 35000 clauses out of 70014 with flag 2195000/2195000
304.62/303.97	c cleaning 35003 clauses out of 70015 with flag 2230001/2230001
309.32/308.67	c cleaning 35002 clauses out of 70012 with flag 2265001/2265001
314.03/313.39	c cleaning 34991 clauses out of 70009 with flag 2300000/2300000
319.03/318.33	c cleaning 35003 clauses out of 70018 with flag 2335000/2335000
324.23/323.55	c cleaning 35002 clauses out of 70015 with flag 2370000/2370000
329.13/328.49	c cleaning 35002 clauses out of 70013 with flag 2405000/2405000
334.13/333.40	c cleaning 34994 clauses out of 70011 with flag 2440000/2440000
338.84/338.19	c cleaning 35003 clauses out of 70017 with flag 2475000/2475000
343.74/343.01	c cleaning 35002 clauses out of 70014 with flag 2510000/2510000
348.54/347.88	c cleaning 34996 clauses out of 70013 with flag 2545001/2545001
353.44/352.71	c cleaning 35003 clauses out of 70016 with flag 2580000/2580000
358.44/357.78	c cleaning 35000 clauses out of 70014 with flag 2615001/2615001
363.35/362.66	c cleaning 35002 clauses out of 70013 with flag 2650000/2650000
368.65/367.90	c cleaning 35002 clauses out of 70012 with flag 2685001/2685001
373.65/372.93	c cleaning 34993 clauses out of 70009 with flag 2720000/2720000
378.35/377.62	c cleaning 35001 clauses out of 70016 with flag 2755000/2755000
383.15/382.42	c cleaning 34999 clauses out of 70015 with flag 2790000/2790000
388.05/387.30	c cleaning 35002 clauses out of 70016 with flag 2825000/2825000
392.85/392.12	c cleaning 34997 clauses out of 70014 with flag 2860000/2860000
397.76/397.10	c cleaning 35001 clauses out of 70017 with flag 2895000/2895000
402.96/402.25	c cleaning 35000 clauses out of 70016 with flag 2930000/2930000
407.96/407.29	c cleaning 34998 clauses out of 70016 with flag 2965000/2965000
412.96/412.21	c cleaning 35003 clauses out of 70018 with flag 3000000/3000000
417.86/417.11	c cleaning 34994 clauses out of 70015 with flag 3035000/3035000
422.86/422.18	c cleaning 34995 clauses out of 70021 with flag 3070000/3070000
427.86/427.14	c cleaning 35005 clauses out of 70027 with flag 3105001/3105001
433.07/432.31	c cleaning 34999 clauses out of 70021 with flag 3140000/3140000
438.06/437.33	c cleaning 35004 clauses out of 70022 with flag 3175000/3175000
443.16/442.47	c cleaning 35008 clauses out of 70021 with flag 3210003/3210003
448.47/447.78	c cleaning 35003 clauses out of 70011 with flag 3245001/3245001
453.77/453.05	c cleaning 35000 clauses out of 70007 with flag 3280000/3280000
458.77/458.05	c cleaning 34994 clauses out of 70007 with flag 3315000/3315000
463.88/463.16	c cleaning 34995 clauses out of 70014 with flag 3350001/3350001
468.97/468.22	c cleaning 35000 clauses out of 70018 with flag 3385000/3385000
473.78/473.04	c cleaning 35001 clauses out of 70019 with flag 3420001/3420001
478.77/478.02	c cleaning 35007 clauses out of 70017 with flag 3455000/3455000
483.88/483.12	c cleaning 35004 clauses out of 70013 with flag 3490003/3490003
488.98/488.25	c cleaning 34995 clauses out of 70006 with flag 3525000/3525000
494.28/493.50	c cleaning 35002 clauses out of 70011 with flag 3560000/3560000
499.28/498.51	c cleaning 35003 clauses out of 70010 with flag 3595001/3595001
504.39/503.65	c cleaning 35000 clauses out of 70008 with flag 3630002/3630002
509.19/508.43	c cleaning 34992 clauses out of 70006 with flag 3665000/3665000
514.29/513.52	c cleaning 35005 clauses out of 70015 with flag 3700001/3700001
519.39/518.65	c cleaning 35003 clauses out of 70009 with flag 3735000/3735000
524.49/523.71	c cleaning 34997 clauses out of 70006 with flag 3770000/3770000
529.60/528.83	c cleaning 34998 clauses out of 70009 with flag 3805000/3805000
534.80/534.09	c cleaning 35006 clauses out of 70012 with flag 3840001/3840001
540.00/539.24	c cleaning 35001 clauses out of 70005 with flag 3875000/3875000
545.10/544.37	c cleaning 34997 clauses out of 70005 with flag 3910001/3910001
550.50/549.75	c cleaning 34999 clauses out of 70007 with flag 3945000/3945000
555.80/555.03	c cleaning 35001 clauses out of 70008 with flag 3980000/3980000
560.80/560.05	c cleaning 34996 clauses out of 70007 with flag 4015000/4015000
565.91/565.12	c cleaning 35004 clauses out of 70011 with flag 4050000/4050000
570.92/570.16	c cleaning 34996 clauses out of 70007 with flag 4085000/4085000
576.22/575.40	c cleaning 35002 clauses out of 70011 with flag 4120000/4120000
581.32/580.55	c cleaning 34993 clauses out of 70009 with flag 4155000/4155000
586.62/585.82	c cleaning 35004 clauses out of 70016 with flag 4190000/4190000
591.62/590.81	c cleaning 34994 clauses out of 70012 with flag 4225000/4225000
596.43/595.66	c cleaning 34998 clauses out of 70018 with flag 4260000/4260000
601.73/600.90	c cleaning 35003 clauses out of 70020 with flag 4295000/4295000
607.03/606.27	c cleaning 35004 clauses out of 70020 with flag 4330003/4330003
612.23/611.43	c cleaning 35001 clauses out of 70014 with flag 4365001/4365001
617.33/616.57	c cleaning 34998 clauses out of 70012 with flag 4400000/4400000
622.53/621.79	c cleaning 34987 clauses out of 70014 with flag 4435000/4435000
627.64/626.86	c cleaning 35007 clauses out of 70027 with flag 4470000/4470000
632.74/631.92	c cleaning 34989 clauses out of 70020 with flag 4505000/4505000
637.94/637.11	c cleaning 35008 clauses out of 70031 with flag 4540000/4540000
643.24/642.41	c cleaning 35002 clauses out of 70024 with flag 4575001/4575001
648.34/647.55	c cleaning 35002 clauses out of 70021 with flag 4610000/4610000
653.44/652.63	c cleaning 34990 clauses out of 70019 with flag 4645000/4645000
658.65/657.86	c cleaning 35010 clauses out of 70029 with flag 4680000/4680000
663.84/663.01	c cleaning 35008 clauses out of 70020 with flag 4715001/4715001
668.94/668.11	c cleaning 34988 clauses out of 70011 with flag 4750000/4750000
673.84/673.05	c cleaning 34994 clauses out of 70025 with flag 4785002/4785002
678.94/678.14	c cleaning 35012 clauses out of 70029 with flag 4820000/4820000
683.95/683.18	c cleaning 34999 clauses out of 70018 with flag 4855001/4855001
689.15/688.33	c cleaning 35005 clauses out of 70019 with flag 4890001/4890001
693.95/693.13	c cleaning 34990 clauses out of 70013 with flag 4925000/4925000
698.85/698.03	c cleaning 35003 clauses out of 70023 with flag 4960000/4960000
704.05/703.21	c cleaning 34999 clauses out of 70020 with flag 4995000/4995000
709.16/708.34	c cleaning 35009 clauses out of 70021 with flag 5030000/5030000
714.25/713.49	c cleaning 34992 clauses out of 70012 with flag 5065000/5065000
719.35/718.56	c cleaning 35006 clauses out of 70023 with flag 5100003/5100003
724.26/723.44	c cleaning 34990 clauses out of 70015 with flag 5135001/5135001
729.26/728.47	c cleaning 35010 clauses out of 70024 with flag 5170000/5170000
734.26/733.45	c cleaning 34996 clauses out of 70014 with flag 5205000/5205000
739.27/738.41	c cleaning 34994 clauses out of 70019 with flag 5240001/5240001
744.27/743.45	c cleaning 35002 clauses out of 70024 with flag 5275000/5275000
749.27/748.47	c cleaning 35007 clauses out of 70023 with flag 5310001/5310001
754.17/753.32	c cleaning 34992 clauses out of 70015 with flag 5345000/5345000
758.78/757.99	c cleaning 35002 clauses out of 70023 with flag 5380000/5380000
763.77/762.94	c cleaning 35005 clauses out of 70023 with flag 5415002/5415002
768.78/767.92	c cleaning 34986 clauses out of 70016 with flag 5450000/5450000
773.68/772.81	c cleaning 35002 clauses out of 70030 with flag 5485000/5485000
778.48/777.68	c cleaning 35009 clauses out of 70029 with flag 5520001/5520001
783.28/782.48	c cleaning 35001 clauses out of 70019 with flag 5555000/5555000
788.28/787.41	c cleaning 35005 clauses out of 70019 with flag 5590001/5590001
793.18/792.31	c cleaning 34993 clauses out of 70014 with flag 5625001/5625001
797.99/797.18	c cleaning 35006 clauses out of 70021 with flag 5660001/5660001
802.69/801.90	c cleaning 34994 clauses out of 70015 with flag 5695001/5695001
807.59/806.72	c cleaning 35001 clauses out of 70021 with flag 5730001/5730001
812.49/811.63	c cleaning 35003 clauses out of 70020 with flag 5765001/5765001
817.49/816.61	c cleaning 35003 clauses out of 70017 with flag 5800001/5800001
822.49/821.60	c cleaning 34993 clauses out of 70013 with flag 5835000/5835000
827.39/826.55	c cleaning 34996 clauses out of 70020 with flag 5870000/5870000
831.99/831.10	c cleaning 35003 clauses out of 70024 with flag 5905000/5905000
836.80/835.98	c cleaning 35003 clauses out of 70021 with flag 5940000/5940000
841.69/840.85	c cleaning 34995 clauses out of 70019 with flag 5975001/5975001
846.59/845.72	c cleaning 34999 clauses out of 70023 with flag 6010000/6010000
851.49/850.60	c cleaning 35004 clauses out of 70025 with flag 6045001/6045001
856.30/855.45	c cleaning 35007 clauses out of 70021 with flag 6080001/6080001
861.11/860.28	c cleaning 35007 clauses out of 70013 with flag 6115000/6115000
866.30/865.48	c cleaning 34990 clauses out of 70006 with flag 6150000/6150000
871.20/870.36	c cleaning 34993 clauses out of 70016 with flag 6185000/6185000
876.31/875.42	c cleaning 35007 clauses out of 70024 with flag 6220001/6220001
881.01/880.17	c cleaning 35005 clauses out of 70016 with flag 6255000/6255000
885.81/884.90	c cleaning 34998 clauses out of 70011 with flag 6290000/6290000
890.61/889.72	c cleaning 34990 clauses out of 70013 with flag 6325000/6325000
895.51/894.61	c cleaning 35004 clauses out of 70023 with flag 6360000/6360000
900.51/899.67	c cleaning 35010 clauses out of 70019 with flag 6395000/6395000
905.51/904.65	c cleaning 34997 clauses out of 70009 with flag 6430000/6430000
910.32/909.43	c cleaning 34998 clauses out of 70013 with flag 6465001/6465001
915.03/914.11	c cleaning 34995 clauses out of 70014 with flag 6500000/6500000
919.83/918.90	c cleaning 35004 clauses out of 70019 with flag 6535000/6535000
924.33/923.45	c cleaning 35003 clauses out of 70016 with flag 6570001/6570001
929.24/928.35	c cleaning 34996 clauses out of 70012 with flag 6605000/6605000
934.03/933.13	c cleaning 34995 clauses out of 70016 with flag 6640000/6640000
938.63/937.74	c cleaning 35004 clauses out of 70021 with flag 6675000/6675000
943.54/942.64	c cleaning 34998 clauses out of 70017 with flag 6710000/6710000
948.13/947.24	c cleaning 34994 clauses out of 70019 with flag 6745000/6745000
952.94/952.01	c cleaning 35007 clauses out of 70025 with flag 6780000/6780000
957.74/956.82	c cleaning 34997 clauses out of 70019 with flag 6815001/6815001
962.44/961.56	c cleaning 34998 clauses out of 70021 with flag 6850000/6850000
967.24/966.32	c cleaning 35001 clauses out of 70023 with flag 6885000/6885000
972.04/971.10	c cleaning 35004 clauses out of 70022 with flag 6920000/6920000
976.84/975.98	c cleaning 34995 clauses out of 70018 with flag 6955000/6955000
981.64/980.77	c cleaning 35003 clauses out of 70023 with flag 6990000/6990000
986.45/985.51	c cleaning 35008 clauses out of 70020 with flag 7025000/7025000
991.25/990.33	c cleaning 34999 clauses out of 70013 with flag 7060001/7060001
996.24/995.33	c cleaning 34998 clauses out of 70013 with flag 7095000/7095000
1000.85/999.93	c cleaning 34994 clauses out of 70016 with flag 7130001/7130001
1005.55/1004.68	c cleaning 34999 clauses out of 70021 with flag 7165000/7165000
1010.35/1009.40	c cleaning 35001 clauses out of 70022 with flag 7200000/7200000
1014.95/1014.06	c cleaning 34997 clauses out of 70021 with flag 7235000/7235000
1019.66/1018.78	c cleaning 34999 clauses out of 70024 with flag 7270000/7270000
1024.66/1023.76	c cleaning 34999 clauses out of 70025 with flag 7305000/7305000
1029.46/1028.58	c cleaning 35006 clauses out of 70027 with flag 7340001/7340001
1034.26/1033.36	c cleaning 35006 clauses out of 70021 with flag 7375001/7375001
1038.96/1038.05	c cleaning 34993 clauses out of 70014 with flag 7410000/7410000
1043.86/1042.90	c cleaning 34996 clauses out of 70021 with flag 7445000/7445000
1048.56/1047.60	c cleaning 35009 clauses out of 70025 with flag 7480000/7480000
1053.27/1052.39	c cleaning 35003 clauses out of 70016 with flag 7515000/7515000
1058.08/1057.10	c cleaning 34996 clauses out of 70013 with flag 7550000/7550000
1062.87/1061.90	c cleaning 35005 clauses out of 70018 with flag 7585001/7585001
1067.67/1066.73	c cleaning 34994 clauses out of 70012 with flag 7620000/7620000
1072.17/1071.25	c cleaning 35004 clauses out of 70018 with flag 7655000/7655000
1076.78/1075.83	c cleaning 35002 clauses out of 70015 with flag 7690001/7690001
1081.47/1080.58	c cleaning 34992 clauses out of 70012 with flag 7725000/7725000
1086.08/1085.18	c cleaning 35000 clauses out of 70021 with flag 7760001/7760001
1090.68/1089.76	c cleaning 35004 clauses out of 70020 with flag 7795000/7795000
1095.28/1094.39	c cleaning 34991 clauses out of 70016 with flag 7830000/7830000
1099.78/1098.85	c cleaning 35007 clauses out of 70026 with flag 7865001/7865001
1104.38/1103.40	c cleaning 34999 clauses out of 70018 with flag 7900000/7900000
1108.88/1107.91	c cleaning 34999 clauses out of 70020 with flag 7935001/7935001
1113.58/1112.68	c cleaning 35000 clauses out of 70020 with flag 7970000/7970000
1118.18/1117.24	c cleaning 34997 clauses out of 70022 with flag 8005002/8005002
1122.58/1121.67	c cleaning 35007 clauses out of 70023 with flag 8040000/8040000
1127.09/1126.18	c cleaning 34998 clauses out of 70016 with flag 8075000/8075000
1131.69/1130.73	c cleaning 34999 clauses out of 70018 with flag 8110000/8110000
1136.49/1135.58	c cleaning 35000 clauses out of 70019 with flag 8145000/8145000
1141.19/1140.23	c cleaning 35003 clauses out of 70019 with flag 8180000/8180000
1145.79/1144.88	c cleaning 34991 clauses out of 70016 with flag 8215000/8215000
1150.50/1149.51	c cleaning 34999 clauses out of 70025 with flag 8250000/8250000
1155.00/1154.05	c cleaning 35002 clauses out of 70029 with flag 8285003/8285003
1159.40/1158.45	c cleaning 35005 clauses out of 70025 with flag 8320001/8320001
1164.00/1163.08	c cleaning 35000 clauses out of 70019 with flag 8355000/8355000
1168.60/1167.69	c cleaning 34988 clauses out of 70019 with flag 8390000/8390000
1173.40/1172.45	c cleaning 35014 clauses out of 70034 with flag 8425003/8425003
1178.10/1177.14	c cleaning 34999 clauses out of 70017 with flag 8460000/8460000
1182.61/1181.63	c cleaning 34994 clauses out of 70018 with flag 8495000/8495000
1187.31/1186.32	c cleaning 34999 clauses out of 70025 with flag 8530001/8530001
1191.91/1190.96	c cleaning 35008 clauses out of 70026 with flag 8565001/8565001
1196.72/1195.73	c cleaning 34995 clauses out of 70018 with flag 8600001/8600001
1201.02/1200.10	c cleaning 35005 clauses out of 70022 with flag 8635000/8635000
1205.42/1204.40	c cleaning 34996 clauses out of 70018 with flag 8670001/8670001
1210.21/1209.24	c cleaning 35009 clauses out of 70021 with flag 8705000/8705000
1214.71/1213.74	c cleaning 34998 clauses out of 70012 with flag 8740000/8740000
1219.21/1218.21	c cleaning 35000 clauses out of 70014 with flag 8775000/8775000
1223.61/1222.66	c cleaning 34998 clauses out of 70014 with flag 8810000/8810000
1228.41/1227.44	c cleaning 35002 clauses out of 70016 with flag 8845000/8845000
1233.02/1232.02	c cleaning 35000 clauses out of 70014 with flag 8880000/8880000
1237.82/1236.80	c cleaning 34992 clauses out of 70014 with flag 8915000/8915000
1242.42/1241.49	c cleaning 35005 clauses out of 70022 with flag 8950000/8950000
1247.02/1246.08	c cleaning 34999 clauses out of 70017 with flag 8985000/8985000
1251.73/1250.71	c cleaning 34998 clauses out of 70018 with flag 9020000/9020000
1256.42/1255.42	c cleaning 34998 clauses out of 70020 with flag 9055000/9055000
1261.12/1260.17	c cleaning 34998 clauses out of 70022 with flag 9090000/9090000
1265.82/1264.83	c cleaning 35006 clauses out of 70026 with flag 9125002/9125002
1270.43/1269.48	c cleaning 35001 clauses out of 70018 with flag 9160000/9160000
1275.14/1274.15	c cleaning 34992 clauses out of 70017 with flag 9195000/9195000
1279.94/1278.90	c cleaning 35003 clauses out of 70026 with flag 9230001/9230001
1284.54/1283.58	c cleaning 34993 clauses out of 70022 with flag 9265000/9265000
1289.34/1288.40	c cleaning 35005 clauses out of 70030 with flag 9300001/9300001
1294.14/1293.14	c cleaning 34997 clauses out of 70024 with flag 9335000/9335000
1298.74/1297.79	c cleaning 35008 clauses out of 70027 with flag 9370000/9370000
1301.05/1300.01	c starts		: 2555
1301.05/1300.01	c conflicts		: 9389034
1301.05/1300.01	c decisions		: 9808050
1301.05/1300.01	c propagations		: 323349954
1301.05/1300.01	c inspects		: 17362929658
1301.05/1300.01	c shortcuts		: 0
1301.05/1300.01	c learnt literals	: 0
1301.05/1300.01	c learnt binary clauses	: 0
1301.05/1300.01	c learnt ternary clauses	: 205
1301.05/1300.01	c learnt constraints	: 9389035
1301.05/1300.01	c ignored constraints	: 0
1301.05/1300.01	c root simplifications	: 2555
1301.05/1300.01	c removed literals (reason simplification)	: 237113952
1301.05/1300.01	c reason swapping (by a shorter reason)	: 0
1301.05/1300.01	c Calls to reduceDB	: 281
1301.05/1300.01	c speed (assignments/second)	: 248774.4419790548
1301.05/1300.01	c non guided choices	9
1301.05/1300.03	c learnt constraints type 
1301.05/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 54222
1301.05/1300.03	c constraints type 
1301.05/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33678
1301.05/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 336
1301.05/1300.03	s UNKNOWN
1301.05/1300.03	c Total wall clock time (in seconds) : 1299.913

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 3.54 3.98 3.92 4/195 18653
/proc/meminfo: memFree=13030068/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=9100 CPUtime=0 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 236 0 0 0 0 0 0 0 23 0 1 0 466407784 9318400 172 33554432000 1073741824 1073778376 140733761748240 18446744073709551615 230808986615 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/18653/statm: 2275 172 131 9 0 67 0

[startup+0.009056 s]
/proc/loadavg: 3.54 3.98 3.92 4/195 18653
/proc/meminfo: memFree=13030068/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=23028 CPUtime=0 cores=4,6
/proc/18653/stat : 18653 (java) R 18651 18653 17257 0 -1 4202496 958 0 0 0 0 0 0 0 23 0 1 0 466407784 23580672 701 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230804197537 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18653/statm: 5757 701 518 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.101021 s]
/proc/loadavg: 3.54 3.98 3.92 4/195 18653
/proc/meminfo: memFree=13030068/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=7635492 CPUtime=0.08 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 9687 0 1 0 7 1 0 0 23 0 18 0 466407784 7818743808 9383 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18653/statm: 1908873 9386 1760 9 0 1899611 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7635492

[startup+0.300989 s]
/proc/loadavg: 3.54 3.98 3.92 4/195 18653
/proc/meminfo: memFree=13030068/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=7643132 CPUtime=0.47 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 14202 0 1 0 45 2 0 0 23 0 19 0 466407784 7826567168 12645 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18653/statm: 1910783 12645 2202 9 0 1901521 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 7643132

[startup+0.70095 s]
/proc/loadavg: 3.54 3.98 3.92 4/195 18653
/proc/meminfo: memFree=13030068/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=7643372 CPUtime=1.04 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 14588 0 1 0 102 2 0 0 23 0 19 0 466407784 7826812928 13031 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18653/statm: 1910843 13031 2223 9 0 1901581 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 7643372

[startup+1.50077 s]
/proc/loadavg: 3.54 3.98 3.92 10/262 18725
/proc/meminfo: memFree=12843472/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=7664884 CPUtime=2.11 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 23572 0 1 0 208 3 0 0 23 0 19 0 466407784 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18653/statm: 1916221 20078 2254 9 0 1906959 0
[pid=18653/tid=18665] ppid=18651 vsize=7664884 CPUtime=1.37 cores=4,6
/proc/18653/task/18665/stat : 18665 (java) R 18651 18653 17257 0 -1 4202560 10032 0 1 0 136 1 0 0 20 0 19 0 466407785 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820991669 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18653/tid=18667] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18667/stat : 18667 (java) S 18651 18653 17257 0 -1 4202560 684 0 0 0 0 0 0 0 18 0 19 0 466407787 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18668] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18668/stat : 18668 (java) S 18651 18653 17257 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 466407787 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18669] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18669/stat : 18669 (java) S 18651 18653 17257 0 -1 4202560 329 0 0 0 0 0 0 0 18 0 19 0 466407787 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18670] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18670/stat : 18670 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466407787 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18671] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18671/stat : 18671 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466407787 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18672] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18672/stat : 18672 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466407787 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18673] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18673/stat : 18673 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466407787 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18674] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18674/stat : 18674 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466407787 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18681] ppid=18651 vsize=7664884 CPUtime=0.02 cores=4,6
/proc/18653/task/18681/stat : 18681 (java) S 18651 18653 17257 0 -1 4202560 1020 0 0 0 2 0 0 0 16 0 19 0 466407788 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 0 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18683] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18683/stat : 18683 (java) S 18651 18653 17257 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 466407788 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18684] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18684/stat : 18684 (java) S 18651 18653 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407788 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18690] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18690/stat : 18690 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820989361 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18691] ppid=18651 vsize=7664884 CPUtime=0.39 cores=4,6
/proc/18653/task/18691/stat : 18691 (java) S 18651 18653 17257 0 -1 4202560 9135 0 0 0 38 1 0 0 18 0 19 0 466407791 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18692] ppid=18651 vsize=7664884 CPUtime=0.29 cores=4,6
/proc/18653/task/18692/stat : 18692 (java) R 18651 18653 17257 0 -1 4202560 1213 0 0 0 29 0 0 0 17 0 19 0 466407791 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 47178006612251 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18653/tid=18693] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18693/stat : 18693 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18694] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18694/stat : 18694 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407791 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18724] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18724/stat : 18724 (java) S 18651 18653 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407809 7848841216 20078 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 7664884

[startup+3.10154 s]
/proc/loadavg: 3.66 4.00 3.93 9/262 18725
/proc/meminfo: memFree=12794000/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=7664884 CPUtime=3.7 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 24090 0 1 0 367 3 0 0 23 0 19 0 466407784 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18653/statm: 1916221 20594 2254 9 0 1906959 0
[pid=18653/tid=18665] ppid=18651 vsize=7664884 CPUtime=2.91 cores=4,6
/proc/18653/task/18665/stat : 18665 (java) R 18651 18653 17257 0 -1 4202560 10035 0 1 0 290 1 0 0 25 0 19 0 466407785 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 46912505805582 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18653/tid=18667] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18667/stat : 18667 (java) S 18651 18653 17257 0 -1 4202560 684 0 0 0 0 0 0 0 15 0 19 0 466407787 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18668] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18668/stat : 18668 (java) S 18651 18653 17257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466407787 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18669] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18669/stat : 18669 (java) S 18651 18653 17257 0 -1 4202560 329 0 0 0 0 0 0 0 15 0 19 0 466407787 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18670] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18670/stat : 18670 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407787 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18671] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18671/stat : 18671 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407787 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18672] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18672/stat : 18672 (java) S 18651 18653 17257 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 466407787 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18673] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18673/stat : 18673 (java) S 18651 18653 17257 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 466407787 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18674] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18674/stat : 18674 (java) S 18651 18653 17257 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 466407787 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18681] ppid=18651 vsize=7664884 CPUtime=0.05 cores=4,6
/proc/18653/task/18681/stat : 18681 (java) S 18651 18653 17257 0 -1 4202560 1273 0 0 0 5 0 0 0 15 0 19 0 466407788 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 0 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18683] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18683/stat : 18683 (java) S 18651 18653 17257 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 466407788 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18684] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18684/stat : 18684 (java) S 18651 18653 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407788 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18690] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18690/stat : 18690 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820989361 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18691] ppid=18651 vsize=7664884 CPUtime=0.41 cores=4,6
/proc/18653/task/18691/stat : 18691 (java) S 18651 18653 17257 0 -1 4202560 9138 0 0 0 40 1 0 0 15 0 19 0 466407791 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18692] ppid=18651 vsize=7664884 CPUtime=0.29 cores=4,6
/proc/18653/task/18692/stat : 18692 (java) S 18651 18653 17257 0 -1 4202560 1213 0 0 0 29 0 0 0 15 0 19 0 466407791 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18693] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18693/stat : 18693 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18694] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18694/stat : 18694 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407791 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18724] ppid=18651 vsize=7664884 CPUtime=0 cores=4,6
/proc/18653/task/18724/stat : 18724 (java) S 18651 18653 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407809 7848841216 20594 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 7664884

[startup+6.30096 s]
/proc/loadavg: 3.66 4.00 3.93 5/262 18725
/proc/meminfo: memFree=12789348/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=7660376 CPUtime=6.91 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 24404 0 1 0 687 4 0 0 23 0 19 0 466407784 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18653/statm: 1915094 20197 2254 9 0 1905832 0
[pid=18653/tid=18665] ppid=18651 vsize=7660376 CPUtime=6 cores=4,6
/proc/18653/task/18665/stat : 18665 (java) R 18651 18653 17257 0 -1 4202560 10040 0 1 0 599 1 0 0 20 0 19 0 466407785 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 46912505543743 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18653/tid=18667] ppid=18651 vsize=7660376 CPUtime=0.01 cores=4,6
/proc/18653/task/18667/stat : 18667 (java) S 18651 18653 17257 0 -1 4202560 752 0 0 0 1 0 0 0 16 0 19 0 466407787 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18668] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18668/stat : 18668 (java) S 18651 18653 17257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466407787 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18669] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18669/stat : 18669 (java) S 18651 18653 17257 0 -1 4202560 329 0 0 0 0 0 0 0 15 0 19 0 466407787 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18670] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18670/stat : 18670 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407787 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18671] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18671/stat : 18671 (java) S 18651 18653 17257 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 466407787 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18672] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18672/stat : 18672 (java) S 18651 18653 17257 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 466407787 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18673] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18673/stat : 18673 (java) S 18651 18653 17257 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466407787 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18674] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18674/stat : 18674 (java) S 18651 18653 17257 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 466407787 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18681] ppid=18651 vsize=7660376 CPUtime=0.13 cores=4,6
/proc/18653/task/18681/stat : 18681 (java) S 18651 18653 17257 0 -1 4202560 1509 0 0 0 13 0 0 0 15 0 19 0 466407788 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 0 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18683] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18683/stat : 18683 (java) S 18651 18653 17257 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18684] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18684/stat : 18684 (java) S 18651 18653 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18690] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18690/stat : 18690 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820989361 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18691] ppid=18651 vsize=7660376 CPUtime=0.42 cores=4,6
/proc/18653/task/18691/stat : 18691 (java) S 18651 18653 17257 0 -1 4202560 9141 0 0 0 41 1 0 0 15 0 19 0 466407791 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18692] ppid=18651 vsize=7660376 CPUtime=0.29 cores=4,6
/proc/18653/task/18692/stat : 18692 (java) S 18651 18653 17257 0 -1 4202560 1213 0 0 0 29 0 0 0 15 0 19 0 466407791 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18693] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18693/stat : 18693 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18694] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18694/stat : 18694 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466407791 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18724] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18724/stat : 18724 (java) S 18651 18653 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407809 7844225024 20197 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 7660376

[startup+12.7008 s]

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

[pid=18653/tid=18672] ppid=18651 vsize=7660376 CPUtime=0.14 cores=4,6
/proc/18653/task/18672/stat : 18672 (java) S 18651 18653 17257 0 -1 4202560 105 0 0 0 14 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18673] ppid=18651 vsize=7660376 CPUtime=0.11 cores=4,6
/proc/18653/task/18673/stat : 18673 (java) S 18651 18653 17257 0 -1 4202560 23 0 0 0 11 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18674] ppid=18651 vsize=7660376 CPUtime=0.13 cores=4,6
/proc/18653/task/18674/stat : 18674 (java) S 18651 18653 17257 0 -1 4202560 215 0 0 0 13 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18681] ppid=18651 vsize=7660376 CPUtime=7.01 cores=4,6
/proc/18653/task/18681/stat : 18681 (java) S 18651 18653 17257 0 -1 4202560 3302 0 0 0 700 1 0 0 16 0 19 0 466407788 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 0 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18683] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18683/stat : 18683 (java) S 18651 18653 17257 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18684] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18684/stat : 18684 (java) S 18651 18653 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18690] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18690/stat : 18690 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820989361 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18691] ppid=18651 vsize=7660376 CPUtime=0.46 cores=4,6
/proc/18653/task/18691/stat : 18691 (java) S 18651 18653 17257 0 -1 4202560 9148 0 0 0 45 1 0 0 15 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18692] ppid=18651 vsize=7660376 CPUtime=0.29 cores=4,6
/proc/18653/task/18692/stat : 18692 (java) S 18651 18653 17257 0 -1 4202560 1213 0 0 0 29 0 0 0 15 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18693] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18693/stat : 18693 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18694] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18694/stat : 18694 (java) S 18651 18653 17257 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18724] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18724/stat : 18724 (java) S 18651 18653 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407809 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1123.29
Current children cumulated vsize (KiB) 7660376

[startup+1182.3 s]
/proc/loadavg: 2.15 2.73 3.24 3/214 18792
/proc/meminfo: memFree=12899232/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=7660376 CPUtime=1183.31 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 27396 0 1 0 118322 9 0 0 23 0 19 0 466407784 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18653/statm: 1915094 22803 2255 9 0 1905832 0
[pid=18653/tid=18665] ppid=18651 vsize=7660376 CPUtime=1174.08 cores=4,6
/proc/18653/task/18665/stat : 18665 (java) R 18651 18653 17257 0 -1 4202560 10288 0 1 0 117404 4 0 0 25 0 19 0 466407785 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 46912505626213 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18653/tid=18667] ppid=18651 vsize=7660376 CPUtime=0.14 cores=4,6
/proc/18653/task/18667/stat : 18667 (java) S 18651 18653 17257 0 -1 4202560 984 0 0 0 14 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18668] ppid=18651 vsize=7660376 CPUtime=0.11 cores=4,6
/proc/18653/task/18668/stat : 18668 (java) S 18651 18653 17257 0 -1 4202560 360 0 0 0 11 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18669] ppid=18651 vsize=7660376 CPUtime=0.12 cores=4,6
/proc/18653/task/18669/stat : 18669 (java) S 18651 18653 17257 0 -1 4202560 474 0 0 0 12 0 0 0 16 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18670] ppid=18651 vsize=7660376 CPUtime=0.1 cores=4,6
/proc/18653/task/18670/stat : 18670 (java) S 18651 18653 17257 0 -1 4202560 21 0 0 0 10 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18671] ppid=18651 vsize=7660376 CPUtime=0.14 cores=4,6
/proc/18653/task/18671/stat : 18671 (java) S 18651 18653 17257 0 -1 4202560 39 0 0 0 14 0 0 0 16 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18672] ppid=18651 vsize=7660376 CPUtime=0.15 cores=4,6
/proc/18653/task/18672/stat : 18672 (java) S 18651 18653 17257 0 -1 4202560 105 0 0 0 15 0 0 0 16 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18673] ppid=18651 vsize=7660376 CPUtime=0.12 cores=4,6
/proc/18653/task/18673/stat : 18673 (java) S 18651 18653 17257 0 -1 4202560 23 0 0 0 12 0 0 0 16 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18674] ppid=18651 vsize=7660376 CPUtime=0.13 cores=4,6
/proc/18653/task/18674/stat : 18674 (java) S 18651 18653 17257 0 -1 4202560 215 0 0 0 13 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18681] ppid=18651 vsize=7660376 CPUtime=7.38 cores=4,6
/proc/18653/task/18681/stat : 18681 (java) S 18651 18653 17257 0 -1 4202560 3306 0 0 0 737 1 0 0 16 0 19 0 466407788 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 0 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18683] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18683/stat : 18683 (java) S 18651 18653 17257 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18684] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18684/stat : 18684 (java) S 18651 18653 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18690] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18690/stat : 18690 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820989361 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18691] ppid=18651 vsize=7660376 CPUtime=0.46 cores=4,6
/proc/18653/task/18691/stat : 18691 (java) S 18651 18653 17257 0 -1 4202560 9148 0 0 0 45 1 0 0 15 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18692] ppid=18651 vsize=7660376 CPUtime=0.29 cores=4,6
/proc/18653/task/18692/stat : 18692 (java) S 18651 18653 17257 0 -1 4202560 1213 0 0 0 29 0 0 0 15 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18693] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18693/stat : 18693 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18694] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18694/stat : 18694 (java) S 18651 18653 17257 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18724] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18724/stat : 18724 (java) S 18651 18653 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407809 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.31
Current children cumulated vsize (KiB) 7660376

[startup+1242.3 s]
/proc/loadavg: 1.71 2.52 3.13 4/190 18821
/proc/meminfo: memFree=12981872/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=7660376 CPUtime=1243.32 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 27417 0 1 0 124323 9 0 0 23 0 19 0 466407784 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18653/statm: 1915094 22803 2255 9 0 1905832 0
[pid=18653/tid=18665] ppid=18651 vsize=7660376 CPUtime=1233.68 cores=4,6
/proc/18653/task/18665/stat : 18665 (java) R 18651 18653 17257 0 -1 4202560 10301 0 1 0 123364 4 0 0 25 0 19 0 466407785 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 46912505626276 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18653/tid=18667] ppid=18651 vsize=7660376 CPUtime=0.14 cores=4,6
/proc/18653/task/18667/stat : 18667 (java) S 18651 18653 17257 0 -1 4202560 984 0 0 0 14 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18668] ppid=18651 vsize=7660376 CPUtime=0.12 cores=4,6
/proc/18653/task/18668/stat : 18668 (java) S 18651 18653 17257 0 -1 4202560 360 0 0 0 12 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18669] ppid=18651 vsize=7660376 CPUtime=0.13 cores=4,6
/proc/18653/task/18669/stat : 18669 (java) S 18651 18653 17257 0 -1 4202560 474 0 0 0 13 0 0 0 16 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18670] ppid=18651 vsize=7660376 CPUtime=0.1 cores=4,6
/proc/18653/task/18670/stat : 18670 (java) S 18651 18653 17257 0 -1 4202560 21 0 0 0 10 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18671] ppid=18651 vsize=7660376 CPUtime=0.14 cores=4,6
/proc/18653/task/18671/stat : 18671 (java) S 18651 18653 17257 0 -1 4202560 39 0 0 0 14 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18672] ppid=18651 vsize=7660376 CPUtime=0.16 cores=4,6
/proc/18653/task/18672/stat : 18672 (java) S 18651 18653 17257 0 -1 4202560 105 0 0 0 16 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18673] ppid=18651 vsize=7660376 CPUtime=0.12 cores=4,6
/proc/18653/task/18673/stat : 18673 (java) S 18651 18653 17257 0 -1 4202560 23 0 0 0 12 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18674] ppid=18651 vsize=7660376 CPUtime=0.14 cores=4,6
/proc/18653/task/18674/stat : 18674 (java) S 18651 18653 17257 0 -1 4202560 215 0 0 0 14 0 0 0 15 0 19 0 466407787 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18681] ppid=18651 vsize=7660376 CPUtime=7.75 cores=4,6
/proc/18653/task/18681/stat : 18681 (java) S 18651 18653 17257 0 -1 4202560 3310 0 0 0 774 1 0 0 16 0 19 0 466407788 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 0 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18683] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18683/stat : 18683 (java) S 18651 18653 17257 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18684] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18684/stat : 18684 (java) S 18651 18653 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18690] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18690/stat : 18690 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820989361 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18691] ppid=18651 vsize=7660376 CPUtime=0.46 cores=4,6
/proc/18653/task/18691/stat : 18691 (java) S 18651 18653 17257 0 -1 4202560 9148 0 0 0 45 1 0 0 15 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18692] ppid=18651 vsize=7660376 CPUtime=0.29 cores=4,6
/proc/18653/task/18692/stat : 18692 (java) S 18651 18653 17257 0 -1 4202560 1213 0 0 0 29 0 0 0 15 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18693] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18693/stat : 18693 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18694] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18694/stat : 18694 (java) S 18651 18653 17257 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 466407791 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18724] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18724/stat : 18724 (java) S 18651 18653 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407809 7844225024 22803 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.32
Current children cumulated vsize (KiB) 7660376



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.32 2.27 3.01 2/190 18822
/proc/meminfo: memFree=12981952/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18651 vsize=7660376 CPUtime=1301.05 cores=4,6
/proc/18653/stat : 18653 (java) S 18651 18653 17257 0 -1 4202496 27443 0 1 0 130095 10 0 0 23 0 19 0 466407784 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18653/statm: 1915094 22809 2255 9 0 1905832 0
[pid=18653/tid=18665] ppid=18651 vsize=7660376 CPUtime=1291.02 cores=4,6
/proc/18653/task/18665/stat : 18665 (java) R 18651 18653 17257 0 -1 4202560 10313 0 1 0 129098 4 0 0 25 0 19 0 466407785 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 46912505625800 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18653/tid=18667] ppid=18651 vsize=7660376 CPUtime=0.15 cores=4,6
/proc/18653/task/18667/stat : 18667 (java) S 18651 18653 17257 0 -1 4202560 984 0 0 0 15 0 0 0 15 0 19 0 466407787 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18668] ppid=18651 vsize=7660376 CPUtime=0.13 cores=4,6
/proc/18653/task/18668/stat : 18668 (java) S 18651 18653 17257 0 -1 4202560 360 0 0 0 13 0 0 0 15 0 19 0 466407787 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18669] ppid=18651 vsize=7660376 CPUtime=0.13 cores=4,6
/proc/18653/task/18669/stat : 18669 (java) S 18651 18653 17257 0 -1 4202560 474 0 0 0 13 0 0 0 15 0 19 0 466407787 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18670] ppid=18651 vsize=7660376 CPUtime=0.11 cores=4,6
/proc/18653/task/18670/stat : 18670 (java) S 18651 18653 17257 0 -1 4202560 21 0 0 0 11 0 0 0 15 0 19 0 466407787 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18671] ppid=18651 vsize=7660376 CPUtime=0.15 cores=4,6
/proc/18653/task/18671/stat : 18671 (java) S 18651 18653 17257 0 -1 4202560 39 0 0 0 15 0 0 0 15 0 19 0 466407787 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18672] ppid=18651 vsize=7660376 CPUtime=0.16 cores=4,6
/proc/18653/task/18672/stat : 18672 (java) S 18651 18653 17257 0 -1 4202560 105 0 0 0 16 0 0 0 15 0 19 0 466407787 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18673] ppid=18651 vsize=7660376 CPUtime=0.12 cores=4,6
/proc/18653/task/18673/stat : 18673 (java) S 18651 18653 17257 0 -1 4202560 23 0 0 0 12 0 0 0 15 0 19 0 466407787 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18674] ppid=18651 vsize=7660376 CPUtime=0.14 cores=4,6
/proc/18653/task/18674/stat : 18674 (java) S 18651 18653 17257 0 -1 4202560 215 0 0 0 14 0 0 0 16 0 19 0 466407787 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18681] ppid=18651 vsize=7660376 CPUtime=8.1 cores=4,6
/proc/18653/task/18681/stat : 18681 (java) S 18651 18653 17257 0 -1 4202560 3320 0 0 0 808 2 0 0 15 0 19 0 466407788 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 0 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18683] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18683/stat : 18683 (java) S 18651 18653 17257 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18684] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18684/stat : 18684 (java) S 18651 18653 17257 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466407788 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18690] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18690/stat : 18690 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820989361 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18691] ppid=18651 vsize=7660376 CPUtime=0.46 cores=4,6
/proc/18653/task/18691/stat : 18691 (java) S 18651 18653 17257 0 -1 4202560 9148 0 0 0 45 1 0 0 15 0 19 0 466407791 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 4 0 0 0
[pid=18653/tid=18692] ppid=18651 vsize=7660376 CPUtime=0.29 cores=4,6
/proc/18653/task/18692/stat : 18692 (java) S 18651 18653 17257 0 -1 4202560 1213 0 0 0 29 0 0 0 15 0 19 0 466407791 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18693] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18693/stat : 18693 (java) S 18651 18653 17257 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 466407791 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820981657 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18694] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18694/stat : 18694 (java) S 18651 18653 17257 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 466407791 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
[pid=18653/tid=18724] ppid=18651 vsize=7660376 CPUtime=0 cores=4,6
/proc/18653/task/18724/stat : 18724 (java) S 18651 18653 17257 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466407809 7844225024 22809 33554432000 1073741824 1073778376 140733241469952 18446744073709551615 230820982272 0 4 0 16800975 18446604440400222400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.05
Current children cumulated vsize (KiB) 7660376

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

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

Child status: 143
Real time (s): 1300.04
CPU time (s): 1301.12
CPU user time (s): 1301.01
CPU system time (s): 0.112982
CPU usage (%): 100.083
Max. virtual memory (cumulated for all children) (KiB): 7664884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.01
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28019
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= 34212
involuntary context switches= 8992

runsolver used 2.35864 second user time and 4.75828 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 8e7b614904543aa28491ea45c761cbd5
RANDOM SEED=1905918183

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13034812 kB
Buffers:       2271620 kB
Cached:       16976016 kB
SwapCached:          0 kB
Active:       10797436 kB
Inactive:      8544876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13034812 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2108 kB
Writeback:           0 kB
AnonPages:       93692 kB
Mapped:          20280 kB
Slab:           510848 kB
PageTables:       4892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  9871328 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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