Trace number 3262172

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
MD5SUM3c65ff80757b12edd41f8ee6da874877
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark89.0965
Satisfiable
(Un)Satisfiability was proved
Number of variables253
Number of clauses34386
Sum of the clauses size155873
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284
Number of clauses of size 331656
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52646

Solver Data 

0.06/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.07	c See www.sat4j.org for details.
0.06/0.07	c no version file found!!!
0.06/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.07	c java.vm.version	19.1-b02
0.06/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.07	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.18-164.el5
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		6997539544
0.06/0.08	c Max memory 		7034241024
0.06/0.08	c Total memory 		7034241024
0.06/0.08	c Number of processors 	8
0.06/0.09	c --- Begin Solver configuration ---
0.06/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.06/0.09	c Learn all clauses as in MiniSAT
0.06/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.06/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.06/0.09	c Expensive reason simplification
0.06/0.09	c Armin Biere (Picosat) restarts strategy
0.06/0.09	c Glucose learned constraints deletion strategy
0.06/0.09	c timeout=2147483647s
0.06/0.09	c DB Simplification allowed=true
0.06/0.09	c --- End Solver configuration ---
0.06/0.09	c solving HOME/instance-3262172-1303546801.cnf
0.06/0.09	c reading problem ... 
0.28/0.24	c ... done. Wall clock time 0.145s.
0.28/0.24	c #vars     253
0.28/0.24	c #constraints  34386
0.28/0.24	c constraints type 
0.44/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 34302
0.44/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 84
1.46/1.30	c cleaning 2497 clauses out of 5000 with flag 5000/5000
2.34/2.04	c cleaning 4249 clauses out of 8503 with flag 11000/11000
3.14/2.83	c cleaning 5627 clauses out of 11255 with flag 18001/18001
4.04/3.77	c cleaning 6811 clauses out of 13627 with flag 26000/26000
5.14/4.80	c cleaning 7908 clauses out of 15817 with flag 35001/35001
6.24/5.99	c cleaning 8948 clauses out of 17908 with flag 45000/45000
7.64/7.31	c cleaning 9980 clauses out of 19961 with flag 56001/56001
9.04/8.73	c cleaning 10988 clauses out of 21980 with flag 68000/68000
10.54/10.29	c cleaning 11992 clauses out of 23992 with flag 81000/81000
12.24/12.00	c cleaning 12991 clauses out of 26000 with flag 95000/95000
14.14/13.87	c cleaning 14006 clauses out of 28011 with flag 110002/110002
16.14/15.87	c cleaning 15004 clauses out of 30007 with flag 126004/126004
18.35/18.06	c cleaning 15996 clauses out of 32000 with flag 143001/143001
20.65/20.38	c cleaning 17001 clauses out of 34004 with flag 161001/161001
23.15/22.88	c cleaning 17997 clauses out of 36002 with flag 180000/180000
25.75/25.49	c cleaning 18996 clauses out of 38005 with flag 200000/200000
28.65/28.32	c cleaning 20000 clauses out of 40009 with flag 221000/221000
31.85/31.58	c cleaning 21005 clauses out of 42010 with flag 243001/243001
35.26/34.99	c cleaning 22000 clauses out of 44004 with flag 266000/266000
38.87/38.57	c cleaning 22988 clauses out of 46004 with flag 290000/290000
42.47/42.14	c cleaning 24008 clauses out of 48016 with flag 315000/315000
46.27/45.93	c cleaning 25002 clauses out of 50008 with flag 341000/341000
50.28/49.96	c cleaning 25992 clauses out of 52006 with flag 368000/368000
54.38/54.05	c cleaning 27008 clauses out of 54015 with flag 396001/396001
58.78/58.49	c cleaning 27999 clauses out of 56006 with flag 425000/425000
63.48/63.15	c cleaning 29004 clauses out of 58008 with flag 455001/455001
68.29/67.94	c cleaning 29997 clauses out of 60003 with flag 486000/486000
73.19/72.81	c cleaning 31003 clauses out of 62006 with flag 518000/518000
78.19/77.82	c cleaning 31999 clauses out of 64003 with flag 551000/551000
83.40/83.02	c cleaning 32995 clauses out of 66004 with flag 585000/585000
88.90/88.59	c cleaning 34001 clauses out of 68009 with flag 620000/620000
94.20/93.83	c cleaning 34501 clauses out of 69008 with flag 655000/655000
100.10/99.72	c cleaning 34747 clauses out of 69507 with flag 690000/690000
105.70/105.36	c cleaning 34876 clauses out of 69760 with flag 725000/725000
111.21/110.87	c cleaning 34937 clauses out of 69885 with flag 760001/760001
116.71/116.30	c cleaning 34974 clauses out of 69947 with flag 795000/795000
122.21/121.81	c cleaning 34983 clauses out of 69973 with flag 830000/830000
127.41/127.02	c cleaning 34990 clauses out of 69991 with flag 865001/865001
132.61/132.27	c cleaning 34991 clauses out of 70000 with flag 900000/900000
138.02/137.64	c cleaning 34995 clauses out of 70009 with flag 935000/935000
143.22/142.82	c cleaning 34997 clauses out of 70014 with flag 970000/970000
148.62/148.20	c cleaning 35005 clauses out of 70017 with flag 1005000/1005000
153.92/153.55	c cleaning 34998 clauses out of 70013 with flag 1040001/1040001
159.42/159.09	c cleaning 35003 clauses out of 70014 with flag 1075000/1075000
164.92/164.54	c cleaning 35000 clauses out of 70012 with flag 1110001/1110001
170.43/170.05	c cleaning 34999 clauses out of 70011 with flag 1145000/1145000
176.13/175.72	c cleaning 35007 clauses out of 70013 with flag 1180001/1180001
182.03/181.65	c cleaning 34999 clauses out of 70005 with flag 1215000/1215000
187.83/187.43	c cleaning 34995 clauses out of 70006 with flag 1250000/1250000
193.44/193.01	c cleaning 35000 clauses out of 70011 with flag 1285000/1285000
199.04/198.69	c cleaning 35003 clauses out of 70011 with flag 1320000/1320000
204.84/204.42	c cleaning 35001 clauses out of 70010 with flag 1355002/1355002
210.34/209.97	c cleaning 35002 clauses out of 70008 with flag 1390001/1390001
215.95/215.59	c cleaning 35001 clauses out of 70005 with flag 1425000/1425000
221.64/221.22	c cleaning 34999 clauses out of 70004 with flag 1460000/1460000
227.35/226.98	c cleaning 35003 clauses out of 70005 with flag 1495000/1495000
232.85/232.40	c cleaning 35001 clauses out of 70003 with flag 1530001/1530001
238.25/237.85	c cleaning 34993 clauses out of 70001 with flag 1565000/1565000
244.05/243.68	c cleaning 34993 clauses out of 70008 with flag 1600000/1600000
249.75/249.32	c cleaning 35004 clauses out of 70015 with flag 1635000/1635000
255.26/254.81	c cleaning 35001 clauses out of 70011 with flag 1670000/1670000
261.06/260.64	c cleaning 34999 clauses out of 70010 with flag 1705000/1705000
266.96/266.51	c cleaning 35002 clauses out of 70012 with flag 1740001/1740001
272.66/272.22	c cleaning 35003 clauses out of 70011 with flag 1775002/1775002
278.36/277.93	c cleaning 34998 clauses out of 70006 with flag 1810000/1810000
284.27/283.83	c cleaning 35003 clauses out of 70008 with flag 1845000/1845000
289.97/289.55	c cleaning 34998 clauses out of 70006 with flag 1880001/1880001
295.77/295.37	c cleaning 35000 clauses out of 70007 with flag 1915000/1915000
301.88/301.49	c cleaning 34996 clauses out of 70007 with flag 1950000/1950000
307.67/307.22	c cleaning 35000 clauses out of 70011 with flag 1985000/1985000
313.48/313.08	c cleaning 34995 clauses out of 70011 with flag 2020000/2020000
319.28/318.80	c cleaning 34997 clauses out of 70017 with flag 2055001/2055001
324.79/324.37	c cleaning 35002 clauses out of 70021 with flag 2090002/2090002
330.29/329.90	c cleaning 34998 clauses out of 70017 with flag 2125000/2125000
336.29/335.84	c cleaning 35004 clauses out of 70021 with flag 2160002/2160002
342.09/341.61	c cleaning 34999 clauses out of 70015 with flag 2195000/2195000
348.20/347.74	c cleaning 35004 clauses out of 70017 with flag 2230001/2230001
353.80/353.33	c cleaning 35001 clauses out of 70013 with flag 2265001/2265001
359.20/358.76	c cleaning 34988 clauses out of 70011 with flag 2300000/2300000
364.90/364.47	c cleaning 35004 clauses out of 70023 with flag 2335000/2335000
370.60/370.11	c cleaning 34995 clauses out of 70019 with flag 2370000/2370000
376.20/375.76	c cleaning 35011 clauses out of 70025 with flag 2405001/2405001
381.91/381.46	c cleaning 35003 clauses out of 70013 with flag 2440000/2440000
387.41/386.91	c cleaning 35001 clauses out of 70011 with flag 2475001/2475001
392.81/392.39	c cleaning 34999 clauses out of 70009 with flag 2510000/2510000
398.42/397.97	c cleaning 34995 clauses out of 70010 with flag 2545000/2545000
404.52/404.09	c cleaning 35008 clauses out of 70016 with flag 2580001/2580001
410.42/409.95	c cleaning 34998 clauses out of 70007 with flag 2615000/2615000
416.03/415.54	c cleaning 35005 clauses out of 70010 with flag 2650001/2650001
421.83/421.31	c cleaning 34989 clauses out of 70004 with flag 2685000/2685000
427.34/426.89	c cleaning 35005 clauses out of 70015 with flag 2720000/2720000
433.13/432.60	c cleaning 35004 clauses out of 70010 with flag 2755000/2755000
438.34/437.88	c cleaning 34998 clauses out of 70006 with flag 2790000/2790000
444.03/443.50	c cleaning 35001 clauses out of 70008 with flag 2825000/2825000
449.54/449.08	c cleaning 35004 clauses out of 70008 with flag 2860001/2860001
455.14/454.66	c cleaning 34999 clauses out of 70004 with flag 2895001/2895001
460.54/460.08	c cleaning 35003 clauses out of 70005 with flag 2930001/2930001
466.14/465.64	c cleaning 34999 clauses out of 70001 with flag 2965000/2965000
471.35/470.85	c cleaning 34994 clauses out of 70003 with flag 3000001/3000001
476.65/476.11	c cleaning 34996 clauses out of 70008 with flag 3035000/3035000
481.75/481.27	c cleaning 34994 clauses out of 70012 with flag 3070000/3070000
487.25/486.70	c cleaning 35000 clauses out of 70018 with flag 3105000/3105000
492.75/492.21	c cleaning 34999 clauses out of 70018 with flag 3140000/3140000
498.15/497.69	c cleaning 35008 clauses out of 70021 with flag 3175002/3175002
503.55/503.01	c cleaning 34995 clauses out of 70011 with flag 3210000/3210000
509.05/508.56	c cleaning 35003 clauses out of 70017 with flag 3245001/3245001
514.76/514.25	c cleaning 35005 clauses out of 70013 with flag 3280000/3280000
519.96/519.41	c cleaning 35001 clauses out of 70011 with flag 3315003/3315003
525.17/524.69	c cleaning 34993 clauses out of 70007 with flag 3350000/3350000
530.97/530.49	c cleaning 35002 clauses out of 70015 with flag 3385001/3385001
536.67/536.18	c cleaning 34999 clauses out of 70013 with flag 3420001/3420001
542.07/541.50	c cleaning 34995 clauses out of 70013 with flag 3455000/3455000
547.57/547.04	c cleaning 35003 clauses out of 70019 with flag 3490001/3490001
553.07/552.57	c cleaning 35001 clauses out of 70015 with flag 3525000/3525000
558.57/558.02	c cleaning 35001 clauses out of 70015 with flag 3560001/3560001
564.18/563.69	c cleaning 35002 clauses out of 70013 with flag 3595000/3595000
569.88/569.37	c cleaning 34996 clauses out of 70012 with flag 3630001/3630001
575.18/574.69	c cleaning 35000 clauses out of 70015 with flag 3665000/3665000
580.48/579.96	c cleaning 35009 clauses out of 70017 with flag 3700002/3700002
585.98/585.45	c cleaning 34984 clauses out of 70006 with flag 3735000/3735000
591.48/590.97	c cleaning 35005 clauses out of 70023 with flag 3770001/3770001
597.09/596.57	c cleaning 35001 clauses out of 70018 with flag 3805001/3805001
603.19/602.63	c cleaning 35007 clauses out of 70016 with flag 3840000/3840000
608.69/608.10	c cleaning 34993 clauses out of 70009 with flag 3875000/3875000
614.19/613.60	c cleaning 34998 clauses out of 70016 with flag 3910000/3910000
619.80/619.22	c cleaning 35009 clauses out of 70020 with flag 3945002/3945002
625.40/624.80	c cleaning 35000 clauses out of 70009 with flag 3980000/3980000
631.00/630.40	c cleaning 35002 clauses out of 70010 with flag 4015001/4015001
636.41/635.82	c cleaning 34997 clauses out of 70007 with flag 4050000/4050000
641.81/641.21	c cleaning 34999 clauses out of 70010 with flag 4085000/4085000
647.21/646.61	c cleaning 34995 clauses out of 70011 with flag 4120000/4120000
652.71/652.12	c cleaning 34989 clauses out of 70016 with flag 4155000/4155000
658.21/657.65	c cleaning 35011 clauses out of 70028 with flag 4190001/4190001
663.71/663.18	c cleaning 35001 clauses out of 70017 with flag 4225001/4225001
669.21/668.61	c cleaning 35005 clauses out of 70016 with flag 4260001/4260001
674.51/673.99	c cleaning 34996 clauses out of 70010 with flag 4295000/4295000
680.01/679.42	c cleaning 35004 clauses out of 70015 with flag 4330001/4330001
685.41/684.87	c cleaning 34996 clauses out of 70011 with flag 4365001/4365001
691.02/690.46	c cleaning 34996 clauses out of 70014 with flag 4400000/4400000
696.32/695.74	c cleaning 34995 clauses out of 70018 with flag 4435000/4435000
702.12/701.58	c cleaning 35011 clauses out of 70024 with flag 4470001/4470001
707.62/707.05	c cleaning 34998 clauses out of 70012 with flag 4505000/4505000
713.43/712.81	c cleaning 34999 clauses out of 70017 with flag 4540003/4540003
719.12/718.52	c cleaning 34999 clauses out of 70015 with flag 4575000/4575000
724.82/724.27	c cleaning 34997 clauses out of 70016 with flag 4610000/4610000
730.43/729.88	c cleaning 35001 clauses out of 70019 with flag 4645000/4645000
736.13/735.54	c cleaning 35007 clauses out of 70019 with flag 4680001/4680001
741.83/741.22	c cleaning 34996 clauses out of 70011 with flag 4715000/4715000
747.63/747.06	c cleaning 34996 clauses out of 70015 with flag 4750000/4750000
753.23/752.65	c cleaning 35002 clauses out of 70019 with flag 4785000/4785000
759.03/758.44	c cleaning 34995 clauses out of 70018 with flag 4820001/4820001
764.64/764.08	c cleaning 34992 clauses out of 70022 with flag 4855000/4855000
770.04/769.40	c cleaning 35002 clauses out of 70030 with flag 4890000/4890000
775.64/775.01	c cleaning 34997 clauses out of 70028 with flag 4925000/4925000
780.94/780.34	c cleaning 35007 clauses out of 70032 with flag 4960001/4960001
786.24/785.67	c cleaning 35012 clauses out of 70025 with flag 4995001/4995001
792.05/791.48	c cleaning 34997 clauses out of 70014 with flag 5030002/5030002
797.85/797.24	c cleaning 34997 clauses out of 70015 with flag 5065000/5065000
803.75/803.11	c cleaning 35007 clauses out of 70018 with flag 5100000/5100000
809.75/809.11	c cleaning 34996 clauses out of 70011 with flag 5135000/5135000
815.25/814.68	c cleaning 34997 clauses out of 70015 with flag 5170000/5170000
820.85/820.29	c cleaning 35000 clauses out of 70019 with flag 5205001/5205001
826.25/825.70	c cleaning 34999 clauses out of 70018 with flag 5240000/5240000
831.96/831.35	c cleaning 35003 clauses out of 70019 with flag 5275000/5275000
837.56/836.95	c cleaning 35005 clauses out of 70016 with flag 5310000/5310000
842.96/842.33	c cleaning 34995 clauses out of 70012 with flag 5345001/5345001
848.46/847.81	c cleaning 35000 clauses out of 70018 with flag 5380002/5380002
854.17/853.55	c cleaning 34993 clauses out of 70016 with flag 5415000/5415000
859.77/859.11	c cleaning 35006 clauses out of 70023 with flag 5450000/5450000
865.27/864.63	c cleaning 35005 clauses out of 70018 with flag 5485001/5485001
870.77/870.12	c cleaning 34999 clauses out of 70012 with flag 5520000/5520000
876.37/875.73	c cleaning 34995 clauses out of 70013 with flag 5555000/5555000
882.07/881.44	c cleaning 35001 clauses out of 70018 with flag 5590000/5590000
887.87/887.21	c cleaning 34995 clauses out of 70017 with flag 5625000/5625000
893.68/893.10	c cleaning 35006 clauses out of 70022 with flag 5660000/5660000
899.08/898.48	c cleaning 35004 clauses out of 70017 with flag 5695001/5695001
904.98/904.35	c cleaning 35000 clauses out of 70012 with flag 5730000/5730000
910.88/910.23	c cleaning 35005 clauses out of 70012 with flag 5765000/5765000
916.68/916.06	c cleaning 34998 clauses out of 70007 with flag 5800000/5800000
922.28/921.61	c cleaning 35001 clauses out of 70009 with flag 5835000/5835000
927.89/927.21	c cleaning 34997 clauses out of 70008 with flag 5870000/5870000
933.08/932.50	c cleaning 34998 clauses out of 70011 with flag 5905000/5905000
938.79/938.12	c cleaning 34994 clauses out of 70014 with flag 5940001/5940001
944.59/943.93	c cleaning 34999 clauses out of 70019 with flag 5975000/5975000
950.09/949.48	c cleaning 34995 clauses out of 70020 with flag 6010000/6010000
955.99/955.37	c cleaning 35010 clauses out of 70026 with flag 6045001/6045001
961.59/961.00	c cleaning 34998 clauses out of 70015 with flag 6080000/6080000
967.39/966.77	c cleaning 34992 clauses out of 70017 with flag 6115000/6115000
973.60/972.91	c cleaning 35011 clauses out of 70025 with flag 6150000/6150000
979.40/978.76	c cleaning 35007 clauses out of 70015 with flag 6185001/6185001
985.21/984.58	c cleaning 34993 clauses out of 70007 with flag 6220000/6220000
990.90/990.20	c cleaning 34999 clauses out of 70016 with flag 6255002/6255002
996.70/996.03	c cleaning 35003 clauses out of 70015 with flag 6290000/6290000
1002.50/1001.81	c cleaning 35002 clauses out of 70012 with flag 6325000/6325000
1008.11/1007.42	c cleaning 34995 clauses out of 70011 with flag 6360001/6360001
1013.91/1013.20	c cleaning 35003 clauses out of 70016 with flag 6395001/6395001
1019.51/1018.81	c cleaning 34997 clauses out of 70013 with flag 6430001/6430001
1025.01/1024.39	c cleaning 34993 clauses out of 70015 with flag 6465000/6465000
1030.51/1029.82	c cleaning 35004 clauses out of 70023 with flag 6500001/6500001
1036.21/1035.50	c cleaning 35004 clauses out of 70018 with flag 6535000/6535000
1041.72/1041.04	c cleaning 34996 clauses out of 70014 with flag 6570000/6570000
1047.32/1046.69	c cleaning 35003 clauses out of 70018 with flag 6605000/6605000
1053.12/1052.41	c cleaning 35003 clauses out of 70015 with flag 6640000/6640000
1058.83/1058.13	c cleaning 35006 clauses out of 70013 with flag 6675001/6675001
1064.63/1063.94	c cleaning 34997 clauses out of 70006 with flag 6710000/6710000
1070.33/1069.65	c cleaning 34995 clauses out of 70010 with flag 6745001/6745001
1075.93/1075.25	c cleaning 35000 clauses out of 70014 with flag 6780000/6780000
1081.63/1080.97	c cleaning 34997 clauses out of 70015 with flag 6815001/6815001
1087.44/1086.71	c cleaning 35004 clauses out of 70017 with flag 6850000/6850000
1093.24/1092.59	c cleaning 34999 clauses out of 70013 with flag 6885000/6885000
1099.34/1098.60	c cleaning 34993 clauses out of 70014 with flag 6920000/6920000
1105.24/1104.58	c cleaning 35007 clauses out of 70022 with flag 6955001/6955001
1110.94/1110.26	c cleaning 34999 clauses out of 70015 with flag 6990001/6990001
1117.04/1116.33	c cleaning 35007 clauses out of 70015 with flag 7025000/7025000
1122.34/1121.63	c cleaning 34997 clauses out of 70008 with flag 7060000/7060000
1128.24/1127.54	c cleaning 35004 clauses out of 70012 with flag 7095001/7095001
1133.64/1132.91	c cleaning 34994 clauses out of 70007 with flag 7130000/7130000
1139.04/1138.31	c cleaning 35002 clauses out of 70014 with flag 7165001/7165001
1144.54/1143.85	c cleaning 34994 clauses out of 70011 with flag 7200000/7200000
1150.44/1149.79	c cleaning 35004 clauses out of 70017 with flag 7235000/7235000
1156.14/1155.44	c cleaning 34998 clauses out of 70013 with flag 7270000/7270000
1162.05/1161.32	c cleaning 34997 clauses out of 70015 with flag 7305000/7305000
1167.94/1167.20	c cleaning 34997 clauses out of 70018 with flag 7340000/7340000
1173.55/1172.81	c cleaning 35001 clauses out of 70021 with flag 7375000/7375000
1179.46/1178.72	c cleaning 35004 clauses out of 70021 with flag 7410001/7410001
1185.26/1184.55	c cleaning 35000 clauses out of 70016 with flag 7445000/7445000
1190.87/1190.16	c cleaning 34998 clauses out of 70016 with flag 7480000/7480000
1196.86/1196.14	c cleaning 34994 clauses out of 70018 with flag 7515000/7515000
1202.76/1202.00	c cleaning 35002 clauses out of 70024 with flag 7550000/7550000
1208.57/1207.80	c cleaning 35012 clauses out of 70023 with flag 7585001/7585001
1214.17/1213.47	c cleaning 34992 clauses out of 70010 with flag 7620000/7620000
1219.67/1218.98	c cleaning 34999 clauses out of 70018 with flag 7655000/7655000
1225.67/1224.92	c cleaning 35009 clauses out of 70019 with flag 7690000/7690000
1231.47/1230.79	c cleaning 35000 clauses out of 70010 with flag 7725000/7725000
1237.37/1236.62	c cleaning 35001 clauses out of 70010 with flag 7760000/7760000
1243.28/1242.57	c cleaning 34995 clauses out of 70010 with flag 7795001/7795001
1248.98/1248.30	c cleaning 34999 clauses out of 70014 with flag 7830000/7830000
1254.68/1253.99	c cleaning 34990 clauses out of 70015 with flag 7865000/7865000
1260.29/1259.55	c cleaning 34999 clauses out of 70025 with flag 7900000/7900000
1265.88/1265.17	c cleaning 35013 clauses out of 70027 with flag 7935001/7935001
1271.68/1270.99	c cleaning 34987 clauses out of 70014 with flag 7970001/7970001
1277.28/1276.51	c cleaning 34994 clauses out of 70026 with flag 8005000/8005000
1283.18/1282.42	c cleaning 35005 clauses out of 70032 with flag 8040000/8040000
1288.79/1288.09	c cleaning 35011 clauses out of 70028 with flag 8075001/8075001
1294.79/1294.06	c cleaning 35001 clauses out of 70017 with flag 8110001/8110001
1300.39/1299.69	c cleaning 35002 clauses out of 70015 with flag 8145000/8145000
1300.80/1300.01	c starts		: 2476
1300.80/1300.01	c conflicts		: 8147387
1300.80/1300.01	c decisions		: 8479722
1300.80/1300.01	c propagations		: 262721377
1300.80/1300.01	c inspects		: 14944778332
1300.80/1300.01	c shortcuts		: 0
1300.80/1300.01	c learnt literals	: 0
1300.80/1300.01	c learnt binary clauses	: 0
1300.80/1300.01	c learnt ternary clauses	: 15
1300.80/1300.01	c learnt constraints	: 8147387
1300.80/1300.01	c ignored constraints	: 0
1300.80/1300.01	c root simplifications	: 2476
1300.80/1300.01	c removed literals (reason simplification)	: 217291630
1300.80/1300.01	c reason swapping (by a shorter reason)	: 0
1300.80/1300.01	c Calls to reduceDB	: 246
1300.80/1300.01	c speed (assignments/second)	: 202172.52524257574
1300.80/1300.01	c non guided choices	9
1300.80/1300.02	c learnt constraints type 
1300.80/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 37400
1300.80/1300.02	c constraints type 
1300.80/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 34302
1300.80/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 84
1300.80/1300.02	s UNKNOWN
1300.80/1300.02	c Total wall clock time (in seconds) : 1299.917

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 1.05 2.44 3.17 3/202 5041
/proc/meminfo: memFree=13705220/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=30528 CPUtime=0 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 1247 0 0 0 0 0 0 0 22 0 2 0 544910751 31260672 966 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 7632 966 739 9 0 383 0
[pid=5041/tid=5042] ppid=5039 vsize=30528 CPUtime=0 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 2 0 544910752 31260672 966 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216735178496 0 0 4096 0 0 0 0 -1 0 0 0 0

[startup+0.068647 s]
/proc/loadavg: 1.05 2.44 3.17 3/202 5041
/proc/meminfo: memFree=13705220/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7569940 CPUtime=0.06 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 9315 0 1 0 5 1 0 0 22 0 18 0 544910751 7751618560 9011 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1892485 9013 1740 9 0 1883223 0
[pid=5041/tid=5042] ppid=5039 vsize=7569940 CPUtime=0.05 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 8142 0 1 0 5 0 0 0 25 0 18 0 544910752 7751618560 9013 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216734839493 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7569940

[startup+0.100641 s]
/proc/loadavg: 1.05 2.44 3.17 3/202 5041
/proc/meminfo: memFree=13705220/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7569940 CPUtime=0.09 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 9757 0 1 0 8 1 0 0 22 0 18 0 544910751 7751618560 9453 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1892485 9454 1757 9 0 1883223 0
[pid=5041/tid=5042] ppid=5039 vsize=7569940 CPUtime=0.09 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 8583 0 1 0 8 1 0 0 25 0 18 0 544910752 7751618560 9454 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 47526819122003 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940

[startup+0.300644 s]
/proc/loadavg: 1.05 2.44 3.17 3/202 5041
/proc/meminfo: memFree=13705220/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7641752 CPUtime=0.44 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 14555 0 1 0 42 2 0 0 22 0 18 0 544910751 7825154048 12953 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1910438 12953 2197 9 0 1901176 0
[pid=5041/tid=5042] ppid=5039 vsize=7641752 CPUtime=0.22 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) D 5039 5041 3806 0 -1 4202560 9542 0 1 0 21 1 0 0 25 0 18 0 544910752 7825154048 12953 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216747005387 0 4 0 16800975 18446744071562234166 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 7641752

[startup+0.700498 s]
/proc/loadavg: 1.05 2.44 3.17 3/202 5041
/proc/meminfo: memFree=13705220/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7643356 CPUtime=0.73 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 14991 0 1 0 71 2 0 0 22 0 19 0 544910751 7826796544 13388 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1910839 13388 2219 9 0 1901577 0
[pid=5041/tid=5042] ppid=5039 vsize=7643356 CPUtime=0.35 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 9735 0 1 0 34 1 0 0 24 0 19 0 544910752 7826796544 13388 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 46912505625054 0 4 0 16800975 0 0 0 -1 0 0 0 28
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 7643356

[startup+1.50136 s]
/proc/loadavg: 1.05 2.44 3.17 6/262 5106
/proc/meminfo: memFree=13579348/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7643356 CPUtime=1.83 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 23779 0 1 0 180 3 0 0 22 0 19 0 544910751 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1910839 20231 2252 9 0 1901577 0
[pid=5041/tid=5042] ppid=5039 vsize=7643356 CPUtime=1.1 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 10054 0 1 0 109 1 0 0 25 0 19 0 544910752 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 46912505664182 0 4 0 16800975 0 0 0 -1 0 0 0 28
[pid=5041/tid=5050] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5050/stat : 5050 (java) S 5039 5041 3806 0 -1 4202560 214 0 0 0 0 0 0 0 18 0 19 0 544910753 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5051] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5051/stat : 5051 (java) S 5039 5041 3806 0 -1 4202560 237 0 0 0 0 0 0 0 18 0 19 0 544910753 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5052] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5052/stat : 5052 (java) S 5039 5041 3806 0 -1 4202560 103 0 0 0 0 0 0 0 18 0 19 0 544910753 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5053] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5053/stat : 5053 (java) S 5039 5041 3806 0 -1 4202560 25 0 0 0 0 0 0 0 17 0 19 0 544910753 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5054] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5054/stat : 5054 (java) S 5039 5041 3806 0 -1 4202560 74 0 0 0 0 0 0 0 18 0 19 0 544910753 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5055] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5055/stat : 5055 (java) S 5039 5041 3806 0 -1 4202560 89 0 0 0 0 0 0 0 18 0 19 0 544910753 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5056] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5056/stat : 5056 (java) S 5039 5041 3806 0 -1 4202560 67 0 0 0 0 0 0 0 18 0 19 0 544910753 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5057] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5057/stat : 5057 (java) S 5039 5041 3806 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 19 0 544910753 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5058] ppid=5039 vsize=7643356 CPUtime=0.02 cores=0,2
/proc/5041/task/5058/stat : 5058 (java) S 5039 5041 3806 0 -1 4202560 1037 0 0 0 2 0 0 0 15 0 19 0 544910754 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 0 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5069] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5069/stat : 5069 (java) S 5039 5041 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5070] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5070/stat : 5070 (java) S 5039 5041 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5074] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5074/stat : 5074 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216747002289 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5075] ppid=5039 vsize=7643356 CPUtime=0.38 cores=0,2
/proc/5041/task/5075/stat : 5075 (java) S 5039 5041 3806 0 -1 4202560 7874 0 0 0 37 1 0 0 17 0 19 0 544910757 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5076] ppid=5039 vsize=7643356 CPUtime=0.29 cores=0,2
/proc/5041/task/5076/stat : 5076 (java) S 5039 5041 3806 0 -1 4202560 2613 0 0 0 29 0 0 0 18 0 19 0 544910757 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5077] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5077/stat : 5077 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5079] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5079/stat : 5079 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910757 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5106] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5106/stat : 5106 (java) S 5039 5041 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7826796544 20231 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 7643356

[startup+3.10109 s]
/proc/loadavg: 1.45 2.50 3.18 5/262 5106
/proc/meminfo: memFree=13506560/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7643356 CPUtime=3.45 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 24314 0 1 0 342 3 0 0 22 0 19 0 544910751 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1910839 20764 2254 9 0 1901577 0
[pid=5041/tid=5042] ppid=5039 vsize=7643356 CPUtime=2.64 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 10056 0 1 0 263 1 0 0 25 0 19 0 544910752 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 46912505663276 0 4 0 16800975 0 0 0 -1 2 0 0 28
[pid=5041/tid=5050] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5050/stat : 5050 (java) S 5039 5041 3806 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5051] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5051/stat : 5051 (java) S 5039 5041 3806 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5052] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5052/stat : 5052 (java) S 5039 5041 3806 0 -1 4202560 300 0 0 0 0 0 0 0 16 0 19 0 544910753 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5053] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5053/stat : 5053 (java) S 5039 5041 3806 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5054] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5054/stat : 5054 (java) S 5039 5041 3806 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5055] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5055/stat : 5055 (java) S 5039 5041 3806 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5056] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5056/stat : 5056 (java) S 5039 5041 3806 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 19 0 544910753 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5057] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5057/stat : 5057 (java) S 5039 5041 3806 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5058] ppid=5039 vsize=7643356 CPUtime=0.05 cores=0,2
/proc/5041/task/5058/stat : 5058 (java) S 5039 5041 3806 0 -1 4202560 1297 0 0 0 5 0 0 0 15 0 19 0 544910754 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 0 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5069] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5069/stat : 5069 (java) S 5039 5041 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5070] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5070/stat : 5070 (java) S 5039 5041 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5074] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5074/stat : 5074 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216747002289 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5075] ppid=5039 vsize=7643356 CPUtime=0.39 cores=0,2
/proc/5041/task/5075/stat : 5075 (java) S 5039 5041 3806 0 -1 4202560 7874 0 0 0 38 1 0 0 16 0 19 0 544910757 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5076] ppid=5039 vsize=7643356 CPUtime=0.32 cores=0,2
/proc/5041/task/5076/stat : 5076 (java) S 5039 5041 3806 0 -1 4202560 2620 0 0 0 32 0 0 0 15 0 19 0 544910757 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5077] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5077/stat : 5077 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5079] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5079/stat : 5079 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910757 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5106] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5106/stat : 5106 (java) S 5039 5041 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7826796544 20764 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 7643356

[startup+6.30159 s]
/proc/loadavg: 1.45 2.50 3.18 5/262 5106
/proc/meminfo: memFree=13505648/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7643356 CPUtime=6.64 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 24595 0 1 0 661 3 0 0 22 0 19 0 544910751 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1910839 19831 2254 9 0 1901577 0
[pid=5041/tid=5042] ppid=5039 vsize=7643356 CPUtime=5.73 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 10060 0 1 0 572 1 0 0 25 0 19 0 544910752 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 46912505631008 0 4 0 16800975 0 0 0 -1 0 0 0 28
[pid=5041/tid=5050] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5050/stat : 5050 (java) S 5039 5041 3806 0 -1 4202560 277 0 0 0 0 0 0 0 16 0 19 0 544910753 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5051] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5051/stat : 5051 (java) S 5039 5041 3806 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5052] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5052/stat : 5052 (java) S 5039 5041 3806 0 -1 4202560 320 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5053] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5053/stat : 5053 (java) S 5039 5041 3806 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5054] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5054/stat : 5054 (java) S 5039 5041 3806 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5055] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5055/stat : 5055 (java) S 5039 5041 3806 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5056] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5056/stat : 5056 (java) S 5039 5041 3806 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5057] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5057/stat : 5057 (java) S 5039 5041 3806 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 544910753 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5058] ppid=5039 vsize=7643356 CPUtime=0.12 cores=0,2
/proc/5041/task/5058/stat : 5058 (java) S 5039 5041 3806 0 -1 4202560 1468 0 0 0 12 0 0 0 16 0 19 0 544910754 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 0 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5069] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5069/stat : 5069 (java) S 5039 5041 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5070] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5070/stat : 5070 (java) S 5039 5041 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5074] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5074/stat : 5074 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216747002289 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5075] ppid=5039 vsize=7643356 CPUtime=0.39 cores=0,2
/proc/5041/task/5075/stat : 5075 (java) S 5039 5041 3806 0 -1 4202560 7874 0 0 0 38 1 0 0 16 0 19 0 544910757 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5076] ppid=5039 vsize=7643356 CPUtime=0.35 cores=0,2
/proc/5041/task/5076/stat : 5076 (java) S 5039 5041 3806 0 -1 4202560 2626 0 0 0 35 0 0 0 15 0 19 0 544910757 7826796544 19831 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0

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

[pid=5041/tid=5055] ppid=5039 vsize=7643356 CPUtime=0.13 cores=0,2
/proc/5041/task/5055/stat : 5055 (java) S 5039 5041 3806 0 -1 4202560 512 0 0 0 13 0 0 0 15 0 19 0 544910753 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5056] ppid=5039 vsize=7643356 CPUtime=0.14 cores=0,2
/proc/5041/task/5056/stat : 5056 (java) S 5039 5041 3806 0 -1 4202560 96 0 0 0 14 0 0 0 15 0 19 0 544910753 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5057] ppid=5039 vsize=7643356 CPUtime=0.13 cores=0,2
/proc/5041/task/5057/stat : 5057 (java) S 5039 5041 3806 0 -1 4202560 284 0 0 0 13 0 0 0 15 0 19 0 544910753 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5058] ppid=5039 vsize=7643356 CPUtime=6.82 cores=0,2
/proc/5041/task/5058/stat : 5058 (java) S 5039 5041 3806 0 -1 4202560 3612 0 0 0 680 2 0 0 16 0 19 0 544910754 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 0 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5069] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5069/stat : 5069 (java) S 5039 5041 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5070] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5070/stat : 5070 (java) S 5039 5041 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5074] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5074/stat : 5074 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216747002289 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5075] ppid=5039 vsize=7643356 CPUtime=0.39 cores=0,2
/proc/5041/task/5075/stat : 5075 (java) S 5039 5041 3806 0 -1 4202560 7874 0 0 0 38 1 0 0 16 0 19 0 544910757 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5076] ppid=5039 vsize=7643356 CPUtime=0.38 cores=0,2
/proc/5041/task/5076/stat : 5076 (java) S 5039 5041 3806 0 -1 4202560 2632 0 0 0 38 0 0 0 15 0 19 0 544910757 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5077] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5077/stat : 5077 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5079] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5079/stat : 5079 (java) S 5039 5041 3806 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 544910757 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5106] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5106/stat : 5106 (java) S 5039 5041 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7826796544 22838 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.04
Current children cumulated vsize (KiB) 7643356

[startup+1182.3 s]
/proc/loadavg: 2.09 2.34 2.87 3/214 5315
/proc/meminfo: memFree=13601652/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7643356 CPUtime=1183.06 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 27963 0 1 0 118298 8 0 0 22 0 19 0 544910751 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1910839 22842 2255 9 0 1901577 0
[pid=5041/tid=5042] ppid=5039 vsize=7643356 CPUtime=1174.03 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 10278 0 1 0 117400 3 0 0 25 0 19 0 544910752 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 46912505624704 0 4 0 16800975 0 0 0 -1 0 0 0 28
[pid=5041/tid=5050] ppid=5039 vsize=7643356 CPUtime=0.14 cores=0,2
/proc/5041/task/5050/stat : 5050 (java) S 5039 5041 3806 0 -1 4202560 564 0 0 0 14 0 0 0 15 0 19 0 544910753 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5051] ppid=5039 vsize=7643356 CPUtime=0.13 cores=0,2
/proc/5041/task/5051/stat : 5051 (java) S 5039 5041 3806 0 -1 4202560 412 0 0 0 13 0 0 0 15 0 19 0 544910753 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5052] ppid=5039 vsize=7643356 CPUtime=0.11 cores=0,2
/proc/5041/task/5052/stat : 5052 (java) S 5039 5041 3806 0 -1 4202560 341 0 0 0 11 0 0 0 15 0 19 0 544910753 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5053] ppid=5039 vsize=7643356 CPUtime=0.11 cores=0,2
/proc/5041/task/5053/stat : 5053 (java) S 5039 5041 3806 0 -1 4202560 43 0 0 0 11 0 0 0 15 0 19 0 544910753 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5054] ppid=5039 vsize=7643356 CPUtime=0.12 cores=0,2
/proc/5041/task/5054/stat : 5054 (java) S 5039 5041 3806 0 -1 4202560 94 0 0 0 12 0 0 0 15 0 19 0 544910753 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5055] ppid=5039 vsize=7643356 CPUtime=0.14 cores=0,2
/proc/5041/task/5055/stat : 5055 (java) S 5039 5041 3806 0 -1 4202560 512 0 0 0 14 0 0 0 16 0 19 0 544910753 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5056] ppid=5039 vsize=7643356 CPUtime=0.14 cores=0,2
/proc/5041/task/5056/stat : 5056 (java) S 5039 5041 3806 0 -1 4202560 96 0 0 0 14 0 0 0 15 0 19 0 544910753 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5057] ppid=5039 vsize=7643356 CPUtime=0.14 cores=0,2
/proc/5041/task/5057/stat : 5057 (java) S 5039 5041 3806 0 -1 4202560 284 0 0 0 14 0 0 0 15 0 19 0 544910753 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5058] ppid=5039 vsize=7643356 CPUtime=7.15 cores=0,2
/proc/5041/task/5058/stat : 5058 (java) S 5039 5041 3806 0 -1 4202560 3614 0 0 0 713 2 0 0 15 0 19 0 544910754 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 0 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5069] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5069/stat : 5069 (java) S 5039 5041 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5070] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5070/stat : 5070 (java) S 5039 5041 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5074] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5074/stat : 5074 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216747002289 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5075] ppid=5039 vsize=7643356 CPUtime=0.39 cores=0,2
/proc/5041/task/5075/stat : 5075 (java) S 5039 5041 3806 0 -1 4202560 7874 0 0 0 38 1 0 0 16 0 19 0 544910757 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5076] ppid=5039 vsize=7643356 CPUtime=0.38 cores=0,2
/proc/5041/task/5076/stat : 5076 (java) S 5039 5041 3806 0 -1 4202560 2632 0 0 0 38 0 0 0 15 0 19 0 544910757 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5077] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5077/stat : 5077 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5079] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5079/stat : 5079 (java) S 5039 5041 3806 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 544910757 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5106] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5106/stat : 5106 (java) S 5039 5041 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7826796544 22842 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.06
Current children cumulated vsize (KiB) 7643356

[startup+1242.3 s]
/proc/loadavg: 2.03 2.27 2.81 3/214 5316
/proc/meminfo: memFree=13601488/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7643356 CPUtime=1243.08 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 27999 0 1 0 124300 8 0 0 22 0 19 0 544910751 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1910839 22860 2255 9 0 1901577 0
[pid=5041/tid=5042] ppid=5039 vsize=7643356 CPUtime=1233.67 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 10288 0 1 0 123364 3 0 0 25 0 19 0 544910752 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 46912505633350 0 4 0 16800975 0 0 0 -1 0 0 0 28
[pid=5041/tid=5050] ppid=5039 vsize=7643356 CPUtime=0.15 cores=0,2
/proc/5041/task/5050/stat : 5050 (java) S 5039 5041 3806 0 -1 4202560 564 0 0 0 15 0 0 0 15 0 19 0 544910753 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5051] ppid=5039 vsize=7643356 CPUtime=0.13 cores=0,2
/proc/5041/task/5051/stat : 5051 (java) S 5039 5041 3806 0 -1 4202560 412 0 0 0 13 0 0 0 15 0 19 0 544910753 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5052] ppid=5039 vsize=7643356 CPUtime=0.12 cores=0,2
/proc/5041/task/5052/stat : 5052 (java) S 5039 5041 3806 0 -1 4202560 341 0 0 0 12 0 0 0 15 0 19 0 544910753 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5053] ppid=5039 vsize=7643356 CPUtime=0.12 cores=0,2
/proc/5041/task/5053/stat : 5053 (java) S 5039 5041 3806 0 -1 4202560 43 0 0 0 12 0 0 0 16 0 19 0 544910753 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5054] ppid=5039 vsize=7643356 CPUtime=0.13 cores=0,2
/proc/5041/task/5054/stat : 5054 (java) S 5039 5041 3806 0 -1 4202560 94 0 0 0 13 0 0 0 15 0 19 0 544910753 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5055] ppid=5039 vsize=7643356 CPUtime=0.14 cores=0,2
/proc/5041/task/5055/stat : 5055 (java) S 5039 5041 3806 0 -1 4202560 512 0 0 0 14 0 0 0 15 0 19 0 544910753 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5056] ppid=5039 vsize=7643356 CPUtime=0.14 cores=0,2
/proc/5041/task/5056/stat : 5056 (java) S 5039 5041 3806 0 -1 4202560 96 0 0 0 14 0 0 0 15 0 19 0 544910753 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5057] ppid=5039 vsize=7643356 CPUtime=0.15 cores=0,2
/proc/5041/task/5057/stat : 5057 (java) S 5039 5041 3806 0 -1 4202560 284 0 0 0 15 0 0 0 15 0 19 0 544910753 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5058] ppid=5039 vsize=7643356 CPUtime=7.48 cores=0,2
/proc/5041/task/5058/stat : 5058 (java) S 5039 5041 3806 0 -1 4202560 3636 0 0 0 746 2 0 0 15 0 19 0 544910754 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 0 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5069] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5069/stat : 5069 (java) S 5039 5041 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5070] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5070/stat : 5070 (java) S 5039 5041 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5074] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5074/stat : 5074 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216747002289 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5075] ppid=5039 vsize=7643356 CPUtime=0.39 cores=0,2
/proc/5041/task/5075/stat : 5075 (java) S 5039 5041 3806 0 -1 4202560 7874 0 0 0 38 1 0 0 16 0 19 0 544910757 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5076] ppid=5039 vsize=7643356 CPUtime=0.38 cores=0,2
/proc/5041/task/5076/stat : 5076 (java) S 5039 5041 3806 0 -1 4202560 2632 0 0 0 38 0 0 0 15 0 19 0 544910757 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5077] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5077/stat : 5077 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5079] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5079/stat : 5079 (java) S 5039 5041 3806 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 544910757 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5106] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5106/stat : 5106 (java) S 5039 5041 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7826796544 22860 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.08
Current children cumulated vsize (KiB) 7643356



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.01 2.22 2.76 5/217 5321
/proc/meminfo: memFree=13600692/32951124 swapFree=67102140/67111528
[pid=5041] ppid=5039 vsize=7643356 CPUtime=1300.8 cores=0,2
/proc/5041/stat : 5041 (java) S 5039 5041 3806 0 -1 4202496 28056 0 1 0 130072 8 0 0 22 0 19 0 544910751 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5041/statm: 1910839 22898 2255 9 0 1901577 0
[pid=5041/tid=5042] ppid=5039 vsize=7643356 CPUtime=1290.97 cores=0,2
/proc/5041/task/5042/stat : 5042 (java) R 5039 5041 3806 0 -1 4202560 10299 0 1 0 129094 3 0 0 25 0 19 0 544910752 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 46912505633350 0 4 0 16800975 0 0 0 -1 0 0 0 28
[pid=5041/tid=5050] ppid=5039 vsize=7643356 CPUtime=0.15 cores=0,2
/proc/5041/task/5050/stat : 5050 (java) S 5039 5041 3806 0 -1 4202560 564 0 0 0 15 0 0 0 15 0 19 0 544910753 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5051] ppid=5039 vsize=7643356 CPUtime=0.13 cores=0,2
/proc/5041/task/5051/stat : 5051 (java) S 5039 5041 3806 0 -1 4202560 412 0 0 0 13 0 0 0 16 0 19 0 544910753 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5052] ppid=5039 vsize=7643356 CPUtime=0.13 cores=0,2
/proc/5041/task/5052/stat : 5052 (java) S 5039 5041 3806 0 -1 4202560 341 0 0 0 13 0 0 0 15 0 19 0 544910753 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5053] ppid=5039 vsize=7643356 CPUtime=0.13 cores=0,2
/proc/5041/task/5053/stat : 5053 (java) S 5039 5041 3806 0 -1 4202560 43 0 0 0 13 0 0 0 15 0 19 0 544910753 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5054] ppid=5039 vsize=7643356 CPUtime=0.15 cores=0,2
/proc/5041/task/5054/stat : 5054 (java) S 5039 5041 3806 0 -1 4202560 99 0 0 0 15 0 0 0 15 0 19 0 544910753 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5055] ppid=5039 vsize=7643356 CPUtime=0.14 cores=0,2
/proc/5041/task/5055/stat : 5055 (java) S 5039 5041 3806 0 -1 4202560 512 0 0 0 14 0 0 0 15 0 19 0 544910753 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5056] ppid=5039 vsize=7643356 CPUtime=0.14 cores=0,2
/proc/5041/task/5056/stat : 5056 (java) S 5039 5041 3806 0 -1 4202560 96 0 0 0 14 0 0 0 15 0 19 0 544910753 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5057] ppid=5039 vsize=7643356 CPUtime=0.16 cores=0,2
/proc/5041/task/5057/stat : 5057 (java) S 5039 5041 3806 0 -1 4202560 296 0 0 0 16 0 0 0 15 0 19 0 544910753 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5058] ppid=5039 vsize=7643356 CPUtime=7.85 cores=0,2
/proc/5041/task/5058/stat : 5058 (java) S 5039 5041 3806 0 -1 4202560 3661 0 0 0 783 2 0 0 16 0 19 0 544910754 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 0 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5069] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5069/stat : 5069 (java) S 5039 5041 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5070] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5070/stat : 5070 (java) S 5039 5041 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910755 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5074] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5074/stat : 5074 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216747002289 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5075] ppid=5039 vsize=7643356 CPUtime=0.39 cores=0,2
/proc/5041/task/5075/stat : 5075 (java) S 5039 5041 3806 0 -1 4202560 7874 0 0 0 38 1 0 0 16 0 19 0 544910757 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5076] ppid=5039 vsize=7643356 CPUtime=0.38 cores=0,2
/proc/5041/task/5076/stat : 5076 (java) S 5039 5041 3806 0 -1 4202560 2632 0 0 0 38 0 0 0 15 0 19 0 544910757 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5077] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5077/stat : 5077 (java) S 5039 5041 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910757 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746994585 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
[pid=5041/tid=5079] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5079/stat : 5079 (java) S 5039 5041 3806 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 544910757 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 2 0 0 0
[pid=5041/tid=5106] ppid=5039 vsize=7643356 CPUtime=0 cores=0,2
/proc/5041/task/5106/stat : 5106 (java) S 5039 5041 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7826796544 22898 33554432000 1073741824 1073778376 140734858376160 18446744073709551615 216746995200 0 4 0 16800975 18446604450194433088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.8
Current children cumulated vsize (KiB) 7643356

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): 1300.85
CPU user time (s): 1300.76
CPU system time (s): 0.086986
CPU usage (%): 100.062
Max. virtual memory (cumulated for all children) (KiB): 7643356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.76
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28094
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= 33691
involuntary context switches= 9956

runsolver used 2.36664 second user time and 4.75328 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-23 10:20:01
IDJOB=3262172
IDBENCH=83280
IDSOLVER=1611
FILE ID=node119/3262172-1303546801
RUNJOBID= node119-1303546801-4991
PBS_JOBID= 13143119
Free space on /tmp= 71920 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_506.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-3262172-1303546801/watcher-3262172-1303546801 -o /tmp/evaluation-result-3262172-1303546801/solver-3262172-1303546801 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3262172-1303546801.cnf

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

MD5SUM BENCH= 3c65ff80757b12edd41f8ee6da874877
RANDOM SEED=1137755552

node119.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.815
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.63
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.815
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13705732 kB
Buffers:       2209212 kB
Cached:       16345024 kB
SwapCached:       5504 kB
Active:        7485000 kB
Inactive:     11181980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13705732 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:      109372 kB
Mapped:          18220 kB
Slab:           513944 kB
PageTables:       5512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14686148 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= 71920 MiB
End job on node119 at 2011-04-23 10:41:43