Trace number 3250598

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.76 1300.07

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
MD5SUMf105570f47bdca662c2d3d185f8dc1f8
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 variables389
Number of clauses41426
Sum of the clauses size188708
Maximum clause length20
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 337636
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 53790

Solver Data 

0.05/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.13	c See www.sat4j.org for details.
0.05/0.14	c no version file found!!!
0.05/0.14	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.14	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.14	c java.vm.version	19.1-b02
0.05/0.14	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.14	c sun.arch.data.model	64
0.05/0.14	c java.version		1.6.0_24
0.05/0.14	c os.name		Linux
0.05/0.14	c os.version		2.6.18-164.el5
0.05/0.14	c os.arch		amd64
0.05/0.14	c Free memory 		6997539544
0.05/0.14	c Max memory 		7034241024
0.05/0.14	c Total memory 		7034241024
0.05/0.14	c Number of processors 	8
0.05/0.18	c --- Begin Solver configuration ---
0.05/0.18	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.05/0.18	c Learn all clauses as in MiniSAT
0.05/0.18	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.05/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.05/0.18	c Expensive reason simplification
0.05/0.18	c Armin Biere (Picosat) restarts strategy
0.05/0.18	c Glucose learned constraints deletion strategy
0.05/0.18	c timeout=2147483647s
0.05/0.18	c DB Simplification allowed=true
0.05/0.18	c --- End Solver configuration ---
0.05/0.18	c solving HOME/instance-3250598-1303551316.cnf
0.05/0.18	c reading problem ... 
0.27/0.34	c ... done. Wall clock time 0.166s.
0.27/0.34	c #vars     389
0.27/0.34	c #constraints  41426
0.27/0.34	c constraints type 
0.27/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 41426
1.26/1.18	c cleaning 2497 clauses out of 5001 with flag 5001/5001
1.98/1.89	c cleaning 4248 clauses out of 8503 with flag 11000/11000
2.78/2.69	c cleaning 5630 clauses out of 11259 with flag 18004/18004
3.78/3.66	c cleaning 6813 clauses out of 13626 with flag 26001/26001
4.88/4.74	c cleaning 7905 clauses out of 15813 with flag 35001/35001
6.08/5.97	c cleaning 8952 clauses out of 17907 with flag 45000/45000
7.48/7.31	c cleaning 9970 clauses out of 19956 with flag 56001/56001
8.99/8.82	c cleaning 10991 clauses out of 21985 with flag 68000/68000
10.59/10.42	c cleaning 11986 clauses out of 23994 with flag 81000/81000
12.39/12.26	c cleaning 13005 clauses out of 26009 with flag 95001/95001
14.40/14.20	c cleaning 13997 clauses out of 28003 with flag 110000/110000
16.39/16.29	c cleaning 14998 clauses out of 30006 with flag 126000/126000
18.59/18.49	c cleaning 16001 clauses out of 32009 with flag 143001/143001
21.00/20.86	c cleaning 17001 clauses out of 34007 with flag 161000/161000
23.49/23.38	c cleaning 18000 clauses out of 36006 with flag 180000/180000
26.29/26.14	c cleaning 19001 clauses out of 38007 with flag 200001/200001
29.20/29.05	c cleaning 19998 clauses out of 40005 with flag 221000/221000
32.30/32.14	c cleaning 21003 clauses out of 42008 with flag 243001/243001
35.60/35.43	c cleaning 21993 clauses out of 44004 with flag 266000/266000
38.90/38.74	c cleaning 23000 clauses out of 46011 with flag 290000/290000
42.40/42.28	c cleaning 23997 clauses out of 48011 with flag 315000/315000
46.21/46.01	c cleaning 24986 clauses out of 50014 with flag 341000/341000
50.32/50.17	c cleaning 26014 clauses out of 52028 with flag 368000/368000
54.32/54.12	c cleaning 26999 clauses out of 54014 with flag 396000/396000
58.53/58.39	c cleaning 28008 clauses out of 56015 with flag 425000/425000
63.23/63.04	c cleaning 28995 clauses out of 58009 with flag 455002/455002
67.83/67.67	c cleaning 30000 clauses out of 60012 with flag 486000/486000
72.74/72.52	c cleaning 30999 clauses out of 62012 with flag 518000/518000
77.74/77.51	c cleaning 32003 clauses out of 64014 with flag 551001/551001
82.94/82.73	c cleaning 32993 clauses out of 66010 with flag 585000/585000
88.64/88.45	c cleaning 34002 clauses out of 68017 with flag 620000/620000
94.15/93.92	c cleaning 34996 clauses out of 70015 with flag 656000/656000
100.25/100.05	c cleaning 36006 clauses out of 72019 with flag 693000/693000
106.25/106.01	c cleaning 37000 clauses out of 74014 with flag 731001/731001
112.66/112.46	c cleaning 37992 clauses out of 76013 with flag 770000/770000
118.86/118.69	c cleaning 38998 clauses out of 78021 with flag 810000/810000
125.96/125.79	c cleaning 39996 clauses out of 80023 with flag 851000/851000
132.66/132.42	c cleaning 40996 clauses out of 82027 with flag 893000/893000
139.87/139.63	c cleaning 41507 clauses out of 83032 with flag 935001/935001
146.57/146.37	c cleaning 41756 clauses out of 83524 with flag 977000/977000
153.87/153.62	c cleaning 41875 clauses out of 83769 with flag 1019001/1019001
160.67/160.40	c cleaning 41935 clauses out of 83893 with flag 1061000/1061000
167.28/167.06	c cleaning 41964 clauses out of 83958 with flag 1103000/1103000
174.48/174.21	c cleaning 41989 clauses out of 83994 with flag 1145000/1145000
181.38/181.18	c cleaning 41994 clauses out of 84006 with flag 1187001/1187001
188.08/187.85	c cleaning 41997 clauses out of 84013 with flag 1229002/1229002
195.39/195.17	c cleaning 42003 clauses out of 84015 with flag 1271001/1271001
202.39/202.19	c cleaning 42000 clauses out of 84011 with flag 1313000/1313000
209.69/209.47	c cleaning 41998 clauses out of 84012 with flag 1355001/1355001
217.00/216.79	c cleaning 42001 clauses out of 84015 with flag 1397002/1397002
224.20/223.90	c cleaning 42005 clauses out of 84014 with flag 1439002/1439002
231.31/231.07	c cleaning 41991 clauses out of 84008 with flag 1481001/1481001
238.60/238.32	c cleaning 41997 clauses out of 84016 with flag 1523000/1523000
245.20/244.99	c cleaning 41999 clauses out of 84020 with flag 1565001/1565001
252.21/251.93	c cleaning 42001 clauses out of 84020 with flag 1607000/1607000
259.41/259.18	c cleaning 41998 clauses out of 84019 with flag 1649000/1649000
266.61/266.31	c cleaning 41996 clauses out of 84022 with flag 1691001/1691001
273.32/273.02	c cleaning 42000 clauses out of 84025 with flag 1733000/1733000
280.72/280.43	c cleaning 42003 clauses out of 84027 with flag 1775002/1775002
287.92/287.66	c cleaning 42000 clauses out of 84022 with flag 1817000/1817000
295.23/294.91	c cleaning 41998 clauses out of 84023 with flag 1859001/1859001
301.83/301.54	c cleaning 42005 clauses out of 84026 with flag 1901002/1901002
308.63/308.34	c cleaning 41992 clauses out of 84019 with flag 1943000/1943000
316.04/315.78	c cleaning 42001 clauses out of 84028 with flag 1985001/1985001
323.74/323.47	c cleaning 42009 clauses out of 84026 with flag 2027000/2027000
330.34/330.05	c cleaning 42002 clauses out of 84017 with flag 2069000/2069000
337.14/336.86	c cleaning 42004 clauses out of 84015 with flag 2111000/2111000
344.44/344.13	c cleaning 41992 clauses out of 84011 with flag 2153000/2153000
351.44/351.17	c cleaning 42002 clauses out of 84020 with flag 2195001/2195001
358.75/358.42	c cleaning 41997 clauses out of 84017 with flag 2237000/2237000
365.56/365.27	c cleaning 41995 clauses out of 84020 with flag 2279000/2279000
372.65/372.33	c cleaning 42002 clauses out of 84025 with flag 2321000/2321000
380.55/380.22	c cleaning 41998 clauses out of 84023 with flag 2363000/2363000
388.67/388.35	c cleaning 42002 clauses out of 84026 with flag 2405001/2405001
396.86/396.57	c cleaning 42000 clauses out of 84023 with flag 2447000/2447000
404.07/403.72	c cleaning 41997 clauses out of 84023 with flag 2489000/2489000
410.86/410.53	c cleaning 42011 clauses out of 84027 with flag 2531001/2531001
417.66/417.35	c cleaning 41981 clauses out of 84015 with flag 2573000/2573000
424.87/424.52	c cleaning 42011 clauses out of 84034 with flag 2615000/2615000
432.17/431.88	c cleaning 42001 clauses out of 84023 with flag 2657000/2657000
440.28/439.97	c cleaning 42007 clauses out of 84022 with flag 2699000/2699000
447.47/447.14	c cleaning 41997 clauses out of 84015 with flag 2741000/2741000
454.07/453.77	c cleaning 41995 clauses out of 84018 with flag 2783000/2783000
461.08/460.74	c cleaning 41998 clauses out of 84023 with flag 2825000/2825000
468.18/467.87	c cleaning 42004 clauses out of 84025 with flag 2867000/2867000
475.38/475.02	c cleaning 41993 clauses out of 84021 with flag 2909000/2909000
482.38/482.08	c cleaning 42007 clauses out of 84029 with flag 2951001/2951001
489.99/489.60	c cleaning 42007 clauses out of 84022 with flag 2993001/2993001
496.69/496.30	c cleaning 42004 clauses out of 84014 with flag 3035000/3035000
503.59/503.24	c cleaning 41996 clauses out of 84010 with flag 3077000/3077000
510.59/510.26	c cleaning 41997 clauses out of 84014 with flag 3119000/3119000
517.70/517.35	c cleaning 41994 clauses out of 84017 with flag 3161000/3161000
525.41/525.00	c cleaning 42006 clauses out of 84025 with flag 3203002/3203002
532.61/532.21	c cleaning 41990 clauses out of 84018 with flag 3245001/3245001
540.61/540.27	c cleaning 42006 clauses out of 84028 with flag 3287001/3287001
547.52/547.16	c cleaning 42002 clauses out of 84022 with flag 3329001/3329001
554.52/554.17	c cleaning 41986 clauses out of 84019 with flag 3371000/3371000
562.72/562.36	c cleaning 42002 clauses out of 84034 with flag 3413001/3413001
569.62/569.29	c cleaning 42002 clauses out of 84032 with flag 3455001/3455001
576.53/576.18	c cleaning 42003 clauses out of 84029 with flag 3497000/3497000
583.93/583.55	c cleaning 42002 clauses out of 84027 with flag 3539001/3539001
591.43/591.02	c cleaning 41995 clauses out of 84024 with flag 3581000/3581000
599.53/599.13	c cleaning 42006 clauses out of 84029 with flag 3623000/3623000
606.44/606.02	c cleaning 42004 clauses out of 84023 with flag 3665000/3665000
613.44/613.07	c cleaning 41996 clauses out of 84019 with flag 3707000/3707000
620.44/620.02	c cleaning 41995 clauses out of 84024 with flag 3749001/3749001
628.04/627.66	c cleaning 41995 clauses out of 84029 with flag 3791001/3791001
635.55/635.15	c cleaning 42010 clauses out of 84036 with flag 3833003/3833003
642.95/642.51	c cleaning 41995 clauses out of 84023 with flag 3875000/3875000
650.35/649.98	c cleaning 42004 clauses out of 84028 with flag 3917000/3917000
658.26/657.81	c cleaning 42008 clauses out of 84024 with flag 3959000/3959000
665.66/665.23	c cleaning 41999 clauses out of 84018 with flag 4001002/4001002
672.57/672.18	c cleaning 41996 clauses out of 84017 with flag 4043000/4043000
679.26/678.88	c cleaning 42005 clauses out of 84021 with flag 4085000/4085000
686.46/686.01	c cleaning 42001 clauses out of 84017 with flag 4127001/4127001
694.17/693.79	c cleaning 42006 clauses out of 84016 with flag 4169001/4169001
701.67/701.25	c cleaning 41994 clauses out of 84010 with flag 4211001/4211001
708.97/708.58	c cleaning 41993 clauses out of 84016 with flag 4253001/4253001
715.97/715.59	c cleaning 41999 clauses out of 84022 with flag 4295000/4295000
723.77/723.31	c cleaning 41999 clauses out of 84023 with flag 4337000/4337000
731.78/731.34	c cleaning 41993 clauses out of 84024 with flag 4379000/4379000
739.08/738.65	c cleaning 42008 clauses out of 84032 with flag 4421001/4421001
745.98/745.52	c cleaning 41998 clauses out of 84023 with flag 4463000/4463000
753.18/752.72	c cleaning 42001 clauses out of 84025 with flag 4505000/4505000
760.49/760.04	c cleaning 41997 clauses out of 84024 with flag 4547000/4547000
768.39/767.91	c cleaning 42002 clauses out of 84027 with flag 4589000/4589000
775.69/775.23	c cleaning 41999 clauses out of 84026 with flag 4631001/4631001
783.00/782.53	c cleaning 41999 clauses out of 84026 with flag 4673000/4673000
790.51/790.01	c cleaning 41992 clauses out of 84027 with flag 4715000/4715000
798.31/797.84	c cleaning 42007 clauses out of 84035 with flag 4757000/4757000
805.91/805.44	c cleaning 41994 clauses out of 84029 with flag 4799001/4799001
814.11/813.61	c cleaning 42004 clauses out of 84034 with flag 4841000/4841000
821.12/820.66	c cleaning 42007 clauses out of 84030 with flag 4883000/4883000
828.62/828.18	c cleaning 41997 clauses out of 84024 with flag 4925001/4925001
836.53/836.04	c cleaning 41996 clauses out of 84026 with flag 4967000/4967000
844.13/843.70	c cleaning 42007 clauses out of 84031 with flag 5009001/5009001
851.63/851.14	c cleaning 42007 clauses out of 84023 with flag 5051000/5051000
859.03/858.53	c cleaning 41984 clauses out of 84016 with flag 5093000/5093000
866.53/866.02	c cleaning 42006 clauses out of 84032 with flag 5135000/5135000
874.63/874.17	c cleaning 41989 clauses out of 84026 with flag 5177000/5177000
882.34/881.81	c cleaning 42009 clauses out of 84037 with flag 5219000/5219000
890.14/889.60	c cleaning 42004 clauses out of 84029 with flag 5261001/5261001
898.05/897.54	c cleaning 42003 clauses out of 84026 with flag 5303002/5303002
905.75/905.23	c cleaning 42006 clauses out of 84021 with flag 5345000/5345000
912.84/912.33	c cleaning 41993 clauses out of 84015 with flag 5387000/5387000
920.25/919.75	c cleaning 41996 clauses out of 84022 with flag 5429000/5429000
927.95/927.42	c cleaning 42006 clauses out of 84026 with flag 5471000/5471000
935.46/934.97	c cleaning 42004 clauses out of 84021 with flag 5513001/5513001
943.16/942.68	c cleaning 41995 clauses out of 84017 with flag 5555001/5555001
950.66/950.13	c cleaning 41999 clauses out of 84021 with flag 5597000/5597000
958.96/958.42	c cleaning 41995 clauses out of 84024 with flag 5639002/5639002
967.06/966.54	c cleaning 42001 clauses out of 84027 with flag 5681000/5681000
975.36/974.83	c cleaning 41990 clauses out of 84026 with flag 5723000/5723000
984.57/984.01	c cleaning 42004 clauses out of 84036 with flag 5765000/5765000
993.57/993.05	c cleaning 42000 clauses out of 84032 with flag 5807000/5807000
1002.48/1001.99	c cleaning 41998 clauses out of 84032 with flag 5849000/5849000
1009.98/1009.43	c cleaning 42009 clauses out of 84035 with flag 5891001/5891001
1017.08/1016.54	c cleaning 42001 clauses out of 84025 with flag 5933000/5933000
1024.38/1023.80	c cleaning 42005 clauses out of 84025 with flag 5975001/5975001
1031.99/1031.48	c cleaning 42001 clauses out of 84019 with flag 6017000/6017000
1039.69/1039.18	c cleaning 41999 clauses out of 84018 with flag 6059000/6059000
1047.59/1047.09	c cleaning 41994 clauses out of 84021 with flag 6101002/6101002
1055.40/1054.82	c cleaning 41999 clauses out of 84025 with flag 6143000/6143000
1063.10/1062.51	c cleaning 41995 clauses out of 84026 with flag 6185000/6185000
1070.90/1070.31	c cleaning 41998 clauses out of 84031 with flag 6227000/6227000
1078.90/1078.36	c cleaning 42005 clauses out of 84033 with flag 6269000/6269000
1087.00/1086.45	c cleaning 42005 clauses out of 84028 with flag 6311000/6311000
1095.11/1094.58	c cleaning 42004 clauses out of 84024 with flag 6353001/6353001
1103.92/1103.39	c cleaning 41986 clauses out of 84020 with flag 6395001/6395001
1112.51/1111.97	c cleaning 42004 clauses out of 84033 with flag 6437000/6437000
1120.12/1119.53	c cleaning 42007 clauses out of 84031 with flag 6479002/6479002
1127.03/1126.44	c cleaning 42004 clauses out of 84022 with flag 6521000/6521000
1134.32/1133.73	c cleaning 41989 clauses out of 84018 with flag 6563000/6563000
1141.73/1141.20	c cleaning 42006 clauses out of 84029 with flag 6605000/6605000
1149.53/1148.92	c cleaning 41997 clauses out of 84024 with flag 6647001/6647001
1157.13/1156.51	c cleaning 42002 clauses out of 84026 with flag 6689000/6689000
1164.44/1163.85	c cleaning 41997 clauses out of 84024 with flag 6731000/6731000
1172.23/1171.67	c cleaning 41993 clauses out of 84027 with flag 6773000/6773000
1180.34/1179.72	c cleaning 42009 clauses out of 84035 with flag 6815001/6815001
1189.04/1188.47	c cleaning 42008 clauses out of 84025 with flag 6857000/6857000
1197.64/1197.01	c cleaning 41998 clauses out of 84018 with flag 6899001/6899001
1206.45/1205.80	c cleaning 42008 clauses out of 84020 with flag 6941001/6941001
1215.45/1214.87	c cleaning 41994 clauses out of 84012 with flag 6983001/6983001
1223.86/1223.25	c cleaning 41990 clauses out of 84017 with flag 7025000/7025000
1232.05/1231.46	c cleaning 41997 clauses out of 84027 with flag 7067000/7067000
1240.86/1240.23	c cleaning 42008 clauses out of 84030 with flag 7109000/7109000
1248.16/1247.51	c cleaning 42003 clauses out of 84022 with flag 7151000/7151000
1255.26/1254.66	c cleaning 41994 clauses out of 84019 with flag 7193000/7193000
1262.37/1261.74	c cleaning 41996 clauses out of 84025 with flag 7235000/7235000
1269.77/1269.14	c cleaning 42001 clauses out of 84030 with flag 7277001/7277001
1277.37/1276.79	c cleaning 42009 clauses out of 84030 with flag 7319002/7319002
1284.77/1284.16	c cleaning 41997 clauses out of 84020 with flag 7361001/7361001
1292.47/1291.88	c cleaning 41996 clauses out of 84023 with flag 7403001/7403001
1300.18/1299.59	c cleaning 42004 clauses out of 84026 with flag 7445000/7445000
1300.68/1300.01	c starts		: 2408
1300.68/1300.01	c conflicts		: 7447784
1300.68/1300.01	c decisions		: 7955957
1300.68/1300.01	c propagations		: 315430502
1300.68/1300.01	c inspects		: 16331058018
1300.68/1300.01	c shortcuts		: 0
1300.68/1300.01	c learnt literals	: 0
1300.68/1300.01	c learnt binary clauses	: 0
1300.68/1300.01	c learnt ternary clauses	: 0
1300.68/1300.01	c learnt constraints	: 7447784
1300.68/1300.01	c ignored constraints	: 0
1300.68/1300.01	c root simplifications	: 2408
1300.68/1300.01	c removed literals (reason simplification)	: 232948940
1300.68/1300.01	c reason swapping (by a shorter reason)	: 0
1300.68/1300.01	c Calls to reduceDB	: 194
1300.68/1300.01	c speed (assignments/second)	: 242700.82975036703
1300.68/1300.01	c non guided choices	21
1300.68/1300.04	c learnt constraints type 
1300.68/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 44930
1300.68/1300.04	c constraints type 
1300.68/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 41426
1300.68/1300.04	s UNKNOWN
1300.68/1300.04	c Total wall clock time (in seconds) : 1299.833

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.68 3.93 3.94 3/190 26654
/proc/meminfo: memFree=21353836/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=30536 CPUtime=0 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 1254 0 0 0 0 0 0 0 18 0 2 0 466730269 31268864 972 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 7634 972 745 9 0 385 0
[pid=26654/tid=26656] ppid=26651 vsize=30536 CPUtime=0 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) S 26651 26654 26290 0 -1 4202560 139 0 0 0 0 0 0 0 18 0 2 0 466730270 31268864 972 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242965626503 0 2147483391 0 16784584 18446744071699109054 0 0 -1 5 0 0 0

[startup+0.0421131 s]
/proc/loadavg: 3.68 3.93 3.94 3/190 26654
/proc/meminfo: memFree=21353836/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7562296 CPUtime=0.02 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 8478 0 1 0 1 1 0 0 18 0 11 0 466730269 7743791104 8176 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1890574 8176 1606 9 0 1881322 0
[pid=26654/tid=26656] ppid=26651 vsize=7562296 CPUtime=0.01 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) D 26651 26654 26290 0 -1 4202560 7353 0 1 0 1 0 0 0 21 0 11 0 466730270 7743791104 8176 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982378875 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7562296

[startup+0.101102 s]
/proc/loadavg: 3.68 3.93 3.94 3/190 26654
/proc/meminfo: memFree=21353836/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7564488 CPUtime=0.05 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 8959 0 1 0 3 2 0 0 18 0 13 0 466730269 7746035712 8655 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1891122 8655 1687 9 0 1881870 0
[pid=26654/tid=26656] ppid=26651 vsize=7564488 CPUtime=0.04 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) S 26651 26654 26290 0 -1 4202560 7811 0 1 0 2 2 0 0 19 0 13 0 466730270 7746035712 8655 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242970548224 0 2147483391 0 16800971 18446744071699109054 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7564488

[startup+0.301065 s]
/proc/loadavg: 3.68 3.93 3.94 3/190 26654
/proc/meminfo: memFree=21353836/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7573180 CPUtime=0.27 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 11403 0 1 0 25 2 0 0 18 0 18 0 466730269 7754936320 10974 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1893295 10974 2190 9 0 1884033 0
[pid=26654/tid=26656] ppid=26651 vsize=7573180 CPUtime=0.16 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) R 26651 26654 26290 0 -1 4202560 8829 0 1 0 14 2 0 0 23 0 18 0 466730270 7754936320 10975 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982376117 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7573180

[startup+0.70101 s]
/proc/loadavg: 3.68 3.93 3.94 3/190 26654
/proc/meminfo: memFree=21353836/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7641528 CPUtime=0.8 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 14667 0 1 0 77 3 0 0 18 0 19 0 466730269 7824924672 12963 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1910382 12963 2223 9 0 1901120 0
[pid=26654/tid=26656] ppid=26651 vsize=7641528 CPUtime=0.43 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) R 26651 26654 26290 0 -1 4202560 10074 0 1 0 41 2 0 0 25 0 19 0 466730270 7824924672 12963 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 46912505166880 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 7641528

[startup+1.50085 s]
/proc/loadavg: 3.68 3.93 3.94 11/259 26731
/proc/meminfo: memFree=21181776/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7641528 CPUtime=1.67 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 17941 0 1 0 163 4 0 0 18 0 19 0 466730269 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1910382 15889 2252 9 0 1901120 0
[pid=26654/tid=26656] ppid=26651 vsize=7641528 CPUtime=1.18 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) R 26651 26654 26290 0 -1 4202560 10394 0 1 0 116 2 0 0 25 0 19 0 466730270 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 46912505584428 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26654/tid=26669] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26669/stat : 26669 (java) S 26651 26654 26290 0 -1 4202560 647 0 0 0 0 0 0 0 18 0 19 0 466730271 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26670] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26670/stat : 26670 (java) S 26651 26654 26290 0 -1 4202560 627 0 0 0 0 0 0 0 18 0 19 0 466730271 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26671] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26671/stat : 26671 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730271 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26672] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26672/stat : 26672 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730271 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26673] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26673/stat : 26673 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730271 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26674] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26674/stat : 26674 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730271 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26675] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26675/stat : 26675 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730271 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26676] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26676/stat : 26676 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466730271 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26678] ppid=26651 vsize=7641528 CPUtime=0.01 cores=5,7
/proc/26654/task/26678/stat : 26678 (java) S 26651 26654 26290 0 -1 4202560 1273 0 0 0 1 0 0 0 17 0 19 0 466730273 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 0 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26679] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26679/stat : 26679 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730275 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26680] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26680/stat : 26680 (java) S 26651 26654 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730275 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26689] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26689/stat : 26689 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 466730280 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982373809 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26690] ppid=26651 vsize=7641528 CPUtime=0.17 cores=5,7
/proc/26654/task/26690/stat : 26690 (java) S 26651 26654 26290 0 -1 4202560 1338 0 0 0 17 0 0 0 16 0 19 0 466730280 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26691] ppid=26651 vsize=7641528 CPUtime=0.25 cores=5,7
/proc/26654/task/26691/stat : 26691 (java) S 26651 26654 26290 0 -1 4202560 2505 0 0 0 25 0 0 0 15 0 19 0 466730280 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26692] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26692/stat : 26692 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466730280 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26693] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26693/stat : 26693 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730281 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26704] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26704/stat : 26704 (java) S 26651 26654 26290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 466730304 7824924672 15889 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 7641528

[startup+3.10058 s]
/proc/loadavg: 3.68 3.93 3.94 5/260 26732
/proc/meminfo: memFree=21130716/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7641528 CPUtime=3.28 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 18626 0 1 0 324 4 0 0 18 0 19 0 466730269 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1910382 16572 2254 9 0 1901120 0
[pid=26654/tid=26656] ppid=26651 vsize=7641528 CPUtime=2.71 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) R 26651 26654 26290 0 -1 4202560 10397 0 1 0 269 2 0 0 25 0 19 0 466730270 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 46912505621485 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26654/tid=26669] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26669/stat : 26669 (java) S 26651 26654 26290 0 -1 4202560 650 0 0 0 0 0 0 0 15 0 19 0 466730271 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26670] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26670/stat : 26670 (java) S 26651 26654 26290 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 19 0 466730271 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26671] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26671/stat : 26671 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730271 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26672] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26672/stat : 26672 (java) S 26651 26654 26290 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 466730271 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26673] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26673/stat : 26673 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730271 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26674] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26674/stat : 26674 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730271 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26675] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26675/stat : 26675 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 466730271 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26676] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26676/stat : 26676 (java) S 26651 26654 26290 0 -1 4202560 202 0 0 0 0 0 0 0 16 0 19 0 466730271 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26678] ppid=26651 vsize=7641528 CPUtime=0.05 cores=5,7
/proc/26654/task/26678/stat : 26678 (java) S 26651 26654 26290 0 -1 4202560 1594 0 0 0 5 0 0 0 16 0 19 0 466730273 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 0 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26679] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26679/stat : 26679 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730275 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26680] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26680/stat : 26680 (java) S 26651 26654 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730275 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26689] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26689/stat : 26689 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 466730280 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982373809 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26690] ppid=26651 vsize=7641528 CPUtime=0.2 cores=5,7
/proc/26654/task/26690/stat : 26690 (java) S 26651 26654 26290 0 -1 4202560 1340 0 0 0 20 0 0 0 15 0 19 0 466730280 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26691] ppid=26651 vsize=7641528 CPUtime=0.27 cores=5,7
/proc/26654/task/26691/stat : 26691 (java) S 26651 26654 26290 0 -1 4202560 2511 0 0 0 27 0 0 0 15 0 19 0 466730280 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26692] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26692/stat : 26692 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466730280 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26693] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26693/stat : 26693 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730281 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26704] ppid=26651 vsize=7641528 CPUtime=0 cores=5,7
/proc/26654/task/26704/stat : 26704 (java) S 26651 26654 26290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 466730304 7824924672 16572 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 7641528

[startup+6.30103 s]
/proc/loadavg: 3.70 3.93 3.94 5/260 26732
/proc/meminfo: memFree=21123076/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7640072 CPUtime=6.49 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 18943 0 1 0 645 4 0 0 18 0 19 0 466730269 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1910018 16557 2254 9 0 1900756 0
[pid=26654/tid=26656] ppid=26651 vsize=7640072 CPUtime=5.81 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) R 26651 26654 26290 0 -1 4202560 10401 0 1 0 579 2 0 0 25 0 19 0 466730270 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 46912505584355 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26654/tid=26669] ppid=26651 vsize=7640072 CPUtime=0.01 cores=5,7
/proc/26654/task/26669/stat : 26669 (java) S 26651 26654 26290 0 -1 4202560 650 0 0 0 1 0 0 0 16 0 19 0 466730271 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26670] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26670/stat : 26670 (java) S 26651 26654 26290 0 -1 4202560 797 0 0 0 0 0 0 0 15 0 19 0 466730271 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26671] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26671/stat : 26671 (java) S 26651 26654 26290 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 466730271 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26672] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26672/stat : 26672 (java) S 26651 26654 26290 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 466730271 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26673] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26673/stat : 26673 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730271 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26674] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26674/stat : 26674 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730271 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26675] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26675/stat : 26675 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466730271 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26676] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26676/stat : 26676 (java) S 26651 26654 26290 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 19 0 466730271 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26678] ppid=26651 vsize=7640072 CPUtime=0.12 cores=5,7
/proc/26654/task/26678/stat : 26678 (java) S 26651 26654 26290 0 -1 4202560 1787 0 0 0 12 0 0 0 16 0 19 0 466730273 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 0 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26679] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26679/stat : 26679 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730275 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26680] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26680/stat : 26680 (java) S 26651 26654 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730275 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26689] ppid=26651 vsize=7640072 CPUtime=0 cores=5,7
/proc/26654/task/26689/stat : 26689 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 466730280 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982373809 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26690] ppid=26651 vsize=7640072 CPUtime=0.22 cores=5,7
/proc/26654/task/26690/stat : 26690 (java) S 26651 26654 26290 0 -1 4202560 1347 0 0 0 22 0 0 0 15 0 19 0 466730280 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26691] ppid=26651 vsize=7640072 CPUtime=0.27 cores=5,7
/proc/26654/task/26691/stat : 26691 (java) S 26651 26654 26290 0 -1 4202560 2511 0 0 0 27 0 0 0 15 0 19 0 466730280 7823433728 16557 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0

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

[pid=26654/tid=26674] ppid=26651 vsize=7639484 CPUtime=0.1 cores=5,7
/proc/26654/task/26674/stat : 26674 (java) S 26651 26654 26290 0 -1 4202560 15 0 0 0 10 0 0 0 15 0 19 0 466730271 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26675] ppid=26651 vsize=7639484 CPUtime=0.12 cores=5,7
/proc/26654/task/26675/stat : 26675 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 12 0 0 0 16 0 19 0 466730271 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26676] ppid=26651 vsize=7639484 CPUtime=0.11 cores=5,7
/proc/26654/task/26676/stat : 26676 (java) S 26651 26654 26290 0 -1 4202560 570 0 0 0 11 0 0 0 15 0 19 0 466730271 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26678] ppid=26651 vsize=7639484 CPUtime=6.06 cores=5,7
/proc/26654/task/26678/stat : 26678 (java) S 26651 26654 26290 0 -1 4202560 5221 0 0 0 604 2 0 0 15 0 19 0 466730273 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 0 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26679] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26679/stat : 26679 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730275 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26680] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26680/stat : 26680 (java) S 26651 26654 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730275 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26689] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26689/stat : 26689 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 466730280 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982373809 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26690] ppid=26651 vsize=7639484 CPUtime=0.25 cores=5,7
/proc/26654/task/26690/stat : 26690 (java) S 26651 26654 26290 0 -1 4202560 1557 0 0 0 25 0 0 0 15 0 19 0 466730280 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26691] ppid=26651 vsize=7639484 CPUtime=0.27 cores=5,7
/proc/26654/task/26691/stat : 26691 (java) S 26651 26654 26290 0 -1 4202560 2511 0 0 0 27 0 0 0 15 0 19 0 466730280 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26692] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26692/stat : 26692 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466730280 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26693] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26693/stat : 26693 (java) S 26651 26654 26290 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 466730281 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26704] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26704/stat : 26704 (java) S 26651 26654 26290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 466730304 7822831616 21119 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1122.92
Current children cumulated vsize (KiB) 7639484

[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.98 5/260 26810
/proc/meminfo: memFree=21045664/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7639484 CPUtime=1182.94 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 24164 0 1 0 118287 7 0 0 18 0 19 0 466730269 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1909871 21122 2255 9 0 1900609 0
[pid=26654/tid=26656] ppid=26651 vsize=7639484 CPUtime=1174.94 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) R 26651 26654 26290 0 -1 4202560 10735 0 1 0 117491 3 0 0 25 0 19 0 466730270 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 46912505686977 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26654/tid=26669] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26669/stat : 26669 (java) S 26651 26654 26290 0 -1 4202560 674 0 0 0 13 0 0 0 16 0 19 0 466730271 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26670] ppid=26651 vsize=7639484 CPUtime=0.12 cores=5,7
/proc/26654/task/26670/stat : 26670 (java) S 26651 26654 26290 0 -1 4202560 810 0 0 0 12 0 0 0 15 0 19 0 466730271 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26671] ppid=26651 vsize=7639484 CPUtime=0.14 cores=5,7
/proc/26654/task/26671/stat : 26671 (java) S 26651 26654 26290 0 -1 4202560 783 0 0 0 14 0 0 0 15 0 19 0 466730271 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26672] ppid=26651 vsize=7639484 CPUtime=0.15 cores=5,7
/proc/26654/task/26672/stat : 26672 (java) S 26651 26654 26290 0 -1 4202560 21 0 0 0 15 0 0 0 15 0 19 0 466730271 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26673] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26673/stat : 26673 (java) S 26651 26654 26290 0 -1 4202560 24 0 0 0 13 0 0 0 15 0 19 0 466730271 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26674] ppid=26651 vsize=7639484 CPUtime=0.11 cores=5,7
/proc/26654/task/26674/stat : 26674 (java) S 26651 26654 26290 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 466730271 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26675] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26675/stat : 26675 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 13 0 0 0 15 0 19 0 466730271 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26676] ppid=26651 vsize=7639484 CPUtime=0.12 cores=5,7
/proc/26654/task/26676/stat : 26676 (java) S 26651 26654 26290 0 -1 4202560 570 0 0 0 12 0 0 0 16 0 19 0 466730271 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26678] ppid=26651 vsize=7639484 CPUtime=6.37 cores=5,7
/proc/26654/task/26678/stat : 26678 (java) S 26651 26654 26290 0 -1 4202560 5228 0 0 0 635 2 0 0 15 0 19 0 466730273 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 0 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26679] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26679/stat : 26679 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730275 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26680] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26680/stat : 26680 (java) S 26651 26654 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730275 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26689] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26689/stat : 26689 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 466730280 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982373809 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26690] ppid=26651 vsize=7639484 CPUtime=0.25 cores=5,7
/proc/26654/task/26690/stat : 26690 (java) S 26651 26654 26290 0 -1 4202560 1557 0 0 0 25 0 0 0 15 0 19 0 466730280 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26691] ppid=26651 vsize=7639484 CPUtime=0.27 cores=5,7
/proc/26654/task/26691/stat : 26691 (java) S 26651 26654 26290 0 -1 4202560 2511 0 0 0 27 0 0 0 15 0 19 0 466730280 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26692] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26692/stat : 26692 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466730280 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26693] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26693/stat : 26693 (java) S 26651 26654 26290 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 466730281 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26704] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26704/stat : 26704 (java) S 26651 26654 26290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 466730304 7822831616 21122 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1182.94
Current children cumulated vsize (KiB) 7639484

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/260 26811
/proc/meminfo: memFree=21044140/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7639484 CPUtime=1242.96 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 24284 0 1 0 124289 7 0 0 18 0 19 0 466730269 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1909871 21227 2255 9 0 1900609 0
[pid=26654/tid=26656] ppid=26651 vsize=7639484 CPUtime=1234.63 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) R 26651 26654 26290 0 -1 4202560 10742 0 1 0 123460 3 0 0 25 0 19 0 466730270 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 46912505584163 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26654/tid=26669] ppid=26651 vsize=7639484 CPUtime=0.14 cores=5,7
/proc/26654/task/26669/stat : 26669 (java) S 26651 26654 26290 0 -1 4202560 677 0 0 0 14 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26670] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26670/stat : 26670 (java) S 26651 26654 26290 0 -1 4202560 810 0 0 0 13 0 0 0 16 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26671] ppid=26651 vsize=7639484 CPUtime=0.15 cores=5,7
/proc/26654/task/26671/stat : 26671 (java) S 26651 26654 26290 0 -1 4202560 783 0 0 0 15 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26672] ppid=26651 vsize=7639484 CPUtime=0.15 cores=5,7
/proc/26654/task/26672/stat : 26672 (java) S 26651 26654 26290 0 -1 4202560 21 0 0 0 15 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26673] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26673/stat : 26673 (java) S 26651 26654 26290 0 -1 4202560 26 0 0 0 13 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26674] ppid=26651 vsize=7639484 CPUtime=0.12 cores=5,7
/proc/26654/task/26674/stat : 26674 (java) S 26651 26654 26290 0 -1 4202560 19 0 0 0 12 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26675] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26675/stat : 26675 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 13 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26676] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26676/stat : 26676 (java) S 26651 26654 26290 0 -1 4202560 572 0 0 0 13 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26678] ppid=26651 vsize=7639484 CPUtime=6.65 cores=5,7
/proc/26654/task/26678/stat : 26678 (java) S 26651 26654 26290 0 -1 4202560 5326 0 0 0 663 2 0 0 15 0 19 0 466730273 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 0 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26679] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26679/stat : 26679 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730275 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26680] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26680/stat : 26680 (java) S 26651 26654 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730275 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26689] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26689/stat : 26689 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 466730280 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982373809 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26690] ppid=26651 vsize=7639484 CPUtime=0.25 cores=5,7
/proc/26654/task/26690/stat : 26690 (java) S 26651 26654 26290 0 -1 4202560 1557 0 0 0 25 0 0 0 15 0 19 0 466730280 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26691] ppid=26651 vsize=7639484 CPUtime=0.27 cores=5,7
/proc/26654/task/26691/stat : 26691 (java) S 26651 26654 26290 0 -1 4202560 2511 0 0 0 27 0 0 0 15 0 19 0 466730280 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26692] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26692/stat : 26692 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466730280 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26693] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26693/stat : 26693 (java) S 26651 26654 26290 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 466730281 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26704] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26704/stat : 26704 (java) S 26651 26654 26290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 466730304 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1242.96
Current children cumulated vsize (KiB) 7639484



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.98 4/241 26816
/proc/meminfo: memFree=21116912/32951132 swapFree=67111524/67111528
[pid=26654] ppid=26651 vsize=7639484 CPUtime=1300.68 cores=5,7
/proc/26654/stat : 26654 (java) S 26651 26654 26290 0 -1 4202496 24300 0 1 0 130061 7 0 0 18 0 19 0 466730269 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26654/statm: 1909871 21227 2255 9 0 1900609 0
[pid=26654/tid=26656] ppid=26651 vsize=7639484 CPUtime=1292 cores=5,7
/proc/26654/task/26656/stat : 26656 (java) R 26651 26654 26290 0 -1 4202560 10750 0 1 0 129197 3 0 0 25 0 19 0 466730270 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 46912505629887 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26654/tid=26669] ppid=26651 vsize=7639484 CPUtime=0.14 cores=5,7
/proc/26654/task/26669/stat : 26669 (java) S 26651 26654 26290 0 -1 4202560 677 0 0 0 14 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26670] ppid=26651 vsize=7639484 CPUtime=0.14 cores=5,7
/proc/26654/task/26670/stat : 26670 (java) S 26651 26654 26290 0 -1 4202560 810 0 0 0 14 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26671] ppid=26651 vsize=7639484 CPUtime=0.16 cores=5,7
/proc/26654/task/26671/stat : 26671 (java) S 26651 26654 26290 0 -1 4202560 783 0 0 0 16 0 0 0 16 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26672] ppid=26651 vsize=7639484 CPUtime=0.15 cores=5,7
/proc/26654/task/26672/stat : 26672 (java) S 26651 26654 26290 0 -1 4202560 21 0 0 0 15 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26673] ppid=26651 vsize=7639484 CPUtime=0.14 cores=5,7
/proc/26654/task/26673/stat : 26673 (java) S 26651 26654 26290 0 -1 4202560 26 0 0 0 14 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26674] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26674/stat : 26674 (java) S 26651 26654 26290 0 -1 4202560 19 0 0 0 13 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26675] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26675/stat : 26675 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 13 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26676] ppid=26651 vsize=7639484 CPUtime=0.13 cores=5,7
/proc/26654/task/26676/stat : 26676 (java) S 26651 26654 26290 0 -1 4202560 572 0 0 0 13 0 0 0 15 0 19 0 466730271 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26678] ppid=26651 vsize=7639484 CPUtime=6.95 cores=5,7
/proc/26654/task/26678/stat : 26678 (java) S 26651 26654 26290 0 -1 4202560 5330 0 0 0 693 2 0 0 16 0 19 0 466730273 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 0 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26679] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26679/stat : 26679 (java) S 26651 26654 26290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466730275 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26680] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26680/stat : 26680 (java) S 26651 26654 26290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466730275 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26689] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26689/stat : 26689 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 466730280 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982373809 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26690] ppid=26651 vsize=7639484 CPUtime=0.25 cores=5,7
/proc/26654/task/26690/stat : 26690 (java) S 26651 26654 26290 0 -1 4202560 1557 0 0 0 25 0 0 0 15 0 19 0 466730280 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26691] ppid=26651 vsize=7639484 CPUtime=0.27 cores=5,7
/proc/26654/task/26691/stat : 26691 (java) S 26651 26654 26290 0 -1 4202560 2511 0 0 0 27 0 0 0 15 0 19 0 466730280 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26692] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26692/stat : 26692 (java) S 26651 26654 26290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466730280 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366105 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
[pid=26654/tid=26693] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26693/stat : 26693 (java) S 26651 26654 26290 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 466730281 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 7 0 0 0
[pid=26654/tid=26704] ppid=26651 vsize=7639484 CPUtime=0 cores=5,7
/proc/26654/task/26704/stat : 26704 (java) S 26651 26654 26290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 466730304 7822831616 21227 33554432000 1073741824 1073778376 140736381479216 18446744073709551615 242982366720 0 4 0 16800975 18446604463229179776 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1300.68
Current children cumulated vsize (KiB) 7639484

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.07
CPU time (s): 1300.76
CPU user time (s): 1300.67
CPU system time (s): 0.084987
CPU usage (%): 100.053
Max. virtual memory (cumulated for all children) (KiB): 7641528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.67
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24658
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= 32125
involuntary context switches= 8961

runsolver used 2.08968 second user time and 5.03223 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-23 11:35:16
IDJOB=3250598
IDBENCH=83321
IDSOLVER=1611
FILE ID=node128/3250598-1303551316
RUNJOBID= node128-1303551316-26620
PBS_JOBID= 13143154
Free space on /tmp= 66836 MiB

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

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

MD5SUM BENCH= f105570f47bdca662c2d3d185f8dc1f8
RANDOM SEED=251172290

node128.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.82
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	: 5332.82
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      21354256 kB
Buffers:       1314804 kB
Cached:        9552032 kB
SwapCached:          4 kB
Active:        1950168 kB
Inactive:      9009496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      21354256 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1588 kB
Writeback:           0 kB
AnonPages:       92456 kB
Mapped:          21376 kB
Slab:           574000 kB
PageTables:       5960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  7450060 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66832 MiB
End job on node128 at 2011-04-23 11:56:58