Trace number 3263096

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.21 1300.05

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
MD5SUMad30956261e72142648a01bc7c025dba
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 variables85
Number of clauses29282
Sum of the clauses size292650
Maximum clause length10
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 534
Number of clauses of size over 529248

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		6997539544
0.00/0.07	c Max memory 		7034241024
0.00/0.07	c Total memory 		7034241024
0.00/0.07	c Number of processors 	8
0.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.09	c Expensive reason simplification
0.00/0.09	c Armin Biere (Picosat) restarts strategy
0.00/0.09	c Glucose learned constraints deletion strategy
0.00/0.09	c timeout=2147483647s
0.00/0.09	c DB Simplification allowed=true
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3263096-1303563868.cnf
0.00/0.09	c reading problem ... 
0.26/0.21	c ... done. Wall clock time 0.118s.
0.26/0.21	c #vars     85
0.26/0.21	c #constraints  29282
0.26/0.21	c constraints type 
0.26/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29282
1.15/0.79	c cleaning 2498 clauses out of 5000 with flag 5000/5000
1.99/1.33	c cleaning 4244 clauses out of 8503 with flag 11001/11001
2.69/2.06	c cleaning 5626 clauses out of 11258 with flag 18000/18000
3.70/3.03	c cleaning 6815 clauses out of 13633 with flag 26001/26001
4.91/4.21	c cleaning 7910 clauses out of 15819 with flag 35002/35002
6.12/5.49	c cleaning 8946 clauses out of 17907 with flag 45000/45000
7.72/7.02	c cleaning 9977 clauses out of 19963 with flag 56002/56002
9.53/8.83	c cleaning 10989 clauses out of 21987 with flag 68003/68003
11.52/10.90	c cleaning 11998 clauses out of 23995 with flag 81000/81000
13.52/12.80	c cleaning 12996 clauses out of 25997 with flag 95000/95000
15.52/14.80	c cleaning 13998 clauses out of 28001 with flag 110000/110000
17.92/17.28	c cleaning 14993 clauses out of 30003 with flag 126000/126000
20.32/19.64	c cleaning 15996 clauses out of 32011 with flag 143001/143001
23.33/22.62	c cleaning 17009 clauses out of 34017 with flag 161003/161003
26.33/25.65	c cleaning 17996 clauses out of 36006 with flag 180001/180001
29.83/29.16	c cleaning 18993 clauses out of 38009 with flag 200000/200000
33.74/33.02	c cleaning 20004 clauses out of 40017 with flag 221001/221001
38.05/37.37	c cleaning 21004 clauses out of 42012 with flag 243000/243000
43.05/42.34	c cleaning 22001 clauses out of 44008 with flag 266000/266000
48.06/47.37	c cleaning 23004 clauses out of 46007 with flag 290000/290000
53.35/52.64	c cleaning 24000 clauses out of 48004 with flag 315001/315001
58.96/58.24	c cleaning 25000 clauses out of 50005 with flag 341002/341002
64.96/64.27	c cleaning 26002 clauses out of 52003 with flag 368000/368000
70.66/69.99	c cleaning 26993 clauses out of 54002 with flag 396001/396001
76.76/76.02	c cleaning 28003 clauses out of 56008 with flag 425000/425000
83.46/82.75	c cleaning 28999 clauses out of 58005 with flag 455000/455000
90.27/89.60	c cleaning 29503 clauses out of 59007 with flag 485001/485001
97.77/97.00	c cleaning 29746 clauses out of 59504 with flag 515001/515001
104.17/103.42	c cleaning 29872 clauses out of 59757 with flag 545000/545000
112.07/111.38	c cleaning 29937 clauses out of 59887 with flag 575002/575002
119.07/118.39	c cleaning 29973 clauses out of 59948 with flag 605000/605000
124.98/124.25	c cleaning 29981 clauses out of 59976 with flag 635001/635001
131.38/130.60	c cleaning 29991 clauses out of 59995 with flag 665001/665001
138.68/137.95	c cleaning 29993 clauses out of 60004 with flag 695001/695001
145.78/145.01	c cleaning 29996 clauses out of 60012 with flag 725002/725002
153.28/152.51	c cleaning 30000 clauses out of 60014 with flag 755000/755000
159.89/159.15	c cleaning 29996 clauses out of 60014 with flag 785000/785000
166.90/166.18	c cleaning 29998 clauses out of 60018 with flag 815000/815000
174.99/174.20	c cleaning 30007 clauses out of 60022 with flag 845002/845002
181.99/181.22	c cleaning 30000 clauses out of 60015 with flag 875002/875002
189.30/188.50	c cleaning 30005 clauses out of 60017 with flag 905004/905004
197.30/196.59	c cleaning 29998 clauses out of 60008 with flag 935000/935000
204.51/203.78	c cleaning 29998 clauses out of 60011 with flag 965001/965001
211.41/210.60	c cleaning 30000 clauses out of 60013 with flag 995001/995001
219.01/218.24	c cleaning 29993 clauses out of 60012 with flag 1025000/1025000
226.41/225.64	c cleaning 30001 clauses out of 60019 with flag 1055000/1055000
233.31/232.59	c cleaning 29999 clauses out of 60018 with flag 1085000/1085000
239.42/238.61	c cleaning 29999 clauses out of 60019 with flag 1115000/1115000
245.62/244.80	c cleaning 30003 clauses out of 60021 with flag 1145001/1145001
251.72/250.96	c cleaning 29999 clauses out of 60018 with flag 1175001/1175001
258.32/257.50	c cleaning 29996 clauses out of 60018 with flag 1205000/1205000
264.73/263.91	c cleaning 30002 clauses out of 60022 with flag 1235000/1235000
271.02/270.22	c cleaning 30005 clauses out of 60020 with flag 1265000/1265000
277.93/277.19	c cleaning 30001 clauses out of 60016 with flag 1295001/1295001
285.13/284.31	c cleaning 29999 clauses out of 60014 with flag 1325000/1325000
292.03/291.20	c cleaning 30006 clauses out of 60016 with flag 1355001/1355001
298.94/298.15	c cleaning 29997 clauses out of 60009 with flag 1385000/1385000
304.63/303.84	c cleaning 30001 clauses out of 60012 with flag 1415000/1415000
310.73/309.94	c cleaning 29999 clauses out of 60013 with flag 1445002/1445002
317.64/316.81	c cleaning 29990 clauses out of 60012 with flag 1475000/1475000
324.53/323.76	c cleaning 30002 clauses out of 60023 with flag 1505001/1505001
331.64/330.81	c cleaning 30005 clauses out of 60020 with flag 1535000/1535000
338.84/338.05	c cleaning 29999 clauses out of 60015 with flag 1565000/1565000
345.44/344.66	c cleaning 29999 clauses out of 60017 with flag 1595001/1595001
352.44/351.66	c cleaning 29996 clauses out of 60018 with flag 1625001/1625001
359.14/358.37	c cleaning 30003 clauses out of 60022 with flag 1655001/1655001
366.74/365.96	c cleaning 30004 clauses out of 60018 with flag 1685000/1685000
373.65/372.82	c cleaning 30002 clauses out of 60016 with flag 1715002/1715002
380.04/379.29	c cleaning 29994 clauses out of 60012 with flag 1745000/1745000
386.44/385.63	c cleaning 29992 clauses out of 60019 with flag 1775001/1775001
392.95/392.10	c cleaning 30005 clauses out of 60026 with flag 1805000/1805000
400.05/399.28	c cleaning 30001 clauses out of 60022 with flag 1835001/1835001
407.75/406.95	c cleaning 30005 clauses out of 60020 with flag 1865000/1865000
413.76/412.98	c cleaning 30001 clauses out of 60015 with flag 1895000/1895000
420.86/420.06	c cleaning 30000 clauses out of 60016 with flag 1925002/1925002
427.96/427.19	c cleaning 29999 clauses out of 60014 with flag 1955000/1955000
434.76/433.92	c cleaning 30000 clauses out of 60016 with flag 1985001/1985001
441.67/440.88	c cleaning 30000 clauses out of 60015 with flag 2015000/2015000
449.47/448.63	c cleaning 29995 clauses out of 60015 with flag 2045000/2045000
456.07/455.23	c cleaning 30008 clauses out of 60022 with flag 2075002/2075002
463.07/462.28	c cleaning 30000 clauses out of 60013 with flag 2105001/2105001
469.48/468.65	c cleaning 29993 clauses out of 60012 with flag 2135000/2135000
476.17/475.34	c cleaning 29995 clauses out of 60019 with flag 2165000/2165000
483.27/482.46	c cleaning 30007 clauses out of 60025 with flag 2195001/2195001
489.68/488.89	c cleaning 30002 clauses out of 60017 with flag 2225000/2225000
496.68/495.80	c cleaning 30005 clauses out of 60016 with flag 2255001/2255001
502.68/501.90	c cleaning 30001 clauses out of 60011 with flag 2285001/2285001
509.78/508.98	c cleaning 29995 clauses out of 60010 with flag 2315001/2315001
516.08/515.26	c cleaning 30001 clauses out of 60015 with flag 2345001/2345001
522.98/522.18	c cleaning 30000 clauses out of 60013 with flag 2375000/2375000
530.59/529.72	c cleaning 29998 clauses out of 60013 with flag 2405000/2405000
538.09/537.28	c cleaning 29993 clauses out of 60015 with flag 2435000/2435000
546.29/545.48	c cleaning 30004 clauses out of 60022 with flag 2465000/2465000
554.69/553.81	c cleaning 30002 clauses out of 60021 with flag 2495003/2495003
561.99/561.18	c cleaning 29998 clauses out of 60016 with flag 2525000/2525000
569.69/568.86	c cleaning 29992 clauses out of 60018 with flag 2555000/2555000
577.50/576.65	c cleaning 30009 clauses out of 60027 with flag 2585001/2585001
585.00/584.14	c cleaning 29996 clauses out of 60017 with flag 2615000/2615000
592.80/591.92	c cleaning 29999 clauses out of 60021 with flag 2645000/2645000
599.40/598.55	c cleaning 29996 clauses out of 60024 with flag 2675002/2675002
607.01/606.17	c cleaning 30005 clauses out of 60027 with flag 2705001/2705001
615.01/614.15	c cleaning 30005 clauses out of 60021 with flag 2735000/2735000
623.21/622.36	c cleaning 29996 clauses out of 60016 with flag 2765000/2765000
630.81/629.92	c cleaning 29997 clauses out of 60020 with flag 2795000/2795000
638.62/637.76	c cleaning 30005 clauses out of 60024 with flag 2825001/2825001
646.42/645.58	c cleaning 30002 clauses out of 60020 with flag 2855002/2855002
653.32/652.44	c cleaning 30004 clauses out of 60018 with flag 2885002/2885002
659.22/658.34	c cleaning 29991 clauses out of 60013 with flag 2915001/2915001
663.92/663.06	c cleaning 29998 clauses out of 60022 with flag 2945001/2945001
669.03/668.16	c cleaning 29990 clauses out of 60023 with flag 2975000/2975000
673.93/673.09	c cleaning 30005 clauses out of 60033 with flag 3005000/3005000
678.83/677.91	c cleaning 30007 clauses out of 60029 with flag 3035001/3035001
684.04/683.12	c cleaning 30007 clauses out of 60022 with flag 3065001/3065001
688.74/687.87	c cleaning 29996 clauses out of 60016 with flag 3095002/3095002
693.94/693.09	c cleaning 30003 clauses out of 60018 with flag 3125000/3125000
699.54/698.62	c cleaning 29997 clauses out of 60015 with flag 3155000/3155000
704.85/703.90	c cleaning 30005 clauses out of 60021 with flag 3185003/3185003
710.24/709.35	c cleaning 29998 clauses out of 60013 with flag 3215000/3215000
715.45/714.50	c cleaning 30000 clauses out of 60016 with flag 3245001/3245001
720.55/719.69	c cleaning 29998 clauses out of 60017 with flag 3275002/3275002
726.05/725.17	c cleaning 29994 clauses out of 60017 with flag 3305000/3305000
732.15/731.25	c cleaning 30000 clauses out of 60024 with flag 3335001/3335001
737.55/736.70	c cleaning 30003 clauses out of 60023 with flag 3365000/3365000
743.25/742.35	c cleaning 30000 clauses out of 60022 with flag 3395002/3395002
747.56/746.61	c cleaning 30002 clauses out of 60020 with flag 3425000/3425000
752.26/751.38	c cleaning 29999 clauses out of 60019 with flag 3455001/3455001
756.86/755.96	c cleaning 30002 clauses out of 60020 with flag 3485001/3485001
762.16/761.23	c cleaning 30002 clauses out of 60018 with flag 3515001/3515001
767.46/766.52	c cleaning 29994 clauses out of 60016 with flag 3545001/3545001
772.76/771.83	c cleaning 30002 clauses out of 60022 with flag 3575001/3575001
778.16/777.20	c cleaning 29999 clauses out of 60019 with flag 3605000/3605000
784.37/783.42	c cleaning 29998 clauses out of 60020 with flag 3635000/3635000
789.97/789.05	c cleaning 30000 clauses out of 60022 with flag 3665000/3665000
796.57/795.69	c cleaning 29992 clauses out of 60023 with flag 3695001/3695001
801.78/800.81	c cleaning 29989 clauses out of 60030 with flag 3725000/3725000
807.07/806.13	c cleaning 30012 clauses out of 60041 with flag 3755000/3755000
812.08/811.18	c cleaning 30002 clauses out of 60029 with flag 3785000/3785000
817.78/816.81	c cleaning 30008 clauses out of 60027 with flag 3815000/3815000
822.58/821.60	c cleaning 30000 clauses out of 60020 with flag 3845001/3845001
827.88/826.94	c cleaning 29998 clauses out of 60020 with flag 3875001/3875001
832.88/831.99	c cleaning 30000 clauses out of 60021 with flag 3905000/3905000
838.38/837.49	c cleaning 30003 clauses out of 60022 with flag 3935001/3935001
842.28/841.30	c cleaning 29998 clauses out of 60019 with flag 3965001/3965001
846.69/845.78	c cleaning 30001 clauses out of 60020 with flag 3995000/3995000
851.69/850.75	c cleaning 29998 clauses out of 60019 with flag 4025000/4025000
856.99/856.08	c cleaning 30003 clauses out of 60022 with flag 4055001/4055001
861.99/861.07	c cleaning 29998 clauses out of 60018 with flag 4085000/4085000
867.29/866.34	c cleaning 29995 clauses out of 60020 with flag 4115000/4115000
873.50/872.59	c cleaning 30002 clauses out of 60026 with flag 4145001/4145001
879.80/878.84	c cleaning 29996 clauses out of 60023 with flag 4175000/4175000
886.10/885.10	c cleaning 30002 clauses out of 60027 with flag 4205000/4205000
890.91/889.97	c cleaning 30000 clauses out of 60026 with flag 4235001/4235001
894.90/893.98	c cleaning 29998 clauses out of 60025 with flag 4265000/4265000
899.90/898.94	c cleaning 30002 clauses out of 60027 with flag 4295000/4295000
905.21/904.28	c cleaning 30000 clauses out of 60026 with flag 4325001/4325001
910.91/909.90	c cleaning 29995 clauses out of 60026 with flag 4355001/4355001
916.31/915.35	c cleaning 29994 clauses out of 60030 with flag 4385000/4385000
922.31/921.36	c cleaning 30013 clauses out of 60038 with flag 4415002/4415002
929.51/928.60	c cleaning 29994 clauses out of 60023 with flag 4445000/4445000
935.42/934.40	c cleaning 30009 clauses out of 60031 with flag 4475002/4475002
941.62/940.68	c cleaning 30005 clauses out of 60020 with flag 4505000/4505000
947.82/946.89	c cleaning 30000 clauses out of 60016 with flag 4535001/4535001
954.02/953.04	c cleaning 29996 clauses out of 60015 with flag 4565000/4565000
960.42/959.47	c cleaning 30001 clauses out of 60019 with flag 4595000/4595000
966.63/965.67	c cleaning 29986 clauses out of 60018 with flag 4625000/4625000
972.93/971.92	c cleaning 30007 clauses out of 60032 with flag 4655000/4655000
978.33/977.34	c cleaning 30001 clauses out of 60026 with flag 4685001/4685001
984.03/983.06	c cleaning 30006 clauses out of 60026 with flag 4715002/4715002
989.93/988.99	c cleaning 29996 clauses out of 60018 with flag 4745000/4745000
995.63/994.62	c cleaning 30003 clauses out of 60024 with flag 4775002/4775002
1001.94/1000.96	c cleaning 29998 clauses out of 60020 with flag 4805001/4805001
1007.44/1006.46	c cleaning 30006 clauses out of 60021 with flag 4835000/4835000
1013.14/1012.15	c cleaning 29989 clauses out of 60015 with flag 4865000/4865000
1019.64/1018.66	c cleaning 30003 clauses out of 60028 with flag 4895002/4895002
1025.04/1024.07	c cleaning 30006 clauses out of 60024 with flag 4925001/4925001
1029.94/1028.91	c cleaning 30000 clauses out of 60018 with flag 4955001/4955001
1035.84/1034.84	c cleaning 29998 clauses out of 60018 with flag 4985001/4985001
1041.14/1040.15	c cleaning 29993 clauses out of 60020 with flag 5015001/5015001
1048.04/1047.06	c cleaning 30004 clauses out of 60026 with flag 5045000/5045000
1054.14/1053.18	c cleaning 30001 clauses out of 60023 with flag 5075001/5075001
1060.55/1059.50	c cleaning 29999 clauses out of 60021 with flag 5105000/5105000
1065.25/1064.27	c cleaning 29998 clauses out of 60022 with flag 5135000/5135000
1070.26/1069.23	c cleaning 29993 clauses out of 60024 with flag 5165000/5165000
1074.76/1073.70	c cleaning 30004 clauses out of 60031 with flag 5195000/5195000
1080.46/1079.41	c cleaning 30004 clauses out of 60028 with flag 5225001/5225001
1085.47/1084.50	c cleaning 30005 clauses out of 60024 with flag 5255001/5255001
1090.17/1089.18	c cleaning 29989 clauses out of 60018 with flag 5285000/5285000
1094.67/1093.65	c cleaning 30008 clauses out of 60031 with flag 5315002/5315002
1100.67/1099.65	c cleaning 30001 clauses out of 60021 with flag 5345000/5345000
1106.97/1105.96	c cleaning 29996 clauses out of 60021 with flag 5375001/5375001
1111.67/1110.70	c cleaning 30008 clauses out of 60025 with flag 5405001/5405001
1116.77/1115.80	c cleaning 29996 clauses out of 60018 with flag 5435002/5435002
1121.38/1120.34	c cleaning 29995 clauses out of 60022 with flag 5465002/5465002
1125.78/1124.77	c cleaning 29999 clauses out of 60025 with flag 5495000/5495000
1130.69/1129.61	c cleaning 29999 clauses out of 60029 with flag 5525003/5525003
1135.58/1134.58	c cleaning 29990 clauses out of 60028 with flag 5555001/5555001
1140.18/1139.19	c cleaning 30008 clauses out of 60037 with flag 5585000/5585000
1144.99/1143.95	c cleaning 30003 clauses out of 60029 with flag 5615000/5615000
1149.98/1148.92	c cleaning 30004 clauses out of 60027 with flag 5645001/5645001
1154.99/1153.92	c cleaning 29996 clauses out of 60024 with flag 5675002/5675002
1159.79/1158.76	c cleaning 30005 clauses out of 60026 with flag 5705000/5705000
1164.69/1163.63	c cleaning 29997 clauses out of 60021 with flag 5735000/5735000
1169.19/1168.20	c cleaning 30004 clauses out of 60024 with flag 5765000/5765000
1173.89/1172.86	c cleaning 30000 clauses out of 60020 with flag 5795000/5795000
1178.19/1177.14	c cleaning 29994 clauses out of 60020 with flag 5825000/5825000
1182.89/1181.86	c cleaning 30000 clauses out of 60026 with flag 5855000/5855000
1188.40/1187.35	c cleaning 29997 clauses out of 60026 with flag 5885000/5885000
1194.20/1193.11	c cleaning 30002 clauses out of 60030 with flag 5915001/5915001
1199.90/1198.80	c cleaning 30006 clauses out of 60027 with flag 5945000/5945000
1205.20/1204.16	c cleaning 29999 clauses out of 60021 with flag 5975000/5975000
1210.70/1209.67	c cleaning 29993 clauses out of 60022 with flag 6005000/6005000
1215.41/1214.38	c cleaning 29995 clauses out of 60029 with flag 6035000/6035000
1220.50/1219.49	c cleaning 30003 clauses out of 60034 with flag 6065000/6065000
1227.00/1225.95	c cleaning 30007 clauses out of 60032 with flag 6095001/6095001
1233.20/1232.15	c cleaning 30002 clauses out of 60025 with flag 6125001/6125001
1238.61/1237.50	c cleaning 30004 clauses out of 60022 with flag 6155000/6155000
1244.01/1242.92	c cleaning 30004 clauses out of 60018 with flag 6185000/6185000
1249.40/1248.36	c cleaning 29998 clauses out of 60014 with flag 6215000/6215000
1254.61/1253.59	c cleaning 30001 clauses out of 60017 with flag 6245001/6245001
1260.61/1259.53	c cleaning 29997 clauses out of 60016 with flag 6275001/6275001
1265.91/1264.87	c cleaning 29998 clauses out of 60020 with flag 6305002/6305002
1271.81/1270.72	c cleaning 29999 clauses out of 60021 with flag 6335001/6335001
1278.12/1277.04	c cleaning 30000 clauses out of 60022 with flag 6365001/6365001
1283.31/1282.23	c cleaning 29990 clauses out of 60023 with flag 6395002/6395002
1288.52/1287.46	c cleaning 29998 clauses out of 60031 with flag 6425000/6425000
1293.92/1292.85	c cleaning 29998 clauses out of 60033 with flag 6455000/6455000
1298.32/1297.27	c cleaning 30010 clauses out of 60036 with flag 6485001/6485001
1301.13/1300.01	c starts		: 2321
1301.13/1300.01	c conflicts		: 6506825
1301.13/1300.01	c decisions		: 7658157
1301.13/1300.01	c propagations		: 53000659
1301.13/1300.01	c inspects		: 18315423923
1301.13/1300.01	c shortcuts		: 0
1301.13/1300.01	c learnt literals	: 0
1301.13/1300.01	c learnt binary clauses	: 0
1301.13/1300.01	c learnt ternary clauses	: 0
1301.13/1300.01	c learnt constraints	: 6506825
1301.13/1300.01	c ignored constraints	: 0
1301.13/1300.01	c root simplifications	: 2321
1301.13/1300.01	c removed literals (reason simplification)	: 34304881
1301.13/1300.01	c reason swapping (by a shorter reason)	: 0
1301.13/1300.01	c Calls to reduceDB	: 227
1301.13/1300.01	c speed (assignments/second)	: 40775.94818287709
1301.13/1300.01	c non guided choices	1767
1301.13/1300.03	c learnt constraints type 
1301.13/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 51880
1301.13/1300.03	c constraints type 
1301.13/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29282
1301.13/1300.03	s UNKNOWN
1301.13/1300.03	c Total wall clock time (in seconds) : 1299.921

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-3263096-1303563868/watcher-3263096-1303563868 -o /tmp/evaluation-result-3263096-1303563868/solver-3263096-1303563868 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3263096-1303563868.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 4.01 2/180 14000
/proc/meminfo: memFree=14465620/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=30536 CPUtime=0 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 1254 0 0 0 0 0 0 0 18 0 2 0 467984803 31268864 972 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 7901 972 745 9 0 385 0
[pid=14000/tid=14001] ppid=13998 vsize=31604 CPUtime=0 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 160 0 0 0 0 0 0 0 18 0 2 0 467984804 32362496 993 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228244165530 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.010418 s]
/proc/loadavg: 3.68 3.93 4.01 2/180 14000
/proc/meminfo: memFree=14465620/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7531504 CPUtime=0 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 2098 0 1 0 0 0 0 0 18 0 2 0 467984803 7712260096 1799 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1882876 1813 910 9 0 1874032 0
[pid=14000/tid=14001] ppid=13998 vsize=7531504 CPUtime=0 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 1009 0 1 0 0 0 0 0 17 0 2 0 467984804 7712260096 1825 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7531504

[startup+0.183405 s]
/proc/loadavg: 3.68 3.93 4.01 2/180 14000
/proc/meminfo: memFree=14465620/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7637220 CPUtime=0.26 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 11410 0 1 0 25 1 0 0 18 0 18 0 467984803 7820513280 10976 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1909305 10976 2190 9 0 1900043 0
[pid=14000/tid=14001] ppid=13998 vsize=7637220 CPUtime=0.16 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 9208 0 1 0 15 1 0 0 18 0 18 0 467984804 7820513280 10976 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 47559332552703 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 7637220

[startup+0.300362 s]
/proc/loadavg: 3.68 3.93 4.01 2/180 14000
/proc/meminfo: memFree=14465620/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7645372 CPUtime=0.5 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 15170 0 1 0 48 2 0 0 18 0 19 0 467984803 7828860928 13484 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1911343 13499 2210 9 0 1902081 0
[pid=14000/tid=14001] ppid=13998 vsize=7645544 CPUtime=0.27 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 10009 0 1 0 26 1 0 0 19 0 19 0 467984804 7829037056 13516 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 46912505181646 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 7645372

[startup+0.700291 s]
/proc/loadavg: 3.68 3.93 4.01 2/180 14000
/proc/meminfo: memFree=14465620/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7644240 CPUtime=1.15 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 16199 0 1 0 113 2 0 0 18 0 19 0 467984803 7827701760 13664 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1911060 13664 2227 9 0 1901798 0
[pid=14000/tid=14001] ppid=13998 vsize=7644240 CPUtime=0.68 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 10343 0 1 0 66 2 0 0 19 0 19 0 467984804 7827701760 13664 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 46912505616246 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 7644240

[startup+1.50115 s]
/proc/loadavg: 3.68 3.93 4.01 7/262 14092
/proc/meminfo: memFree=14240972/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7662860 CPUtime=2.19 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 25074 0 1 0 216 3 0 0 18 0 19 0 467984803 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1915715 20603 2255 9 0 1906453 0
[pid=14000/tid=14001] ppid=13998 vsize=7662860 CPUtime=1.43 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 10373 0 1 0 141 2 0 0 20 0 19 0 467984804 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 46912505616039 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14000/tid=14011] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14011/stat : 14011 (java) S 13998 14000 13486 0 -1 4202560 537 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14012] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14012/stat : 14012 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14013] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14013/stat : 14013 (java) S 13998 14000 13486 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14014] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14014/stat : 14014 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14015] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14015/stat : 14015 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 467984805 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14016] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14016/stat : 14016 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14017] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14017/stat : 14017 (java) S 13998 14000 13486 0 -1 4202560 529 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14018] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14018/stat : 14018 (java) S 13998 14000 13486 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14024] ppid=13998 vsize=7662860 CPUtime=0.03 cores=5,7
/proc/14000/task/14024/stat : 14024 (java) S 13998 14000 13486 0 -1 4202560 1178 0 0 0 3 0 0 0 16 0 19 0 467984806 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 0 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14027] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14027/stat : 14027 (java) S 13998 14000 13486 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14028] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14028/stat : 14028 (java) S 13998 14000 13486 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14029] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14029/stat : 14029 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984809 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256172465 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14030] ppid=13998 vsize=7662860 CPUtime=0.59 cores=5,7
/proc/14000/task/14030/stat : 14030 (java) S 13998 14000 13486 0 -1 4202560 10319 0 0 0 59 0 0 0 15 0 19 0 467984809 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14033] ppid=13998 vsize=7662860 CPUtime=0.1 cores=5,7
/proc/14000/task/14033/stat : 14033 (java) S 13998 14000 13486 0 -1 4202560 787 0 0 0 10 0 0 0 15 0 19 0 467984809 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14034] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14034/stat : 14034 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984809 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14036] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14036/stat : 14036 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984809 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14089] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14089/stat : 14089 (java) S 13998 14000 13486 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467984825 7846768640 20603 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 7662860

[startup+3.10087 s]
/proc/loadavg: 3.68 3.93 4.01 5/262 14092
/proc/meminfo: memFree=14185920/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7662860 CPUtime=3.82 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 25305 0 1 0 379 3 0 0 18 0 19 0 467984803 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1915715 20832 2255 9 0 1906453 0
[pid=14000/tid=14001] ppid=13998 vsize=7662860 CPUtime=2.98 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 10375 0 1 0 296 2 0 0 25 0 19 0 467984804 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 46912505669313 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14000/tid=14011] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14011/stat : 14011 (java) S 13998 14000 13486 0 -1 4202560 537 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14012] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14012/stat : 14012 (java) S 13998 14000 13486 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14013] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14013/stat : 14013 (java) S 13998 14000 13486 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14014] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14014/stat : 14014 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14015] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14015/stat : 14015 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14016] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14016/stat : 14016 (java) S 13998 14000 13486 0 -1 4202560 108 0 0 0 0 0 0 0 16 0 19 0 467984805 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14017] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14017/stat : 14017 (java) S 13998 14000 13486 0 -1 4202560 529 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14018] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14018/stat : 14018 (java) S 13998 14000 13486 0 -1 4202560 179 0 0 0 0 0 0 0 16 0 19 0 467984805 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14024] ppid=13998 vsize=7662860 CPUtime=0.07 cores=5,7
/proc/14000/task/14024/stat : 14024 (java) S 13998 14000 13486 0 -1 4202560 1283 0 0 0 7 0 0 0 16 0 19 0 467984806 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 0 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14027] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14027/stat : 14027 (java) S 13998 14000 13486 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14028] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14028/stat : 14028 (java) S 13998 14000 13486 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14029] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14029/stat : 14029 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984809 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256172465 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14030] ppid=13998 vsize=7662860 CPUtime=0.59 cores=5,7
/proc/14000/task/14030/stat : 14030 (java) S 13998 14000 13486 0 -1 4202560 10319 0 0 0 59 0 0 0 15 0 19 0 467984809 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14033] ppid=13998 vsize=7662860 CPUtime=0.13 cores=5,7
/proc/14000/task/14033/stat : 14033 (java) S 13998 14000 13486 0 -1 4202560 790 0 0 0 13 0 0 0 15 0 19 0 467984809 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14034] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14034/stat : 14034 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984809 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14036] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14036/stat : 14036 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984809 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14089] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14089/stat : 14089 (java) S 13998 14000 13486 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467984825 7846768640 20832 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 7662860

[startup+6.30134 s]
/proc/loadavg: 3.71 3.94 4.01 5/262 14092
/proc/meminfo: memFree=14179300/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7662860 CPUtime=7.02 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 25564 0 1 0 699 3 0 0 18 0 19 0 467984803 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1915715 21088 2255 9 0 1906453 0
[pid=14000/tid=14001] ppid=13998 vsize=7662860 CPUtime=6.14 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 10378 0 1 0 612 2 0 0 25 0 19 0 467984804 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 46912505669190 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14000/tid=14011] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14011/stat : 14011 (java) S 13998 14000 13486 0 -1 4202560 544 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14012] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14012/stat : 14012 (java) S 13998 14000 13486 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14013] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14013/stat : 14013 (java) S 13998 14000 13486 0 -1 4202560 27 0 0 0 0 0 0 0 16 0 19 0 467984805 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14014] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14014/stat : 14014 (java) S 13998 14000 13486 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 467984805 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14015] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14015/stat : 14015 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14016] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14016/stat : 14016 (java) S 13998 14000 13486 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14017] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14017/stat : 14017 (java) S 13998 14000 13486 0 -1 4202560 529 0 0 0 0 0 0 0 15 0 19 0 467984805 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14018] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14018/stat : 14018 (java) S 13998 14000 13486 0 -1 4202560 179 0 0 0 0 0 0 0 16 0 19 0 467984805 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14024] ppid=13998 vsize=7662860 CPUtime=0.1 cores=5,7
/proc/14000/task/14024/stat : 14024 (java) S 13998 14000 13486 0 -1 4202560 1529 0 0 0 10 0 0 0 16 0 19 0 467984806 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 0 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14027] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14027/stat : 14027 (java) S 13998 14000 13486 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14028] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14028/stat : 14028 (java) S 13998 14000 13486 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14029] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14029/stat : 14029 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984809 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256172465 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14030] ppid=13998 vsize=7662860 CPUtime=0.59 cores=5,7
/proc/14000/task/14030/stat : 14030 (java) S 13998 14000 13486 0 -1 4202560 10319 0 0 0 59 0 0 0 15 0 19 0 467984809 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14033] ppid=13998 vsize=7662860 CPUtime=0.13 cores=5,7
/proc/14000/task/14033/stat : 14033 (java) S 13998 14000 13486 0 -1 4202560 790 0 0 0 13 0 0 0 15 0 19 0 467984809 7846768640 21088 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0

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

[pid=14000/tid=14016] ppid=13998 vsize=7662860 CPUtime=0.11 cores=5,7
/proc/14000/task/14016/stat : 14016 (java) S 13998 14000 13486 0 -1 4202560 301 0 0 0 11 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14017] ppid=13998 vsize=7662860 CPUtime=0.09 cores=5,7
/proc/14000/task/14017/stat : 14017 (java) S 13998 14000 13486 0 -1 4202560 678 0 0 0 9 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14018] ppid=13998 vsize=7662860 CPUtime=0.08 cores=5,7
/proc/14000/task/14018/stat : 14018 (java) S 13998 14000 13486 0 -1 4202560 199 0 0 0 8 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14024] ppid=13998 vsize=7662860 CPUtime=5.44 cores=5,7
/proc/14000/task/14024/stat : 14024 (java) S 13998 14000 13486 0 -1 4202560 3630 0 0 0 543 1 0 0 15 0 19 0 467984806 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 0 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14027] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14027/stat : 14027 (java) S 13998 14000 13486 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14028] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14028/stat : 14028 (java) S 13998 14000 13486 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14029] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14029/stat : 14029 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256172465 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14030] ppid=13998 vsize=7662860 CPUtime=0.59 cores=5,7
/proc/14000/task/14030/stat : 14030 (java) S 13998 14000 13486 0 -1 4202560 10319 0 0 0 59 0 0 0 15 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14033] ppid=13998 vsize=7662860 CPUtime=0.15 cores=5,7
/proc/14000/task/14033/stat : 14033 (java) S 13998 14000 13486 0 -1 4202560 795 0 0 0 15 0 0 0 15 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14034] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14034/stat : 14034 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14036] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14036/stat : 14036 (java) S 13998 14000 13486 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14089] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14089/stat : 14089 (java) S 13998 14000 13486 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467984825 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.38
Current children cumulated vsize (KiB) 7662860

[startup+1182.3 s]
/proc/loadavg: 4.08 4.04 4.00 5/262 14123
/proc/meminfo: memFree=14047764/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7662860 CPUtime=1183.4 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 28761 0 1 0 118333 7 0 0 18 0 19 0 467984803 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1915715 23946 2256 9 0 1906453 0
[pid=14000/tid=14001] ppid=13998 vsize=7662860 CPUtime=1175.87 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 10578 0 1 0 117585 2 0 0 25 0 19 0 467984804 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 46912505669313 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14000/tid=14011] ppid=13998 vsize=7662860 CPUtime=0.12 cores=5,7
/proc/14000/task/14011/stat : 14011 (java) S 13998 14000 13486 0 -1 4202560 582 0 0 0 12 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14012] ppid=13998 vsize=7662860 CPUtime=0.11 cores=5,7
/proc/14000/task/14012/stat : 14012 (java) S 13998 14000 13486 0 -1 4202560 45 0 0 0 11 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14013] ppid=13998 vsize=7662860 CPUtime=0.11 cores=5,7
/proc/14000/task/14013/stat : 14013 (java) S 13998 14000 13486 0 -1 4202560 80 0 0 0 11 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14014] ppid=13998 vsize=7662860 CPUtime=0.12 cores=5,7
/proc/14000/task/14014/stat : 14014 (java) S 13998 14000 13486 0 -1 4202560 47 0 0 0 12 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14015] ppid=13998 vsize=7662860 CPUtime=0.09 cores=5,7
/proc/14000/task/14015/stat : 14015 (java) S 13998 14000 13486 0 -1 4202560 286 0 0 0 9 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14016] ppid=13998 vsize=7662860 CPUtime=0.11 cores=5,7
/proc/14000/task/14016/stat : 14016 (java) S 13998 14000 13486 0 -1 4202560 301 0 0 0 11 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14017] ppid=13998 vsize=7662860 CPUtime=0.1 cores=5,7
/proc/14000/task/14017/stat : 14017 (java) S 13998 14000 13486 0 -1 4202560 678 0 0 0 10 0 0 0 15 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14018] ppid=13998 vsize=7662860 CPUtime=0.09 cores=5,7
/proc/14000/task/14018/stat : 14018 (java) S 13998 14000 13486 0 -1 4202560 199 0 0 0 9 0 0 0 16 0 19 0 467984805 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14024] ppid=13998 vsize=7662860 CPUtime=5.83 cores=5,7
/proc/14000/task/14024/stat : 14024 (java) S 13998 14000 13486 0 -1 4202560 3634 0 0 0 582 1 0 0 16 0 19 0 467984806 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 0 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14027] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14027/stat : 14027 (java) S 13998 14000 13486 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14028] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14028/stat : 14028 (java) S 13998 14000 13486 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14029] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14029/stat : 14029 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256172465 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14030] ppid=13998 vsize=7662860 CPUtime=0.59 cores=5,7
/proc/14000/task/14030/stat : 14030 (java) S 13998 14000 13486 0 -1 4202560 10319 0 0 0 59 0 0 0 15 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14033] ppid=13998 vsize=7662860 CPUtime=0.15 cores=5,7
/proc/14000/task/14033/stat : 14033 (java) S 13998 14000 13486 0 -1 4202560 795 0 0 0 15 0 0 0 15 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14034] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14034/stat : 14034 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14036] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14036/stat : 14036 (java) S 13998 14000 13486 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 467984809 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14089] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14089/stat : 14089 (java) S 13998 14000 13486 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467984825 7846768640 23946 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.4
Current children cumulated vsize (KiB) 7662860

[startup+1242.3 s]
/proc/loadavg: 4.03 4.03 4.00 5/262 14125
/proc/meminfo: memFree=14045716/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7662860 CPUtime=1243.4 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 28785 0 1 0 124333 7 0 0 18 0 19 0 467984803 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1915715 23952 2256 9 0 1906453 0
[pid=14000/tid=14001] ppid=13998 vsize=7662860 CPUtime=1235.56 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 10588 0 1 0 123553 3 0 0 25 0 19 0 467984804 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 46912505615103 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14000/tid=14011] ppid=13998 vsize=7662860 CPUtime=0.13 cores=5,7
/proc/14000/task/14011/stat : 14011 (java) S 13998 14000 13486 0 -1 4202560 582 0 0 0 13 0 0 0 16 0 19 0 467984805 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14012] ppid=13998 vsize=7662860 CPUtime=0.12 cores=5,7
/proc/14000/task/14012/stat : 14012 (java) S 13998 14000 13486 0 -1 4202560 45 0 0 0 12 0 0 0 16 0 19 0 467984805 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14013] ppid=13998 vsize=7662860 CPUtime=0.11 cores=5,7
/proc/14000/task/14013/stat : 14013 (java) S 13998 14000 13486 0 -1 4202560 80 0 0 0 11 0 0 0 15 0 19 0 467984805 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14014] ppid=13998 vsize=7662860 CPUtime=0.12 cores=5,7
/proc/14000/task/14014/stat : 14014 (java) S 13998 14000 13486 0 -1 4202560 47 0 0 0 12 0 0 0 15 0 19 0 467984805 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14015] ppid=13998 vsize=7662860 CPUtime=0.09 cores=5,7
/proc/14000/task/14015/stat : 14015 (java) S 13998 14000 13486 0 -1 4202560 286 0 0 0 9 0 0 0 15 0 19 0 467984805 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14016] ppid=13998 vsize=7662860 CPUtime=0.11 cores=5,7
/proc/14000/task/14016/stat : 14016 (java) S 13998 14000 13486 0 -1 4202560 301 0 0 0 11 0 0 0 15 0 19 0 467984805 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14017] ppid=13998 vsize=7662860 CPUtime=0.1 cores=5,7
/proc/14000/task/14017/stat : 14017 (java) S 13998 14000 13486 0 -1 4202560 678 0 0 0 10 0 0 0 15 0 19 0 467984805 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14018] ppid=13998 vsize=7662860 CPUtime=0.09 cores=5,7
/proc/14000/task/14018/stat : 14018 (java) S 13998 14000 13486 0 -1 4202560 199 0 0 0 9 0 0 0 15 0 19 0 467984805 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14024] ppid=13998 vsize=7662860 CPUtime=6.14 cores=5,7
/proc/14000/task/14024/stat : 14024 (java) S 13998 14000 13486 0 -1 4202560 3644 0 0 0 612 2 0 0 15 0 19 0 467984806 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 0 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14027] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14027/stat : 14027 (java) S 13998 14000 13486 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14028] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14028/stat : 14028 (java) S 13998 14000 13486 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14029] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14029/stat : 14029 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984809 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256172465 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14030] ppid=13998 vsize=7662860 CPUtime=0.59 cores=5,7
/proc/14000/task/14030/stat : 14030 (java) S 13998 14000 13486 0 -1 4202560 10319 0 0 0 59 0 0 0 15 0 19 0 467984809 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14033] ppid=13998 vsize=7662860 CPUtime=0.15 cores=5,7
/proc/14000/task/14033/stat : 14033 (java) S 13998 14000 13486 0 -1 4202560 795 0 0 0 15 0 0 0 15 0 19 0 467984809 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14034] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14034/stat : 14034 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984809 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14036] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14036/stat : 14036 (java) S 13998 14000 13486 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 467984809 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14089] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14089/stat : 14089 (java) S 13998 14000 13486 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467984825 7846768640 23952 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.4
Current children cumulated vsize (KiB) 7662860



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 4.02 4.00 5/262 14126
/proc/meminfo: memFree=14045156/32951124 swapFree=67111524/67111528
[pid=14000] ppid=13998 vsize=7662860 CPUtime=1301.13 cores=5,7
/proc/14000/stat : 14000 (java) S 13998 14000 13486 0 -1 4202496 28937 0 1 0 130106 7 0 0 18 0 19 0 467984803 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14000/statm: 1915715 24085 2256 9 0 1906453 0
[pid=14000/tid=14001] ppid=13998 vsize=7662860 CPUtime=1292.91 cores=5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 13486 0 -1 4202560 10599 0 1 0 129288 3 0 0 25 0 19 0 467984804 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 46912505615486 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14000/tid=14011] ppid=13998 vsize=7662860 CPUtime=0.13 cores=5,7
/proc/14000/task/14011/stat : 14011 (java) S 13998 14000 13486 0 -1 4202560 582 0 0 0 13 0 0 0 15 0 19 0 467984805 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14012] ppid=13998 vsize=7662860 CPUtime=0.12 cores=5,7
/proc/14000/task/14012/stat : 14012 (java) S 13998 14000 13486 0 -1 4202560 45 0 0 0 12 0 0 0 16 0 19 0 467984805 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14013] ppid=13998 vsize=7662860 CPUtime=0.12 cores=5,7
/proc/14000/task/14013/stat : 14013 (java) S 13998 14000 13486 0 -1 4202560 80 0 0 0 12 0 0 0 15 0 19 0 467984805 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14014] ppid=13998 vsize=7662860 CPUtime=0.13 cores=5,7
/proc/14000/task/14014/stat : 14014 (java) S 13998 14000 13486 0 -1 4202560 47 0 0 0 13 0 0 0 15 0 19 0 467984805 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14015] ppid=13998 vsize=7662860 CPUtime=0.09 cores=5,7
/proc/14000/task/14015/stat : 14015 (java) S 13998 14000 13486 0 -1 4202560 286 0 0 0 9 0 0 0 15 0 19 0 467984805 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14016] ppid=13998 vsize=7662860 CPUtime=0.11 cores=5,7
/proc/14000/task/14016/stat : 14016 (java) S 13998 14000 13486 0 -1 4202560 301 0 0 0 11 0 0 0 15 0 19 0 467984805 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14017] ppid=13998 vsize=7662860 CPUtime=0.11 cores=5,7
/proc/14000/task/14017/stat : 14017 (java) S 13998 14000 13486 0 -1 4202560 678 0 0 0 11 0 0 0 15 0 19 0 467984805 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14018] ppid=13998 vsize=7662860 CPUtime=0.11 cores=5,7
/proc/14000/task/14018/stat : 14018 (java) S 13998 14000 13486 0 -1 4202560 208 0 0 0 11 0 0 0 15 0 19 0 467984805 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14024] ppid=13998 vsize=7662860 CPUtime=6.47 cores=5,7
/proc/14000/task/14024/stat : 14024 (java) S 13998 14000 13486 0 -1 4202560 3772 0 0 0 645 2 0 0 15 0 19 0 467984806 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 0 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14027] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14027/stat : 14027 (java) S 13998 14000 13486 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14028] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14028/stat : 14028 (java) S 13998 14000 13486 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 467984807 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14029] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14029/stat : 14029 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984809 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256172465 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14030] ppid=13998 vsize=7662860 CPUtime=0.59 cores=5,7
/proc/14000/task/14030/stat : 14030 (java) S 13998 14000 13486 0 -1 4202560 10319 0 0 0 59 0 0 0 15 0 19 0 467984809 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14033] ppid=13998 vsize=7662860 CPUtime=0.15 cores=5,7
/proc/14000/task/14033/stat : 14033 (java) S 13998 14000 13486 0 -1 4202560 795 0 0 0 15 0 0 0 15 0 19 0 467984809 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
[pid=14000/tid=14034] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14034/stat : 14034 (java) S 13998 14000 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984809 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256164761 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14036] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14036/stat : 14036 (java) S 13998 14000 13486 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 467984809 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 7 0 0 0
[pid=14000/tid=14089] ppid=13998 vsize=7662860 CPUtime=0 cores=5,7
/proc/14000/task/14089/stat : 14089 (java) S 13998 14000 13486 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 467984825 7846768640 24085 33554432000 1073741824 1073778376 140735697908368 18446744073709551615 228256165376 0 4 0 16800975 18446604464702155840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.13
Current children cumulated vsize (KiB) 7662860

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.05
CPU time (s): 1301.21
CPU user time (s): 1301.12
CPU system time (s): 0.089986
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 7662860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.12
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28972
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= 33033
involuntary context switches= 7671

runsolver used 2.13267 second user time and 4.98924 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-23 15:04:28
IDJOB=3263096
IDBENCH=83924
IDSOLVER=1611
FILE ID=node136/3263096-1303563868
RUNJOBID= node136-1303563868-13980
PBS_JOBID= 13150284
Free space on /tmp= 71632 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_80_17_90_7-log.shuffled-as.sat03-190.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-3263096-1303563868/watcher-3263096-1303563868 -o /tmp/evaluation-result-3263096-1303563868/solver-3263096-1303563868 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3263096-1303563868.cnf

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

MD5SUM BENCH= ad30956261e72142648a01bc7c025dba
RANDOM SEED=1060861181

node136.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.809
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.61
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.809
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.809
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.75
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.809
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.76
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.809
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.75
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14466032 kB
Buffers:       1699656 kB
Cached:       16155128 kB
SwapCached:          4 kB
Active:        9417956 kB
Inactive:      8502148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14466032 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            4284 kB
Writeback:           0 kB
AnonPages:       64724 kB
Mapped:          16424 kB
Slab:           500916 kB
PageTables:       5408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   203428 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= 71628 MiB
End job on node136 at 2011-04-23 15:26:10