Trace number 3249454

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) 1302.65 1300.06

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-7x39.cnf
MD5SUMf717554c4e7f802b3078c48464dbcd9d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1092
Number of clauses64155
Sum of the clauses size253344
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21638
Number of clauses of size 30
Number of clauses of size 462517
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.09	c no version file found!!!
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		6997539544
0.02/0.09	c Max memory 		7034241024
0.02/0.09	c Total memory 		7034241024
0.02/0.09	c Number of processors 	8
0.02/0.09	c --- Begin Solver configuration ---
0.02/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.02/0.09	c Learn all clauses as in MiniSAT
0.02/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.02/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.02/0.09	c Expensive reason simplification
0.02/0.09	c Armin Biere (Picosat) restarts strategy
0.02/0.09	c Glucose learned constraints deletion strategy
0.02/0.09	c timeout=2147483647s
0.02/0.09	c DB Simplification allowed=true
0.02/0.09	c --- End Solver configuration ---
0.02/0.09	c solving HOME/instance-3249454-1303512039.cnf
0.02/0.09	c reading problem ... 
0.27/0.25	c ... done. Wall clock time 0.131s.
0.27/0.25	c #vars     1092
0.27/0.25	c #constraints  64155
0.27/0.25	c constraints type 
0.27/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 62517
0.27/0.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1638
1.28/0.81	c cleaning 2498 clauses out of 5002 with flag 5002/5002
1.81/1.15	c cleaning 4248 clauses out of 8503 with flag 11001/11001
2.22/1.50	c cleaning 5623 clauses out of 11254 with flag 18000/18000
2.64/1.90	c cleaning 6814 clauses out of 13632 with flag 26001/26001
3.04/2.34	c cleaning 7900 clauses out of 15818 with flag 35001/35001
3.54/2.83	c cleaning 8955 clauses out of 17921 with flag 45004/45004
4.05/3.33	c cleaning 9980 clauses out of 19964 with flag 56002/56002
4.65/3.92	c cleaning 10987 clauses out of 21982 with flag 68000/68000
5.25/4.51	c cleaning 11986 clauses out of 23996 with flag 81001/81001
5.85/5.16	c cleaning 12995 clauses out of 26009 with flag 95000/95000
6.55/5.89	c cleaning 13989 clauses out of 28014 with flag 110000/110000
7.36/6.68	c cleaning 14993 clauses out of 30027 with flag 126002/126002
8.25/7.50	c cleaning 16003 clauses out of 32032 with flag 143000/143000
9.16/8.41	c cleaning 17002 clauses out of 34031 with flag 161002/161002
10.16/9.40	c cleaning 18008 clauses out of 36028 with flag 180001/180001
11.17/10.44	c cleaning 18984 clauses out of 38022 with flag 200003/200003
12.27/11.57	c cleaning 19994 clauses out of 40036 with flag 221001/221001
13.47/12.72	c cleaning 21008 clauses out of 42042 with flag 243001/243001
14.67/13.96	c cleaning 22016 clauses out of 44035 with flag 266002/266002
15.78/15.05	c cleaning 22974 clauses out of 46017 with flag 290000/290000
17.08/16.34	c cleaning 23998 clauses out of 48046 with flag 315003/315003
18.48/17.76	c cleaning 24997 clauses out of 50045 with flag 341000/341000
19.99/19.24	c cleaning 25998 clauses out of 52048 with flag 368000/368000
21.49/20.70	c cleaning 27011 clauses out of 54050 with flag 396000/396000
23.09/22.31	c cleaning 28002 clauses out of 56041 with flag 425002/425002
24.90/24.13	c cleaning 29016 clauses out of 58037 with flag 455000/455000
26.49/25.74	c cleaning 29991 clauses out of 60022 with flag 486001/486001
28.40/27.65	c cleaning 30992 clauses out of 62030 with flag 518000/518000
30.41/29.70	c cleaning 32007 clauses out of 64040 with flag 551002/551002
32.21/31.49	c cleaning 32977 clauses out of 66032 with flag 585001/585001
34.41/33.64	c cleaning 33996 clauses out of 68054 with flag 620000/620000
36.52/35.73	c cleaning 34984 clauses out of 70060 with flag 656002/656002
38.72/37.92	c cleaning 36021 clauses out of 72074 with flag 693000/693000
40.93/40.15	c cleaning 36991 clauses out of 74054 with flag 731001/731001
43.43/42.62	c cleaning 38017 clauses out of 76064 with flag 770002/770002
45.63/44.86	c cleaning 38994 clauses out of 78045 with flag 810000/810000
48.33/47.50	c cleaning 39997 clauses out of 80052 with flag 851001/851001
50.84/50.03	c cleaning 41005 clauses out of 82054 with flag 893000/893000
53.74/52.90	c cleaning 42000 clauses out of 84049 with flag 936000/936000
56.45/55.66	c cleaning 43005 clauses out of 86050 with flag 980001/980001
59.75/58.97	c cleaning 43986 clauses out of 88044 with flag 1025000/1025000
62.65/61.82	c cleaning 45016 clauses out of 90061 with flag 1071003/1071003
66.26/65.41	c cleaning 46004 clauses out of 92042 with flag 1118000/1118000
69.08/68.25	c cleaning 46999 clauses out of 94041 with flag 1166003/1166003
72.77/71.97	c cleaning 48003 clauses out of 96041 with flag 1215002/1215002
76.18/75.31	c cleaning 48987 clauses out of 98037 with flag 1265001/1265001
79.78/78.90	c cleaning 49992 clauses out of 100050 with flag 1316001/1316001
83.90/83.02	c cleaning 51014 clauses out of 102058 with flag 1368001/1368001
87.20/86.32	c cleaning 51999 clauses out of 104044 with flag 1421001/1421001
91.31/90.46	c cleaning 52989 clauses out of 106045 with flag 1475001/1475001
95.71/94.86	c cleaning 53975 clauses out of 108055 with flag 1530000/1530000
99.72/98.80	c cleaning 54995 clauses out of 110080 with flag 1586000/1586000
104.12/103.26	c cleaning 56017 clauses out of 112086 with flag 1643001/1643001
108.13/107.25	c cleaning 57026 clauses out of 114070 with flag 1701002/1701002
112.64/111.71	c cleaning 57969 clauses out of 116044 with flag 1760002/1760002
118.44/117.50	c cleaning 59002 clauses out of 118073 with flag 1820000/1820000
122.45/121.55	c cleaning 59998 clauses out of 120072 with flag 1881001/1881001
127.76/126.87	c cleaning 61023 clauses out of 122073 with flag 1943000/1943000
133.36/132.41	c cleaning 62009 clauses out of 124050 with flag 2006000/2006000
137.77/136.89	c cleaning 62978 clauses out of 126041 with flag 2070000/2070000
142.97/142.03	c cleaning 64010 clauses out of 128066 with flag 2135003/2135003
148.58/147.63	c cleaning 64468 clauses out of 129053 with flag 2200000/2200000
153.89/152.93	c cleaning 64767 clauses out of 129586 with flag 2265001/2265001
158.50/157.55	c cleaning 64885 clauses out of 129819 with flag 2330001/2330001
164.40/163.46	c cleaning 64937 clauses out of 129933 with flag 2395000/2395000
171.21/170.27	c cleaning 64973 clauses out of 129997 with flag 2460001/2460001
175.63/174.63	c cleaning 64968 clauses out of 130024 with flag 2525001/2525001
181.13/180.13	c cleaning 64997 clauses out of 130055 with flag 2590000/2590000
187.14/186.20	c cleaning 65003 clauses out of 130058 with flag 2655000/2655000
193.55/192.53	c cleaning 64974 clauses out of 130055 with flag 2720000/2720000
198.15/197.12	c cleaning 65007 clauses out of 130081 with flag 2785000/2785000
203.88/202.85	c cleaning 65027 clauses out of 130076 with flag 2850002/2850002
209.88/208.85	c cleaning 64991 clauses out of 130048 with flag 2915001/2915001
217.39/216.30	c cleaning 65010 clauses out of 130056 with flag 2980000/2980000
221.51/220.47	c cleaning 64998 clauses out of 130046 with flag 3045000/3045000
226.71/225.62	c cleaning 64990 clauses out of 130049 with flag 3110001/3110001
232.42/231.30	c cleaning 65008 clauses out of 130058 with flag 3175000/3175000
239.73/238.64	c cleaning 65011 clauses out of 130052 with flag 3240002/3240002
246.34/245.29	c cleaning 64990 clauses out of 130041 with flag 3305002/3305002
251.24/250.10	c cleaning 65002 clauses out of 130049 with flag 3370000/3370000
256.95/255.89	c cleaning 64999 clauses out of 130047 with flag 3435000/3435000
263.05/261.93	c cleaning 65006 clauses out of 130048 with flag 3500000/3500000
268.37/267.23	c cleaning 64990 clauses out of 130042 with flag 3565000/3565000
276.17/275.08	c cleaning 65017 clauses out of 130052 with flag 3630000/3630000
280.58/279.45	c cleaning 64986 clauses out of 130038 with flag 3695003/3695003
285.99/284.90	c cleaning 64988 clauses out of 130049 with flag 3760000/3760000
292.59/291.46	c cleaning 65003 clauses out of 130062 with flag 3825001/3825001
299.80/298.61	c cleaning 64997 clauses out of 130060 with flag 3890002/3890002
306.31/305.12	c cleaning 65009 clauses out of 130061 with flag 3955000/3955000
312.01/310.87	c cleaning 64968 clauses out of 130053 with flag 4020001/4020001
317.03/315.86	c cleaning 65027 clauses out of 130085 with flag 4085001/4085001
322.93/321.78	c cleaning 64993 clauses out of 130058 with flag 4150001/4150001
329.54/328.31	c cleaning 64987 clauses out of 130065 with flag 4215001/4215001
336.66/335.42	c cleaning 65002 clauses out of 130077 with flag 4280000/4280000
343.66/342.43	c cleaning 65017 clauses out of 130076 with flag 4345001/4345001
351.87/350.62	c cleaning 65018 clauses out of 130058 with flag 4410000/4410000
356.49/355.29	c cleaning 65006 clauses out of 130040 with flag 4475000/4475000
362.89/361.67	c cleaning 64960 clauses out of 130035 with flag 4540001/4540001
368.89/367.69	c cleaning 65004 clauses out of 130075 with flag 4605001/4605001
375.31/374.05	c cleaning 64984 clauses out of 130071 with flag 4670001/4670001
382.51/381.21	c cleaning 65014 clauses out of 130087 with flag 4735001/4735001
389.53/388.22	c cleaning 65006 clauses out of 130073 with flag 4800001/4800001
396.03/394.72	c cleaning 65018 clauses out of 130066 with flag 4865000/4865000
401.14/399.82	c cleaning 64998 clauses out of 130049 with flag 4930001/4930001
406.94/405.65	c cleaning 64994 clauses out of 130050 with flag 4995000/4995000
413.25/411.97	c cleaning 64981 clauses out of 130056 with flag 5060000/5060000
419.96/418.65	c cleaning 64988 clauses out of 130075 with flag 5125000/5125000
427.26/425.90	c cleaning 65017 clauses out of 130087 with flag 5190000/5190000
435.27/433.94	c cleaning 65014 clauses out of 130070 with flag 5255000/5255000
442.78/441.41	c cleaning 65012 clauses out of 130056 with flag 5320000/5320000
446.80/445.49	c cleaning 64994 clauses out of 130044 with flag 5385000/5385000
451.80/450.49	c cleaning 65002 clauses out of 130051 with flag 5450001/5450001
458.01/456.63	c cleaning 64983 clauses out of 130049 with flag 5515001/5515001
463.61/462.21	c cleaning 65005 clauses out of 130065 with flag 5580000/5580000
470.82/469.40	c cleaning 64993 clauses out of 130060 with flag 5645000/5645000
478.93/477.60	c cleaning 65005 clauses out of 130072 with flag 5710005/5710005
487.55/486.16	c cleaning 64999 clauses out of 130062 with flag 5775000/5775000
496.36/494.92	c cleaning 64991 clauses out of 130063 with flag 5840000/5840000
501.36/499.98	c cleaning 65007 clauses out of 130073 with flag 5905001/5905001
506.38/504.97	c cleaning 65003 clauses out of 130066 with flag 5970001/5970001
512.38/510.92	c cleaning 65009 clauses out of 130063 with flag 6035001/6035001
518.18/516.77	c cleaning 65004 clauses out of 130054 with flag 6100001/6100001
525.79/524.34	c cleaning 64980 clauses out of 130049 with flag 6165000/6165000
533.70/532.28	c cleaning 65006 clauses out of 130069 with flag 6230000/6230000
541.41/540.00	c cleaning 64990 clauses out of 130063 with flag 6295000/6295000
551.22/549.78	c cleaning 64999 clauses out of 130073 with flag 6360000/6360000
558.83/557.32	c cleaning 65002 clauses out of 130074 with flag 6425000/6425000
564.14/562.68	c cleaning 64992 clauses out of 130072 with flag 6490000/6490000
569.35/567.81	c cleaning 65008 clauses out of 130080 with flag 6555000/6555000
576.26/574.73	c cleaning 65016 clauses out of 130073 with flag 6620001/6620001
582.46/580.97	c cleaning 64993 clauses out of 130056 with flag 6685000/6685000
589.27/587.77	c cleaning 65006 clauses out of 130064 with flag 6750001/6750001
597.28/595.72	c cleaning 65002 clauses out of 130060 with flag 6815003/6815003
605.50/603.97	c cleaning 65001 clauses out of 130056 with flag 6880001/6880001
614.50/612.92	c cleaning 64980 clauses out of 130054 with flag 6945000/6945000
623.82/622.25	c cleaning 65008 clauses out of 130076 with flag 7010002/7010002
632.03/630.42	c cleaning 64974 clauses out of 130068 with flag 7075002/7075002
637.35/635.75	c cleaning 65015 clauses out of 130092 with flag 7140000/7140000
642.45/640.83	c cleaning 65000 clauses out of 130077 with flag 7205000/7205000
648.56/646.93	c cleaning 64964 clauses out of 130077 with flag 7270000/7270000
655.17/653.52	c cleaning 65021 clauses out of 130114 with flag 7335001/7335001
662.18/660.50	c cleaning 65029 clauses out of 130094 with flag 7400002/7400002
669.69/668.06	c cleaning 65017 clauses out of 130063 with flag 7465000/7465000
677.40/675.70	c cleaning 64976 clauses out of 130048 with flag 7530002/7530002
685.71/684.03	c cleaning 64985 clauses out of 130071 with flag 7595001/7595001
695.82/694.19	c cleaning 65006 clauses out of 130085 with flag 7660000/7660000
703.93/702.22	c cleaning 64965 clauses out of 130081 with flag 7725002/7725002
712.64/710.91	c cleaning 65003 clauses out of 130114 with flag 7790000/7790000
719.55/717.87	c cleaning 65040 clauses out of 130112 with flag 7855001/7855001
724.26/722.51	c cleaning 64990 clauses out of 130071 with flag 7920000/7920000
730.27/728.55	c cleaning 65032 clauses out of 130083 with flag 7985002/7985002
736.88/735.15	c cleaning 64991 clauses out of 130049 with flag 8050000/8050000
742.98/741.21	c cleaning 64998 clauses out of 130059 with flag 8115001/8115001
750.49/748.72	c cleaning 64975 clauses out of 130062 with flag 8180002/8180002
757.20/755.42	c cleaning 65023 clauses out of 130086 with flag 8245001/8245001
764.91/763.12	c cleaning 65015 clauses out of 130064 with flag 8310002/8310002
775.13/773.37	c cleaning 64999 clauses out of 130049 with flag 8375002/8375002
785.05/783.21	c cleaning 64980 clauses out of 130048 with flag 8440000/8440000
793.95/792.17	c cleaning 64996 clauses out of 130068 with flag 8505000/8505000
803.86/802.09	c cleaning 64989 clauses out of 130072 with flag 8570000/8570000
810.68/808.84	c cleaning 65024 clauses out of 130085 with flag 8635002/8635002
815.49/813.66	c cleaning 65001 clauses out of 130059 with flag 8700000/8700000
821.30/819.44	c cleaning 65016 clauses out of 130061 with flag 8765003/8765003
828.10/826.27	c cleaning 64993 clauses out of 130043 with flag 8830001/8830001
835.41/833.58	c cleaning 64975 clauses out of 130050 with flag 8895001/8895001
842.02/840.19	c cleaning 64993 clauses out of 130074 with flag 8960000/8960000
849.83/847.97	c cleaning 65017 clauses out of 130082 with flag 9025001/9025001
857.74/855.83	c cleaning 64984 clauses out of 130065 with flag 9090001/9090001
864.05/862.10	c cleaning 64997 clauses out of 130081 with flag 9155001/9155001
872.76/870.88	c cleaning 65023 clauses out of 130084 with flag 9220001/9220001
881.87/879.93	c cleaning 64996 clauses out of 130061 with flag 9285001/9285001
889.78/887.84	c cleaning 65006 clauses out of 130064 with flag 9350000/9350000
898.29/896.36	c cleaning 64997 clauses out of 130059 with flag 9415001/9415001
910.20/908.21	c cleaning 65019 clauses out of 130063 with flag 9480002/9480002
914.42/912.46	c cleaning 64987 clauses out of 130042 with flag 9545000/9545000
919.72/917.71	c cleaning 65001 clauses out of 130056 with flag 9610001/9610001
925.73/923.73	c cleaning 64994 clauses out of 130055 with flag 9675001/9675001
931.74/929.75	c cleaning 64994 clauses out of 130060 with flag 9740000/9740000
938.55/936.58	c cleaning 64993 clauses out of 130067 with flag 9805001/9805001
946.35/944.37	c cleaning 65000 clauses out of 130076 with flag 9870003/9870003
953.76/951.72	c cleaning 65005 clauses out of 130074 with flag 9935001/9935001
962.28/960.30	c cleaning 65007 clauses out of 130071 with flag 10000003/10000003
972.38/970.36	c cleaning 64992 clauses out of 130061 with flag 10065000/10065000
982.00/979.95	c cleaning 65002 clauses out of 130069 with flag 10130000/10130000
991.81/989.79	c cleaning 65007 clauses out of 130068 with flag 10195001/10195001
1004.73/1002.60	c cleaning 64968 clauses out of 130060 with flag 10260000/10260000
1015.94/1013.87	c cleaning 65028 clauses out of 130092 with flag 10325000/10325000
1026.05/1024.00	c cleaning 64995 clauses out of 130065 with flag 10390001/10390001
1035.36/1033.21	c cleaning 65016 clauses out of 130073 with flag 10455004/10455004
1039.98/1037.84	c cleaning 65006 clauses out of 130053 with flag 10520000/10520000
1045.78/1043.62	c cleaning 64976 clauses out of 130047 with flag 10585000/10585000
1051.50/1049.38	c cleaning 65019 clauses out of 130071 with flag 10650000/10650000
1058.40/1056.20	c cleaning 65005 clauses out of 130052 with flag 10715000/10715000
1065.71/1063.52	c cleaning 65003 clauses out of 130050 with flag 10780003/10780003
1073.82/1071.66	c cleaning 64984 clauses out of 130044 with flag 10845000/10845000
1082.74/1080.55	c cleaning 64989 clauses out of 130060 with flag 10910000/10910000
1091.75/1089.52	c cleaning 65012 clauses out of 130071 with flag 10975000/10975000
1101.07/1098.83	c cleaning 64999 clauses out of 130061 with flag 11040002/11040002
1109.78/1107.60	c cleaning 64980 clauses out of 130060 with flag 11105000/11105000
1119.49/1117.26	c cleaning 65025 clauses out of 130082 with flag 11170002/11170002
1129.40/1127.16	c cleaning 64987 clauses out of 130055 with flag 11235000/11235000
1138.71/1136.44	c cleaning 64992 clauses out of 130068 with flag 11300000/11300000
1147.53/1145.29	c cleaning 64990 clauses out of 130077 with flag 11365001/11365001
1156.24/1153.93	c cleaning 64999 clauses out of 130087 with flag 11430001/11430001
1166.45/1164.14	c cleaning 65033 clauses out of 130087 with flag 11495000/11495000
1170.96/1168.61	c cleaning 65014 clauses out of 130055 with flag 11560001/11560001
1176.57/1174.20	c cleaning 64987 clauses out of 130040 with flag 11625000/11625000
1182.08/1179.77	c cleaning 65006 clauses out of 130053 with flag 11690000/11690000
1189.38/1187.09	c cleaning 65005 clauses out of 130049 with flag 11755002/11755002
1196.79/1194.48	c cleaning 64999 clauses out of 130043 with flag 11820001/11820001
1205.40/1203.01	c cleaning 65003 clauses out of 130046 with flag 11885003/11885003
1212.01/1209.65	c cleaning 64985 clauses out of 130041 with flag 11950001/11950001
1221.32/1218.93	c cleaning 64999 clauses out of 130055 with flag 12015000/12015000
1231.43/1229.07	c cleaning 64985 clauses out of 130057 with flag 12080001/12080001
1239.25/1236.89	c cleaning 65017 clauses out of 130072 with flag 12145001/12145001
1249.46/1247.04	c cleaning 65006 clauses out of 130055 with flag 12210001/12210001
1256.57/1254.10	c cleaning 64981 clauses out of 130051 with flag 12275003/12275003
1268.50/1266.09	c cleaning 64997 clauses out of 130067 with flag 12340000/12340000
1279.30/1276.80	c cleaning 65016 clauses out of 130071 with flag 12405001/12405001
1286.52/1284.00	c cleaning 65015 clauses out of 130055 with flag 12470001/12470001
1295.43/1292.98	c cleaning 64979 clauses out of 130039 with flag 12535000/12535000
1302.55/1300.01	c starts		: 2775
1302.55/1300.01	c conflicts		: 12582379
1302.55/1300.01	c decisions		: 19123416
1302.55/1300.01	c propagations		: 438737990
1302.55/1300.01	c inspects		: 14738559707
1302.55/1300.01	c shortcuts		: 0
1302.55/1300.01	c learnt literals	: 0
1302.55/1300.01	c learnt binary clauses	: 0
1302.55/1300.01	c learnt ternary clauses	: 0
1302.55/1300.01	c learnt constraints	: 12582379
1302.55/1300.01	c ignored constraints	: 0
1302.55/1300.01	c root simplifications	: 2775
1302.55/1300.01	c removed literals (reason simplification)	: 71941894
1302.55/1300.01	c reason swapping (by a shorter reason)	: 0
1302.55/1300.01	c Calls to reduceDB	: 221
1302.55/1300.01	c speed (assignments/second)	: 337547.1082480691
1302.55/1300.01	c non guided choices	235497
1302.55/1300.04	c learnt constraints type 
1302.55/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 112523
1302.55/1300.04	c constraints type 
1302.55/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 62517
1302.55/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1638
1302.55/1300.04	s UNKNOWN
1302.55/1300.04	c Total wall clock time (in seconds) : 1299.915

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 0.89 1.91 2.95 8/212 29100
/proc/meminfo: memFree=16559456/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=11800 CPUtime=0 cores=1,3
/proc/29100/stat : 29100 (runsolver) R 29098 29100 27954 0 -1 4202560 46 0 0 0 0 0 0 0 25 0 1 0 462801674 12083200 54 33554432000 4194304 5434984 140734560061824 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/29100/statm: 2950 54 34 303 0 2644 0

[startup+0.038876 s]
/proc/loadavg: 0.89 1.91 2.95 8/212 29100
/proc/meminfo: memFree=16559456/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7564352 CPUtime=0.02 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 8572 0 1 0 1 1 0 0 18 0 13 0 462801674 7745896448 8270 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1891088 8270 1631 9 0 1881836 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7564352

[startup+0.110706 s]
/proc/loadavg: 0.89 1.91 2.95 8/212 29100
/proc/meminfo: memFree=16559456/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7636348 CPUtime=0.11 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 10452 0 1 0 9 2 0 0 18 0 18 0 462801674 7819620352 10148 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1909087 10148 2094 9 0 1899825 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7636348

[startup+0.30062 s]
/proc/loadavg: 0.89 1.91 2.95 8/212 29100
/proc/meminfo: memFree=16559456/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7641716 CPUtime=0.46 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 13702 0 1 0 43 3 0 0 18 0 19 0 462801674 7825117184 12777 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1910429 12777 2210 9 0 1901167 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 7641716

[startup+0.7006 s]
/proc/loadavg: 0.89 1.91 2.95 8/212 29100
/proc/meminfo: memFree=16559456/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7644748 CPUtime=1.17 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 15973 0 1 0 114 3 0 0 18 0 19 0 462801674 7828221952 14197 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1911187 14197 2227 9 0 1901925 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 7644748

[startup+1.50143 s]
/proc/loadavg: 0.89 1.91 2.95 11/261 29200
/proc/meminfo: memFree=16307056/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7663968 CPUtime=2.22 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 26186 0 1 0 217 5 0 0 18 0 19 0 462801674 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1915992 22472 2255 9 0 1906730 0
[pid=29100/tid=29104] ppid=29098 vsize=7663968 CPUtime=1.38 cores=1,3
/proc/29100/task/29104/stat : 29104 (java) R 29098 29100 27954 0 -1 4202560 10817 0 1 0 136 2 0 0 20 0 19 0 462801675 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 46912505610418 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29100/tid=29110] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29110/stat : 29110 (java) S 29098 29100 27954 0 -1 4202560 932 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29111] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29111/stat : 29111 (java) S 29098 29100 27954 0 -1 4202560 816 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
[pid=29100/tid=29112] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29112/stat : 29112 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29113] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29113/stat : 29113 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29114] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29114/stat : 29114 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29115] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29115/stat : 29115 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29116] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29116/stat : 29116 (java) S 29098 29100 27954 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29117] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29117/stat : 29117 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29118] ppid=29098 vsize=7663968 CPUtime=0.04 cores=1,3
/proc/29100/task/29118/stat : 29118 (java) S 29098 29100 27954 0 -1 4202560 1720 0 0 0 4 0 0 0 16 0 19 0 462801678 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 0 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
[pid=29100/tid=29119] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29119/stat : 29119 (java) S 29098 29100 27954 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462801678 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29120] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29120/stat : 29120 (java) S 29098 29100 27954 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 462801678 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29121] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29121/stat : 29121 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699498929 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29122] ppid=29098 vsize=7663968 CPUtime=0.34 cores=1,3
/proc/29100/task/29122/stat : 29122 (java) S 29098 29100 27954 0 -1 4202560 6765 0 0 0 33 1 0 0 24 0 19 0 462801680 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29123] ppid=29098 vsize=7663968 CPUtime=0.39 cores=1,3
/proc/29100/task/29123/stat : 29123 (java) S 29098 29100 27954 0 -1 4202560 3850 0 0 0 39 0 0 0 22 0 19 0 462801680 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29124] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29124/stat : 29124 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29125] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29125/stat : 29125 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801680 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29153] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29153/stat : 29153 (java) S 29098 29100 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801698 7847903232 22472 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 7663968

[startup+3.10114 s]
/proc/loadavg: 0.89 1.91 2.95 7/262 29201
/proc/meminfo: memFree=16162984/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7663968 CPUtime=3.85 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 26643 0 1 0 380 5 0 0 18 0 19 0 462801674 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1915992 22925 2255 9 0 1906730 0
[pid=29100/tid=29104] ppid=29098 vsize=7663968 CPUtime=2.88 cores=1,3
/proc/29100/task/29104/stat : 29104 (java) R 29098 29100 27954 0 -1 4202560 10821 0 1 0 286 2 0 0 22 0 19 0 462801675 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 46912505642231 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29100/tid=29110] ppid=29098 vsize=7663968 CPUtime=0.01 cores=1,3
/proc/29100/task/29110/stat : 29110 (java) S 29098 29100 27954 0 -1 4202560 985 0 0 0 1 0 0 0 15 0 19 0 462801677 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29111] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29111/stat : 29111 (java) S 29098 29100 27954 0 -1 4202560 819 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29112] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29112/stat : 29112 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29113] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29113/stat : 29113 (java) S 29098 29100 27954 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29114] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29114/stat : 29114 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29115] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29115/stat : 29115 (java) S 29098 29100 27954 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29116] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29116/stat : 29116 (java) S 29098 29100 27954 0 -1 4202560 126 0 0 0 0 0 0 0 16 0 19 0 462801677 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29117] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29117/stat : 29117 (java) S 29098 29100 27954 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 462801677 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29118] ppid=29098 vsize=7663968 CPUtime=0.14 cores=1,3
/proc/29100/task/29118/stat : 29118 (java) S 29098 29100 27954 0 -1 4202560 1965 0 0 0 14 0 0 0 16 0 19 0 462801678 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 0 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
[pid=29100/tid=29119] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29119/stat : 29119 (java) S 29098 29100 27954 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462801678 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29120] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29120/stat : 29120 (java) S 29098 29100 27954 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 462801678 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29121] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29121/stat : 29121 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699498929 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29122] ppid=29098 vsize=7663968 CPUtime=0.36 cores=1,3
/proc/29100/task/29122/stat : 29122 (java) S 29098 29100 27954 0 -1 4202560 6765 0 0 0 35 1 0 0 15 0 19 0 462801680 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29123] ppid=29098 vsize=7663968 CPUtime=0.4 cores=1,3
/proc/29100/task/29123/stat : 29123 (java) S 29098 29100 27954 0 -1 4202560 3850 0 0 0 40 0 0 0 17 0 19 0 462801680 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29124] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29124/stat : 29124 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29125] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29125/stat : 29125 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801680 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29153] ppid=29098 vsize=7663968 CPUtime=0 cores=1,3
/proc/29100/task/29153/stat : 29153 (java) S 29098 29100 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801698 7847903232 22925 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 7663968

[startup+6.30155 s]
/proc/loadavg: 1.14 1.94 2.96 6/262 29201
/proc/meminfo: memFree=16077580/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7660696 CPUtime=7.05 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 27213 0 1 0 700 5 0 0 18 0 19 0 462801674 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1915174 22796 2255 9 0 1905912 0
[pid=29100/tid=29104] ppid=29098 vsize=7660696 CPUtime=5.92 cores=1,3
/proc/29100/task/29104/stat : 29104 (java) R 29098 29100 27954 0 -1 4202560 10827 0 1 0 590 2 0 0 25 0 19 0 462801675 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 46912505718507 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29100/tid=29110] ppid=29098 vsize=7660696 CPUtime=0.01 cores=1,3
/proc/29100/task/29110/stat : 29110 (java) S 29098 29100 27954 0 -1 4202560 1108 0 0 0 1 0 0 0 15 0 19 0 462801677 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29111] ppid=29098 vsize=7660696 CPUtime=0.01 cores=1,3
/proc/29100/task/29111/stat : 29111 (java) S 29098 29100 27954 0 -1 4202560 819 0 0 0 1 0 0 0 15 0 19 0 462801677 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29112] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29112/stat : 29112 (java) S 29098 29100 27954 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 19 0 462801677 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29113] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29113/stat : 29113 (java) S 29098 29100 27954 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 462801677 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29114] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29114/stat : 29114 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29115] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29115/stat : 29115 (java) S 29098 29100 27954 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 462801677 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29116] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29116/stat : 29116 (java) S 29098 29100 27954 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 462801677 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29117] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29117/stat : 29117 (java) S 29098 29100 27954 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 462801677 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29118] ppid=29098 vsize=7660696 CPUtime=0.28 cores=1,3
/proc/29100/task/29118/stat : 29118 (java) S 29098 29100 27954 0 -1 4202560 2162 0 0 0 28 0 0 0 16 0 19 0 462801678 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 0 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
[pid=29100/tid=29119] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29119/stat : 29119 (java) S 29098 29100 27954 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29120] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29120/stat : 29120 (java) S 29098 29100 27954 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29121] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29121/stat : 29121 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699498929 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29122] ppid=29098 vsize=7660696 CPUtime=0.36 cores=1,3
/proc/29100/task/29122/stat : 29122 (java) S 29098 29100 27954 0 -1 4202560 6765 0 0 0 35 1 0 0 15 0 19 0 462801680 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29123] ppid=29098 vsize=7660696 CPUtime=0.4 cores=1,3
/proc/29100/task/29123/stat : 29123 (java) S 29098 29100 27954 0 -1 4202560 3850 0 0 0 40 0 0 0 17 0 19 0 462801680 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29124] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29124/stat : 29124 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29125] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29125/stat : 29125 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801680 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29153] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29153/stat : 29153 (java) S 29098 29100 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801698 7844552704 22796 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 7660696

[startup+12.7014 s]

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

[pid=29100/tid=29115] ppid=29098 vsize=7660696 CPUtime=0.39 cores=1,3
/proc/29100/task/29115/stat : 29115 (java) S 29098 29100 27954 0 -1 4202560 956 0 0 0 39 0 0 0 15 0 19 0 462801677 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29116] ppid=29098 vsize=7660696 CPUtime=0.39 cores=1,3
/proc/29100/task/29116/stat : 29116 (java) S 29098 29100 27954 0 -1 4202560 534 0 0 0 39 0 0 0 15 0 19 0 462801677 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29117] ppid=29098 vsize=7660696 CPUtime=0.39 cores=1,3
/proc/29100/task/29117/stat : 29117 (java) S 29098 29100 27954 0 -1 4202560 69 0 0 0 39 0 0 0 15 0 19 0 462801677 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29118] ppid=29098 vsize=7660696 CPUtime=10.8 cores=1,3
/proc/29100/task/29118/stat : 29118 (java) S 29098 29100 27954 0 -1 4202560 13445 0 0 0 1078 2 0 0 15 0 19 0 462801678 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 0 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
[pid=29100/tid=29119] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29119/stat : 29119 (java) S 29098 29100 27954 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29120] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29120/stat : 29120 (java) S 29098 29100 27954 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29121] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29121/stat : 29121 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699498929 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29122] ppid=29098 vsize=7660696 CPUtime=0.39 cores=1,3
/proc/29100/task/29122/stat : 29122 (java) S 29098 29100 27954 0 -1 4202560 6769 0 0 0 38 1 0 0 15 0 19 0 462801680 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29123] ppid=29098 vsize=7660696 CPUtime=0.4 cores=1,3
/proc/29100/task/29123/stat : 29123 (java) S 29098 29100 27954 0 -1 4202560 3850 0 0 0 40 0 0 0 17 0 19 0 462801680 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29124] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29124/stat : 29124 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29125] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29125/stat : 29125 (java) S 29098 29100 27954 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 462801680 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29153] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29153/stat : 29153 (java) S 29098 29100 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801698 7844552704 45851 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1124.6
Current children cumulated vsize (KiB) 7660696

[startup+1182.3 s]
/proc/loadavg: 4.00 3.99 3.71 5/262 29232
/proc/meminfo: memFree=15659772/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7660696 CPUtime=1184.68 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 50826 0 1 0 118456 12 0 0 18 0 19 0 462801674 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1915174 46075 2256 9 0 1905912 0
[pid=29100/tid=29104] ppid=29098 vsize=7660696 CPUtime=1169.1 cores=1,3
/proc/29100/task/29104/stat : 29104 (java) R 29098 29100 27954 0 -1 4202560 15734 0 1 0 116906 4 0 0 25 0 19 0 462801675 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 46912505587367 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29100/tid=29110] ppid=29098 vsize=7660696 CPUtime=0.43 cores=1,3
/proc/29100/task/29110/stat : 29110 (java) S 29098 29100 27954 0 -1 4202560 2812 0 0 0 43 0 0 0 15 0 19 0 462801677 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29111] ppid=29098 vsize=7660696 CPUtime=0.44 cores=1,3
/proc/29100/task/29111/stat : 29111 (java) S 29098 29100 27954 0 -1 4202560 845 0 0 0 44 0 0 0 15 0 19 0 462801677 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29112] ppid=29098 vsize=7660696 CPUtime=0.39 cores=1,3
/proc/29100/task/29112/stat : 29112 (java) S 29098 29100 27954 0 -1 4202560 1722 0 0 0 39 0 0 0 15 0 19 0 462801677 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29113] ppid=29098 vsize=7660696 CPUtime=0.43 cores=1,3
/proc/29100/task/29113/stat : 29113 (java) S 29098 29100 27954 0 -1 4202560 1792 0 0 0 43 0 0 0 15 0 19 0 462801677 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29114] ppid=29098 vsize=7660696 CPUtime=0.41 cores=1,3
/proc/29100/task/29114/stat : 29114 (java) S 29098 29100 27954 0 -1 4202560 859 0 0 0 41 0 0 0 16 0 19 0 462801677 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29115] ppid=29098 vsize=7660696 CPUtime=0.41 cores=1,3
/proc/29100/task/29115/stat : 29115 (java) S 29098 29100 27954 0 -1 4202560 956 0 0 0 41 0 0 0 15 0 19 0 462801677 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29116] ppid=29098 vsize=7660696 CPUtime=0.42 cores=1,3
/proc/29100/task/29116/stat : 29116 (java) S 29098 29100 27954 0 -1 4202560 540 0 0 0 42 0 0 0 15 0 19 0 462801677 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29117] ppid=29098 vsize=7660696 CPUtime=0.41 cores=1,3
/proc/29100/task/29117/stat : 29117 (java) S 29098 29100 27954 0 -1 4202560 69 0 0 0 41 0 0 0 15 0 19 0 462801677 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29118] ppid=29098 vsize=7660696 CPUtime=11.34 cores=1,3
/proc/29100/task/29118/stat : 29118 (java) S 29098 29100 27954 0 -1 4202560 13656 0 0 0 1132 2 0 0 15 0 19 0 462801678 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 0 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
[pid=29100/tid=29119] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29119/stat : 29119 (java) S 29098 29100 27954 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29120] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29120/stat : 29120 (java) S 29098 29100 27954 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29121] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29121/stat : 29121 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699498929 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29122] ppid=29098 vsize=7660696 CPUtime=0.39 cores=1,3
/proc/29100/task/29122/stat : 29122 (java) S 29098 29100 27954 0 -1 4202560 6769 0 0 0 38 1 0 0 15 0 19 0 462801680 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29123] ppid=29098 vsize=7660696 CPUtime=0.4 cores=1,3
/proc/29100/task/29123/stat : 29123 (java) S 29098 29100 27954 0 -1 4202560 3850 0 0 0 40 0 0 0 17 0 19 0 462801680 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29124] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29124/stat : 29124 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29125] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29125/stat : 29125 (java) S 29098 29100 27954 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 462801680 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29153] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29153/stat : 29153 (java) S 29098 29100 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801698 7844552704 46075 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1184.68
Current children cumulated vsize (KiB) 7660696

[startup+1242.3 s]
/proc/loadavg: 4.00 3.99 3.73 5/262 29243
/proc/meminfo: memFree=15649288/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7660696 CPUtime=1244.76 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 51219 0 1 0 124464 12 0 0 18 0 19 0 462801674 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1915174 46453 2256 9 0 1905912 0
[pid=29100/tid=29104] ppid=29098 vsize=7660696 CPUtime=1228.55 cores=1,3
/proc/29100/task/29104/stat : 29104 (java) R 29098 29100 27954 0 -1 4202560 15741 0 1 0 122851 4 0 0 25 0 19 0 462801675 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 46912505610336 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29100/tid=29110] ppid=29098 vsize=7660696 CPUtime=0.43 cores=1,3
/proc/29100/task/29110/stat : 29110 (java) S 29098 29100 27954 0 -1 4202560 2812 0 0 0 43 0 0 0 15 0 19 0 462801677 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29111] ppid=29098 vsize=7660696 CPUtime=0.46 cores=1,3
/proc/29100/task/29111/stat : 29111 (java) S 29098 29100 27954 0 -1 4202560 845 0 0 0 46 0 0 0 15 0 19 0 462801677 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29112] ppid=29098 vsize=7660696 CPUtime=0.42 cores=1,3
/proc/29100/task/29112/stat : 29112 (java) S 29098 29100 27954 0 -1 4202560 1723 0 0 0 42 0 0 0 15 0 19 0 462801677 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29113] ppid=29098 vsize=7660696 CPUtime=0.46 cores=1,3
/proc/29100/task/29113/stat : 29113 (java) S 29098 29100 27954 0 -1 4202560 1792 0 0 0 46 0 0 0 16 0 19 0 462801677 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29114] ppid=29098 vsize=7660696 CPUtime=0.43 cores=1,3
/proc/29100/task/29114/stat : 29114 (java) S 29098 29100 27954 0 -1 4202560 860 0 0 0 43 0 0 0 15 0 19 0 462801677 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29115] ppid=29098 vsize=7660696 CPUtime=0.44 cores=1,3
/proc/29100/task/29115/stat : 29115 (java) S 29098 29100 27954 0 -1 4202560 956 0 0 0 44 0 0 0 15 0 19 0 462801677 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29116] ppid=29098 vsize=7660696 CPUtime=0.45 cores=1,3
/proc/29100/task/29116/stat : 29116 (java) S 29098 29100 27954 0 -1 4202560 543 0 0 0 45 0 0 0 16 0 19 0 462801677 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29117] ppid=29098 vsize=7660696 CPUtime=0.41 cores=1,3
/proc/29100/task/29117/stat : 29117 (java) S 29098 29100 27954 0 -1 4202560 69 0 0 0 41 0 0 0 15 0 19 0 462801677 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29118] ppid=29098 vsize=7660696 CPUtime=11.81 cores=1,3
/proc/29100/task/29118/stat : 29118 (java) S 29098 29100 27954 0 -1 4202560 14033 0 0 0 1179 2 0 0 15 0 19 0 462801678 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 0 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
[pid=29100/tid=29119] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29119/stat : 29119 (java) S 29098 29100 27954 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29120] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29120/stat : 29120 (java) S 29098 29100 27954 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29121] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29121/stat : 29121 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699498929 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29122] ppid=29098 vsize=7660696 CPUtime=0.39 cores=1,3
/proc/29100/task/29122/stat : 29122 (java) S 29098 29100 27954 0 -1 4202560 6769 0 0 0 38 1 0 0 15 0 19 0 462801680 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29123] ppid=29098 vsize=7660696 CPUtime=0.4 cores=1,3
/proc/29100/task/29123/stat : 29123 (java) S 29098 29100 27954 0 -1 4202560 3850 0 0 0 40 0 0 0 17 0 19 0 462801680 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29124] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29124/stat : 29124 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29125] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29125/stat : 29125 (java) S 29098 29100 27954 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 462801680 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29153] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29153/stat : 29153 (java) S 29098 29100 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801698 7844552704 46453 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1244.76
Current children cumulated vsize (KiB) 7660696



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.99 3.74 5/245 29251
/proc/meminfo: memFree=15824100/32951124 swapFree=67111528/67111528
[pid=29100] ppid=29098 vsize=7660696 CPUtime=1302.55 cores=1,3
/proc/29100/stat : 29100 (java) S 29098 29100 27954 0 -1 4202496 52592 0 1 0 130243 12 0 0 18 0 19 0 462801674 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29100/statm: 1915174 47810 2256 9 0 1905912 0
[pid=29100/tid=29104] ppid=29098 vsize=7660696 CPUtime=1285.73 cores=1,3
/proc/29100/task/29104/stat : 29104 (java) R 29098 29100 27954 0 -1 4202560 15747 0 1 0 128569 4 0 0 25 0 19 0 462801675 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 46912505641815 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29100/tid=29110] ppid=29098 vsize=7660696 CPUtime=0.46 cores=1,3
/proc/29100/task/29110/stat : 29110 (java) S 29098 29100 27954 0 -1 4202560 3066 0 0 0 46 0 0 0 15 0 19 0 462801677 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29111] ppid=29098 vsize=7660696 CPUtime=0.52 cores=1,3
/proc/29100/task/29111/stat : 29111 (java) S 29098 29100 27954 0 -1 4202560 854 0 0 0 52 0 0 0 15 0 19 0 462801677 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29112] ppid=29098 vsize=7660696 CPUtime=0.45 cores=1,3
/proc/29100/task/29112/stat : 29112 (java) S 29098 29100 27954 0 -1 4202560 1730 0 0 0 45 0 0 0 16 0 19 0 462801677 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29113] ppid=29098 vsize=7660696 CPUtime=0.48 cores=1,3
/proc/29100/task/29113/stat : 29113 (java) S 29098 29100 27954 0 -1 4202560 2104 0 0 0 48 0 0 0 15 0 19 0 462801677 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29114] ppid=29098 vsize=7660696 CPUtime=0.43 cores=1,3
/proc/29100/task/29114/stat : 29114 (java) S 29098 29100 27954 0 -1 4202560 860 0 0 0 43 0 0 0 15 0 19 0 462801677 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29115] ppid=29098 vsize=7660696 CPUtime=0.44 cores=1,3
/proc/29100/task/29115/stat : 29115 (java) S 29098 29100 27954 0 -1 4202560 956 0 0 0 44 0 0 0 15 0 19 0 462801677 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29116] ppid=29098 vsize=7660696 CPUtime=0.48 cores=1,3
/proc/29100/task/29116/stat : 29116 (java) S 29098 29100 27954 0 -1 4202560 546 0 0 0 48 0 0 0 15 0 19 0 462801677 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29117] ppid=29098 vsize=7660696 CPUtime=0.42 cores=1,3
/proc/29100/task/29117/stat : 29117 (java) S 29098 29100 27954 0 -1 4202560 70 0 0 0 42 0 0 0 15 0 19 0 462801677 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29118] ppid=29098 vsize=7660696 CPUtime=12.24 cores=1,3
/proc/29100/task/29118/stat : 29118 (java) S 29098 29100 27954 0 -1 4202560 14810 0 0 0 1221 3 0 0 15 0 19 0 462801678 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 0 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
[pid=29100/tid=29119] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29119/stat : 29119 (java) S 29098 29100 27954 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29120] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29120/stat : 29120 (java) S 29098 29100 27954 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 462801678 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29121] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29121/stat : 29121 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699498929 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29122] ppid=29098 vsize=7660696 CPUtime=0.39 cores=1,3
/proc/29100/task/29122/stat : 29122 (java) S 29098 29100 27954 0 -1 4202560 6769 0 0 0 38 1 0 0 15 0 19 0 462801680 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29123] ppid=29098 vsize=7660696 CPUtime=0.4 cores=1,3
/proc/29100/task/29123/stat : 29123 (java) S 29098 29100 27954 0 -1 4202560 3850 0 0 0 40 0 0 0 17 0 19 0 462801680 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29124] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29124/stat : 29124 (java) S 29098 29100 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801680 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491225 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29125] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29125/stat : 29125 (java) S 29098 29100 27954 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 462801680 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 3 0 0 0
[pid=29100/tid=29153] ppid=29098 vsize=7660696 CPUtime=0 cores=1,3
/proc/29100/task/29153/stat : 29153 (java) S 29098 29100 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801698 7844552704 47810 33554432000 1073741824 1073778376 140733854637936 18446744073709551615 212699491840 0 4 0 16800975 18446604464541693760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1302.55
Current children cumulated vsize (KiB) 7660696

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.06
CPU time (s): 1302.65
CPU user time (s): 1302.51
CPU system time (s): 0.139978
CPU usage (%): 100.199
Max. virtual memory (cumulated for all children) (KiB): 7663968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.51
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52629
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= 33209
involuntary context switches= 7969

runsolver used 2.12468 second user time and 5.00324 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-23 00:40:39
IDJOB=3249454
IDBENCH=83170
IDSOLVER=1611
FILE ID=node139/3249454-1303512039
RUNJOBID= node139-1303512039-28950
PBS_JOBID= 13134271
Free space on /tmp= 72548 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-7x39.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-3249454-1303512039/watcher-3249454-1303512039 -o /tmp/evaluation-result-3249454-1303512039/solver-3249454-1303512039 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3249454-1303512039.cnf

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

MD5SUM BENCH= f717554c4e7f802b3078c48464dbcd9d
RANDOM SEED=951965565

node139.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.852
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.70
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.852
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.75
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.852
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.852
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.75
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.852
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	: 5321.49
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.852
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.75
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.852
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.82
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16559612 kB
Buffers:       1739520 kB
Cached:       13997768 kB
SwapCached:          0 kB
Active:        9395296 kB
Inactive:      6478160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16559612 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           19460 kB
Writeback:           0 kB
AnonPages:      135552 kB
Mapped:          22644 kB
Slab:           452184 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14721420 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= 72544 MiB
End job on node139 at 2011-04-23 01:02:21