Trace number 3190343

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf
MD5SUMdd2bb1255d1ab08cabc4f5bd25c67ddb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.445931
Satisfiable
(Un)Satisfiability was proved
Number of variables5000
Number of clauses21000
Sum of the clauses size63000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 321000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.06/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.07	c See www.sat4j.org for details.
0.06/0.16	c no version file found!!!
0.06/0.16	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.16	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.16	c java.vm.version	19.1-b02
0.06/0.16	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.16	c sun.arch.data.model	64
0.06/0.16	c java.version		1.6.0_24
0.06/0.16	c os.name		Linux
0.06/0.16	c os.version		2.6.18-164.el5
0.06/0.16	c os.arch		amd64
0.06/0.16	c Free memory 		6997539544
0.06/0.16	c Max memory 		7034241024
0.06/0.16	c Total memory 		7034241024
0.06/0.16	c Number of processors 	8
0.06/0.16	c --- Begin Solver configuration ---
0.06/0.16	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.06/0.16	c Learn all clauses as in MiniSAT
0.06/0.16	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.06/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.06/0.16	c Expensive reason simplification
0.06/0.16	c Armin Biere (Picosat) restarts strategy
0.06/0.16	c Glucose learned constraints deletion strategy
0.06/0.16	c timeout=2147483647s
0.06/0.16	c DB Simplification allowed=true
0.06/0.16	c --- End Solver configuration ---
0.06/0.16	c solving HOME/instance-3190343-1302598836.cnf
0.06/0.16	c reading problem ... 
0.22/0.26	c ... done. Wall clock time 0.169s.
0.22/0.26	c #vars     5000
0.22/0.26	c #constraints  21000
0.22/0.26	c constraints type 
0.22/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1.81/1.52	c cleaning 2496 clauses out of 5000 with flag 5000/5000
3.31/2.80	c cleaning 4247 clauses out of 8505 with flag 11001/11001
4.72/4.30	c cleaning 5630 clauses out of 11262 with flag 18005/18005
6.52/6.08	c cleaning 6809 clauses out of 13627 with flag 26000/26000
8.54/8.09	c cleaning 7907 clauses out of 15818 with flag 35000/35000
10.84/10.34	c cleaning 8953 clauses out of 17911 with flag 45000/45000
13.35/12.88	c cleaning 9974 clauses out of 19958 with flag 56000/56000
16.25/15.73	c cleaning 10991 clauses out of 21985 with flag 68001/68001
19.26/18.75	c cleaning 11992 clauses out of 23995 with flag 81002/81002
22.56/22.09	c cleaning 12996 clauses out of 26001 with flag 95000/95000
26.26/25.76	c cleaning 14000 clauses out of 28006 with flag 110001/110001
30.17/29.70	c cleaning 14989 clauses out of 30005 with flag 126000/126000
34.46/33.98	c cleaning 16001 clauses out of 32016 with flag 143000/143000
39.07/38.51	c cleaning 17004 clauses out of 34015 with flag 161000/161000
43.97/43.41	c cleaning 17998 clauses out of 36011 with flag 180000/180000
49.17/48.64	c cleaning 18994 clauses out of 38013 with flag 200000/200000
54.67/54.18	c cleaning 20005 clauses out of 40021 with flag 221002/221002
60.38/59.81	c cleaning 20502 clauses out of 41015 with flag 242001/242001
65.78/65.21	c cleaning 20749 clauses out of 41514 with flag 263002/263002
71.28/70.79	c cleaning 20878 clauses out of 41765 with flag 284002/284002
77.09/76.52	c cleaning 20927 clauses out of 41885 with flag 305000/305000
82.49/81.92	c cleaning 20975 clauses out of 41959 with flag 326001/326001
87.99/87.44	c cleaning 20985 clauses out of 41983 with flag 347000/347000
93.69/93.11	c cleaning 20992 clauses out of 41998 with flag 368000/368000
99.10/98.56	c cleaning 20998 clauses out of 42007 with flag 389001/389001
104.81/104.21	c cleaning 20995 clauses out of 42009 with flag 410001/410001
110.31/109.73	c cleaning 21001 clauses out of 42013 with flag 431000/431000
115.91/115.37	c cleaning 21002 clauses out of 42012 with flag 452000/452000
121.41/120.86	c cleaning 20998 clauses out of 42010 with flag 473000/473000
126.92/126.32	c cleaning 20996 clauses out of 42013 with flag 494001/494001
132.52/131.93	c cleaning 21002 clauses out of 42017 with flag 515001/515001
137.92/137.34	c cleaning 20990 clauses out of 42014 with flag 536000/536000
143.63/143.09	c cleaning 21004 clauses out of 42025 with flag 557001/557001
149.13/148.56	c cleaning 21004 clauses out of 42020 with flag 578000/578000
154.73/154.10	c cleaning 21005 clauses out of 42018 with flag 599002/599002
160.43/159.83	c cleaning 20998 clauses out of 42012 with flag 620001/620001
165.83/165.28	c cleaning 20993 clauses out of 42014 with flag 641001/641001
171.44/170.80	c cleaning 20987 clauses out of 42020 with flag 662000/662000
177.24/176.61	c cleaning 21012 clauses out of 42033 with flag 683000/683000
182.74/182.13	c cleaning 20994 clauses out of 42023 with flag 704002/704002
188.14/187.57	c cleaning 21009 clauses out of 42028 with flag 725001/725001
193.75/193.16	c cleaning 20994 clauses out of 42018 with flag 746000/746000
199.35/198.74	c cleaning 21009 clauses out of 42026 with flag 767002/767002
204.75/204.14	c cleaning 21000 clauses out of 42017 with flag 788002/788002
210.35/209.75	c cleaning 21001 clauses out of 42015 with flag 809000/809000
216.06/215.42	c cleaning 21002 clauses out of 42014 with flag 830000/830000
221.56/220.92	c cleaning 21005 clauses out of 42013 with flag 851001/851001
226.96/226.37	c cleaning 20996 clauses out of 42007 with flag 872000/872000
232.56/232.00	c cleaning 20996 clauses out of 42012 with flag 893001/893001
238.46/237.88	c cleaning 21006 clauses out of 42015 with flag 914000/914000
243.97/243.39	c cleaning 20992 clauses out of 42009 with flag 935000/935000
249.67/249.02	c cleaning 21004 clauses out of 42018 with flag 956001/956001
255.17/254.58	c cleaning 20993 clauses out of 42013 with flag 977000/977000
260.88/260.29	c cleaning 20997 clauses out of 42021 with flag 998001/998001
266.68/266.09	c cleaning 21007 clauses out of 42025 with flag 1019002/1019002
272.29/271.66	c cleaning 20996 clauses out of 42016 with flag 1040000/1040000
277.79/277.20	c cleaning 20998 clauses out of 42021 with flag 1061001/1061001
283.49/282.83	c cleaning 21003 clauses out of 42023 with flag 1082001/1082001
289.09/288.44	c cleaning 20987 clauses out of 42019 with flag 1103000/1103000
294.89/294.30	c cleaning 21008 clauses out of 42032 with flag 1124000/1124000
300.50/299.84	c cleaning 21002 clauses out of 42024 with flag 1145000/1145000
306.00/305.30	c cleaning 21002 clauses out of 42022 with flag 1166000/1166000
311.70/311.05	c cleaning 20999 clauses out of 42021 with flag 1187001/1187001
317.41/316.75	c cleaning 20986 clauses out of 42021 with flag 1208000/1208000
323.11/322.40	c cleaning 21002 clauses out of 42036 with flag 1229001/1229001
328.61/327.97	c cleaning 21013 clauses out of 42034 with flag 1250001/1250001
334.21/333.51	c cleaning 20998 clauses out of 42020 with flag 1271000/1271000
339.82/339.12	c cleaning 21002 clauses out of 42022 with flag 1292000/1292000
345.52/344.85	c cleaning 21005 clauses out of 42021 with flag 1313001/1313001
351.22/350.53	c cleaning 20998 clauses out of 42016 with flag 1334001/1334001
356.93/356.27	c cleaning 20998 clauses out of 42017 with flag 1355000/1355000
362.64/361.93	c cleaning 21002 clauses out of 42019 with flag 1376000/1376000
368.04/367.39	c cleaning 21004 clauses out of 42018 with flag 1397001/1397001
373.54/372.89	c cleaning 21001 clauses out of 42015 with flag 1418002/1418002
379.34/378.62	c cleaning 21000 clauses out of 42012 with flag 1439000/1439000
385.24/384.54	c cleaning 20991 clauses out of 42013 with flag 1460001/1460001
391.14/390.44	c cleaning 21000 clauses out of 42021 with flag 1481000/1481000
397.14/396.46	c cleaning 21002 clauses out of 42021 with flag 1502000/1502000
402.74/402.01	c cleaning 21001 clauses out of 42019 with flag 1523000/1523000
408.34/407.64	c cleaning 21004 clauses out of 42023 with flag 1544005/1544005
413.84/413.10	c cleaning 20997 clauses out of 42014 with flag 1565000/1565000
419.54/418.80	c cleaning 20989 clauses out of 42017 with flag 1586000/1586000
425.44/424.71	c cleaning 21006 clauses out of 42028 with flag 1607000/1607000
431.44/430.77	c cleaning 20994 clauses out of 42022 with flag 1628000/1628000
437.54/436.87	c cleaning 20997 clauses out of 42028 with flag 1649000/1649000
443.34/442.66	c cleaning 21004 clauses out of 42031 with flag 1670000/1670000
448.94/448.20	c cleaning 21007 clauses out of 42029 with flag 1691002/1691002
454.45/453.79	c cleaning 21002 clauses out of 42020 with flag 1712000/1712000
460.15/459.42	c cleaning 21005 clauses out of 42019 with flag 1733001/1733001
465.85/465.14	c cleaning 21003 clauses out of 42013 with flag 1754000/1754000
471.66/470.99	c cleaning 20999 clauses out of 42010 with flag 1775000/1775000
477.76/477.02	c cleaning 20992 clauses out of 42014 with flag 1796003/1796003
483.76/483.06	c cleaning 21005 clauses out of 42019 with flag 1817000/1817000
489.76/489.03	c cleaning 21002 clauses out of 42014 with flag 1838000/1838000
495.17/494.49	c cleaning 20995 clauses out of 42012 with flag 1859000/1859000
500.67/499.97	c cleaning 20987 clauses out of 42017 with flag 1880000/1880000
506.38/505.60	c cleaning 21000 clauses out of 42030 with flag 1901000/1901000
512.19/511.41	c cleaning 20990 clauses out of 42030 with flag 1922000/1922000
518.19/517.49	c cleaning 21015 clauses out of 42041 with flag 1943001/1943001
524.19/523.49	c cleaning 21004 clauses out of 42025 with flag 1964000/1964000
530.10/529.33	c cleaning 21002 clauses out of 42024 with flag 1985003/1985003
536.00/535.22	c cleaning 21004 clauses out of 42021 with flag 2006002/2006002
541.91/541.12	c cleaning 21002 clauses out of 42015 with flag 2027000/2027000
547.30/546.59	c cleaning 20997 clauses out of 42013 with flag 2048000/2048000
553.01/552.30	c cleaning 21002 clauses out of 42016 with flag 2069000/2069000
558.71/557.91	c cleaning 20997 clauses out of 42014 with flag 2090000/2090000
564.51/563.79	c cleaning 21000 clauses out of 42017 with flag 2111000/2111000
570.42/569.70	c cleaning 21002 clauses out of 42017 with flag 2132000/2132000
576.52/575.73	c cleaning 20984 clauses out of 42015 with flag 2153000/2153000
582.63/581.86	c cleaning 21000 clauses out of 42031 with flag 2174000/2174000
588.63/587.88	c cleaning 20997 clauses out of 42031 with flag 2195000/2195000
594.74/593.98	c cleaning 20997 clauses out of 42034 with flag 2216000/2216000
600.53/599.79	c cleaning 21010 clauses out of 42039 with flag 2237002/2237002
606.24/605.40	c cleaning 21007 clauses out of 42031 with flag 2258004/2258004
611.84/611.02	c cleaning 21001 clauses out of 42020 with flag 2279000/2279000
617.44/616.66	c cleaning 20990 clauses out of 42019 with flag 2300000/2300000
623.24/622.47	c cleaning 21009 clauses out of 42029 with flag 2321000/2321000
629.15/628.30	c cleaning 20988 clauses out of 42021 with flag 2342001/2342001
635.05/634.21	c cleaning 21006 clauses out of 42032 with flag 2363000/2363000
640.96/640.14	c cleaning 20998 clauses out of 42026 with flag 2384000/2384000
647.06/646.23	c cleaning 21005 clauses out of 42029 with flag 2405001/2405001
653.36/652.51	c cleaning 20992 clauses out of 42023 with flag 2426000/2426000
659.77/658.92	c cleaning 21007 clauses out of 42031 with flag 2447000/2447000
665.37/664.56	c cleaning 21005 clauses out of 42025 with flag 2468001/2468001
670.97/670.17	c cleaning 21004 clauses out of 42019 with flag 2489000/2489000
676.67/675.88	c cleaning 21002 clauses out of 42017 with flag 2510002/2510002
682.37/681.59	c cleaning 20994 clauses out of 42013 with flag 2531000/2531000
688.17/687.36	c cleaning 21002 clauses out of 42020 with flag 2552001/2552001
693.98/693.13	c cleaning 20997 clauses out of 42017 with flag 2573000/2573000
699.88/699.02	c cleaning 21001 clauses out of 42021 with flag 2594001/2594001
705.78/705.00	c cleaning 21001 clauses out of 42020 with flag 2615001/2615001
711.78/710.91	c cleaning 20982 clauses out of 42018 with flag 2636000/2636000
718.09/717.27	c cleaning 21012 clauses out of 42037 with flag 2657001/2657001
724.60/723.80	c cleaning 21010 clauses out of 42027 with flag 2678003/2678003
731.30/730.44	c cleaning 20994 clauses out of 42015 with flag 2699001/2699001
736.90/736.09	c cleaning 21002 clauses out of 42020 with flag 2720000/2720000
742.50/741.65	c cleaning 21008 clauses out of 42019 with flag 2741001/2741001
748.00/747.17	c cleaning 20996 clauses out of 42011 with flag 2762001/2762001
753.81/752.90	c cleaning 20995 clauses out of 42014 with flag 2783000/2783000
759.61/758.70	c cleaning 20997 clauses out of 42020 with flag 2804001/2804001
765.42/764.51	c cleaning 20999 clauses out of 42022 with flag 2825000/2825000
771.02/770.19	c cleaning 20997 clauses out of 42023 with flag 2846000/2846000
776.92/776.09	c cleaning 21005 clauses out of 42028 with flag 2867002/2867002
783.32/782.43	c cleaning 20999 clauses out of 42022 with flag 2888001/2888001
789.83/788.99	c cleaning 20998 clauses out of 42022 with flag 2909000/2909000
796.03/795.14	c cleaning 21002 clauses out of 42025 with flag 2930001/2930001
802.64/801.70	c cleaning 21005 clauses out of 42025 with flag 2951003/2951003
809.35/808.40	c cleaning 20998 clauses out of 42018 with flag 2972001/2972001
814.95/814.10	c cleaning 20999 clauses out of 42019 with flag 2993000/2993000
820.55/819.61	c cleaning 20998 clauses out of 42022 with flag 3014002/3014002
826.05/825.15	c cleaning 21005 clauses out of 42026 with flag 3035004/3035004
831.85/830.91	c cleaning 21003 clauses out of 42017 with flag 3056000/3056000
837.55/836.65	c cleaning 20997 clauses out of 42015 with flag 3077001/3077001
843.26/842.39	c cleaning 21001 clauses out of 42018 with flag 3098001/3098001
849.16/848.25	c cleaning 20997 clauses out of 42018 with flag 3119002/3119002
855.37/854.42	c cleaning 21004 clauses out of 42019 with flag 3140000/3140000
861.37/860.47	c cleaning 20998 clauses out of 42016 with flag 3161001/3161001
867.87/866.94	c cleaning 20989 clauses out of 42018 with flag 3182001/3182001
874.28/873.38	c cleaning 20995 clauses out of 42028 with flag 3203000/3203000
880.89/879.93	c cleaning 21004 clauses out of 42035 with flag 3224002/3224002
887.29/886.33	c cleaning 20992 clauses out of 42030 with flag 3245001/3245001
893.39/892.40	c cleaning 21001 clauses out of 42037 with flag 3266000/3266000
899.39/898.45	c cleaning 21010 clauses out of 42037 with flag 3287001/3287001
904.90/903.99	c cleaning 21000 clauses out of 42028 with flag 3308002/3308002
910.50/909.58	c cleaning 21002 clauses out of 42027 with flag 3329001/3329001
916.30/915.32	c cleaning 21006 clauses out of 42025 with flag 3350001/3350001
922.00/921.07	c cleaning 20996 clauses out of 42018 with flag 3371000/3371000
927.81/926.83	c cleaning 21001 clauses out of 42022 with flag 3392000/3392000
933.72/932.74	c cleaning 20996 clauses out of 42021 with flag 3413000/3413000
939.61/938.65	c cleaning 20994 clauses out of 42025 with flag 3434000/3434000
945.82/944.82	c cleaning 20996 clauses out of 42031 with flag 3455000/3455000
951.82/950.83	c cleaning 21007 clauses out of 42035 with flag 3476000/3476000
957.82/956.81	c cleaning 20998 clauses out of 42029 with flag 3497001/3497001
963.73/962.77	c cleaning 21002 clauses out of 42034 with flag 3518004/3518004
969.63/968.69	c cleaning 20996 clauses out of 42030 with flag 3539002/3539002
975.83/974.83	c cleaning 21011 clauses out of 42033 with flag 3560001/3560001
982.44/981.41	c cleaning 21004 clauses out of 42023 with flag 3581002/3581002
988.64/987.64	c cleaning 20990 clauses out of 42017 with flag 3602000/3602000
994.65/993.61	c cleaning 21005 clauses out of 42027 with flag 3623000/3623000
1000.15/999.10	c cleaning 21002 clauses out of 42023 with flag 3644001/3644001
1005.75/1004.75	c cleaning 20995 clauses out of 42020 with flag 3665000/3665000
1011.56/1010.54	c cleaning 20999 clauses out of 42025 with flag 3686000/3686000
1017.16/1016.16	c cleaning 20994 clauses out of 42026 with flag 3707000/3707000
1022.98/1021.92	c cleaning 21005 clauses out of 42035 with flag 3728003/3728003
1028.97/1027.93	c cleaning 20997 clauses out of 42028 with flag 3749001/3749001
1035.08/1034.05	c cleaning 21005 clauses out of 42030 with flag 3770000/3770000
1041.08/1040.01	c cleaning 21005 clauses out of 42026 with flag 3791001/3791001
1046.99/1046.00	c cleaning 21004 clauses out of 42024 with flag 3812004/3812004
1052.99/1051.93	c cleaning 20983 clauses out of 42016 with flag 3833000/3833000
1059.00/1057.95	c cleaning 21007 clauses out of 42033 with flag 3854000/3854000
1064.90/1063.87	c cleaning 20974 clauses out of 42026 with flag 3875000/3875000
1071.00/1069.94	c cleaning 21009 clauses out of 42054 with flag 3896002/3896002
1077.61/1076.54	c cleaning 21018 clauses out of 42043 with flag 3917000/3917000
1084.31/1083.30	c cleaning 21012 clauses out of 42026 with flag 3938001/3938001
1090.31/1089.25	c cleaning 20983 clauses out of 42017 with flag 3959004/3959004
1096.92/1095.80	c cleaning 20996 clauses out of 42032 with flag 3980002/3980002
1102.52/1101.44	c cleaning 21016 clauses out of 42035 with flag 4001001/4001001
1108.12/1107.00	c cleaning 21003 clauses out of 42018 with flag 4022000/4022000
1113.72/1112.64	c cleaning 20988 clauses out of 42015 with flag 4043000/4043000
1119.43/1118.39	c cleaning 21003 clauses out of 42027 with flag 4064000/4064000
1125.33/1124.23	c cleaning 20994 clauses out of 42024 with flag 4085000/4085000
1131.13/1130.06	c cleaning 21003 clauses out of 42030 with flag 4106000/4106000
1137.24/1136.12	c cleaning 21009 clauses out of 42028 with flag 4127001/4127001
1143.24/1142.11	c cleaning 20992 clauses out of 42020 with flag 4148002/4148002
1149.55/1148.48	c cleaning 21010 clauses out of 42027 with flag 4169001/4169001
1155.85/1154.77	c cleaning 20993 clauses out of 42016 with flag 4190000/4190000
1162.15/1161.03	c cleaning 21009 clauses out of 42023 with flag 4211000/4211000
1168.45/1167.35	c cleaning 20998 clauses out of 42014 with flag 4232000/4232000
1174.76/1173.70	c cleaning 20996 clauses out of 42016 with flag 4253000/4253000
1181.16/1180.01	c cleaning 21002 clauses out of 42021 with flag 4274001/4274001
1187.26/1186.15	c cleaning 20997 clauses out of 42018 with flag 4295000/4295000
1194.07/1192.97	c cleaning 21007 clauses out of 42023 with flag 4316002/4316002
1200.47/1199.31	c cleaning 20988 clauses out of 42015 with flag 4337001/4337001
1206.48/1205.39	c cleaning 20996 clauses out of 42027 with flag 4358001/4358001
1213.18/1212.06	c cleaning 20986 clauses out of 42030 with flag 4379000/4379000
1218.98/1217.87	c cleaning 21008 clauses out of 42044 with flag 4400000/4400000
1224.49/1223.35	c cleaning 21009 clauses out of 42037 with flag 4421001/4421001
1230.09/1229.00	c cleaning 20999 clauses out of 42029 with flag 4442002/4442002
1235.89/1234.71	c cleaning 20990 clauses out of 42029 with flag 4463001/4463001
1241.80/1240.60	c cleaning 21011 clauses out of 42038 with flag 4484000/4484000
1247.80/1246.66	c cleaning 20994 clauses out of 42028 with flag 4505001/4505001
1254.01/1252.80	c cleaning 20996 clauses out of 42034 with flag 4526001/4526001
1260.12/1258.92	c cleaning 21008 clauses out of 42037 with flag 4547000/4547000
1266.02/1264.81	c cleaning 21000 clauses out of 42030 with flag 4568001/4568001
1272.12/1270.97	c cleaning 20984 clauses out of 42029 with flag 4589000/4589000
1278.43/1277.21	c cleaning 21007 clauses out of 42045 with flag 4610000/4610000
1284.43/1283.29	c cleaning 21008 clauses out of 42038 with flag 4631000/4631000
1290.54/1289.38	c cleaning 21000 clauses out of 42030 with flag 4652000/4652000
1296.44/1295.24	c cleaning 20998 clauses out of 42031 with flag 4673001/4673001
1301.25/1300.01	c starts		: 2077
1301.25/1300.01	c conflicts		: 4688817
1301.25/1300.01	c decisions		: 7023334
1301.25/1300.01	c propagations		: 1525092809
1301.25/1300.01	c inspects		: 7628394136
1301.25/1300.01	c shortcuts		: 0
1301.25/1300.01	c learnt literals	: 0
1301.25/1300.01	c learnt binary clauses	: 0
1301.25/1300.01	c learnt ternary clauses	: 82
1301.25/1300.01	c learnt constraints	: 4688818
1301.25/1300.01	c ignored constraints	: 0
1301.25/1300.01	c root simplifications	: 2077
1301.25/1300.01	c removed literals (reason simplification)	: 83903167
1301.25/1300.01	c reason swapping (by a shorter reason)	: 0
1301.25/1300.01	c Calls to reduceDB	: 229
1301.25/1300.01	c speed (assignments/second)	: 1173375.928256862
1301.25/1300.01	c non guided choices	443
1301.25/1300.03	c learnt constraints type 
1301.25/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36879
1301.25/1300.03	c constraints type 
1301.25/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1301.25/1300.03	s UNKNOWN
1301.25/1300.03	c Total wall clock time (in seconds) : 1299.918

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 3.68 3.97 4.34 7/220 14153
/proc/meminfo: memFree=14662752/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=11760 CPUtime=0 cores=4,6
/proc/14153/stat : 14153 (runsolver) R 14151 14153 13835 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 371485975 12042240 50 33554432000 4194304 5392636 140737459866048 18446744073709551615 4838247 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/14153/statm: 2940 50 30 293 0 2644 0

[startup+0.0770181 s]
/proc/loadavg: 3.68 3.97 4.34 7/220 14153
/proc/meminfo: memFree=14662752/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7569940 CPUtime=0.06 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 9439 0 1 0 5 1 0 0 25 0 18 0 371485975 7751618560 9133 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1892485 9133 1754 9 0 1883223 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7569940

[startup+0.194708 s]
/proc/loadavg: 3.68 3.97 4.34 7/220 14153
/proc/meminfo: memFree=14662752/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7573328 CPUtime=0.17 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 11237 0 1 0 16 1 0 0 25 0 18 0 371485975 7755087872 10931 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1893332 10931 2165 9 0 1884070 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7573328

[startup+0.300717 s]
/proc/loadavg: 3.68 3.97 4.34 7/220 14153
/proc/meminfo: memFree=14662752/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7574392 CPUtime=0.34 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 11914 0 1 0 33 1 0 0 25 0 19 0 371485975 7756177408 11563 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1893598 11563 2204 9 0 1884336 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 7574392

[startup+0.700674 s]
/proc/loadavg: 3.68 3.97 4.34 7/220 14153
/proc/meminfo: memFree=14662752/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7577296 CPUtime=0.97 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 13540 0 1 0 96 1 0 0 25 0 19 0 371485975 7759151104 12612 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1894324 12612 2223 9 0 1885062 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 7577296

[startup+1.50153 s]
/proc/loadavg: 3.68 3.97 4.34 5/262 14195
/proc/meminfo: memFree=14500792/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7577296 CPUtime=1.81 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 14122 0 1 0 180 1 0 0 25 0 19 0 371485975 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1894324 13109 2226 9 0 1885062 0
[pid=14153/tid=14168] ppid=14151 vsize=7577296 CPUtime=1.41 cores=4,6
/proc/14153/task/14168/stat : 14168 (java) R 14151 14153 13835 0 -1 4202560 10124 0 1 0 140 1 0 0 25 0 19 0 371485977 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 46912505681633 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14153/tid=14172] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14172/stat : 14172 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485978 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14173] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14173/stat : 14173 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485978 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14174] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14174/stat : 14174 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485978 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14175] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14175/stat : 14175 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485978 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14176] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14176/stat : 14176 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485978 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14177] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14177/stat : 14177 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485978 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14178] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14178/stat : 14178 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485978 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14179] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14179/stat : 14179 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485978 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14180] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14180/stat : 14180 (java) S 14151 14153 13835 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 371485979 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 0 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14181] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14181/stat : 14181 (java) S 14151 14153 13835 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 371485979 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14182] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14182/stat : 14182 (java) S 14151 14153 13835 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371485979 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14188] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14188/stat : 14188 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447840689 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14189] ppid=14151 vsize=7577296 CPUtime=0.14 cores=4,6
/proc/14153/task/14189/stat : 14189 (java) S 14151 14153 13835 0 -1 4202560 1637 0 0 0 14 0 0 0 22 0 19 0 371485981 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14190] ppid=14151 vsize=7577296 CPUtime=0.25 cores=4,6
/proc/14153/task/14190/stat : 14190 (java) S 14151 14153 13835 0 -1 4202560 1197 0 0 0 25 0 0 0 19 0 19 0 371485981 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14191] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14191/stat : 14191 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14192] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14192/stat : 14192 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371485981 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14194] ppid=14151 vsize=7577296 CPUtime=0 cores=4,6
/proc/14153/task/14194/stat : 14194 (java) S 14151 14153 13835 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371486003 7759151104 13109 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 7577296

[startup+3.10125 s]
/proc/loadavg: 3.68 3.97 4.34 5/262 14195
/proc/meminfo: memFree=14464712/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7665232 CPUtime=3.62 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 23950 0 1 0 360 2 0 0 25 0 19 0 371485975 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1916308 21000 2254 9 0 1907046 0
[pid=14153/tid=14168] ppid=14151 vsize=7665232 CPUtime=2.94 cores=4,6
/proc/14153/task/14168/stat : 14168 (java) R 14151 14153 13835 0 -1 4202560 10130 0 1 0 293 1 0 0 25 0 19 0 371485977 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 46912505575938 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14153/tid=14172] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14172/stat : 14172 (java) S 14151 14153 13835 0 -1 4202560 482 0 0 0 0 0 0 0 18 0 19 0 371485978 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14173] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14173/stat : 14173 (java) S 14151 14153 13835 0 -1 4202560 394 0 0 0 0 0 0 0 18 0 19 0 371485978 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14174] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14174/stat : 14174 (java) S 14151 14153 13835 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 371485978 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14175] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14175/stat : 14175 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371485978 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14176] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14176/stat : 14176 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371485978 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14177] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14177/stat : 14177 (java) S 14151 14153 13835 0 -1 4202560 309 0 0 0 0 0 0 0 18 0 19 0 371485978 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14178] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14178/stat : 14178 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371485978 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14179] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14179/stat : 14179 (java) S 14151 14153 13835 0 -1 4202560 382 0 0 0 0 0 0 0 16 0 19 0 371485978 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14180] ppid=14151 vsize=7665232 CPUtime=0.03 cores=4,6
/proc/14153/task/14180/stat : 14180 (java) S 14151 14153 13835 0 -1 4202560 1108 0 0 0 3 0 0 0 16 0 19 0 371485979 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 0 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14181] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14181/stat : 14181 (java) S 14151 14153 13835 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371485979 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14182] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14182/stat : 14182 (java) S 14151 14153 13835 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371485979 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14188] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14188/stat : 14188 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447840689 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14189] ppid=14151 vsize=7665232 CPUtime=0.33 cores=4,6
/proc/14153/task/14189/stat : 14189 (java) S 14151 14153 13835 0 -1 4202560 8700 0 0 0 33 0 0 0 16 0 19 0 371485981 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14190] ppid=14151 vsize=7665232 CPUtime=0.27 cores=4,6
/proc/14153/task/14190/stat : 14190 (java) S 14151 14153 13835 0 -1 4202560 1237 0 0 0 27 0 0 0 16 0 19 0 371485981 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14191] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14191/stat : 14191 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14192] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14192/stat : 14192 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371485981 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14194] ppid=14151 vsize=7665232 CPUtime=0 cores=4,6
/proc/14153/task/14194/stat : 14194 (java) S 14151 14153 13835 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371486003 7849197568 21000 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 7665232

[startup+6.30059 s]
/proc/loadavg: 3.70 3.97 4.34 5/262 14195
/proc/meminfo: memFree=14437060/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7656644 CPUtime=6.84 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 24810 0 1 0 681 3 0 0 25 0 19 0 371485975 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1914161 20110 2254 9 0 1904899 0
[pid=14153/tid=14168] ppid=14151 vsize=7656644 CPUtime=6.07 cores=4,6
/proc/14153/task/14168/stat : 14168 (java) R 14151 14153 13835 0 -1 4202560 10132 0 1 0 606 1 0 0 25 0 19 0 371485977 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 46912505761860 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14153/tid=14172] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14172/stat : 14172 (java) S 14151 14153 13835 0 -1 4202560 541 0 0 0 0 0 0 0 16 0 19 0 371485978 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14173] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14173/stat : 14173 (java) S 14151 14153 13835 0 -1 4202560 398 0 0 0 0 0 0 0 15 0 19 0 371485978 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14174] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14174/stat : 14174 (java) S 14151 14153 13835 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 371485978 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14175] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14175/stat : 14175 (java) S 14151 14153 13835 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 371485978 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14176] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14176/stat : 14176 (java) S 14151 14153 13835 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371485978 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14177] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14177/stat : 14177 (java) S 14151 14153 13835 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 371485978 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14178] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14178/stat : 14178 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371485978 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14179] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14179/stat : 14179 (java) S 14151 14153 13835 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 19 0 371485978 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14180] ppid=14151 vsize=7656644 CPUtime=0.07 cores=4,6
/proc/14153/task/14180/stat : 14180 (java) S 14151 14153 13835 0 -1 4202560 1244 0 0 0 7 0 0 0 15 0 19 0 371485979 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 0 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14181] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14181/stat : 14181 (java) S 14151 14153 13835 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14182] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14182/stat : 14182 (java) S 14151 14153 13835 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14188] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14188/stat : 14188 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447840689 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14189] ppid=14151 vsize=7656644 CPUtime=0.34 cores=4,6
/proc/14153/task/14189/stat : 14189 (java) S 14151 14153 13835 0 -1 4202560 8700 0 0 0 34 0 0 0 15 0 19 0 371485981 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14190] ppid=14151 vsize=7656644 CPUtime=0.3 cores=4,6
/proc/14153/task/14190/stat : 14190 (java) S 14151 14153 13835 0 -1 4202560 1685 0 0 0 30 0 0 0 15 0 19 0 371485981 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14191] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14191/stat : 14191 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14192] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14192/stat : 14192 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371485981 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14194] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14194/stat : 14194 (java) S 14151 14153 13835 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371486003 7840403456 20110 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 7656644

[startup+12.7014 s]

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

[pid=14153/tid=14177] ppid=14151 vsize=7656644 CPUtime=0.17 cores=4,6
/proc/14153/task/14177/stat : 14177 (java) S 14151 14153 13835 0 -1 4202560 1090 0 0 0 17 0 0 0 15 0 19 0 371485978 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14178] ppid=14151 vsize=7656644 CPUtime=0.2 cores=4,6
/proc/14153/task/14178/stat : 14178 (java) S 14151 14153 13835 0 -1 4202560 192 0 0 0 20 0 0 0 15 0 19 0 371485978 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14179] ppid=14151 vsize=7656644 CPUtime=0.15 cores=4,6
/proc/14153/task/14179/stat : 14179 (java) S 14151 14153 13835 0 -1 4202560 388 0 0 0 15 0 0 0 15 0 19 0 371485978 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14180] ppid=14151 vsize=7656644 CPUtime=5.59 cores=4,6
/proc/14153/task/14180/stat : 14180 (java) S 14151 14153 13835 0 -1 4202560 4010 0 0 0 558 1 0 0 15 0 19 0 371485979 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 0 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14181] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14181/stat : 14181 (java) S 14151 14153 13835 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14182] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14182/stat : 14182 (java) S 14151 14153 13835 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14188] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14188/stat : 14188 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447840689 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14189] ppid=14151 vsize=7656644 CPUtime=0.34 cores=4,6
/proc/14153/task/14189/stat : 14189 (java) S 14151 14153 13835 0 -1 4202560 8700 0 0 0 34 0 0 0 15 0 19 0 371485981 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14190] ppid=14151 vsize=7656644 CPUtime=0.32 cores=4,6
/proc/14153/task/14190/stat : 14190 (java) S 14151 14153 13835 0 -1 4202560 2161 0 0 0 32 0 0 0 15 0 19 0 371485981 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14191] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14191/stat : 14191 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14192] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14192/stat : 14192 (java) S 14151 14153 13835 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371485981 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14194] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14194/stat : 14194 (java) S 14151 14153 13835 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371486003 7840403456 26539 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1123.43
Current children cumulated vsize (KiB) 7656644

[startup+1182.3 s]
/proc/loadavg: 4.06 4.03 4.09 5/262 14238
/proc/meminfo: memFree=13991592/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7656644 CPUtime=1183.46 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 32169 0 1 0 118340 6 0 0 25 0 19 0 371485975 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1914161 26655 2255 9 0 1904899 0
[pid=14153/tid=14168] ppid=14151 vsize=7656644 CPUtime=1175.35 cores=4,6
/proc/14153/task/14168/stat : 14168 (java) R 14151 14153 13835 0 -1 4202560 12155 0 1 0 117533 2 0 0 25 0 19 0 371485977 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 46912505585101 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14153/tid=14172] ppid=14151 vsize=7656644 CPUtime=0.22 cores=4,6
/proc/14153/task/14172/stat : 14172 (java) S 14151 14153 13835 0 -1 4202560 692 0 0 0 22 0 0 0 15 0 19 0 371485978 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14173] ppid=14151 vsize=7656644 CPUtime=0.22 cores=4,6
/proc/14153/task/14173/stat : 14173 (java) S 14151 14153 13835 0 -1 4202560 548 0 0 0 22 0 0 0 15 0 19 0 371485978 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14174] ppid=14151 vsize=7656644 CPUtime=0.14 cores=4,6
/proc/14153/task/14174/stat : 14174 (java) S 14151 14153 13835 0 -1 4202560 355 0 0 0 14 0 0 0 15 0 19 0 371485978 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14175] ppid=14151 vsize=7656644 CPUtime=0.18 cores=4,6
/proc/14153/task/14175/stat : 14175 (java) S 14151 14153 13835 0 -1 4202560 422 0 0 0 18 0 0 0 15 0 19 0 371485978 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14176] ppid=14151 vsize=7656644 CPUtime=0.15 cores=4,6
/proc/14153/task/14176/stat : 14176 (java) S 14151 14153 13835 0 -1 4202560 118 0 0 0 15 0 0 0 15 0 19 0 371485978 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14177] ppid=14151 vsize=7656644 CPUtime=0.18 cores=4,6
/proc/14153/task/14177/stat : 14177 (java) S 14151 14153 13835 0 -1 4202560 1090 0 0 0 18 0 0 0 15 0 19 0 371485978 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14178] ppid=14151 vsize=7656644 CPUtime=0.21 cores=4,6
/proc/14153/task/14178/stat : 14178 (java) S 14151 14153 13835 0 -1 4202560 193 0 0 0 21 0 0 0 15 0 19 0 371485978 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14179] ppid=14151 vsize=7656644 CPUtime=0.16 cores=4,6
/proc/14153/task/14179/stat : 14179 (java) S 14151 14153 13835 0 -1 4202560 388 0 0 0 16 0 0 0 15 0 19 0 371485978 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14180] ppid=14151 vsize=7656644 CPUtime=5.9 cores=4,6
/proc/14153/task/14180/stat : 14180 (java) S 14151 14153 13835 0 -1 4202560 4126 0 0 0 589 1 0 0 15 0 19 0 371485979 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 0 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14181] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14181/stat : 14181 (java) S 14151 14153 13835 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14182] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14182/stat : 14182 (java) S 14151 14153 13835 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14188] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14188/stat : 14188 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447840689 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14189] ppid=14151 vsize=7656644 CPUtime=0.34 cores=4,6
/proc/14153/task/14189/stat : 14189 (java) S 14151 14153 13835 0 -1 4202560 8700 0 0 0 34 0 0 0 15 0 19 0 371485981 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14190] ppid=14151 vsize=7656644 CPUtime=0.32 cores=4,6
/proc/14153/task/14190/stat : 14190 (java) S 14151 14153 13835 0 -1 4202560 2161 0 0 0 32 0 0 0 15 0 19 0 371485981 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14191] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14191/stat : 14191 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14192] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14192/stat : 14192 (java) S 14151 14153 13835 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371485981 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14194] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14194/stat : 14194 (java) S 14151 14153 13835 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371486003 7840403456 26655 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1183.46
Current children cumulated vsize (KiB) 7656644

[startup+1242.3 s]
/proc/loadavg: 4.05 4.04 4.09 5/262 14240
/proc/meminfo: memFree=13982596/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7656644 CPUtime=1243.5 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 32270 0 1 0 124344 6 0 0 25 0 19 0 371485975 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1914161 26738 2255 9 0 1904899 0
[pid=14153/tid=14168] ppid=14151 vsize=7656644 CPUtime=1234.99 cores=4,6
/proc/14153/task/14168/stat : 14168 (java) R 14151 14153 13835 0 -1 4202560 12165 0 1 0 123497 2 0 0 25 0 19 0 371485977 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 46912505634133 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14153/tid=14172] ppid=14151 vsize=7656644 CPUtime=0.23 cores=4,6
/proc/14153/task/14172/stat : 14172 (java) S 14151 14153 13835 0 -1 4202560 692 0 0 0 23 0 0 0 15 0 19 0 371485978 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14173] ppid=14151 vsize=7656644 CPUtime=0.23 cores=4,6
/proc/14153/task/14173/stat : 14173 (java) S 14151 14153 13835 0 -1 4202560 548 0 0 0 23 0 0 0 15 0 19 0 371485978 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14174] ppid=14151 vsize=7656644 CPUtime=0.16 cores=4,6
/proc/14153/task/14174/stat : 14174 (java) S 14151 14153 13835 0 -1 4202560 356 0 0 0 16 0 0 0 15 0 19 0 371485978 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14175] ppid=14151 vsize=7656644 CPUtime=0.2 cores=4,6
/proc/14153/task/14175/stat : 14175 (java) S 14151 14153 13835 0 -1 4202560 423 0 0 0 20 0 0 0 16 0 19 0 371485978 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14176] ppid=14151 vsize=7656644 CPUtime=0.15 cores=4,6
/proc/14153/task/14176/stat : 14176 (java) S 14151 14153 13835 0 -1 4202560 118 0 0 0 15 0 0 0 15 0 19 0 371485978 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14177] ppid=14151 vsize=7656644 CPUtime=0.19 cores=4,6
/proc/14153/task/14177/stat : 14177 (java) S 14151 14153 13835 0 -1 4202560 1090 0 0 0 19 0 0 0 15 0 19 0 371485978 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14178] ppid=14151 vsize=7656644 CPUtime=0.21 cores=4,6
/proc/14153/task/14178/stat : 14178 (java) S 14151 14153 13835 0 -1 4202560 194 0 0 0 21 0 0 0 15 0 19 0 371485978 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14179] ppid=14151 vsize=7656644 CPUtime=0.16 cores=4,6
/proc/14153/task/14179/stat : 14179 (java) S 14151 14153 13835 0 -1 4202560 388 0 0 0 16 0 0 0 15 0 19 0 371485978 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14180] ppid=14151 vsize=7656644 CPUtime=6.22 cores=4,6
/proc/14153/task/14180/stat : 14180 (java) S 14151 14153 13835 0 -1 4202560 4210 0 0 0 621 1 0 0 15 0 19 0 371485979 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 0 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14181] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14181/stat : 14181 (java) S 14151 14153 13835 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14182] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14182/stat : 14182 (java) S 14151 14153 13835 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14188] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14188/stat : 14188 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447840689 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14189] ppid=14151 vsize=7656644 CPUtime=0.34 cores=4,6
/proc/14153/task/14189/stat : 14189 (java) S 14151 14153 13835 0 -1 4202560 8700 0 0 0 34 0 0 0 15 0 19 0 371485981 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14190] ppid=14151 vsize=7656644 CPUtime=0.32 cores=4,6
/proc/14153/task/14190/stat : 14190 (java) S 14151 14153 13835 0 -1 4202560 2161 0 0 0 32 0 0 0 15 0 19 0 371485981 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14191] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14191/stat : 14191 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14192] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14192/stat : 14192 (java) S 14151 14153 13835 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371485981 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14194] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14194/stat : 14194 (java) S 14151 14153 13835 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371486003 7840403456 26738 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1243.5
Current children cumulated vsize (KiB) 7656644



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.03 4.08 5/245 14247
/proc/meminfo: memFree=14052496/32951124 swapFree=67111528/67111528
[pid=14153] ppid=14151 vsize=7656644 CPUtime=1301.25 cores=4,6
/proc/14153/stat : 14153 (java) S 14151 14153 13835 0 -1 4202496 32352 0 1 0 130118 7 0 0 25 0 19 0 371485975 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14153/statm: 1914161 26805 2255 9 0 1904899 0
[pid=14153/tid=14168] ppid=14151 vsize=7656644 CPUtime=1292.37 cores=4,6
/proc/14153/task/14168/stat : 14168 (java) R 14151 14153 13835 0 -1 4202560 12174 0 1 0 129235 2 0 0 25 0 19 0 371485977 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 46912505585076 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14153/tid=14172] ppid=14151 vsize=7656644 CPUtime=0.24 cores=4,6
/proc/14153/task/14172/stat : 14172 (java) S 14151 14153 13835 0 -1 4202560 692 0 0 0 24 0 0 0 15 0 19 0 371485978 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14173] ppid=14151 vsize=7656644 CPUtime=0.25 cores=4,6
/proc/14153/task/14173/stat : 14173 (java) S 14151 14153 13835 0 -1 4202560 549 0 0 0 25 0 0 0 15 0 19 0 371485978 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14174] ppid=14151 vsize=7656644 CPUtime=0.16 cores=4,6
/proc/14153/task/14174/stat : 14174 (java) S 14151 14153 13835 0 -1 4202560 356 0 0 0 16 0 0 0 15 0 19 0 371485978 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14175] ppid=14151 vsize=7656644 CPUtime=0.2 cores=4,6
/proc/14153/task/14175/stat : 14175 (java) S 14151 14153 13835 0 -1 4202560 423 0 0 0 20 0 0 0 16 0 19 0 371485978 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14176] ppid=14151 vsize=7656644 CPUtime=0.16 cores=4,6
/proc/14153/task/14176/stat : 14176 (java) S 14151 14153 13835 0 -1 4202560 118 0 0 0 16 0 0 0 15 0 19 0 371485978 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14177] ppid=14151 vsize=7656644 CPUtime=0.21 cores=4,6
/proc/14153/task/14177/stat : 14177 (java) S 14151 14153 13835 0 -1 4202560 1090 0 0 0 21 0 0 0 15 0 19 0 371485978 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14178] ppid=14151 vsize=7656644 CPUtime=0.22 cores=4,6
/proc/14153/task/14178/stat : 14178 (java) S 14151 14153 13835 0 -1 4202560 194 0 0 0 22 0 0 0 15 0 19 0 371485978 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14179] ppid=14151 vsize=7656644 CPUtime=0.18 cores=4,6
/proc/14153/task/14179/stat : 14179 (java) S 14151 14153 13835 0 -1 4202560 390 0 0 0 18 0 0 0 15 0 19 0 371485978 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14180] ppid=14151 vsize=7656644 CPUtime=6.5 cores=4,6
/proc/14153/task/14180/stat : 14180 (java) S 14151 14153 13835 0 -1 4202560 4276 0 0 0 649 1 0 0 15 0 19 0 371485979 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 0 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14181] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14181/stat : 14181 (java) S 14151 14153 13835 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14182] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14182/stat : 14182 (java) S 14151 14153 13835 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371485979 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14188] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14188/stat : 14188 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447840689 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14189] ppid=14151 vsize=7656644 CPUtime=0.34 cores=4,6
/proc/14153/task/14189/stat : 14189 (java) S 14151 14153 13835 0 -1 4202560 8700 0 0 0 34 0 0 0 15 0 19 0 371485981 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14190] ppid=14151 vsize=7656644 CPUtime=0.32 cores=4,6
/proc/14153/task/14190/stat : 14190 (java) S 14151 14153 13835 0 -1 4202560 2161 0 0 0 32 0 0 0 15 0 19 0 371485981 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
[pid=14153/tid=14191] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14191/stat : 14191 (java) S 14151 14153 13835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371485981 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447832985 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14192] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14192/stat : 14192 (java) S 14151 14153 13835 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371485981 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 6 0 0 0
[pid=14153/tid=14194] ppid=14151 vsize=7656644 CPUtime=0 cores=4,6
/proc/14153/task/14194/stat : 14194 (java) S 14151 14153 13835 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371486003 7840403456 26805 33554432000 1073741824 1073778376 140734394676384 18446744073709551615 212447833600 0 4 0 16800975 18446604443419308480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1301.25
Current children cumulated vsize (KiB) 7656644

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

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

Child status: 143
Real time (s): 1300.04
CPU time (s): 1301.3
CPU user time (s): 1301.23
CPU system time (s): 0.075988
CPU usage (%): 100.097
Max. virtual memory (cumulated for all children) (KiB): 7665232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.23
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32603
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= 33021
involuntary context switches= 12025

runsolver used 2.31565 second user time and 4.80927 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-12 11:00:36
IDJOB=3190343
IDBENCH=82674
IDSOLVER=1611
FILE ID=node102/3190343-1302598836
RUNJOBID= node102-1302597533-13854
PBS_JOBID= 12958104
Free space on /tmp= 71972 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3190343-1302598836/watcher-3190343-1302598836 -o /tmp/evaluation-result-3190343-1302598836/solver-3190343-1302598836 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190343-1302598836.cnf

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

MD5SUM BENCH= dd2bb1255d1ab08cabc4f5bd25c67ddb
RANDOM SEED=1356786114

node102.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.828
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.65
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.828
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	: 5226.15
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.828
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.828
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.828
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.828
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14667604 kB
Buffers:        705488 kB
Cached:       17048516 kB
SwapCached:          0 kB
Active:        9550444 kB
Inactive:      8339784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14667604 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6312 kB
Writeback:           0 kB
AnonPages:      135512 kB
Mapped:          23240 kB
Slab:           328244 kB
PageTables:       5944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 17147164 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= 71972 MiB
End job on node102 at 2011-04-12 11:22:18