Trace number 3739650

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
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.47 1786.72

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_7-unsat.opb
MD5SUMdcebcc122dcddcac4192e5e5bf5bd3e3
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark17.6313
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables24684
Total number of constraints81656
Number of constraints which are clauses81252
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 745
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3739650-1338732956.opb
0.09/0.10	c reading problem ... 
1.65/0.94	c ... done. Wall clock time 0.84s.
1.65/0.94	c CPU time (experimental) 0.91s.
1.65/0.94	c #vars     24684
1.65/0.94	c #constraints  66994
961.52/954.70	c cleaning 622240 clauses out of 1244501 for limit 4.5221194192303435E-6
965.93/959.10	c cleaning 311371 clauses out of 622761 for limit 1.4902933258530903E-5
975.74/968.79	c cleaning 164426 clauses out of 328892 for limit 1135.9649275398103
976.24/969.21	c cleaning 82460 clauses out of 164963 for limit 3723.780199697313
976.45/969.44	c cleaning 41480 clauses out of 83003 for limit 12204.85662371123
982.74/975.65	c cleaning 29749 clauses out of 59524 for limit 1.1287059319011606E12
982.93/975.85	c cleaning 15127 clauses out of 30274 for limit 3.6561540326291504E12
983.13/976.00	c cleaning 7811 clauses out of 15648 for limit 1.1676854052976117E13
983.23/976.14	c cleaning 4159 clauses out of 8338 for limit 3.617538797108823E13
988.10/980.99	c cleaning 10828 clauses out of 21677 for limit 5.579084413008296
988.30/981.13	c cleaning 5659 clauses out of 11350 for limit 17.589627699295477
988.40/981.26	c cleaning 3085 clauses out of 6192 for limit 53.22454530270226
988.50/981.39	c cleaning 1790 clauses out of 3605 for limit 150.46119335700487
993.45/986.27	c cleaning 9656 clauses out of 19315 for limit 1.12821301110127E9
993.65/986.42	c cleaning 5060 clauses out of 10160 for limit 3.54064599857358E9
998.40/991.11	c cleaning 10791 clauses out of 21599 for limit 2.457832769494951E-4
998.49/991.26	c cleaning 5647 clauses out of 11308 for limit 7.742051606510735E-4
998.59/991.39	c cleaning 3070 clauses out of 6161 for limit 0.00234340061693158
998.79/991.52	c cleaning 1789 clauses out of 3592 for limit 0.0066351664108662166
1003.76/996.44	c cleaning 9387 clauses out of 18803 for limit 30878.85298063191
1003.86/996.60	c cleaning 4945 clauses out of 9915 for limit 96475.48321489054
1004.06/996.72	c cleaning 2725 clauses out of 5472 for limit 288860.7289548415
1009.33/1001.94	c cleaning 10371 clauses out of 20749 for limit 5.057296040041161E12
1009.43/1002.07	c cleaning 5420 clauses out of 10874 for limit 1.5850539863111258E13
1009.53/1002.19	c cleaning 2953 clauses out of 5954 for limit 4.7739783381130586E13
1014.68/1007.24	c cleaning 10242 clauses out of 20502 for limit 5.575497202956391
1014.88/1007.40	c cleaning 5369 clauses out of 10759 for limit 17.503677346917367
1014.99/1007.56	c cleaning 2933 clauses out of 5890 for limit 52.7280607402455
1020.06/1012.60	c cleaning 10212 clauses out of 20458 for limit 6.104983247076687E8
1020.26/1012.73	c cleaning 5369 clauses out of 10747 for limit 1.9184513954749796E9
1020.36/1012.84	c cleaning 2935 clauses out of 5877 for limit 5.779679205821827E9
1025.21/1017.69	c cleaning 10464 clauses out of 20942 for limit 0.001074615750986154
1025.41/1017.82	c cleaning 5478 clauses out of 10978 for limit 0.0033806796368353663
1025.51/1017.95	c cleaning 2988 clauses out of 5999 for limit 0.010192242718784182
1030.58/1022.99	c cleaning 10241 clauses out of 20511 for limit 119761.66633936521
1030.78/1023.13	c cleaning 5372 clauses out of 10771 for limit 376477.51011310564
1030.88/1023.27	c cleaning 2918 clauses out of 5898 for limit 1132691.5756742675
1035.93/1028.27	c cleaning 10214 clauses out of 20481 for limit 1.3117643933934373E13
1036.14/1028.41	c cleaning 5363 clauses out of 10767 for limit 4.114984178361685E13
1036.24/1028.54	c cleaning 2937 clauses out of 5903 for limit 1.2365494106764144E14
1041.09/1033.32	c cleaning 10219 clauses out of 20466 for limit 14.328717934976915
1041.19/1033.47	c cleaning 5362 clauses out of 10747 for limit 44.999629852285516
1041.39/1033.60	c cleaning 2935 clauses out of 5885 for limit 135.5206918674911
1041.49/1033.74	c cleaning 1719 clauses out of 3452 for limit 381.7738704367632
1045.74/1037.96	c cleaning 9599 clauses out of 19232 for limit 2.7502620180266476E9
1045.84/1038.08	c cleaning 5055 clauses out of 10132 for limit 8.60052010790137E9
1046.04/1038.21	c cleaning 2773 clauses out of 5577 for limit 2.5767669362313255E10
1050.51/1042.63	c cleaning 9634 clauses out of 19304 for limit 0.001099696255027363
1050.62/1042.78	c cleaning 5059 clauses out of 10171 for limit 0.0034454567243409513
1050.81/1042.93	c cleaning 2783 clauses out of 5611 for limit 0.01028943576508139
1055.79/1047.81	c cleaning 10128 clauses out of 20330 for limit 114319.2901825068
1055.89/1047.96	c cleaning 5295 clauses out of 10702 for limit 358135.8841700109
1055.99/1048.09	c cleaning 2911 clauses out of 5905 for limit 1068266.8367624255
1060.73/1052.77	c cleaning 9966 clauses out of 19997 for limit 7.707943016813671E12
1060.93/1052.90	c cleaning 5242 clauses out of 10528 for limit 2.4071869336936062E13
1061.03/1053.02	c cleaning 2888 clauses out of 5786 for limit 7.223258400663053E13
1061.13/1053.14	c cleaning 1695 clauses out of 3398 for limit 2.0283555892619712E14
1065.61/1057.56	c cleaning 9075 clauses out of 18204 for limit 5.598599794755193
1065.81/1057.72	c cleaning 4790 clauses out of 9631 for limit 17.486374625857362
1065.91/1057.85	c cleaning 2650 clauses out of 5339 for limit 51.91562704823402
1066.01/1057.96	c cleaning 1567 clauses out of 3188 for limit 143.23893629854064
1070.68/1062.52	c cleaning 8786 clauses out of 17624 for limit 2.3279134815790287E8
1070.78/1062.67	c cleaning 4641 clauses out of 9337 for limit 7.239112669062833E8
1070.97/1062.80	c cleaning 2571 clauses out of 5194 for limit 2.1417935826886506E9
1075.91/1067.78	c cleaning 9553 clauses out of 19123 for limit 8.593454949101048E-5
1076.11/1067.92	c cleaning 5021 clauses out of 10074 for limit 2.700945475898014E-4
1076.21/1068.05	c cleaning 2758 clauses out of 5550 for limit 8.060781187335421E-4
1076.33/1068.17	c cleaning 1622 clauses out of 3291 for limit 0.00223956467304391
1076.42/1068.27	c cleaning 1056 clauses out of 2170 for limit 0.005606891544744768
1081.30/1073.01	c cleaning 9282 clauses out of 18616 for limit 26309.984241356124
1081.40/1073.12	c cleaning 4875 clauses out of 9831 for limit 81914.65638579382
1081.50/1073.25	c cleaning 2701 clauses out of 5459 for limit 244008.88361186234
1081.60/1073.37	c cleaning 1592 clauses out of 3258 for limit 674254.0119798081
1081.80/1073.50	c cleaning 1050 clauses out of 2163 for limit 1669823.049289212
1086.34/1078.09	c cleaning 8767 clauses out of 17615 for limit 3.034992472614881E12
1086.53/1078.22	c cleaning 4664 clauses out of 9347 for limit 9.423004496109729E12
1086.63/1078.35	c cleaning 2559 clauses out of 5184 for limit 2.8047040843898535E13
1086.83/1078.50	c cleaning 1557 clauses out of 3123 for limit 7.662437039486445E13
1086.93/1078.62	c cleaning 1028 clauses out of 2066 for limit 1.9101368064810044E14
1091.31/1082.99	c cleaning 8481 clauses out of 17040 for limit 2.07865592566881
1091.51/1083.13	c cleaning 4481 clauses out of 9057 for limit 6.436572921297413
1091.61/1083.27	c cleaning 2500 clauses out of 5079 for limit 18.985422707172724
1091.71/1083.38	c cleaning 1495 clauses out of 3076 for limit 51.54238426989401
1091.92/1083.51	c cleaning 995 clauses out of 2081 for limit 125.64194254507689
1092.01/1083.63	c cleaning 754 clauses out of 1587 for limit 271.96949485625856
1096.25/1087.81	c cleaning 8372 clauses out of 16833 for limit 2.2968042454343757E8
1096.35/1087.93	c cleaning 4437 clauses out of 8960 for limit 7.10884215491496E8
1096.45/1088.05	c cleaning 2478 clauses out of 5023 for limit 2.0912193547163672E9
1096.55/1088.16	c cleaning 1480 clauses out of 3045 for limit 5.688940059817779E9
1096.65/1088.28	c cleaning 1032 clauses out of 2069 for limit 1.3862836411007906E10
1096.85/1088.40	c cleaning 758 clauses out of 1533 for limit 3.0731819524064777E10
1101.01/1092.50	c cleaning 8381 clauses out of 16776 for limit 2.5180532356039307E-4
1101.11/1092.62	c cleaning 4412 clauses out of 8895 for limit 7.83183013722123E-4
1101.21/1092.74	c cleaning 2452 clauses out of 4982 for limit 0.002303704995373504
1101.31/1092.86	c cleaning 1471 clauses out of 3032 for limit 0.006254985407310279
1101.41/1092.96	c cleaning 985 clauses out of 2061 for limit 0.015175163992106713
1101.51/1093.06	c cleaning 738 clauses out of 1574 for limit 0.0327034462302209
1105.95/1097.41	c cleaning 8617 clauses out of 17337 for limit 43903.89814462282
1106.05/1097.58	c cleaning 4569 clauses out of 9222 for limit 136388.20824045
1106.26/1097.73	c cleaning 2535 clauses out of 5150 for limit 401556.8738269662
1106.36/1097.86	c cleaning 1555 clauses out of 3115 for limit 1094843.7149051616
1106.45/1097.98	c cleaning 977 clauses out of 2060 for limit 2730227.565906823
1106.65/1098.10	c cleaning 751 clauses out of 1585 for limit 5863564.564585866
1111.05/1102.48	c cleaning 8626 clauses out of 17332 for limit 7.905285252467184E12
1111.25/1102.62	c cleaning 4595 clauses out of 9208 for limit 2.4588148412417707E13
1111.35/1102.74	c cleaning 2514 clauses out of 5111 for limit 7.290748529987512E13
1111.45/1102.86	c cleaning 1549 clauses out of 3098 for limit 1.9855781510040778E14
1111.55/1102.99	c cleaning 1024 clauses out of 2048 for limit 4.948343296371698E14
1111.75/1103.12	c cleaning 760 clauses out of 1524 for limit 1.0966314429130724E15
1116.12/1107.41	c cleaning 8351 clauses out of 16764 for limit 8.930101457432238
1116.22/1107.55	c cleaning 4424 clauses out of 8916 for limit 27.773039238774338
1116.33/1107.67	c cleaning 2456 clauses out of 4989 for limit 81.6079212177789
1116.43/1107.79	c cleaning 1476 clauses out of 3036 for limit 221.82141653983018
1116.62/1107.91	c cleaning 988 clauses out of 2059 for limit 538.8529567034939
1116.72/1108.03	c cleaning 741 clauses out of 1569 for limit 1163.8326500370417
1116.82/1108.14	c cleaning 617 clauses out of 1328 for limit 2267.625291925938
1121.16/1112.48	c cleaning 8292 clauses out of 16712 for limit 1.6157115752755334E9
1121.36/1112.60	c cleaning 4400 clauses out of 8922 for limit 5.000978126140992E9
1121.46/1112.71	c cleaning 2493 clauses out of 5020 for limit 1.4628517655609337E10
1121.56/1112.82	c cleaning 1499 clauses out of 3026 for limit 3.998126112425055E10
1121.66/1112.91	c cleaning 1006 clauses out of 2028 for limit 9.847995936119075E10
1121.76/1113.01	c cleaning 754 clauses out of 1522 for limit 2.1639989511624884E11
1126.03/1117.23	c cleaning 8348 clauses out of 16767 for limit 0.001757803021105776
1126.13/1117.37	c cleaning 4424 clauses out of 8920 for limit 0.00545445188751931
1126.23/1117.49	c cleaning 2465 clauses out of 4996 for limit 0.016060143704295773
1126.44/1117.61	c cleaning 1475 clauses out of 3030 for limit 0.043626523198696476
1126.53/1117.72	c cleaning 994 clauses out of 2058 for limit 0.10624470226694809
1126.63/1117.83	c cleaning 742 clauses out of 1563 for limit 0.230470344749455
1126.73/1117.94	c cleaning 623 clauses out of 1320 for limit 0.44959500078827397
1126.83/1118.08	c cleaning 556 clauses out of 1196 for limit 0.8174959321555918
1131.20/1122.33	c cleaning 8296 clauses out of 16641 for limit 526817.5756202172
1131.31/1122.45	c cleaning 4397 clauses out of 8844 for limit 1633098.2646992318
1131.40/1122.58	c cleaning 2454 clauses out of 4949 for limit 4822458.600007859
1131.60/1122.71	c cleaning 1465 clauses out of 2993 for limit 1.3123996576323686E7
1131.70/1122.83	c cleaning 1002 clauses out of 2029 for limit 3.1958116604168825E7
1131.80/1122.97	c cleaning 750 clauses out of 1526 for limit 7.000516211422756E7
1132.01/1123.11	c cleaning 612 clauses out of 1276 for limit 1.3806697569575578E8
1136.46/1127.55	c cleaning 8059 clauses out of 16164 for limit 5.9200331932316125E13
1136.55/1127.66	c cleaning 4288 clauses out of 8605 for limit 1.833909903957537E14
1136.65/1127.79	c cleaning 2386 clauses out of 4819 for limit 5.411240729918276E14
1136.85/1127.92	c cleaning 1445 clauses out of 2931 for limit 1.4642823452474078E-5
1136.95/1128.04	c cleaning 988 clauses out of 1986 for limit 3.5638325280423426E-5
1137.05/1128.17	c cleaning 722 clauses out of 1500 for limit 7.797047556104299E-5
1137.15/1128.27	c cleaning 629 clauses out of 1276 for limit 1.508542782104683E-4
1141.62/1132.68	c cleaning 8044 clauses out of 16147 for limit 64.75136940710084
1141.82/1132.81	c cleaning 4276 clauses out of 8603 for limit 200.4226347230694
1141.93/1132.95	c cleaning 2388 clauses out of 4827 for limit 589.0813563271631
1142.03/1133.08	c cleaning 1445 clauses out of 2939 for limit 1595.5443405507458
1142.22/1133.22	c cleaning 970 clauses out of 1995 for limit 3880.2165408556416
1142.32/1133.35	c cleaning 726 clauses out of 1524 for limit 8368.262037895725
1142.42/1133.48	c cleaning 628 clauses out of 1300 for limit 16210.701026669982
1147.30/1138.25	c cleaning 8580 clauses out of 17170 for limit 1.8094646416460964E10
1147.40/1138.40	c cleaning 4539 clauses out of 9090 for limit 5.636537490966503E10
1147.60/1138.52	c cleaning 2522 clauses out of 5052 for limit 1.6741845899492014E11
1147.70/1138.65	c cleaning 1499 clauses out of 3029 for limit 4.60032785451701E11
1147.80/1138.79	c cleaning 991 clauses out of 2031 for limit 1.132579072641392E12
1148.00/1138.93	c cleaning 736 clauses out of 1540 for limit 2.4632791010040356E12
1148.10/1139.07	c cleaning 616 clauses out of 1304 for limit 4.797474098522144E12
1152.65/1143.50	c cleaning 7819 clauses out of 15687 for limit 0.013121770328826911
1152.75/1143.67	c cleaning 4158 clauses out of 8368 for limit 0.04056640704208074
1152.95/1143.83	c cleaning 2336 clauses out of 4711 for limit 0.11895029134902561
1153.06/1143.98	c cleaning 1417 clauses out of 2874 for limit 0.3212278757591252
1153.25/1144.12	c cleaning 958 clauses out of 1960 for limit 0.7791181839977165
1153.35/1144.25	c cleaning 728 clauses out of 1500 for limit 1.6755408339305584
1157.62/1148.42	c cleaning 7374 clauses out of 14773 for limit 206241.91168644934
1157.71/1148.57	c cleaning 3934 clauses out of 7898 for limit 635550.2139088047
1157.91/1148.71	c cleaning 2212 clauses out of 4467 for limit 1858705.0054599901
1158.01/1148.83	c cleaning 1357 clauses out of 2751 for limit 4957396.667400391
1158.11/1148.96	c cleaning 926 clauses out of 1896 for limit 1.1885866237222942E7
1158.21/1149.09	c cleaning 723 clauses out of 1469 for limit 2.527369562287292E7
1158.41/1149.21	c cleaning 615 clauses out of 1245 for limit 4.9129525589446895E7
1158.51/1149.33	c cleaning 565 clauses out of 1132 for limit 8.928744705413966E7
1158.62/1149.48	c cleaning 518 clauses out of 1066 for limit 1.5620718389521486E8
1162.84/1153.66	c cleaning 7494 clauses out of 15047 for limit 2.2079767614022695E13
1162.94/1153.80	c cleaning 4020 clauses out of 8053 for limit 6.803660072852624E13
1163.15/1153.93	c cleaning 2252 clauses out of 4533 for limit 1.9932899364382444E14
1163.24/1154.04	c cleaning 1373 clauses out of 2781 for limit 5.3581034126274894E14
1163.34/1154.15	c cleaning 932 clauses out of 1908 for limit 1.2879221039608737E-5
1163.44/1154.25	c cleaning 726 clauses out of 1477 for limit 2.7464890424858653E-5
1163.54/1154.36	c cleaning 611 clauses out of 1250 for limit 5.3465019335244435E-5
1163.64/1154.49	c cleaning 561 clauses out of 1139 for limit 9.676357474335242E-5
1163.84/1154.61	c cleaning 528 clauses out of 1080 for limit 1.686307545532091E-4
1168.91/1159.62	c cleaning 8999 clauses out of 18050 for limit 404.548275595459
1169.01/1159.76	c cleaning 4750 clauses out of 9551 for limit 1260.8243931026664
1169.21/1159.93	c cleaning 2622 clauses out of 5301 for limit 3746.291184421971
1169.31/1160.07	c cleaning 1562 clauses out of 3179 for limit 10302.074677611849
1169.41/1160.19	c cleaning 1022 clauses out of 2117 for limit 25512.337444943812
1169.61/1160.33	c cleaning 766 clauses out of 1595 for limit 55842.687129260405
1169.72/1160.45	c cleaning 627 clauses out of 1330 for limit 110551.78352458136
1169.82/1160.56	c cleaning 560 clauses out of 1202 for limit 201527.49283460397
1174.49/1165.17	c cleaning 8312 clauses out of 16643 for limit 1.3050587190116862E11
1174.69/1165.33	c cleaning 4403 clauses out of 8831 for limit 4.0560907937426855E11
1174.79/1165.44	c cleaning 2450 clauses out of 4927 for limit 1.1977229343793203E12
1174.89/1165.56	c cleaning 1442 clauses out of 2977 for limit 3.2690079765342515E12
1174.99/1165.67	c cleaning 985 clauses out of 2037 for limit 7.894573936763945E12
1175.09/1165.79	c cleaning 727 clauses out of 1550 for limit 1.7075557456994344E13
1175.30/1165.91	c cleaning 621 clauses out of 1323 for limit 3.299154330262862E13
1175.40/1166.02	c cleaning 589 clauses out of 1202 for limit 5.98844265727781E13
1175.49/1166.14	c cleaning 550 clauses out of 1113 for limit 1.0665447582906912E14
1798.12/1784.93	c cleaning 494247 clauses out of 988563 for limit 2.382882500328753
1800.05/1786.71	c starts		: 24
1800.05/1786.71	c conflicts		: 2965859
1800.05/1786.71	c decisions		: 3836152
1800.05/1786.71	c propagations		: 1432875577
1800.05/1786.71	c inspects		: 13242884671
1800.05/1786.71	c learnt literals	: 0
1800.05/1786.71	c learnt binary clauses	: 0
1800.05/1786.71	c learnt ternary clauses	: 2412
1800.05/1786.71	c learnt clauses	: 2965859
1800.05/1786.71	c root simplifications	: 0
1800.05/1786.71	c removed literals (reason simplification)	: 0
1800.05/1786.71	c reason swapping (by a shorter reason)	: 0
1800.05/1786.71	c Calls to reduceDB	: 200
1800.05/1786.71	c speed (decisions/second)	: 2148.1985470555
1800.05/1786.71	c non guided choices	79
1800.05/1786.71	s UNKNOWN
1800.05/1786.71	c Total wall clock time (ms): 1786.611

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3739650-1338732956/watcher-3739650-1338732956 -o /tmp/evaluation-result-3739650-1338732956/solver-3739650-1338732956 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3739650-1338732956.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.33 2.21 2.08 3/194 8599
/proc/meminfo: memFree=26983736/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=268 CPUtime=0 cores=0,2,4,6
/proc/8599/stat : 8599 (java) R 8597 8599 4424 0 -1 4194304 256 0 0 0 0 0 0 0 20 0 1 0 339421521 274432 4 33554432000 0 0 140736001766883 140735071056376 242167213495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 67 15 9 9 0 24 0

[startup+0.0858791 s]
/proc/loadavg: 2.33 2.21 2.08 3/194 8599
/proc/meminfo: memFree=26983736/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 4195 0 1 0 5 1 0 0 20 0 18 0 339421521 3028844544 5401 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 739464 5401 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.100192 s]
/proc/loadavg: 2.33 2.21 2.08 3/194 8599
/proc/meminfo: memFree=26983736/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 4987 0 1 0 8 1 0 0 20 0 18 0 339421521 3028844544 6166 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 739464 6166 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300166 s]
/proc/loadavg: 2.33 2.21 2.08 3/194 8599
/proc/meminfo: memFree=26983736/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 6560 0 1 0 43 1 0 0 20 0 18 0 339421521 3028844544 9297 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 739464 9297 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856

[startup+0.700278 s]
/proc/loadavg: 2.33 2.21 2.08 3/194 8599
/proc/meminfo: memFree=26983736/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=2957856 CPUtime=1.34 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 10447 0 1 0 129 5 0 0 20 0 18 0 339421521 3028844544 39255 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 739464 39255 2261 9 0 729885 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 2957856

[startup+1.50071 s]
/proc/loadavg: 2.33 2.21 2.08 5/213 8618
/proc/meminfo: memFree=26730784/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=3024420 CPUtime=2.69 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 16905 0 1 0 261 8 0 0 20 0 19 0 339421521 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 756105 77131 2274 9 0 746526 0
[pid=8599/tid=8601] ppid=8597 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4424 0 -1 4202560 3234 0 1 0 141 5 0 0 20 0 19 0 339421522 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434761105960 140434701790940 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434626046120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434624993576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434623941032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434622888488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434621835944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434620783400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434619730856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8609/stat : 8609 (java) S 8597 8599 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434618678312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8610/stat : 8610 (java) S 8597 8599 4424 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434606479464 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8611/stat : 8611 (java) S 8597 8599 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434605425784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8612/stat : 8612 (java) S 8597 8599 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434604373128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8613/stat : 8613 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421527 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434603321872 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/8599/task/8614/stat : 8614 (java) S 8597 8599 4424 0 -1 4202560 5370 0 0 0 58 1 0 0 20 0 19 0 339421527 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434602269240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8615] ppid=8597 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/8599/task/8615/stat : 8615 (java) S 8597 8599 4424 0 -1 4202560 7100 0 0 0 58 2 0 0 20 0 19 0 339421527 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434601216696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8616] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8616/stat : 8616 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434600164344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8617] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8617/stat : 8617 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434599112008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8618] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8618/stat : 8618 (java) S 8597 8599 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339421621 3097006080 77131 33554432000 1073741824 1073778376 140736001764016 140434596979496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 3024420

[startup+3.10075 s]
/proc/loadavg: 2.33 2.21 2.08 3/213 8618
/proc/meminfo: memFree=26623660/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=3024420 CPUtime=4.43 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 17139 0 1 0 430 13 0 0 20 0 19 0 339421521 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 756105 117618 2290 9 0 746526 0
[pid=8599/tid=8601] ppid=8597 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4424 0 -1 4202560 3309 0 1 0 297 7 0 0 20 0 19 0 339421522 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434761104744 140434701619668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434626046120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434624993576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434623941032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434622888488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4424 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434621835944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434620783400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434619730856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8609/stat : 8609 (java) S 8597 8599 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434618678312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8610/stat : 8610 (java) S 8597 8599 4424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434606479464 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8611/stat : 8611 (java) S 8597 8599 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434605425784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8612/stat : 8612 (java) S 8597 8599 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434604373128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8613/stat : 8613 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421527 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434603321872 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/8599/task/8614/stat : 8614 (java) S 8597 8599 4424 0 -1 4202560 5465 0 0 0 62 1 0 0 20 0 19 0 339421527 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434602269240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8615] ppid=8597 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/8599/task/8615/stat : 8615 (java) S 8597 8599 4424 0 -1 4202560 7106 0 0 0 62 2 0 0 20 0 19 0 339421527 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434601216696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8616] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8616/stat : 8616 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434600164344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8617] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8617/stat : 8617 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434599112008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8618] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8618/stat : 8618 (java) S 8597 8599 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339421621 3097006080 117618 33554432000 1073741824 1073778376 140736001764016 140434596979496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 3024420

[startup+6.30067 s]
/proc/loadavg: 2.31 2.20 2.08 3/213 8618
/proc/meminfo: memFree=26506804/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=3024420 CPUtime=7.75 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 17199 0 1 0 758 17 0 0 20 0 19 0 339421521 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 756105 123984 2290 9 0 746526 0
[pid=8599/tid=8601] ppid=8597 vsize=3024420 CPUtime=6.22 cores=0,2,4,6
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4424 0 -1 4202560 3312 0 1 0 614 8 0 0 20 0 19 0 339421522 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434761104776 140434701749130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4424 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434626046120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4424 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 339421524 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434624993576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4424 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 339421524 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434623941032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4424 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 339421524 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434622888488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4424 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339421524 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434621835944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4424 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 339421524 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434620783400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4424 0 -1 4202560 16 0 0 0 0 1 0 0 20 0 19 0 339421524 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434619730856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8599/task/8609/stat : 8609 (java) S 8597 8599 4424 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 339421524 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434618678312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8610/stat : 8610 (java) S 8597 8599 4424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434606479464 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8611/stat : 8611 (java) S 8597 8599 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434605425784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8612/stat : 8612 (java) S 8597 8599 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434604373128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8613/stat : 8613 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421527 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434603321872 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/8599/task/8614/stat : 8614 (java) S 8597 8599 4424 0 -1 4202560 5465 0 0 0 63 1 0 0 20 0 19 0 339421527 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434602269240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8615] ppid=8597 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/8599/task/8615/stat : 8615 (java) S 8597 8599 4424 0 -1 4202560 7109 0 0 0 63 2 0 0 20 0 19 0 339421527 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434601216696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8616] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8616/stat : 8616 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434600164344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8617] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8617/stat : 8617 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434599112008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8618] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8618/stat : 8618 (java) S 8597 8599 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339421621 3097006080 123984 33554432000 1073741824 1073778376 140736001764016 140434596979496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=8599/tid=8607] ppid=8597 vsize=3024420 CPUtime=2.02 cores=0,2,4,6
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4424 0 -1 4202560 362 0 0 0 187 15 0 0 20 0 19 0 339421524 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434620783400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=3024420 CPUtime=1.98 cores=0,2,4,6
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4424 0 -1 4202560 373 0 0 0 187 11 0 0 20 0 19 0 339421524 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434619730856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=3024420 CPUtime=1.92 cores=0,2,4,6
/proc/8599/task/8609/stat : 8609 (java) S 8597 8599 4424 0 -1 4202560 359 0 0 0 179 13 0 0 20 0 19 0 339421524 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434618678312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/8599/task/8610/stat : 8610 (java) S 8597 8599 4424 0 -1 4202560 126 0 0 0 20 3 0 0 20 0 19 0 339421525 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434606479464 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8611/stat : 8611 (java) S 8597 8599 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434605425784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8612/stat : 8612 (java) S 8597 8599 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434604373128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8613/stat : 8613 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421527 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434603321872 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/8599/task/8614/stat : 8614 (java) S 8597 8599 4424 0 -1 4202560 5469 0 0 0 71 2 0 0 20 0 19 0 339421527 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434602269240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8615] ppid=8597 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/8599/task/8615/stat : 8615 (java) S 8597 8599 4424 0 -1 4202560 7117 0 0 0 65 2 0 0 20 0 19 0 339421527 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434601216696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8616] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8616/stat : 8616 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434600164344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8617] ppid=8597 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/8599/task/8617/stat : 8617 (java) S 8597 8599 4424 0 -1 4202560 98 0 0 0 31 30 0 0 20 0 19 0 339421528 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434599112008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8618] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8618/stat : 8618 (java) S 8597 8599 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339421621 3097006080 418988 33554432000 1073741824 1073778376 140736001764016 140434596979496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1735.21
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 8700
/proc/meminfo: memFree=25243036/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=3024420 CPUtime=1795.53 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 20838 0 1 0 179409 144 0 0 20 0 19 0 339421521 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 756105 419121 2306 9 0 746526 0
[pid=8599/tid=8601] ppid=8597 vsize=3024420 CPUtime=1777.31 cores=0,2,4,6
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4424 0 -1 4202560 3474 0 1 0 177695 36 0 0 20 0 19 0 339421522 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434761104640 140434701498048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=3024420 CPUtime=2.06 cores=0,2,4,6
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4424 0 -1 4202560 509 0 0 0 192 14 0 0 20 0 19 0 339421524 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434626046120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=3024420 CPUtime=2.09 cores=0,2,4,6
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4424 0 -1 4202560 382 0 0 0 194 15 0 0 20 0 19 0 339421524 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434624993576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=3024420 CPUtime=1.97 cores=0,2,4,6
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4424 0 -1 4202560 442 0 0 0 183 14 0 0 20 0 19 0 339421524 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434623941032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4424 0 -1 4202560 471 0 0 0 187 13 0 0 20 0 19 0 339421524 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434622888488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=3024420 CPUtime=1.93 cores=0,2,4,6
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4424 0 -1 4202560 414 0 0 0 182 11 0 0 20 0 19 0 339421524 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434621835944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=3024420 CPUtime=2.06 cores=0,2,4,6
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4424 0 -1 4202560 362 0 0 0 191 15 0 0 20 0 19 0 339421524 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434620783400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=3024420 CPUtime=2.03 cores=0,2,4,6
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4424 0 -1 4202560 373 0 0 0 192 11 0 0 20 0 19 0 339421524 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434619730856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=3024420 CPUtime=1.97 cores=0,2,4,6
/proc/8599/task/8609/stat : 8609 (java) S 8597 8599 4424 0 -1 4202560 408 0 0 0 184 13 0 0 20 0 19 0 339421524 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434618678312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/8599/task/8610/stat : 8610 (java) S 8597 8599 4424 0 -1 4202560 128 0 0 0 20 3 0 0 20 0 19 0 339421525 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434606479464 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8611/stat : 8611 (java) S 8597 8599 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434605425784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8612/stat : 8612 (java) S 8597 8599 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434604373128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8613/stat : 8613 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421527 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434603321872 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/8599/task/8614/stat : 8614 (java) S 8597 8599 4424 0 -1 4202560 5469 0 0 0 71 2 0 0 20 0 19 0 339421527 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434602269240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8615] ppid=8597 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/8599/task/8615/stat : 8615 (java) S 8597 8599 4424 0 -1 4202560 7117 0 0 0 65 2 0 0 20 0 19 0 339421527 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434601216696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8616] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8616/stat : 8616 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434600164344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8617] ppid=8597 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/8599/task/8617/stat : 8617 (java) S 8597 8599 4424 0 -1 4202560 102 0 0 0 32 32 0 0 20 0 19 0 339421528 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434599112008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8618] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8618/stat : 8618 (java) S 8597 8599 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339421621 3097006080 419121 33554432000 1073741824 1073778376 140736001764016 140434596979496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 8700
/proc/meminfo: memFree=25232548/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 20852 0 1 0 179860 145 0 0 20 0 19 0 339421521 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 756105 419132 2306 9 0 746526 0
[pid=8599/tid=8601] ppid=8597 vsize=3024420 CPUtime=1781.68 cores=0,2,4,6
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4424 0 -1 4202560 3475 0 1 0 178132 36 0 0 20 0 19 0 339421522 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434761104656 140434701063987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4424 0 -1 4202560 509 0 0 0 193 14 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434626046120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=3024420 CPUtime=2.1 cores=0,2,4,6
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4424 0 -1 4202560 382 0 0 0 195 15 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434624993576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4424 0 -1 4202560 442 0 0 0 186 14 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434623941032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=3024420 CPUtime=2.02 cores=0,2,4,6
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4424 0 -1 4202560 471 0 0 0 189 13 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434622888488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=3024420 CPUtime=1.95 cores=0,2,4,6
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4424 0 -1 4202560 425 0 0 0 184 11 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434621835944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4424 0 -1 4202560 362 0 0 0 192 15 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434620783400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=3024420 CPUtime=2.06 cores=0,2,4,6
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4424 0 -1 4202560 373 0 0 0 194 12 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434619730856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=3024420 CPUtime=1.98 cores=0,2,4,6
/proc/8599/task/8609/stat : 8609 (java) S 8597 8599 4424 0 -1 4202560 408 0 0 0 185 13 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434618678312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/8599/task/8610/stat : 8610 (java) S 8597 8599 4424 0 -1 4202560 130 0 0 0 20 3 0 0 20 0 19 0 339421525 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434606479464 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8611/stat : 8611 (java) S 8597 8599 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434605425784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8612/stat : 8612 (java) S 8597 8599 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434604373128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8613/stat : 8613 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421527 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434603321872 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/8599/task/8614/stat : 8614 (java) S 8597 8599 4424 0 -1 4202560 5469 0 0 0 71 2 0 0 20 0 19 0 339421527 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434602269240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8615] ppid=8597 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/8599/task/8615/stat : 8615 (java) S 8597 8599 4424 0 -1 4202560 7117 0 0 0 65 2 0 0 20 0 19 0 339421527 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434601216696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8616] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8616/stat : 8616 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434600164344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8617] ppid=8597 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/8599/task/8617/stat : 8617 (java) S 8597 8599 4424 0 -1 4202560 102 0 0 0 32 32 0 0 20 0 19 0 339421528 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434599112008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8618] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8618/stat : 8618 (java) S 8597 8599 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339421621 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434596979496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1786.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 8700
/proc/meminfo: memFree=25232548/32873648 swapFree=7112/7112
[pid=8599] ppid=8597 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/8599/stat : 8599 (java) S 8597 8599 4424 0 -1 4202496 20852 0 1 0 179860 145 0 0 20 0 19 0 339421521 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140736001755152 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8599/statm: 756105 419132 2306 9 0 746526 0
[pid=8599/tid=8601] ppid=8597 vsize=3024420 CPUtime=1781.68 cores=0,2,4,6
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4424 0 -1 4202560 3475 0 1 0 178132 36 0 0 20 0 19 0 339421522 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434761104656 140434701063987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4424 0 -1 4202560 509 0 0 0 193 14 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434626046120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=3024420 CPUtime=2.1 cores=0,2,4,6
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4424 0 -1 4202560 382 0 0 0 195 15 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434624993576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4424 0 -1 4202560 442 0 0 0 186 14 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434623941032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=3024420 CPUtime=2.02 cores=0,2,4,6
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4424 0 -1 4202560 471 0 0 0 189 13 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434622888488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=3024420 CPUtime=1.95 cores=0,2,4,6
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4424 0 -1 4202560 425 0 0 0 184 11 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434621835944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4424 0 -1 4202560 362 0 0 0 192 15 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434620783400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=3024420 CPUtime=2.06 cores=0,2,4,6
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4424 0 -1 4202560 373 0 0 0 194 12 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434619730856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=3024420 CPUtime=1.98 cores=0,2,4,6
/proc/8599/task/8609/stat : 8609 (java) S 8597 8599 4424 0 -1 4202560 408 0 0 0 185 13 0 0 20 0 19 0 339421524 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434618678312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/8599/task/8610/stat : 8610 (java) S 8597 8599 4424 0 -1 4202560 130 0 0 0 20 3 0 0 20 0 19 0 339421525 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434606479464 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8611/stat : 8611 (java) S 8597 8599 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434605425784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8612/stat : 8612 (java) S 8597 8599 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339421525 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434604373128 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8613/stat : 8613 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421527 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434603321872 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/8599/task/8614/stat : 8614 (java) S 8597 8599 4424 0 -1 4202560 5469 0 0 0 71 2 0 0 20 0 19 0 339421527 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434602269240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8615] ppid=8597 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/8599/task/8615/stat : 8615 (java) S 8597 8599 4424 0 -1 4202560 7117 0 0 0 65 2 0 0 20 0 19 0 339421527 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434601216696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8616] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8616/stat : 8616 (java) S 8597 8599 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339421528 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434600164344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8617] ppid=8597 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/8599/task/8617/stat : 8617 (java) S 8597 8599 4424 0 -1 4202560 102 0 0 0 32 32 0 0 20 0 19 0 339421528 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434599112008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8618] ppid=8597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8599/task/8618/stat : 8618 (java) S 8597 8599 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339421621 3097006080 419132 33554432000 1073741824 1073778376 140736001764016 140434596979496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1786.72
CPU time (s): 1800.47
CPU user time (s): 1798.52
CPU system time (s): 1.9527
CPU usage (%): 100.77
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.9527
maximum resident set size= 1676644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20881
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43105
involuntary context switches= 48221

runsolver used 5.47117 second user time and 15.9736 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 16:15:56
IDJOB=3739650
IDBENCH=73968
IDSOLVER=2319
FILE ID=node126/3739650-1338732956
RUNJOBID= node126-1338713124-4440
PBS_JOBID= 14636723
Free space on /tmp= 70784 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_7-unsat.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739650-1338732956/watcher-3739650-1338732956 -o /tmp/evaluation-result-3739650-1338732956/solver-3739650-1338732956 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3739650-1338732956.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= dcebcc122dcddcac4192e5e5bf5bd3e3
RANDOM SEED=269291498

node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26984380 kB
Buffers:          421056 kB
Cached:          3830912 kB
SwapCached:         9476 kB
Active:          2276568 kB
Inactive:        2740784 kB
Active(anon):     755328 kB
Inactive(anon):    12168 kB
Active(file):    1521240 kB
Inactive(file):  2728616 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:              6088 kB
Writeback:             0 kB
AnonPages:        773780 kB
Mapped:            18000 kB
Shmem:                 0 kB
Slab:             723532 kB
SReclaimable:     167608 kB
SUnreclaim:       555924 kB
KernelStack:        1592 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1826348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    731136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70772 MiB
End job on node126 at 2012-06-03 16:45:45