Trace number 3261952

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.09 1300.04

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
MD5SUMcb7c9df8144e5ba66f8009983efe791f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.0229
Satisfiable
(Un)Satisfiability was proved
Number of variables284
Number of clauses42826
Sum of the clauses size191271
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2377
Number of clauses of size 339422
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 53027

Solver Data 

0.04/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.16	c See www.sat4j.org for details.
0.04/0.17	c no version file found!!!
0.04/0.17	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.17	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.17	c java.vm.version	19.1-b02
0.04/0.17	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.17	c sun.arch.data.model	64
0.04/0.17	c java.version		1.6.0_24
0.04/0.17	c os.name		Linux
0.04/0.17	c os.version		2.6.18-164.el5
0.04/0.17	c os.arch		amd64
0.04/0.17	c Free memory 		6997539544
0.04/0.17	c Max memory 		7034241024
0.04/0.17	c Total memory 		7034241024
0.04/0.17	c Number of processors 	8
0.04/0.19	c --- Begin Solver configuration ---
0.04/0.19	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.04/0.19	c Learn all clauses as in MiniSAT
0.04/0.19	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.19	c Expensive reason simplification
0.04/0.19	c Armin Biere (Picosat) restarts strategy
0.04/0.19	c Glucose learned constraints deletion strategy
0.04/0.19	c timeout=2147483647s
0.04/0.19	c DB Simplification allowed=true
0.04/0.19	c --- End Solver configuration ---
0.04/0.19	c solving HOME/instance-3261952-1303545371.cnf
0.04/0.19	c reading problem ... 
0.29/0.31	c ... done. Wall clock time 0.118s.
0.29/0.31	c #vars     284
0.29/0.31	c #constraints  42826
0.29/0.31	c constraints type 
0.29/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 42449
0.29/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 377
1.25/1.10	c cleaning 2498 clauses out of 5000 with flag 5000/5000
2.31/1.80	c cleaning 4250 clauses out of 8502 with flag 11000/11000
3.01/2.58	c cleaning 5626 clauses out of 11253 with flag 18001/18001
3.92/3.46	c cleaning 6811 clauses out of 13626 with flag 26000/26000
5.05/4.51	c cleaning 7894 clauses out of 15815 with flag 35000/35000
6.15/5.67	c cleaning 8954 clauses out of 17921 with flag 45000/45000
7.45/6.91	c cleaning 9981 clauses out of 19967 with flag 56000/56000
8.85/8.32	c cleaning 10990 clauses out of 21987 with flag 68001/68001
10.35/9.85	c cleaning 11987 clauses out of 23996 with flag 81000/81000
12.06/11.51	c cleaning 12997 clauses out of 26009 with flag 95000/95000
13.86/13.31	c cleaning 14006 clauses out of 28015 with flag 110003/110003
15.76/15.27	c cleaning 15001 clauses out of 30006 with flag 126000/126000
17.86/17.33	c cleaning 15999 clauses out of 32005 with flag 143000/143000
20.07/19.56	c cleaning 17003 clauses out of 34006 with flag 161000/161000
22.48/21.96	c cleaning 17998 clauses out of 36003 with flag 180000/180000
24.97/24.48	c cleaning 18997 clauses out of 38005 with flag 200000/200000
27.68/27.15	c cleaning 20000 clauses out of 40009 with flag 221001/221001
30.58/30.00	c cleaning 21002 clauses out of 42008 with flag 243000/243000
33.68/33.11	c cleaning 21995 clauses out of 44008 with flag 266002/266002
36.79/36.29	c cleaning 23001 clauses out of 46011 with flag 290000/290000
40.29/39.70	c cleaning 24004 clauses out of 48011 with flag 315001/315001
43.99/43.48	c cleaning 25001 clauses out of 50006 with flag 341000/341000
47.90/47.33	c cleaning 25998 clauses out of 52005 with flag 368000/368000
51.70/51.13	c cleaning 27001 clauses out of 54008 with flag 396001/396001
55.70/55.14	c cleaning 28002 clauses out of 56009 with flag 425003/425003
60.10/59.55	c cleaning 28996 clauses out of 58004 with flag 455000/455000
64.51/63.92	c cleaning 30000 clauses out of 60008 with flag 486000/486000
69.31/68.78	c cleaning 31002 clauses out of 62008 with flag 518000/518000
74.51/73.99	c cleaning 31999 clauses out of 64006 with flag 551000/551000
79.91/79.32	c cleaning 33000 clauses out of 66007 with flag 585000/585000
85.42/84.85	c cleaning 33999 clauses out of 68007 with flag 620000/620000
90.92/90.36	c cleaning 35000 clauses out of 70008 with flag 656000/656000
96.52/95.96	c cleaning 36004 clauses out of 72008 with flag 693000/693000
102.42/101.83	c cleaning 36995 clauses out of 74004 with flag 731000/731000
108.33/107.73	c cleaning 37996 clauses out of 76009 with flag 770000/770000
114.33/113.79	c cleaning 38997 clauses out of 78013 with flag 810000/810000
120.53/119.99	c cleaning 39997 clauses out of 80016 with flag 851000/851000
126.93/126.34	c cleaning 41008 clauses out of 82020 with flag 893001/893001
133.93/133.32	c cleaning 41997 clauses out of 84012 with flag 936001/936001
140.94/140.36	c cleaning 42500 clauses out of 85014 with flag 979000/979000
148.05/147.46	c cleaning 42754 clauses out of 85514 with flag 1022000/1022000
154.55/153.92	c cleaning 42869 clauses out of 85760 with flag 1065000/1065000
161.44/160.81	c cleaning 42946 clauses out of 85891 with flag 1108000/1108000
168.05/167.45	c cleaning 42965 clauses out of 85945 with flag 1151000/1151000
174.85/174.27	c cleaning 42983 clauses out of 85981 with flag 1194001/1194001
181.75/181.19	c cleaning 42987 clauses out of 85997 with flag 1237000/1237000
188.56/187.95	c cleaning 42998 clauses out of 86010 with flag 1280000/1280000
195.66/195.00	c cleaning 42998 clauses out of 86012 with flag 1323000/1323000
202.26/201.68	c cleaning 43001 clauses out of 86014 with flag 1366000/1366000
209.57/208.90	c cleaning 42998 clauses out of 86013 with flag 1409000/1409000
216.57/215.94	c cleaning 43001 clauses out of 86015 with flag 1452000/1452000
223.47/222.85	c cleaning 42999 clauses out of 86014 with flag 1495000/1495000
230.18/229.55	c cleaning 43006 clauses out of 86016 with flag 1538001/1538001
237.08/236.48	c cleaning 43002 clauses out of 86010 with flag 1581001/1581001
244.58/243.93	c cleaning 42999 clauses out of 86007 with flag 1624000/1624000
251.89/251.29	c cleaning 42992 clauses out of 86009 with flag 1667001/1667001
258.59/257.93	c cleaning 43004 clauses out of 86016 with flag 1710000/1710000
265.39/264.77	c cleaning 42995 clauses out of 86012 with flag 1753000/1753000
272.40/271.78	c cleaning 43002 clauses out of 86017 with flag 1796000/1796000
280.11/279.43	c cleaning 43001 clauses out of 86015 with flag 1839000/1839000
287.00/286.33	c cleaning 42999 clauses out of 86014 with flag 1882000/1882000
293.90/293.27	c cleaning 42993 clauses out of 86015 with flag 1925000/1925000
301.10/300.44	c cleaning 43004 clauses out of 86022 with flag 1968000/1968000
308.61/307.93	c cleaning 43008 clauses out of 86019 with flag 2011001/2011001
315.41/314.74	c cleaning 42996 clauses out of 86010 with flag 2054000/2054000
322.31/321.65	c cleaning 43008 clauses out of 86016 with flag 2097002/2097002
329.52/328.81	c cleaning 43000 clauses out of 86006 with flag 2140000/2140000
336.51/335.90	c cleaning 42999 clauses out of 86006 with flag 2183000/2183000
344.21/343.52	c cleaning 42998 clauses out of 86007 with flag 2226000/2226000
351.42/350.71	c cleaning 42997 clauses out of 86009 with flag 2269000/2269000
358.82/358.12	c cleaning 42997 clauses out of 86013 with flag 2312001/2312001
366.22/365.60	c cleaning 42997 clauses out of 86015 with flag 2355000/2355000
373.34/372.63	c cleaning 42996 clauses out of 86019 with flag 2398001/2398001
380.75/380.06	c cleaning 42999 clauses out of 86022 with flag 2441000/2441000
387.65/386.96	c cleaning 43002 clauses out of 86023 with flag 2484000/2484000
394.95/394.22	c cleaning 42992 clauses out of 86021 with flag 2527000/2527000
402.16/401.41	c cleaning 43003 clauses out of 86029 with flag 2570000/2570000
409.26/408.56	c cleaning 43008 clauses out of 86027 with flag 2613001/2613001
416.57/415.85	c cleaning 43001 clauses out of 86018 with flag 2656000/2656000
423.96/423.25	c cleaning 43004 clauses out of 86018 with flag 2699001/2699001
431.16/430.48	c cleaning 43003 clauses out of 86013 with flag 2742000/2742000
438.86/438.16	c cleaning 42998 clauses out of 86010 with flag 2785000/2785000
445.96/445.25	c cleaning 42992 clauses out of 86012 with flag 2828000/2828000
453.27/452.58	c cleaning 43006 clauses out of 86022 with flag 2871002/2871002
460.67/459.90	c cleaning 42998 clauses out of 86014 with flag 2914000/2914000
467.77/467.05	c cleaning 42991 clauses out of 86016 with flag 2957000/2957000
475.08/474.34	c cleaning 43005 clauses out of 86025 with flag 3000000/3000000
482.38/481.65	c cleaning 43005 clauses out of 86020 with flag 3043000/3043000
489.48/488.79	c cleaning 43005 clauses out of 86015 with flag 3086000/3086000
496.48/495.78	c cleaning 42999 clauses out of 86010 with flag 3129000/3129000
503.39/502.63	c cleaning 42999 clauses out of 86011 with flag 3172000/3172000
510.39/509.69	c cleaning 43000 clauses out of 86012 with flag 3215000/3215000
517.59/516.80	c cleaning 42996 clauses out of 86012 with flag 3258000/3258000
524.19/523.50	c cleaning 42996 clauses out of 86016 with flag 3301000/3301000
530.79/530.06	c cleaning 43005 clauses out of 86020 with flag 3344000/3344000
537.69/536.92	c cleaning 43000 clauses out of 86015 with flag 3387000/3387000
544.99/544.28	c cleaning 42998 clauses out of 86016 with flag 3430001/3430001
552.10/551.34	c cleaning 43002 clauses out of 86017 with flag 3473000/3473000
558.60/557.89	c cleaning 42998 clauses out of 86015 with flag 3516000/3516000
565.71/564.92	c cleaning 42999 clauses out of 86017 with flag 3559000/3559000
572.72/572.00	c cleaning 43007 clauses out of 86019 with flag 3602001/3602001
579.32/578.55	c cleaning 42987 clauses out of 86011 with flag 3645000/3645000
586.42/585.63	c cleaning 43001 clauses out of 86026 with flag 3688002/3688002
593.02/592.22	c cleaning 43000 clauses out of 86023 with flag 3731000/3731000
600.02/599.21	c cleaning 43003 clauses out of 86023 with flag 3774000/3774000
606.83/606.03	c cleaning 43003 clauses out of 86020 with flag 3817000/3817000
613.53/612.77	c cleaning 43001 clauses out of 86017 with flag 3860000/3860000
620.33/619.59	c cleaning 42995 clauses out of 86016 with flag 3903000/3903000
627.03/626.27	c cleaning 43005 clauses out of 86021 with flag 3946000/3946000
634.13/633.39	c cleaning 42991 clauses out of 86016 with flag 3989000/3989000
640.73/639.97	c cleaning 43007 clauses out of 86025 with flag 4032000/4032000
647.63/646.84	c cleaning 43005 clauses out of 86020 with flag 4075002/4075002
654.33/653.56	c cleaning 43001 clauses out of 86013 with flag 4118000/4118000
661.23/660.43	c cleaning 43004 clauses out of 86012 with flag 4161000/4161000
667.93/667.16	c cleaning 42986 clauses out of 86008 with flag 4204000/4204000
675.54/674.73	c cleaning 43007 clauses out of 86023 with flag 4247001/4247001
682.64/681.80	c cleaning 42997 clauses out of 86015 with flag 4290000/4290000
689.84/689.07	c cleaning 43003 clauses out of 86019 with flag 4333001/4333001
696.84/696.09	c cleaning 43000 clauses out of 86016 with flag 4376001/4376001
703.24/702.44	c cleaning 42993 clauses out of 86015 with flag 4419000/4419000
710.35/709.59	c cleaning 43006 clauses out of 86024 with flag 4462002/4462002
717.55/716.73	c cleaning 42998 clauses out of 86017 with flag 4505001/4505001
724.66/723.82	c cleaning 43000 clauses out of 86019 with flag 4548001/4548001
731.55/730.75	c cleaning 43002 clauses out of 86019 with flag 4591001/4591001
738.65/737.81	c cleaning 42998 clauses out of 86016 with flag 4634000/4634000
745.16/744.38	c cleaning 43005 clauses out of 86019 with flag 4677001/4677001
752.56/751.72	c cleaning 43000 clauses out of 86013 with flag 4720000/4720000
759.77/759.00	c cleaning 42997 clauses out of 86015 with flag 4763002/4763002
766.76/766.00	c cleaning 42995 clauses out of 86016 with flag 4806000/4806000
773.76/772.92	c cleaning 43000 clauses out of 86021 with flag 4849000/4849000
780.17/779.30	c cleaning 42994 clauses out of 86022 with flag 4892001/4892001
786.77/785.95	c cleaning 43005 clauses out of 86028 with flag 4935001/4935001
793.77/793.00	c cleaning 43000 clauses out of 86022 with flag 4978000/4978000
800.87/800.04	c cleaning 43003 clauses out of 86022 with flag 5021000/5021000
807.97/807.17	c cleaning 42999 clauses out of 86019 with flag 5064000/5064000
815.18/814.36	c cleaning 43004 clauses out of 86022 with flag 5107002/5107002
822.18/821.37	c cleaning 43002 clauses out of 86017 with flag 5150001/5150001
829.48/828.63	c cleaning 43006 clauses out of 86014 with flag 5193000/5193000
836.69/835.87	c cleaning 42995 clauses out of 86010 with flag 5236002/5236002
843.39/842.57	c cleaning 43006 clauses out of 86014 with flag 5279001/5279001
850.49/849.63	c cleaning 42995 clauses out of 86008 with flag 5322001/5322001
857.70/856.82	c cleaning 42993 clauses out of 86012 with flag 5365000/5365000
864.59/863.78	c cleaning 42994 clauses out of 86019 with flag 5408000/5408000
871.69/870.84	c cleaning 43004 clauses out of 86025 with flag 5451000/5451000
878.90/878.08	c cleaning 43008 clauses out of 86021 with flag 5494000/5494000
886.10/885.26	c cleaning 43001 clauses out of 86013 with flag 5537000/5537000
893.50/892.61	c cleaning 43006 clauses out of 86012 with flag 5580000/5580000
900.61/899.73	c cleaning 42991 clauses out of 86008 with flag 5623002/5623002
908.10/907.21	c cleaning 43000 clauses out of 86015 with flag 5666000/5666000
915.31/914.43	c cleaning 43003 clauses out of 86016 with flag 5709001/5709001
922.71/921.84	c cleaning 42997 clauses out of 86012 with flag 5752000/5752000
929.51/928.68	c cleaning 43007 clauses out of 86015 with flag 5795000/5795000
936.51/935.69	c cleaning 42993 clauses out of 86008 with flag 5838000/5838000
943.52/942.68	c cleaning 43006 clauses out of 86015 with flag 5881000/5881000
950.33/949.44	c cleaning 42995 clauses out of 86010 with flag 5924001/5924001
957.53/956.62	c cleaning 42997 clauses out of 86014 with flag 5967000/5967000
964.83/963.95	c cleaning 43004 clauses out of 86017 with flag 6010000/6010000
971.73/970.88	c cleaning 42994 clauses out of 86014 with flag 6053001/6053001
979.03/978.19	c cleaning 43007 clauses out of 86021 with flag 6096002/6096002
985.93/985.00	c cleaning 42996 clauses out of 86012 with flag 6139000/6139000
992.84/991.99	c cleaning 43003 clauses out of 86016 with flag 6182000/6182000
1000.44/999.50	c cleaning 42996 clauses out of 86014 with flag 6225001/6225001
1007.54/1006.63	c cleaning 42997 clauses out of 86017 with flag 6268000/6268000
1014.44/1013.50	c cleaning 43005 clauses out of 86021 with flag 6311001/6311001
1021.34/1020.46	c cleaning 43008 clauses out of 86015 with flag 6354000/6354000
1028.44/1027.54	c cleaning 42995 clauses out of 86008 with flag 6397001/6397001
1035.34/1034.47	c cleaning 42996 clauses out of 86012 with flag 6440000/6440000
1041.95/1041.05	c cleaning 43005 clauses out of 86016 with flag 6483000/6483000
1048.85/1047.96	c cleaning 42999 clauses out of 86012 with flag 6526001/6526001
1055.86/1054.98	c cleaning 43000 clauses out of 86013 with flag 6569001/6569001
1062.85/1061.95	c cleaning 42996 clauses out of 86013 with flag 6612001/6612001
1069.86/1068.99	c cleaning 42990 clauses out of 86016 with flag 6655000/6655000
1076.76/1075.88	c cleaning 43003 clauses out of 86026 with flag 6698000/6698000
1083.76/1082.82	c cleaning 43009 clauses out of 86023 with flag 6741000/6741000
1090.76/1089.80	c cleaning 42994 clauses out of 86014 with flag 6784000/6784000
1097.36/1096.50	c cleaning 43005 clauses out of 86020 with flag 6827000/6827000
1104.27/1103.34	c cleaning 42993 clauses out of 86015 with flag 6870000/6870000
1111.37/1110.44	c cleaning 43000 clauses out of 86023 with flag 6913001/6913001
1118.57/1117.63	c cleaning 43006 clauses out of 86022 with flag 6956000/6956000
1125.27/1124.32	c cleaning 42994 clauses out of 86018 with flag 6999002/6999002
1132.27/1131.39	c cleaning 43011 clauses out of 86023 with flag 7042001/7042001
1139.57/1138.65	c cleaning 42997 clauses out of 86011 with flag 7085000/7085000
1146.48/1145.57	c cleaning 42991 clauses out of 86014 with flag 7128000/7128000
1153.18/1152.22	c cleaning 43002 clauses out of 86024 with flag 7171001/7171001
1160.18/1159.25	c cleaning 43008 clauses out of 86022 with flag 7214001/7214001
1167.08/1166.16	c cleaning 42994 clauses out of 86015 with flag 7257002/7257002
1174.49/1173.54	c cleaning 43001 clauses out of 86020 with flag 7300001/7300001
1181.30/1180.37	c cleaning 42993 clauses out of 86018 with flag 7343000/7343000
1188.29/1187.30	c cleaning 43002 clauses out of 86025 with flag 7386000/7386000
1195.50/1194.56	c cleaning 43009 clauses out of 86023 with flag 7429000/7429000
1202.79/1201.85	c cleaning 42995 clauses out of 86014 with flag 7472000/7472000
1209.59/1208.67	c cleaning 43005 clauses out of 86019 with flag 7515000/7515000
1216.59/1215.65	c cleaning 42996 clauses out of 86014 with flag 7558000/7558000
1223.70/1222.75	c cleaning 43003 clauses out of 86019 with flag 7601001/7601001
1230.80/1229.85	c cleaning 43003 clauses out of 86015 with flag 7644000/7644000
1238.10/1237.14	c cleaning 42998 clauses out of 86012 with flag 7687000/7687000
1245.11/1244.19	c cleaning 43001 clauses out of 86014 with flag 7730000/7730000
1252.01/1251.03	c cleaning 43004 clauses out of 86013 with flag 7773000/7773000
1259.21/1258.30	c cleaning 42995 clauses out of 86009 with flag 7816000/7816000
1266.31/1265.32	c cleaning 43001 clauses out of 86015 with flag 7859001/7859001
1273.21/1272.25	c cleaning 42992 clauses out of 86013 with flag 7902000/7902000
1280.11/1279.13	c cleaning 43002 clauses out of 86021 with flag 7945000/7945000
1287.12/1286.12	c cleaning 43003 clauses out of 86019 with flag 7988000/7988000
1293.92/1292.94	c cleaning 42997 clauses out of 86016 with flag 8031000/8031000
1300.82/1299.81	c cleaning 43007 clauses out of 86019 with flag 8074000/8074000
1301.03/1300.01	c starts		: 2474
1301.03/1300.01	c conflicts		: 8075278
1301.03/1300.01	c decisions		: 8443528
1301.03/1300.01	c propagations		: 293804979
1301.03/1300.01	c inspects		: 16696535606
1301.03/1300.01	c shortcuts		: 0
1301.03/1300.01	c learnt literals	: 0
1301.03/1300.01	c learnt binary clauses	: 0
1301.03/1300.01	c learnt ternary clauses	: 6
1301.03/1300.01	c learnt constraints	: 8075278
1301.03/1300.01	c ignored constraints	: 0
1301.03/1300.01	c root simplifications	: 2474
1301.03/1300.01	c removed literals (reason simplification)	: 220034445
1301.03/1300.01	c reason swapping (by a shorter reason)	: 0
1301.03/1300.01	c Calls to reduceDB	: 205
1301.03/1300.01	c speed (assignments/second)	: 226055.64891028867
1301.03/1300.01	c non guided choices	8
1301.03/1300.03	c learnt constraints type 
1301.03/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 44310
1301.03/1300.03	c constraints type 
1301.03/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 42449
1301.03/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 377
1301.03/1300.03	s UNKNOWN
1301.03/1300.03	c Total wall clock time (in seconds) : 1299.82

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 1.36 3.00 3.41 1/187 11321
/proc/meminfo: memFree=14487256/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=23028 CPUtime=0 cores=1,3
/proc/11321/stat : 11321 (java) R 11318 11321 10350 0 -1 4202496 464 0 0 0 0 0 0 0 18 0 1 0 466135040 23580672 207 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228239379307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11321/statm: 5757 215 168 9 0 124 0

[startup+0.0729201 s]
/proc/loadavg: 1.36 3.00 3.41 1/187 11321
/proc/meminfo: memFree=14487256/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7564352 CPUtime=0.03 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 8633 0 31 0 2 1 0 0 18 0 13 0 466135040 7745896448 8359 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1891088 8359 1657 9 0 1881836 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.100918 s]
/proc/loadavg: 1.36 3.00 3.41 1/187 11321
/proc/meminfo: memFree=14487256/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7564352 CPUtime=0.04 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 8853 0 31 0 3 1 0 0 18 0 13 0 466135040 7745896448 8579 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1891088 8579 1684 9 0 1881836 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7564352

[startup+0.300843 s]
/proc/loadavg: 1.36 3.00 3.41 1/187 11321
/proc/meminfo: memFree=14487256/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7637160 CPUtime=0.29 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 11744 0 33 0 27 2 0 0 18 0 18 0 466135040 7820451840 11337 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1909290 11337 2198 9 0 1900028 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7637160

[startup+0.700834 s]
/proc/loadavg: 1.36 3.00 3.41 1/187 11321
/proc/meminfo: memFree=14487256/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7638524 CPUtime=0.93 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 13785 0 33 0 91 2 0 0 18 0 19 0 466135040 7821848576 12692 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1909631 12692 2222 9 0 1900369 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 7638524

[startup+1.50067 s]
/proc/loadavg: 1.36 3.00 3.41 9/262 11397
/proc/meminfo: memFree=14264848/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7638524 CPUtime=1.98 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 24246 0 33 0 194 4 0 0 18 0 19 0 466135040 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1909631 20632 2253 9 0 1900369 0
[pid=11321/tid=11327] ppid=11318 vsize=7638524 CPUtime=1.35 cores=1,3
/proc/11321/task/11327/stat : 11327 (java) R 11318 11321 10350 0 -1 4202560 10304 0 31 0 133 2 0 0 20 0 19 0 466135040 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 46912505679645 0 4 0 16800975 0 0 0 -1 1 0 0 7
[pid=11321/tid=11350] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11350/stat : 11350 (java) S 11318 11321 10350 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 19 0 466135042 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11353] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11353/stat : 11353 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466135042 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11355] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11355/stat : 11355 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466135042 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11357] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11357/stat : 11357 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466135042 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11358] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11358/stat : 11358 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466135042 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11359] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11359/stat : 11359 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466135042 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11360] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11360/stat : 11360 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466135042 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11361] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11361/stat : 11361 (java) S 11318 11321 10350 0 -1 4202560 505 0 0 0 0 0 0 0 18 0 19 0 466135042 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11365] ppid=11318 vsize=7638524 CPUtime=0.02 cores=1,3
/proc/11321/task/11365/stat : 11365 (java) S 11318 11321 10350 0 -1 4202560 1231 0 0 0 2 0 0 0 16 0 19 0 466135045 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 0 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11367] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11367/stat : 11367 (java) S 11318 11321 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11370] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11370/stat : 11370 (java) S 11318 11321 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11378] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11378/stat : 11378 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256172465 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11380] ppid=11318 vsize=7638524 CPUtime=0.07 cores=1,3
/proc/11321/task/11380/stat : 11380 (java) S 11318 11321 10350 0 -1 4202560 237 0 0 0 7 0 0 0 15 0 19 0 466135053 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11387] ppid=11318 vsize=7638524 CPUtime=0.5 cores=1,3
/proc/11321/task/11387/stat : 11387 (java) S 11318 11321 10350 0 -1 4202560 10082 0 2 0 49 1 0 0 15 0 19 0 466135053 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11391] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11391/stat : 11391 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11393] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11393/stat : 11393 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135053 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11395] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11395/stat : 11395 (java) S 11318 11321 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7821848576 20632 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 7638524

[startup+3.10138 s]
/proc/loadavg: 1.36 3.00 3.41 5/262 11397
/proc/meminfo: memFree=14196760/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7638524 CPUtime=3.62 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 24790 0 33 0 358 4 0 0 18 0 19 0 466135040 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1909631 21174 2255 9 0 1900369 0
[pid=11321/tid=11327] ppid=11318 vsize=7638524 CPUtime=2.91 cores=1,3
/proc/11321/task/11327/stat : 11327 (java) R 11318 11321 10350 0 -1 4202560 10307 0 31 0 289 2 0 0 25 0 19 0 466135040 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 46912505573378 0 4 0 16800975 0 0 0 -1 1 0 0 7
[pid=11321/tid=11350] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11350/stat : 11350 (java) S 11318 11321 10350 0 -1 4202560 729 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11353] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11353/stat : 11353 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11355] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11355/stat : 11355 (java) S 11318 11321 10350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11357] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11357/stat : 11357 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 466135042 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11358] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11358/stat : 11358 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11359] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11359/stat : 11359 (java) S 11318 11321 10350 0 -1 4202560 66 0 0 0 0 0 0 0 16 0 19 0 466135042 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11360] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11360/stat : 11360 (java) S 11318 11321 10350 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11361] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11361/stat : 11361 (java) S 11318 11321 10350 0 -1 4202560 506 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11365] ppid=11318 vsize=7638524 CPUtime=0.05 cores=1,3
/proc/11321/task/11365/stat : 11365 (java) S 11318 11321 10350 0 -1 4202560 1501 0 0 0 5 0 0 0 16 0 19 0 466135045 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 0 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11367] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11367/stat : 11367 (java) S 11318 11321 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11370] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11370/stat : 11370 (java) S 11318 11321 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11378] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11378/stat : 11378 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256172465 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11380] ppid=11318 vsize=7638524 CPUtime=0.09 cores=1,3
/proc/11321/task/11380/stat : 11380 (java) S 11318 11321 10350 0 -1 4202560 243 0 0 0 9 0 0 0 15 0 19 0 466135053 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11387] ppid=11318 vsize=7638524 CPUtime=0.52 cores=1,3
/proc/11321/task/11387/stat : 11387 (java) S 11318 11321 10350 0 -1 4202560 10082 0 2 0 51 1 0 0 15 0 19 0 466135053 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11391] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11391/stat : 11391 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11393] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11393/stat : 11393 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135053 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11395] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11395/stat : 11395 (java) S 11318 11321 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7821848576 21174 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 7638524

[startup+6.30082 s]
/proc/loadavg: 1.65 3.03 3.42 5/262 11397
/proc/meminfo: memFree=14191800/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7638524 CPUtime=6.85 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 25018 0 33 0 681 4 0 0 18 0 19 0 466135040 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1909631 20940 2255 9 0 1900369 0
[pid=11321/tid=11327] ppid=11318 vsize=7638524 CPUtime=6.04 cores=1,3
/proc/11321/task/11327/stat : 11327 (java) R 11318 11321 10350 0 -1 4202560 10310 0 31 0 602 2 0 0 25 0 19 0 466135040 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 46912505621632 0 4 0 16800975 0 0 0 -1 1 0 0 7
[pid=11321/tid=11350] ppid=11318 vsize=7638524 CPUtime=0.01 cores=1,3
/proc/11321/task/11350/stat : 11350 (java) S 11318 11321 10350 0 -1 4202560 771 0 0 0 1 0 0 0 15 0 19 0 466135042 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11353] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11353/stat : 11353 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 466135042 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11355] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11355/stat : 11355 (java) S 11318 11321 10350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11357] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11357/stat : 11357 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11358] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11358/stat : 11358 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11359] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11359/stat : 11359 (java) S 11318 11321 10350 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 19 0 466135042 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11360] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11360/stat : 11360 (java) S 11318 11321 10350 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 466135042 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11361] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11361/stat : 11361 (java) S 11318 11321 10350 0 -1 4202560 507 0 0 0 0 0 0 0 16 0 19 0 466135042 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11365] ppid=11318 vsize=7638524 CPUtime=0.12 cores=1,3
/proc/11321/task/11365/stat : 11365 (java) S 11318 11321 10350 0 -1 4202560 1636 0 0 0 12 0 0 0 16 0 19 0 466135045 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 0 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11367] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11367/stat : 11367 (java) S 11318 11321 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11370] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11370/stat : 11370 (java) S 11318 11321 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11378] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11378/stat : 11378 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256172465 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11380] ppid=11318 vsize=7638524 CPUtime=0.09 cores=1,3
/proc/11321/task/11380/stat : 11380 (java) S 11318 11321 10350 0 -1 4202560 243 0 0 0 9 0 0 0 15 0 19 0 466135053 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11387] ppid=11318 vsize=7638524 CPUtime=0.54 cores=1,3
/proc/11321/task/11387/stat : 11387 (java) S 11318 11321 10350 0 -1 4202560 10088 0 2 0 53 1 0 0 15 0 19 0 466135053 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11391] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11391/stat : 11391 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11393] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11393/stat : 11393 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466135053 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11395] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11395/stat : 11395 (java) S 11318 11321 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7821848576 20940 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 7638524

[startup+12.7007 s]

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

[pid=11321/tid=11359] ppid=11318 vsize=7638524 CPUtime=0.13 cores=1,3
/proc/11321/task/11359/stat : 11359 (java) S 11318 11321 10350 0 -1 4202560 146 0 0 0 13 0 0 0 15 0 19 0 466135042 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11360] ppid=11318 vsize=7638524 CPUtime=0.12 cores=1,3
/proc/11321/task/11360/stat : 11360 (java) S 11318 11321 10350 0 -1 4202560 557 0 0 0 12 0 0 0 15 0 19 0 466135042 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11361] ppid=11318 vsize=7638524 CPUtime=0.11 cores=1,3
/proc/11321/task/11361/stat : 11361 (java) S 11318 11321 10350 0 -1 4202560 679 0 0 0 11 0 0 0 15 0 19 0 466135042 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11365] ppid=11318 vsize=7638524 CPUtime=6.1 cores=1,3
/proc/11321/task/11365/stat : 11365 (java) S 11318 11321 10350 0 -1 4202560 4167 0 0 0 608 2 0 0 15 0 19 0 466135045 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 0 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11367] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11367/stat : 11367 (java) S 11318 11321 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11370] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11370/stat : 11370 (java) S 11318 11321 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11378] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11378/stat : 11378 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256172465 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11380] ppid=11318 vsize=7638524 CPUtime=0.09 cores=1,3
/proc/11321/task/11380/stat : 11380 (java) S 11318 11321 10350 0 -1 4202560 243 0 0 0 9 0 0 0 15 0 19 0 466135053 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11387] ppid=11318 vsize=7638524 CPUtime=0.57 cores=1,3
/proc/11321/task/11387/stat : 11387 (java) S 11318 11321 10350 0 -1 4202560 10127 0 2 0 56 1 0 0 15 0 19 0 466135053 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11391] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11391/stat : 11391 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11393] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11393/stat : 11393 (java) S 11318 11321 10350 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 466135053 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11395] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11395/stat : 11395 (java) S 11318 11321 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7821848576 24445 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.27
Current children cumulated vsize (KiB) 7638524

[startup+1182.3 s]
/proc/loadavg: 3.00 3.16 3.40 4/238 11551
/proc/meminfo: memFree=14215956/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7638524 CPUtime=1183.29 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 28855 0 33 0 118321 8 0 0 18 0 19 0 466135040 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1909631 24458 2256 9 0 1900369 0
[pid=11321/tid=11327] ppid=11318 vsize=7638524 CPUtime=1175.19 cores=1,3
/proc/11321/task/11327/stat : 11327 (java) R 11318 11321 10350 0 -1 4202560 10492 0 31 0 117516 3 0 0 25 0 19 0 466135040 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 46912505621637 0 4 0 16800975 0 0 0 -1 1 0 0 7
[pid=11321/tid=11350] ppid=11318 vsize=7638524 CPUtime=0.12 cores=1,3
/proc/11321/task/11350/stat : 11350 (java) S 11318 11321 10350 0 -1 4202560 997 0 0 0 12 0 0 0 15 0 19 0 466135042 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11353] ppid=11318 vsize=7638524 CPUtime=0.11 cores=1,3
/proc/11321/task/11353/stat : 11353 (java) S 11318 11321 10350 0 -1 4202560 118 0 0 0 11 0 0 0 15 0 19 0 466135042 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11355] ppid=11318 vsize=7638524 CPUtime=0.07 cores=1,3
/proc/11321/task/11355/stat : 11355 (java) S 11318 11321 10350 0 -1 4202560 25 0 0 0 7 0 0 0 15 0 19 0 466135042 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11357] ppid=11318 vsize=7638524 CPUtime=0.11 cores=1,3
/proc/11321/task/11357/stat : 11357 (java) S 11318 11321 10350 0 -1 4202560 46 0 0 0 11 0 0 0 15 0 19 0 466135042 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11358] ppid=11318 vsize=7638524 CPUtime=0.13 cores=1,3
/proc/11321/task/11358/stat : 11358 (java) S 11318 11321 10350 0 -1 4202560 31 0 0 0 13 0 0 0 15 0 19 0 466135042 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11359] ppid=11318 vsize=7638524 CPUtime=0.14 cores=1,3
/proc/11321/task/11359/stat : 11359 (java) S 11318 11321 10350 0 -1 4202560 146 0 0 0 14 0 0 0 15 0 19 0 466135042 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11360] ppid=11318 vsize=7638524 CPUtime=0.13 cores=1,3
/proc/11321/task/11360/stat : 11360 (java) S 11318 11321 10350 0 -1 4202560 557 0 0 0 13 0 0 0 15 0 19 0 466135042 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11361] ppid=11318 vsize=7638524 CPUtime=0.12 cores=1,3
/proc/11321/task/11361/stat : 11361 (java) S 11318 11321 10350 0 -1 4202560 679 0 0 0 12 0 0 0 16 0 19 0 466135042 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11365] ppid=11318 vsize=7638524 CPUtime=6.43 cores=1,3
/proc/11321/task/11365/stat : 11365 (java) S 11318 11321 10350 0 -1 4202560 4175 0 0 0 641 2 0 0 15 0 19 0 466135045 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 0 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11367] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11367/stat : 11367 (java) S 11318 11321 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11370] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11370/stat : 11370 (java) S 11318 11321 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11378] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11378/stat : 11378 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256172465 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11380] ppid=11318 vsize=7638524 CPUtime=0.09 cores=1,3
/proc/11321/task/11380/stat : 11380 (java) S 11318 11321 10350 0 -1 4202560 243 0 0 0 9 0 0 0 15 0 19 0 466135053 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11387] ppid=11318 vsize=7638524 CPUtime=0.57 cores=1,3
/proc/11321/task/11387/stat : 11387 (java) S 11318 11321 10350 0 -1 4202560 10127 0 2 0 56 1 0 0 15 0 19 0 466135053 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11391] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11391/stat : 11391 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11393] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11393/stat : 11393 (java) S 11318 11321 10350 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 466135053 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11395] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11395/stat : 11395 (java) S 11318 11321 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7821848576 24458 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.29
Current children cumulated vsize (KiB) 7638524

[startup+1242.3 s]
/proc/loadavg: 3.00 3.13 3.37 4/238 11552
/proc/meminfo: memFree=14203772/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7638524 CPUtime=1243.3 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 28926 0 33 0 124322 8 0 0 18 0 19 0 466135040 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1909631 24513 2256 9 0 1900369 0
[pid=11321/tid=11327] ppid=11318 vsize=7638524 CPUtime=1234.88 cores=1,3
/proc/11321/task/11327/stat : 11327 (java) R 11318 11321 10350 0 -1 4202560 10500 0 31 0 123485 3 0 0 25 0 19 0 466135040 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 46912505579527 0 4 0 16800975 0 0 0 -1 1 0 0 7
[pid=11321/tid=11350] ppid=11318 vsize=7638524 CPUtime=0.13 cores=1,3
/proc/11321/task/11350/stat : 11350 (java) S 11318 11321 10350 0 -1 4202560 1002 0 0 0 13 0 0 0 16 0 19 0 466135042 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11353] ppid=11318 vsize=7638524 CPUtime=0.11 cores=1,3
/proc/11321/task/11353/stat : 11353 (java) S 11318 11321 10350 0 -1 4202560 118 0 0 0 11 0 0 0 15 0 19 0 466135042 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11355] ppid=11318 vsize=7638524 CPUtime=0.07 cores=1,3
/proc/11321/task/11355/stat : 11355 (java) S 11318 11321 10350 0 -1 4202560 25 0 0 0 7 0 0 0 15 0 19 0 466135042 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11357] ppid=11318 vsize=7638524 CPUtime=0.11 cores=1,3
/proc/11321/task/11357/stat : 11357 (java) S 11318 11321 10350 0 -1 4202560 46 0 0 0 11 0 0 0 15 0 19 0 466135042 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11358] ppid=11318 vsize=7638524 CPUtime=0.13 cores=1,3
/proc/11321/task/11358/stat : 11358 (java) S 11318 11321 10350 0 -1 4202560 31 0 0 0 13 0 0 0 16 0 19 0 466135042 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11359] ppid=11318 vsize=7638524 CPUtime=0.15 cores=1,3
/proc/11321/task/11359/stat : 11359 (java) S 11318 11321 10350 0 -1 4202560 150 0 0 0 15 0 0 0 15 0 19 0 466135042 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11360] ppid=11318 vsize=7638524 CPUtime=0.14 cores=1,3
/proc/11321/task/11360/stat : 11360 (java) S 11318 11321 10350 0 -1 4202560 557 0 0 0 14 0 0 0 16 0 19 0 466135042 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11361] ppid=11318 vsize=7638524 CPUtime=0.12 cores=1,3
/proc/11321/task/11361/stat : 11361 (java) S 11318 11321 10350 0 -1 4202560 679 0 0 0 12 0 0 0 15 0 19 0 466135042 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11365] ppid=11318 vsize=7638524 CPUtime=6.71 cores=1,3
/proc/11321/task/11365/stat : 11365 (java) S 11318 11321 10350 0 -1 4202560 4225 0 0 0 669 2 0 0 15 0 19 0 466135045 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 0 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11367] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11367/stat : 11367 (java) S 11318 11321 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11370] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11370/stat : 11370 (java) S 11318 11321 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11378] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11378/stat : 11378 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256172465 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11380] ppid=11318 vsize=7638524 CPUtime=0.09 cores=1,3
/proc/11321/task/11380/stat : 11380 (java) S 11318 11321 10350 0 -1 4202560 243 0 0 0 9 0 0 0 15 0 19 0 466135053 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11387] ppid=11318 vsize=7638524 CPUtime=0.57 cores=1,3
/proc/11321/task/11387/stat : 11387 (java) S 11318 11321 10350 0 -1 4202560 10127 0 2 0 56 1 0 0 15 0 19 0 466135053 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11391] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11391/stat : 11391 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11393] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11393/stat : 11393 (java) S 11318 11321 10350 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 466135053 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11395] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11395/stat : 11395 (java) S 11318 11321 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7821848576 24513 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.3
Current children cumulated vsize (KiB) 7638524



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.03 3.12 3.35 4/238 11554
/proc/meminfo: memFree=14201760/32951124 swapFree=67111524/67111528
[pid=11321] ppid=11318 vsize=7638524 CPUtime=1301.03 cores=1,3
/proc/11321/stat : 11321 (java) S 11318 11321 10350 0 -1 4202496 28970 0 33 0 130094 9 0 0 18 0 19 0 466135040 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11321/statm: 1909631 24540 2256 9 0 1900369 0
[pid=11321/tid=11327] ppid=11318 vsize=7638524 CPUtime=1292.23 cores=1,3
/proc/11321/task/11327/stat : 11327 (java) R 11318 11321 10350 0 -1 4202560 10509 0 31 0 129220 3 0 0 25 0 19 0 466135040 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 46912505600448 0 4 0 16800975 0 0 0 -1 1 0 0 7
[pid=11321/tid=11350] ppid=11318 vsize=7638524 CPUtime=0.13 cores=1,3
/proc/11321/task/11350/stat : 11350 (java) S 11318 11321 10350 0 -1 4202560 1002 0 0 0 13 0 0 0 15 0 19 0 466135042 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11353] ppid=11318 vsize=7638524 CPUtime=0.12 cores=1,3
/proc/11321/task/11353/stat : 11353 (java) S 11318 11321 10350 0 -1 4202560 121 0 0 0 12 0 0 0 16 0 19 0 466135042 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11355] ppid=11318 vsize=7638524 CPUtime=0.08 cores=1,3
/proc/11321/task/11355/stat : 11355 (java) S 11318 11321 10350 0 -1 4202560 25 0 0 0 8 0 0 0 15 0 19 0 466135042 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11357] ppid=11318 vsize=7638524 CPUtime=0.12 cores=1,3
/proc/11321/task/11357/stat : 11357 (java) S 11318 11321 10350 0 -1 4202560 46 0 0 0 12 0 0 0 15 0 19 0 466135042 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11358] ppid=11318 vsize=7638524 CPUtime=0.14 cores=1,3
/proc/11321/task/11358/stat : 11358 (java) S 11318 11321 10350 0 -1 4202560 31 0 0 0 14 0 0 0 15 0 19 0 466135042 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11359] ppid=11318 vsize=7638524 CPUtime=0.15 cores=1,3
/proc/11321/task/11359/stat : 11359 (java) S 11318 11321 10350 0 -1 4202560 150 0 0 0 15 0 0 0 15 0 19 0 466135042 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11360] ppid=11318 vsize=7638524 CPUtime=0.15 cores=1,3
/proc/11321/task/11360/stat : 11360 (java) S 11318 11321 10350 0 -1 4202560 557 0 0 0 15 0 0 0 15 0 19 0 466135042 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11361] ppid=11318 vsize=7638524 CPUtime=0.12 cores=1,3
/proc/11321/task/11361/stat : 11361 (java) S 11318 11321 10350 0 -1 4202560 679 0 0 0 12 0 0 0 15 0 19 0 466135042 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11365] ppid=11318 vsize=7638524 CPUtime=7.03 cores=1,3
/proc/11321/task/11365/stat : 11365 (java) S 11318 11321 10350 0 -1 4202560 4253 0 0 0 701 2 0 0 16 0 19 0 466135045 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 0 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11367] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11367/stat : 11367 (java) S 11318 11321 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11370] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11370/stat : 11370 (java) S 11318 11321 10350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 466135046 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11378] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11378/stat : 11378 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 466135053 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256172465 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11380] ppid=11318 vsize=7638524 CPUtime=0.09 cores=1,3
/proc/11321/task/11380/stat : 11380 (java) S 11318 11321 10350 0 -1 4202560 243 0 0 0 9 0 0 0 15 0 19 0 466135053 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11387] ppid=11318 vsize=7638524 CPUtime=0.57 cores=1,3
/proc/11321/task/11387/stat : 11387 (java) S 11318 11321 10350 0 -1 4202560 10127 0 2 0 56 1 0 0 15 0 19 0 466135053 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11391] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11391/stat : 11391 (java) S 11318 11321 10350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 466135053 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256164761 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
[pid=11321/tid=11393] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11393/stat : 11393 (java) S 11318 11321 10350 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 466135053 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 3 0 0 0
[pid=11321/tid=11395] ppid=11318 vsize=7638524 CPUtime=0 cores=1,3
/proc/11321/task/11395/stat : 11395 (java) S 11318 11321 10350 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 466135071 7821848576 24540 33554432000 1073741824 1073778376 140737430351984 18446744073709551615 228256165376 0 4 0 16800975 18446604456473679872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.03
Current children cumulated vsize (KiB) 7638524

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.09
CPU user time (s): 1300.99
CPU system time (s): 0.101984
CPU usage (%): 100.08
Max. virtual memory (cumulated for all children) (KiB): 7638524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.99
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29151
page faults= 33
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32747
involuntary context switches= 9169

runsolver used 2.12368 second user time and 5.2392 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-23 09:56:11
IDJOB=3261952
IDBENCH=83266
IDSOLVER=1611
FILE ID=node136/3261952-1303545371
RUNJOBID= node136-1303545371-11284
PBS_JOBID= 13143102
Free space on /tmp= 71636 MiB

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

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

MD5SUM BENCH= cb7c9df8144e5ba66f8009983efe791f
RANDOM SEED=1178373316

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:      14488316 kB
Buffers:       1698492 kB
Cached:       16134508 kB
SwapCached:          4 kB
Active:        9399392 kB
Inactive:      8500368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14488316 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2340 kB
Writeback:           0 kB
AnonPages:       66108 kB
Mapped:          17356 kB
Slab:           499888 kB
PageTables:       5596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   236704 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= 71636 MiB
End job on node136 at 2011-04-23 10:17:53