Trace number 3265384

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) 1303.12 1300.08

General information on the benchmark

NameSAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
MD5SUM384c65902b197ca2c64d2ee8a3c64089
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.374942
Satisfiable
(Un)Satisfiability was proved
Number of variables62750
Number of clauses124752
Sum of the clauses size498502
Maximum clause length4
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2250
Number of clauses of size 30
Number of clauses of size 4124500
Number of clauses of size 50
Number of clauses of size over 50

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@664741d6
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-3265384-1303579657.cnf
0.00/0.09	c reading problem ... 
0.41/0.32	c ... done. Wall clock time 0.236s.
0.41/0.32	c #vars     62750
0.41/0.32	c #constraints  124752
0.41/0.32	c constraints type 
0.41/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 124499
0.41/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 251
2.10/1.70	c cleaning 2490 clauses out of 5000 with flag 5000/5000
3.60/2.75	c cleaning 4239 clauses out of 8511 with flag 11001/11001
4.70/3.80	c cleaning 5617 clauses out of 11271 with flag 18000/18000
5.61/4.87	c cleaning 6770 clauses out of 13656 with flag 26002/26002
7.08/6.57	c cleaning 7775 clauses out of 15885 with flag 35001/35001
7.98/7.45	c cleaning 9035 clauses out of 18109 with flag 45000/45000
9.39/8.87	c cleaning 9999 clauses out of 20075 with flag 56001/56001
10.57/10.08	c cleaning 11020 clauses out of 22077 with flag 68002/68002
11.78/11.29	c cleaning 11813 clauses out of 24056 with flag 81001/81001
13.18/12.62	c cleaning 13026 clauses out of 26242 with flag 95000/95000
14.79/14.28	c cleaning 14091 clauses out of 28217 with flag 110001/110001
16.59/16.05	c cleaning 14988 clauses out of 30125 with flag 126000/126000
18.69/18.16	c cleaning 16051 clauses out of 32137 with flag 143000/143000
20.39/19.86	c cleaning 17034 clauses out of 34087 with flag 161001/161001
21.80/21.28	c cleaning 17982 clauses out of 36054 with flag 180002/180002
23.71/23.15	c cleaning 18601 clauses out of 38071 with flag 200001/200001
25.70/25.11	c cleaning 19792 clauses out of 40470 with flag 221001/221001
27.11/26.57	c cleaning 21222 clauses out of 42677 with flag 243000/243000
28.72/28.11	c cleaning 22179 clauses out of 44455 with flag 266000/266000
30.30/29.77	c cleaning 23078 clauses out of 46277 with flag 290001/290001
33.30/32.73	c cleaning 24078 clauses out of 48199 with flag 315001/315001
34.81/34.27	c cleaning 24761 clauses out of 50120 with flag 341000/341000
37.31/36.72	c cleaning 26038 clauses out of 52362 with flag 368003/368003
39.03/38.48	c cleaning 27077 clauses out of 54322 with flag 396001/396001
42.12/41.57	c cleaning 28093 clauses out of 56245 with flag 425001/425001
44.83/44.23	c cleaning 29015 clauses out of 58151 with flag 455000/455000
46.14/45.51	c cleaning 29821 clauses out of 60136 with flag 486000/486000
48.44/47.81	c cleaning 30810 clauses out of 62315 with flag 518000/518000
50.55/49.94	c cleaning 32205 clauses out of 64506 with flag 551001/551001
52.55/51.93	c cleaning 33120 clauses out of 66301 with flag 585001/585001
55.15/54.50	c cleaning 34048 clauses out of 68180 with flag 620000/620000
57.55/56.92	c cleaning 34547 clauses out of 70132 with flag 656000/656000
60.46/59.84	c cleaning 36172 clauses out of 72585 with flag 693000/693000
63.75/63.10	c cleaning 36670 clauses out of 74413 with flag 731000/731000
66.67/66.03	c cleaning 38282 clauses out of 76743 with flag 770000/770000
69.98/69.33	c cleaning 39148 clauses out of 78461 with flag 810000/810000
72.66/72.02	c cleaning 40116 clauses out of 80313 with flag 851000/851000
76.17/75.59	c cleaning 40978 clauses out of 82197 with flag 893000/893000
79.57/78.90	c cleaning 41960 clauses out of 84222 with flag 936003/936003
82.39/81.80	c cleaning 42846 clauses out of 86259 with flag 980000/980000
86.00/85.37	c cleaning 44091 clauses out of 88414 with flag 1025001/1025001
89.81/89.13	c cleaning 44991 clauses out of 90323 with flag 1071001/1071001
92.51/91.85	c cleaning 46136 clauses out of 92332 with flag 1118001/1118001
95.82/95.19	c cleaning 46815 clauses out of 94197 with flag 1166002/1166002
99.74/99.04	c cleaning 47865 clauses out of 96381 with flag 1215001/1215001
103.24/102.53	c cleaning 49167 clauses out of 98515 with flag 1265000/1265000
106.95/106.25	c cleaning 49874 clauses out of 100348 with flag 1316000/1316000
110.95/110.23	c cleaning 51227 clauses out of 102474 with flag 1368000/1368000
115.16/114.43	c cleaning 51959 clauses out of 104248 with flag 1421001/1421001
118.87/118.10	c cleaning 53025 clauses out of 106288 with flag 1475000/1475000
123.27/122.55	c cleaning 53842 clauses out of 108263 with flag 1530000/1530000
126.98/126.28	c cleaning 55141 clauses out of 110423 with flag 1586002/1586002
130.89/130.18	c cleaning 55954 clauses out of 112280 with flag 1643000/1643000
135.30/134.52	c cleaning 56966 clauses out of 114327 with flag 1701001/1701001
140.31/139.51	c cleaning 58013 clauses out of 116361 with flag 1760001/1760001
144.81/144.01	c cleaning 58505 clauses out of 118348 with flag 1820001/1820001
149.61/148.85	c cleaning 60247 clauses out of 120843 with flag 1881001/1881001
152.93/152.10	c cleaning 61284 clauses out of 122597 with flag 1943002/1943002
156.84/156.00	c cleaning 61925 clauses out of 124312 with flag 2006001/2006001
161.25/160.49	c cleaning 63107 clauses out of 126386 with flag 2070000/2070000
164.83/164.09	c cleaning 64082 clauses out of 128280 with flag 2135001/2135001
168.15/167.35	c cleaning 65092 clauses out of 130197 with flag 2201000/2201000
173.26/172.46	c cleaning 65978 clauses out of 132106 with flag 2268001/2268001
177.27/176.48	c cleaning 66888 clauses out of 134128 with flag 2336001/2336001
181.68/180.83	c cleaning 67507 clauses out of 136239 with flag 2405000/2405000
186.59/185.79	c cleaning 69279 clauses out of 138732 with flag 2475000/2475000
191.30/190.43	c cleaning 70130 clauses out of 140454 with flag 2546001/2546001
195.90/195.03	c cleaning 70706 clauses out of 142323 with flag 2618000/2618000
201.31/200.44	c cleaning 72002 clauses out of 144619 with flag 2691002/2691002
207.03/206.13	c cleaning 73093 clauses out of 146615 with flag 2765000/2765000
213.13/212.21	c cleaning 73753 clauses out of 148523 with flag 2840001/2840001
218.12/217.25	c cleaning 75126 clauses out of 150769 with flag 2916000/2916000
224.92/224.05	c cleaning 76195 clauses out of 152643 with flag 2993000/2993000
230.42/229.55	c cleaning 76765 clauses out of 154448 with flag 3071000/3071000
235.93/235.04	c cleaning 78192 clauses out of 156683 with flag 3150000/3150000
242.15/241.29	c cleaning 79179 clauses out of 158491 with flag 3230000/3230000
248.45/247.59	c cleaning 80098 clauses out of 160312 with flag 3311000/3311000
253.56/252.61	c cleaning 80843 clauses out of 162214 with flag 3393000/3393000
258.17/257.26	c cleaning 82088 clauses out of 164372 with flag 3476001/3476001
264.18/263.23	c cleaning 82875 clauses out of 166283 with flag 3560000/3560000
270.40/269.50	c cleaning 84066 clauses out of 168409 with flag 3645001/3645001
275.21/274.23	c cleaning 84953 clauses out of 170343 with flag 3731001/3731001
281.61/280.70	c cleaning 86072 clauses out of 172389 with flag 3818000/3818000
287.23/286.23	c cleaning 86733 clauses out of 174317 with flag 3906000/3906000
293.73/292.77	c cleaning 87982 clauses out of 176585 with flag 3995001/3995001
300.15/299.16	c cleaning 89233 clauses out of 178604 with flag 4085002/4085002
305.45/304.41	c cleaning 90019 clauses out of 180369 with flag 4176000/4176000
309.67/308.63	c cleaning 90942 clauses out of 182350 with flag 4268000/4268000
314.38/313.35	c cleaning 92165 clauses out of 184409 with flag 4361001/4361001
321.09/320.01	c cleaning 92977 clauses out of 186245 with flag 4455002/4455002
327.89/326.85	c cleaning 93929 clauses out of 188266 with flag 4550000/4550000
334.42/333.32	c cleaning 95138 clauses out of 190338 with flag 4646001/4646001
340.53/339.43	c cleaning 95799 clauses out of 192200 with flag 4743001/4743001
348.02/346.95	c cleaning 97080 clauses out of 194400 with flag 4841000/4841000
354.25/353.13	c cleaning 98117 clauses out of 196322 with flag 4940002/4940002
362.05/360.99	c cleaning 98712 clauses out of 198204 with flag 5040001/5040001
369.86/368.77	c cleaning 100050 clauses out of 200491 with flag 5141000/5141000
376.48/375.38	c cleaning 101207 clauses out of 202441 with flag 5243000/5243000
383.79/382.66	c cleaning 101848 clauses out of 204236 with flag 5346002/5346002
391.99/390.87	c cleaning 102990 clauses out of 206387 with flag 5450001/5450001
398.91/397.75	c cleaning 104050 clauses out of 208397 with flag 5555001/5555001
404.42/403.25	c cleaning 104840 clauses out of 210348 with flag 5661002/5661002
411.33/410.10	c cleaning 106013 clauses out of 212506 with flag 5768000/5768000
418.94/417.78	c cleaning 107184 clauses out of 214493 with flag 5876000/5876000
427.36/426.10	c cleaning 108032 clauses out of 216309 with flag 5985000/5985000
433.77/432.57	c cleaning 109074 clauses out of 218278 with flag 6095001/6095001
440.58/439.33	c cleaning 109642 clauses out of 220203 with flag 6206000/6206000
447.40/446.13	c cleaning 111128 clauses out of 222561 with flag 6318000/6318000
455.11/453.85	c cleaning 112007 clauses out of 224433 with flag 6431000/6431000
463.02/461.70	c cleaning 113152 clauses out of 226427 with flag 6545001/6545001
471.03/469.76	c cleaning 114099 clauses out of 228274 with flag 6660000/6660000
477.64/476.31	c cleaning 115041 clauses out of 230175 with flag 6776000/6776000
486.15/484.84	c cleaning 115977 clauses out of 232134 with flag 6893000/6893000
493.86/492.59	c cleaning 116927 clauses out of 234158 with flag 7011001/7011001
501.37/500.04	c cleaning 117766 clauses out of 236232 with flag 7130002/7130002
510.09/508.75	c cleaning 119015 clauses out of 238464 with flag 7250000/7250000
519.11/517.77	c cleaning 119826 clauses out of 240451 with flag 7371002/7371002
528.81/527.44	c cleaning 120583 clauses out of 242624 with flag 7493001/7493001
536.82/535.49	c cleaning 122410 clauses out of 245042 with flag 7616002/7616002
544.74/543.38	c cleaning 123239 clauses out of 246630 with flag 7740000/7740000
554.05/552.63	c cleaning 124129 clauses out of 248391 with flag 7865000/7865000
562.48/561.05	c cleaning 124566 clauses out of 249263 with flag 7990001/7990001
570.98/569.58	c cleaning 124681 clauses out of 249696 with flag 8115000/8115000
577.80/576.35	c cleaning 124939 clauses out of 250018 with flag 8240003/8240003
585.69/584.22	c cleaning 124821 clauses out of 250076 with flag 8365000/8365000
594.92/593.46	c cleaning 124924 clauses out of 250255 with flag 8490000/8490000
603.53/602.03	c cleaning 125076 clauses out of 250331 with flag 8615000/8615000
612.15/610.68	c cleaning 125061 clauses out of 250255 with flag 8740000/8740000
620.26/618.78	c cleaning 124919 clauses out of 250194 with flag 8865000/8865000
628.37/626.87	c cleaning 125014 clauses out of 250275 with flag 8990000/8990000
635.99/634.40	c cleaning 124685 clauses out of 250261 with flag 9115000/9115000
644.70/643.10	c cleaning 125089 clauses out of 250576 with flag 9240000/9240000
653.51/651.92	c cleaning 125063 clauses out of 250487 with flag 9365000/9365000
664.22/662.65	c cleaning 125126 clauses out of 250425 with flag 9490001/9490001
672.04/670.46	c cleaning 125087 clauses out of 250298 with flag 9615000/9615000
681.05/679.43	c cleaning 124987 clauses out of 250213 with flag 9740002/9740002
688.97/687.35	c cleaning 124643 clauses out of 250224 with flag 9865000/9865000
696.29/694.64	c cleaning 125226 clauses out of 250581 with flag 9990000/9990000
703.80/702.17	c cleaning 125013 clauses out of 250355 with flag 10115000/10115000
711.01/709.38	c cleaning 124506 clauses out of 250342 with flag 10240000/10240000
718.72/717.09	c cleaning 125350 clauses out of 250837 with flag 10365001/10365001
729.14/727.47	c cleaning 125117 clauses out of 250486 with flag 10490000/10490000
737.07/735.32	c cleaning 124834 clauses out of 250369 with flag 10615000/10615000
744.97/743.22	c cleaning 125125 clauses out of 250536 with flag 10740001/10740001
753.69/751.90	c cleaning 125095 clauses out of 250410 with flag 10865000/10865000
763.02/761.28	c cleaning 124710 clauses out of 250316 with flag 10990001/10990001
772.72/770.94	c cleaning 125201 clauses out of 250606 with flag 11115001/11115001
780.33/778.53	c cleaning 125003 clauses out of 250404 with flag 11240000/11240000
788.05/786.26	c cleaning 125059 clauses out of 250401 with flag 11365000/11365000
795.36/793.57	c cleaning 125173 clauses out of 250346 with flag 11490004/11490004
803.08/801.27	c cleaning 124960 clauses out of 250170 with flag 11615001/11615001
810.30/808.40	c cleaning 124758 clauses out of 250209 with flag 11740000/11740000
819.01/817.13	c cleaning 125177 clauses out of 250453 with flag 11865002/11865002
827.92/826.04	c cleaning 124906 clauses out of 250274 with flag 11990000/11990000
835.44/833.58	c cleaning 124924 clauses out of 250368 with flag 12115000/12115000
843.56/841.68	c cleaning 124834 clauses out of 250444 with flag 12240000/12240000
852.57/850.61	c cleaning 125252 clauses out of 250610 with flag 12365000/12365000
859.38/857.47	c cleaning 124534 clauses out of 250358 with flag 12490000/12490000
869.40/867.48	c cleaning 124863 clauses out of 250824 with flag 12615000/12615000
878.83/876.86	c cleaning 125375 clauses out of 250962 with flag 12740001/12740001
886.93/884.94	c cleaning 125236 clauses out of 250587 with flag 12865001/12865001
895.54/893.51	c cleaning 124614 clauses out of 250350 with flag 12990000/12990000
902.97/900.94	c cleaning 125102 clauses out of 250737 with flag 13115001/13115001
912.09/910.06	c cleaning 124856 clauses out of 250634 with flag 13240000/13240000
919.70/917.68	c cleaning 125314 clauses out of 250778 with flag 13365000/13365000
927.92/925.87	c cleaning 125080 clauses out of 250465 with flag 13490001/13490001
938.34/936.22	c cleaning 125089 clauses out of 250384 with flag 13615000/13615000
945.56/943.46	c cleaning 125055 clauses out of 250295 with flag 13740000/13740000
952.87/950.75	c cleaning 124620 clauses out of 250241 with flag 13865001/13865001
962.20/960.07	c cleaning 124665 clauses out of 250620 with flag 13990000/13990000
970.91/968.79	c cleaning 125390 clauses out of 250956 with flag 14115001/14115001
980.33/978.18	c cleaning 124758 clauses out of 250565 with flag 14240000/14240000
988.04/985.80	c cleaning 125213 clauses out of 250807 with flag 14365000/14365000
994.96/992.70	c cleaning 125254 clauses out of 250594 with flag 14490000/14490000
1001.79/999.51	c cleaning 125112 clauses out of 250340 with flag 14615000/14615000
1009.70/1007.43	c cleaning 124819 clauses out of 250229 with flag 14740001/14740001
1018.42/1016.19	c cleaning 124547 clauses out of 250410 with flag 14865001/14865001
1024.74/1022.42	c cleaning 125320 clauses out of 250862 with flag 14990000/14990000
1034.26/1031.98	c cleaning 124749 clauses out of 250542 with flag 15115000/15115000
1042.48/1040.14	c cleaning 125154 clauses out of 250794 with flag 15240001/15240001
1052.20/1049.85	c cleaning 125236 clauses out of 250640 with flag 15365001/15365001
1061.81/1059.43	c cleaning 124948 clauses out of 250403 with flag 15490000/15490000
1071.11/1068.72	c cleaning 125141 clauses out of 250456 with flag 15615001/15615001
1080.23/1077.86	c cleaning 125114 clauses out of 250314 with flag 15740000/15740000
1088.35/1085.96	c cleaning 124807 clauses out of 250200 with flag 15865000/15865000
1096.27/1093.81	c cleaning 124959 clauses out of 250393 with flag 15990000/15990000
1103.80/1101.35	c cleaning 125139 clauses out of 250437 with flag 16115003/16115003
1111.12/1108.65	c cleaning 124968 clauses out of 250295 with flag 16240000/16240000
1118.84/1116.39	c cleaning 125061 clauses out of 250327 with flag 16365000/16365000
1125.67/1123.17	c cleaning 125046 clauses out of 250266 with flag 16490000/16490000
1133.09/1130.56	c cleaning 124978 clauses out of 250221 with flag 16615001/16615001
1142.12/1139.56	c cleaning 124847 clauses out of 250242 with flag 16740000/16740000
1151.84/1149.29	c cleaning 125042 clauses out of 250396 with flag 16865001/16865001
1158.46/1155.89	c cleaning 125084 clauses out of 250353 with flag 16990000/16990000
1169.07/1166.45	c cleaning 124852 clauses out of 250270 with flag 17115001/17115001
1179.29/1176.61	c cleaning 124920 clauses out of 250417 with flag 17240000/17240000
1187.21/1184.54	c cleaning 125082 clauses out of 250498 with flag 17365001/17365001
1196.32/1193.63	c cleaning 124686 clauses out of 250417 with flag 17490002/17490002
1205.34/1202.61	c cleaning 124824 clauses out of 250729 with flag 17615000/17615000
1214.17/1211.48	c cleaning 125342 clauses out of 250905 with flag 17740000/17740000
1222.71/1219.94	c cleaning 124913 clauses out of 250563 with flag 17865000/17865000
1230.42/1227.60	c cleaning 125234 clauses out of 250651 with flag 17990001/17990001
1238.74/1235.91	c cleaning 125065 clauses out of 250416 with flag 18115000/18115000
1247.57/1244.73	c cleaning 125089 clauses out of 250351 with flag 18240000/18240000
1254.87/1252.06	c cleaning 125042 clauses out of 250263 with flag 18365001/18365001
1263.20/1260.31	c cleaning 124613 clauses out of 250220 with flag 18490000/18490000
1273.53/1270.66	c cleaning 125027 clauses out of 250607 with flag 18615000/18615000
1284.24/1281.36	c cleaning 124998 clauses out of 250581 with flag 18740001/18740001
1294.47/1291.59	c cleaning 125022 clauses out of 250582 with flag 18865000/18865000
1302.99/1300.01	c starts		: 3146
1302.99/1300.01	c conflicts		: 18990000
1302.99/1300.01	c decisions		: 1153811225
1302.99/1300.01	c propagations		: 1590750690
1302.99/1300.01	c inspects		: 3995402958
1302.99/1300.01	c shortcuts		: 0
1302.99/1300.01	c learnt literals	: 0
1302.99/1300.01	c learnt binary clauses	: 4167
1302.99/1300.01	c learnt ternary clauses	: 20862
1302.99/1300.01	c learnt constraints	: 18990000
1302.99/1300.01	c ignored constraints	: 0
1302.99/1300.01	c root simplifications	: 3146
1302.99/1300.01	c removed literals (reason simplification)	: 6528558
1302.99/1300.01	c reason swapping (by a shorter reason)	: 0
1302.99/1300.01	c Calls to reduceDB	: 210
1302.99/1300.01	c speed (assignments/second)	: 1223949.0661982463
1302.99/1300.01	c non guided choices	1053217058
1302.99/1300.06	c learnt constraints type 
1302.99/1300.06	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4167
1302.99/1300.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 246393
1302.99/1300.06	c constraints type 
1302.99/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 124499
1302.99/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 251
1302.99/1300.06	s UNKNOWN
1302.99/1300.06	c Total wall clock time (in seconds) : 1299.923

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.00 4.01 3.88 6/240 9990
/proc/meminfo: memFree=18505676/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=31604 CPUtime=0 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 1260 0 0 0 0 0 0 0 25 0 2 0 469565392 32362496 977 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 7901 977 748 9 0 386 0
[pid=9990/tid=9991] ppid=9988 vsize=31656 CPUtime=0 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 170 0 0 0 0 0 0 0 25 0 2 0 469565393 32415744 1001 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274659884727 0 0 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0906911 s]
/proc/loadavg: 4.00 4.01 3.88 6/240 9990
/proc/meminfo: memFree=18505676/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7570076 CPUtime=0.08 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 9709 0 1 0 7 1 0 0 25 0 18 0 469565392 7751757824 9404 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1892519 9404 1774 9 0 1883257 0
[pid=9990/tid=9991] ppid=9988 vsize=7570076 CPUtime=0.08 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 8506 0 1 0 7 1 0 0 25 0 18 0 469565393 7751757824 9404 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274664851546 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7570076

[startup+0.103274 s]
/proc/loadavg: 4.00 4.01 3.88 6/240 9990
/proc/meminfo: memFree=18505676/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7636112 CPUtime=0.1 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 10855 0 1 0 9 1 0 0 25 0 18 0 469565392 7819378688 10550 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1909028 10550 2081 9 0 1899766 0
[pid=9990/tid=9991] ppid=9988 vsize=7636112 CPUtime=0.09 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) D 9988 9990 9649 0 -1 4202560 9128 0 1 0 8 1 0 0 25 0 18 0 469565393 7819378688 10550 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636112

[startup+0.300536 s]
/proc/loadavg: 4.00 4.01 3.88 6/240 9990
/proc/meminfo: memFree=18505676/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7636776 CPUtime=0.41 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 16194 0 1 0 39 2 0 0 25 0 18 0 469565392 7820058624 15711 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1909194 15711 2203 9 0 1899932 0
[pid=9990/tid=9991] ppid=9988 vsize=7636776 CPUtime=0.27 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 13639 0 1 0 26 1 0 0 25 0 18 0 469565393 7820058624 15711 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 46912505559496 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 7636776

[startup+0.700499 s]
/proc/loadavg: 4.00 4.01 3.88 6/240 9990
/proc/meminfo: memFree=18505676/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7646516 CPUtime=1.11 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 20722 0 1 0 109 2 0 0 25 0 19 0 469565392 7830032384 19138 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1911629 19138 2221 9 0 1902367 0
[pid=9990/tid=9991] ppid=9988 vsize=7646516 CPUtime=0.67 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 14967 0 1 0 66 1 0 0 25 0 19 0 469565393 7830032384 19138 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 46912505693026 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 7646516

[startup+1.50142 s]
/proc/loadavg: 4.08 4.02 3.89 7/260 10010
/proc/meminfo: memFree=18353936/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7646516 CPUtime=2 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 20911 0 1 0 198 2 0 0 25 0 19 0 469565392 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1911629 19326 2224 9 0 1902367 0
[pid=9990/tid=9991] ppid=9988 vsize=7646516 CPUtime=1.47 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 15122 0 1 0 146 1 0 0 25 0 19 0 469565393 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 46912505758703 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9990/tid=9993] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/9993/stat : 9993 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565394 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=9994] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/9994/stat : 9994 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565394 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=9995] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/9995/stat : 9995 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565394 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=9996] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/9996/stat : 9996 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565394 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=9997] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/9997/stat : 9997 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565394 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=9998] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/9998/stat : 9998 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565394 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=9999] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/9999/stat : 9999 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565394 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10000] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/10000/stat : 10000 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565394 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10002] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/10002/stat : 10002 (java) S 9988 9990 9649 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 469565395 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 0 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10003] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/10003/stat : 10003 (java) S 9988 9990 9649 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 469565396 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10004] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/10004/stat : 10004 (java) S 9988 9990 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565396 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10005] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/10005/stat : 10005 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676631985 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10006] ppid=9988 vsize=7646516 CPUtime=0.31 cores=4,6
/proc/9990/task/10006/stat : 10006 (java) S 9988 9990 9649 0 -1 4202560 3013 0 0 0 31 0 0 0 18 0 19 0 469565398 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10007] ppid=9988 vsize=7646516 CPUtime=0.2 cores=4,6
/proc/9990/task/10007/stat : 10007 (java) S 9988 9990 9649 0 -1 4202560 1613 0 0 0 20 0 0 0 21 0 19 0 469565398 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10008] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/10008/stat : 10008 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10009] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/10009/stat : 10009 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565398 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10010] ppid=9988 vsize=7646516 CPUtime=0 cores=4,6
/proc/9990/task/10010/stat : 10010 (java) S 9988 9990 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565429 7830032384 19326 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 7646516

[startup+3.10114 s]
/proc/loadavg: 4.08 4.02 3.89 6/260 10010
/proc/meminfo: memFree=18282636/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7660552 CPUtime=4 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 38573 0 1 0 396 4 0 0 25 0 19 0 469565392 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1915138 35337 2253 9 0 1905876 0
[pid=9990/tid=9991] ppid=9988 vsize=7660552 CPUtime=2.77 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 15147 0 1 0 276 1 0 0 25 0 19 0 469565393 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 46912505586582 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9990/tid=9993] ppid=9988 vsize=7660552 CPUtime=0.05 cores=4,6
/proc/9990/task/9993/stat : 9993 (java) S 9988 9990 9649 0 -1 4202560 3523 0 0 0 5 0 0 0 18 0 19 0 469565394 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9994] ppid=9988 vsize=7660552 CPUtime=0.02 cores=4,6
/proc/9990/task/9994/stat : 9994 (java) S 9988 9990 9649 0 -1 4202560 1569 0 0 0 2 0 0 0 18 0 19 0 469565394 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9995] ppid=9988 vsize=7660552 CPUtime=0.01 cores=4,6
/proc/9990/task/9995/stat : 9995 (java) S 9988 9990 9649 0 -1 4202560 1070 0 0 0 1 0 0 0 17 0 19 0 469565394 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9996] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/9996/stat : 9996 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565394 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9997] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/9997/stat : 9997 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565394 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9998] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/9998/stat : 9998 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565394 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9999] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/9999/stat : 9999 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565394 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10000] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/10000/stat : 10000 (java) S 9988 9990 9649 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 469565394 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10002] ppid=9988 vsize=7660552 CPUtime=0.15 cores=4,6
/proc/9990/task/10002/stat : 10002 (java) S 9988 9990 9649 0 -1 4202560 6208 0 0 0 15 0 0 0 16 0 19 0 469565395 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 0 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10003] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/10003/stat : 10003 (java) S 9988 9990 9649 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469565396 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10004] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/10004/stat : 10004 (java) S 9988 9990 9649 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 469565396 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10005] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/10005/stat : 10005 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676631985 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10006] ppid=9988 vsize=7660552 CPUtime=0.35 cores=4,6
/proc/9990/task/10006/stat : 10006 (java) S 9988 9990 9649 0 -1 4202560 3022 0 0 0 35 0 0 0 16 0 19 0 469565398 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10007] ppid=9988 vsize=7660552 CPUtime=0.58 cores=4,6
/proc/9990/task/10007/stat : 10007 (java) S 9988 9990 9649 0 -1 4202560 6774 0 0 0 58 0 0 0 15 0 19 0 469565398 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10008] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/10008/stat : 10008 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10009] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/10009/stat : 10009 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565398 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10010] ppid=9988 vsize=7660552 CPUtime=0 cores=4,6
/proc/9990/task/10010/stat : 10010 (java) S 9988 9990 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565429 7844405248 35337 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 7660552

[startup+6.30158 s]
/proc/loadavg: 4.08 4.02 3.89 5/260 10010
/proc/meminfo: memFree=18268748/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7646440 CPUtime=6.87 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 38744 0 1 0 678 9 0 0 25 0 19 0 469565392 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1911610 32055 2253 9 0 1902348 0
[pid=9990/tid=9991] ppid=9988 vsize=7646440 CPUtime=5.37 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 15149 0 1 0 534 3 0 0 25 0 19 0 469565393 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 46912505586329 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9990/tid=9993] ppid=9988 vsize=7646440 CPUtime=0.05 cores=4,6
/proc/9990/task/9993/stat : 9993 (java) S 9988 9990 9649 0 -1 4202560 3527 0 0 0 5 0 0 0 15 0 19 0 469565394 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9994] ppid=9988 vsize=7646440 CPUtime=0.02 cores=4,6
/proc/9990/task/9994/stat : 9994 (java) S 9988 9990 9649 0 -1 4202560 1570 0 0 0 2 0 0 0 15 0 19 0 469565394 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9995] ppid=9988 vsize=7646440 CPUtime=0.01 cores=4,6
/proc/9990/task/9995/stat : 9995 (java) S 9988 9990 9649 0 -1 4202560 1070 0 0 0 1 0 0 0 15 0 19 0 469565394 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9996] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/9996/stat : 9996 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565394 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9997] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/9997/stat : 9997 (java) S 9988 9990 9649 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 469565394 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9998] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/9998/stat : 9998 (java) S 9988 9990 9649 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 469565394 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9999] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/9999/stat : 9999 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565394 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10000] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10000/stat : 10000 (java) S 9988 9990 9649 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 469565394 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10002] ppid=9988 vsize=7646440 CPUtime=0.35 cores=4,6
/proc/9990/task/10002/stat : 10002 (java) S 9988 9990 9649 0 -1 4202560 6296 0 0 0 34 1 0 0 15 0 19 0 469565395 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 0 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10003] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10003/stat : 10003 (java) S 9988 9990 9649 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10004] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10004/stat : 10004 (java) S 9988 9990 9649 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10005] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10005/stat : 10005 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676631985 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10006] ppid=9988 vsize=7646440 CPUtime=0.39 cores=4,6
/proc/9990/task/10006/stat : 10006 (java) S 9988 9990 9649 0 -1 4202560 3024 0 0 0 38 1 0 0 15 0 19 0 469565398 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10007] ppid=9988 vsize=7646440 CPUtime=0.58 cores=4,6
/proc/9990/task/10007/stat : 10007 (java) S 9988 9990 9649 0 -1 4202560 6774 0 0 0 58 0 0 0 15 0 19 0 469565398 7829954560 32055 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0

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

[pid=9990/tid=9998] ppid=9988 vsize=7646440 CPUtime=0.91 cores=4,6
/proc/9990/task/9998/stat : 9998 (java) S 9988 9990 9649 0 -1 4202560 152 0 0 0 91 0 0 0 15 0 19 0 469565394 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=9999] ppid=9988 vsize=7646440 CPUtime=0.92 cores=4,6
/proc/9990/task/9999/stat : 9999 (java) S 9988 9990 9649 0 -1 4202560 38 0 0 0 92 0 0 0 15 0 19 0 469565394 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10000] ppid=9988 vsize=7646440 CPUtime=0.97 cores=4,6
/proc/9990/task/10000/stat : 10000 (java) S 9988 9990 9649 0 -1 4202560 154 0 0 0 97 0 0 0 15 0 19 0 469565394 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10002] ppid=9988 vsize=7646440 CPUtime=29.03 cores=4,6
/proc/9990/task/10002/stat : 10002 (java) S 9988 9990 9649 0 -1 4202560 35710 0 0 0 2895 8 0 0 15 0 19 0 469565395 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 0 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10003] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10003/stat : 10003 (java) S 9988 9990 9649 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10004] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10004/stat : 10004 (java) S 9988 9990 9649 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10005] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10005/stat : 10005 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676631985 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10006] ppid=9988 vsize=7646440 CPUtime=0.41 cores=4,6
/proc/9990/task/10006/stat : 10006 (java) S 9988 9990 9649 0 -1 4202560 3032 0 0 0 40 1 0 0 15 0 19 0 469565398 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10007] ppid=9988 vsize=7646440 CPUtime=0.58 cores=4,6
/proc/9990/task/10007/stat : 10007 (java) S 9988 9990 9649 0 -1 4202560 6774 0 0 0 58 0 0 0 15 0 19 0 469565398 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10008] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10008/stat : 10008 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10009] ppid=9988 vsize=7646440 CPUtime=0.04 cores=4,6
/proc/9990/task/10009/stat : 10009 (java) S 9988 9990 9649 0 -1 4202560 68 0 0 0 0 4 0 0 15 0 19 0 469565398 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10010] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10010/stat : 10010 (java) S 9988 9990 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565429 7829954560 63886 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1124.86
Current children cumulated vsize (KiB) 7646440

[startup+1182.3 s]
/proc/loadavg: 4.04 4.03 3.95 5/260 10041
/proc/meminfo: memFree=17988904/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7646440 CPUtime=1185.02 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 72062 0 1 0 118384 118 0 0 25 0 19 0 469565392 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1911610 65041 2254 9 0 1902348 0
[pid=9990/tid=9991] ppid=9988 vsize=7646440 CPUtime=1145.92 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 15341 0 1 0 114490 102 0 0 25 0 19 0 469565393 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 46912505665831 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9990/tid=9993] ppid=9988 vsize=7646440 CPUtime=1.07 cores=4,6
/proc/9990/task/9993/stat : 9993 (java) S 9988 9990 9649 0 -1 4202560 3711 0 0 0 107 0 0 0 16 0 19 0 469565394 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9994] ppid=9988 vsize=7646440 CPUtime=0.78 cores=4,6
/proc/9990/task/9994/stat : 9994 (java) S 9988 9990 9649 0 -1 4202560 1597 0 0 0 78 0 0 0 16 0 19 0 469565394 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9995] ppid=9988 vsize=7646440 CPUtime=0.86 cores=4,6
/proc/9990/task/9995/stat : 9995 (java) S 9988 9990 9649 0 -1 4202560 1204 0 0 0 86 0 0 0 15 0 19 0 469565394 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9996] ppid=9988 vsize=7646440 CPUtime=0.77 cores=4,6
/proc/9990/task/9996/stat : 9996 (java) S 9988 9990 9649 0 -1 4202560 33 0 0 0 77 0 0 0 15 0 19 0 469565394 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9997] ppid=9988 vsize=7646440 CPUtime=1 cores=4,6
/proc/9990/task/9997/stat : 9997 (java) S 9988 9990 9649 0 -1 4202560 1941 0 0 0 100 0 0 0 15 0 19 0 469565394 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9998] ppid=9988 vsize=7646440 CPUtime=0.97 cores=4,6
/proc/9990/task/9998/stat : 9998 (java) S 9988 9990 9649 0 -1 4202560 152 0 0 0 97 0 0 0 15 0 19 0 469565394 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9999] ppid=9988 vsize=7646440 CPUtime=0.97 cores=4,6
/proc/9990/task/9999/stat : 9999 (java) S 9988 9990 9649 0 -1 4202560 38 0 0 0 97 0 0 0 15 0 19 0 469565394 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10000] ppid=9988 vsize=7646440 CPUtime=1.06 cores=4,6
/proc/9990/task/10000/stat : 10000 (java) S 9988 9990 9649 0 -1 4202560 154 0 0 0 106 0 0 0 15 0 19 0 469565394 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10002] ppid=9988 vsize=7646440 CPUtime=30.49 cores=4,6
/proc/9990/task/10002/stat : 10002 (java) S 9988 9990 9649 0 -1 4202560 36862 0 0 0 3041 8 0 0 15 0 19 0 469565395 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 0 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10003] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10003/stat : 10003 (java) S 9988 9990 9649 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10004] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10004/stat : 10004 (java) S 9988 9990 9649 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10005] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10005/stat : 10005 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676631985 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10006] ppid=9988 vsize=7646440 CPUtime=0.41 cores=4,6
/proc/9990/task/10006/stat : 10006 (java) S 9988 9990 9649 0 -1 4202560 3033 0 0 0 40 1 0 0 15 0 19 0 469565398 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10007] ppid=9988 vsize=7646440 CPUtime=0.58 cores=4,6
/proc/9990/task/10007/stat : 10007 (java) S 9988 9990 9649 0 -1 4202560 6774 0 0 0 58 0 0 0 15 0 19 0 469565398 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10008] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10008/stat : 10008 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10009] ppid=9988 vsize=7646440 CPUtime=0.04 cores=4,6
/proc/9990/task/10009/stat : 10009 (java) S 9988 9990 9649 0 -1 4202560 70 0 0 0 0 4 0 0 15 0 19 0 469565398 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10010] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10010/stat : 10010 (java) S 9988 9990 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565429 7829954560 65041 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1185.02
Current children cumulated vsize (KiB) 7646440

[startup+1242.3 s]
/proc/loadavg: 4.29 4.09 3.97 5/260 10043
/proc/meminfo: memFree=17981552/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7646440 CPUtime=1245.17 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 73139 0 1 0 124393 124 0 0 25 0 19 0 469565392 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1911610 66103 2254 9 0 1902348 0
[pid=9990/tid=9991] ppid=9988 vsize=7646440 CPUtime=1204.22 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 15348 0 1 0 120316 106 0 0 25 0 19 0 469565393 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 46912505637811 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9990/tid=9993] ppid=9988 vsize=7646440 CPUtime=1.14 cores=4,6
/proc/9990/task/9993/stat : 9993 (java) S 9988 9990 9649 0 -1 4202560 3711 0 0 0 114 0 0 0 15 0 19 0 469565394 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9994] ppid=9988 vsize=7646440 CPUtime=0.81 cores=4,6
/proc/9990/task/9994/stat : 9994 (java) S 9988 9990 9649 0 -1 4202560 1597 0 0 0 81 0 0 0 16 0 19 0 469565394 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9995] ppid=9988 vsize=7646440 CPUtime=0.91 cores=4,6
/proc/9990/task/9995/stat : 9995 (java) S 9988 9990 9649 0 -1 4202560 1204 0 0 0 91 0 0 0 15 0 19 0 469565394 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9996] ppid=9988 vsize=7646440 CPUtime=0.8 cores=4,6
/proc/9990/task/9996/stat : 9996 (java) S 9988 9990 9649 0 -1 4202560 33 0 0 0 80 0 0 0 15 0 19 0 469565394 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9997] ppid=9988 vsize=7646440 CPUtime=1.09 cores=4,6
/proc/9990/task/9997/stat : 9997 (java) S 9988 9990 9649 0 -1 4202560 1941 0 0 0 109 0 0 0 16 0 19 0 469565394 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9998] ppid=9988 vsize=7646440 CPUtime=1.04 cores=4,6
/proc/9990/task/9998/stat : 9998 (java) S 9988 9990 9649 0 -1 4202560 152 0 0 0 104 0 0 0 15 0 19 0 469565394 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9999] ppid=9988 vsize=7646440 CPUtime=1.03 cores=4,6
/proc/9990/task/9999/stat : 9999 (java) S 9988 9990 9649 0 -1 4202560 38 0 0 0 103 0 0 0 15 0 19 0 469565394 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10000] ppid=9988 vsize=7646440 CPUtime=1.09 cores=4,6
/proc/9990/task/10000/stat : 10000 (java) S 9988 9990 9649 0 -1 4202560 154 0 0 0 109 0 0 0 16 0 19 0 469565394 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10002] ppid=9988 vsize=7646440 CPUtime=31.9 cores=4,6
/proc/9990/task/10002/stat : 10002 (java) S 9988 9990 9649 0 -1 4202560 37928 0 0 0 3181 9 0 0 15 0 19 0 469565395 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 0 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10003] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10003/stat : 10003 (java) S 9988 9990 9649 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10004] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10004/stat : 10004 (java) S 9988 9990 9649 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10005] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10005/stat : 10005 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676631985 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10006] ppid=9988 vsize=7646440 CPUtime=0.41 cores=4,6
/proc/9990/task/10006/stat : 10006 (java) S 9988 9990 9649 0 -1 4202560 3033 0 0 0 40 1 0 0 15 0 19 0 469565398 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10007] ppid=9988 vsize=7646440 CPUtime=0.58 cores=4,6
/proc/9990/task/10007/stat : 10007 (java) S 9988 9990 9649 0 -1 4202560 6774 0 0 0 58 0 0 0 15 0 19 0 469565398 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10008] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10008/stat : 10008 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10009] ppid=9988 vsize=7646440 CPUtime=0.04 cores=4,6
/proc/9990/task/10009/stat : 10009 (java) S 9988 9990 9649 0 -1 4202560 74 0 0 0 0 4 0 0 15 0 19 0 469565398 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10010] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10010/stat : 10010 (java) S 9988 9990 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565429 7829954560 66103 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1245.17
Current children cumulated vsize (KiB) 7646440



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.16 4.08 3.97 2/200 10054
/proc/meminfo: memFree=18351888/32951132 swapFree=67111528/67111528
[pid=9990] ppid=9988 vsize=7646440 CPUtime=1302.99 cores=4,6
/proc/9990/stat : 9990 (java) S 9988 9990 9649 0 -1 4202496 74091 0 1 0 130172 127 0 0 25 0 19 0 469565392 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9990/statm: 1911610 67043 2254 9 0 1902348 0
[pid=9990/tid=9991] ppid=9988 vsize=7646440 CPUtime=1260.4 cores=4,6
/proc/9990/task/9991/stat : 9991 (java) R 9988 9990 9649 0 -1 4202560 15354 0 1 0 125931 109 0 0 25 0 19 0 469565393 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 46912505549776 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9990/tid=9993] ppid=9988 vsize=7646440 CPUtime=1.2 cores=4,6
/proc/9990/task/9993/stat : 9993 (java) S 9988 9990 9649 0 -1 4202560 3711 0 0 0 120 0 0 0 15 0 19 0 469565394 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=9994] ppid=9988 vsize=7646440 CPUtime=0.87 cores=4,6
/proc/9990/task/9994/stat : 9994 (java) S 9988 9990 9649 0 -1 4202560 1597 0 0 0 87 0 0 0 15 0 19 0 469565394 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9995] ppid=9988 vsize=7646440 CPUtime=0.91 cores=4,6
/proc/9990/task/9995/stat : 9995 (java) S 9988 9990 9649 0 -1 4202560 1204 0 0 0 91 0 0 0 15 0 19 0 469565394 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9996] ppid=9988 vsize=7646440 CPUtime=0.86 cores=4,6
/proc/9990/task/9996/stat : 9996 (java) S 9988 9990 9649 0 -1 4202560 33 0 0 0 86 0 0 0 16 0 19 0 469565394 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9997] ppid=9988 vsize=7646440 CPUtime=1.12 cores=4,6
/proc/9990/task/9997/stat : 9997 (java) S 9988 9990 9649 0 -1 4202560 1941 0 0 0 112 0 0 0 15 0 19 0 469565394 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9998] ppid=9988 vsize=7646440 CPUtime=1.12 cores=4,6
/proc/9990/task/9998/stat : 9998 (java) S 9988 9990 9649 0 -1 4202560 152 0 0 0 112 0 0 0 16 0 19 0 469565394 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=9999] ppid=9988 vsize=7646440 CPUtime=1.06 cores=4,6
/proc/9990/task/9999/stat : 9999 (java) S 9988 9990 9649 0 -1 4202560 38 0 0 0 106 0 0 0 16 0 19 0 469565394 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10000] ppid=9988 vsize=7646440 CPUtime=1.12 cores=4,6
/proc/9990/task/10000/stat : 10000 (java) S 9988 9990 9649 0 -1 4202560 154 0 0 0 112 0 0 0 15 0 19 0 469565394 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10002] ppid=9988 vsize=7646440 CPUtime=33.19 cores=4,6
/proc/9990/task/10002/stat : 10002 (java) S 9988 9990 9649 0 -1 4202560 38870 0 0 0 3310 9 0 0 15 0 19 0 469565395 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 0 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10003] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10003/stat : 10003 (java) S 9988 9990 9649 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10004] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10004/stat : 10004 (java) S 9988 9990 9649 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 469565396 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 4 0 0 0
[pid=9990/tid=10005] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10005/stat : 10005 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676631985 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10006] ppid=9988 vsize=7646440 CPUtime=0.41 cores=4,6
/proc/9990/task/10006/stat : 10006 (java) S 9988 9990 9649 0 -1 4202560 3033 0 0 0 40 1 0 0 15 0 19 0 469565398 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10007] ppid=9988 vsize=7646440 CPUtime=0.58 cores=4,6
/proc/9990/task/10007/stat : 10007 (java) S 9988 9990 9649 0 -1 4202560 6774 0 0 0 58 0 0 0 15 0 19 0 469565398 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10008] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10008/stat : 10008 (java) S 9988 9990 9649 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469565398 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624281 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10009] ppid=9988 vsize=7646440 CPUtime=0.04 cores=4,6
/proc/9990/task/10009/stat : 10009 (java) S 9988 9990 9649 0 -1 4202560 78 0 0 0 0 4 0 0 15 0 19 0 469565398 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
[pid=9990/tid=10010] ppid=9988 vsize=7646440 CPUtime=0 cores=4,6
/proc/9990/task/10010/stat : 10010 (java) S 9988 9990 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565429 7829954560 67043 33554432000 1073741824 1073778376 140736275786048 18446744073709551615 274676624896 0 4 0 16800975 18446604453750678464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1302.99
Current children cumulated vsize (KiB) 7646440

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.08
CPU time (s): 1303.12
CPU user time (s): 1301.84
CPU system time (s): 1.2838
CPU usage (%): 100.234
Max. virtual memory (cumulated for all children) (KiB): 7660552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.84
system time used= 1.2838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74127
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= 32649
involuntary context switches= 8921

runsolver used 2.32565 second user time and 4.90525 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-23 19:27:38
IDJOB=3265384
IDBENCH=85572
IDSOLVER=1611
FILE ID=node131/3265384-1303579657
RUNJOBID= node131-1303578355-9668
PBS_JOBID= 13150336
Free space on /tmp= 72044 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.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-3265384-1303579657/watcher-3265384-1303579657 -o /tmp/evaluation-result-3265384-1303579657/solver-3265384-1303579657 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265384-1303579657.cnf

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

MD5SUM BENCH= 384c65902b197ca2c64d2ee8a3c64089
RANDOM SEED=1015274743

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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:     32951132 kB
MemFree:      18505964 kB
Buffers:        992360 kB
Cached:       12754792 kB
SwapCached:          0 kB
Active:        4326672 kB
Inactive:      9602604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      18505964 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4708 kB
Writeback:          60 kB
AnonPages:      181084 kB
Mapped:          23056 kB
Slab:           450900 kB
PageTables:       5672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 22006244 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72044 MiB
End job on node131 at 2011-04-23 19:49:20