Trace number 3733396

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 NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.09 1784.02

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-modszk1.opb
MD5SUM73a69ec0478725312d0c26d36222113a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48602
Total number of constraints686
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints686
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 29700
Biggest coefficient in the objective function 197378980184064000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 14554406665136992500
Number of bits of the sum of numbers in the objective function 64
Biggest number in a constraint 197378980184064000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 14554406665136992500
Number of bits of the biggest sum of numbers64
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.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3733396-1338696087.opb
0.10/0.10	c reading problem ... 
1.17/0.67	c ... done. Wall clock time 0.574s.
1.17/0.67	c CPU time (experimental) 0.65s.
1.17/0.67	c #vars     48602
1.17/0.67	c #constraints  1367
403.35/397.39	c cleaning 316679 clauses out of 633496 for limit 2.8937763517019157E9
405.47/399.47	c cleaning 158626 clauses out of 317317 for limit 9.527333933878958E9
405.97/399.90	c cleaning 79500 clauses out of 159192 for limit 3.1349735933507565E10
874.83/865.91	c cleaning 267323 clauses out of 534692 for limit 4.708782359969378E7
883.30/874.30	c cleaning 137176 clauses out of 274369 for limit 1.0098565387154219E11
889.88/880.86	c cleaning 72089 clauses out of 144192 for limit 2.112523081951823E-6
894.54/885.42	c cleaning 39295 clauses out of 78606 for limit 0.0025936836119578774
900.09/890.95	c cleaning 23384 clauses out of 46809 for limit 7.88883029102971
904.74/895.60	c cleaning 14687 clauses out of 29425 for limit 5078.040370249217
905.14/895.98	c cleaning 7599 clauses out of 15238 for limit 16171.13633135119
909.81/900.56	c cleaning 7051 clauses out of 14138 for limit 1.161910161146632E7
910.22/900.93	c cleaning 3773 clauses out of 7588 for limit 3.573745352700074E7
914.99/905.62	c cleaning 5406 clauses out of 10814 for limit 2.7568457476723095E10
915.29/905.96	c cleaning 2930 clauses out of 5908 for limit 8.321741719579538E10
920.05/910.60	c cleaning 4740 clauses out of 9480 for limit 3.467703338059842E13
924.81/915.37	c cleaning 5852 clauses out of 11738 for limit 3.075881239544838E-4
925.21/915.71	c cleaning 3165 clauses out of 6386 for limit 9.323750452347733E-4
929.76/920.21	c cleaning 4838 clauses out of 9722 for limit 0.40909576304276013
930.06/920.53	c cleaning 2666 clauses out of 5384 for limit 1.2182360139055068
934.69/925.11	c cleaning 4586 clauses out of 9218 for limit 474.8170578752673
934.99/925.46	c cleaning 2541 clauses out of 5131 for limit 1405.3431366595814
939.62/930.03	c cleaning 4271 clauses out of 8590 for limit 339673.66090291814
940.02/930.42	c cleaning 2382 clauses out of 4821 for limit 1000098.58972259
944.67/935.09	c cleaning 4448 clauses out of 8940 for limit 3.602495694469282E8
945.06/935.42	c cleaning 2464 clauses out of 4989 for limit 1.0614018419890331E9
949.79/940.16	c cleaning 4737 clauses out of 9525 for limit 6.11801834227026E11
950.20/940.54	c cleaning 2622 clauses out of 5289 for limit 1.8188320182524526E12
954.95/945.22	c cleaning 4575 clauses out of 9166 for limit 6.996459496136037E-6
955.25/945.59	c cleaning 2543 clauses out of 5092 for limit 2.0790272464782306E-5
955.66/945.91	c cleaning 1501 clauses out of 3049 for limit 5.7259432393827485E-5
960.09/950.31	c cleaning 4004 clauses out of 8047 for limit 0.01446313636594056
960.38/950.66	c cleaning 2250 clauses out of 4544 for limit 0.04228132205379964
964.92/955.19	c cleaning 4624 clauses out of 9293 for limit 22.72892262974705
965.32/955.51	c cleaning 2562 clauses out of 5169 for limit 67.38824440101502
965.63/955.85	c cleaning 1532 clauses out of 3110 for limit 185.26343313680903
970.46/960.63	c cleaning 4269 clauses out of 8578 for limit 73917.3643534352
970.76/960.98	c cleaning 2381 clauses out of 4807 for limit 217092.71809513195
975.39/965.55	c cleaning 4190 clauses out of 8427 for limit 5.015930846206666E7
975.70/965.88	c cleaning 2345 clauses out of 4737 for limit 1.471556822406148E8
980.53/970.63	c cleaning 4696 clauses out of 9392 for limit 8.167793616289502E10
980.84/970.98	c cleaning 2572 clauses out of 5194 for limit 2.430791771489477E11
985.60/975.69	c cleaning 4784 clauses out of 9623 for limit 1.4452938242461194E14
985.99/976.03	c cleaning 2647 clauses out of 5338 for limit 4.2924914473448025E14
986.29/976.36	c cleaning 1567 clauses out of 3191 for limit 1.184178279237066E15
986.59/976.64	c cleaning 1038 clauses out of 2125 for limit 2.9354545421668245E15
990.84/980.86	c cleaning 3777 clauses out of 7587 for limit 0.005486441348141571
991.15/981.20	c cleaning 2130 clauses out of 4309 for limit 0.01591496566539971
991.54/981.53	c cleaning 1317 clauses out of 2679 for limit 0.04221486196138624
995.98/985.94	c cleaning 4160 clauses out of 8364 for limit 14.909926571577158
996.28/986.24	c cleaning 2326 clauses out of 4703 for limit 43.685360634239075
996.58/986.58	c cleaning 1419 clauses out of 2877 for limit 117.7678995179084
996.98/986.90	c cleaning 955 clauses out of 1959 for limit 285.5109399617718
1001.22/991.19	c cleaning 3736 clauses out of 7505 for limit 49781.449293596204
1001.62/991.53	c cleaning 2113 clauses out of 4266 for limit 143995.76959275507
1001.92/991.89	c cleaning 1302 clauses out of 2654 for limit 382085.06710853515
1006.67/996.53	c cleaning 4149 clauses out of 8351 for limit 1.3349666177400158E8
1006.97/996.83	c cleaning 2325 clauses out of 4702 for limit 3.9100485662127244E8
1007.27/997.13	c cleaning 1418 clauses out of 2877 for limit 1.0538548575132724E9
1011.70/1001.53	c cleaning 4207 clauses out of 8460 for limit 3.947909880441281E11
1012.00/1001.85	c cleaning 2342 clauses out of 4752 for limit 1.157930615350943E12
1012.31/1002.17	c cleaning 1454 clauses out of 2911 for limit 3.1203776748253247E12
1016.76/1006.59	c cleaning 3973 clauses out of 7958 for limit 7.624414094814222E-6
1017.15/1006.92	c cleaning 2237 clauses out of 4483 for limit 2.2275555080224233E-5
1017.45/1007.24	c cleaning 1370 clauses out of 2746 for limit 5.997256556618503E-5
1017.76/1007.55	c cleaning 913 clauses out of 1878 for limit 1.4490470378888053E-4
1022.09/1011.86	c cleaning 3716 clauses out of 7467 for limit 0.024368425802089658
1022.49/1012.20	c cleaning 2107 clauses out of 4250 for limit 0.07053522746663884
1022.81/1012.52	c cleaning 1293 clauses out of 2641 for limit 0.18681573956218792
1023.01/1012.79	c cleaning 903 clauses out of 1850 for limit 0.4406918784053623
1027.57/1017.23	c cleaning 3950 clauses out of 7944 for limit 112.60208250799342
1027.87/1017.54	c cleaning 2222 clauses out of 4495 for limit 328.50831059567764
1028.17/1017.86	c cleaning 1362 clauses out of 2774 for limit 878.7391969363189
1028.46/1018.16	c cleaning 929 clauses out of 1912 for limit 2102.492497423192
1032.80/1022.49	c cleaning 3963 clauses out of 7981 for limit 553195.2296740774
1033.20/1022.81	c cleaning 2236 clauses out of 4519 for limit 1612812.1804239603
1033.50/1023.13	c cleaning 1360 clauses out of 2782 for limit 4316088.941603836
1033.80/1023.46	c cleaning 935 clauses out of 1923 for limit 1.0307625371089084E7
1038.13/1027.71	c cleaning 3742 clauses out of 7487 for limit 1.7649080998475742E9
1038.43/1028.05	c cleaning 2122 clauses out of 4245 for limit 5.133435644151332E9
1038.73/1028.31	c cleaning 1311 clauses out of 2624 for limit 1.3709208592038815E10
1038.93/1028.60	c cleaning 886 clauses out of 1812 for limit 3.2706901051187355E10
1043.38/1032.95	c cleaning 3936 clauses out of 7926 for limit 8.228599794703548E12
1043.67/1033.23	c cleaning 2221 clauses out of 4490 for limit 2.3954634818016754E13
1043.97/1033.52	c cleaning 1361 clauses out of 2769 for limit 6.405732913135342E13
1044.27/1033.82	c cleaning 929 clauses out of 1908 for limit 1.5330958187955766E14
1048.92/1038.46	c cleaning 3977 clauses out of 7979 for limit 4.034424779602631E-4
1049.31/1038.80	c cleaning 2225 clauses out of 4502 for limit 0.001179181030393704
1049.61/1039.12	c cleaning 1369 clauses out of 2782 for limit 0.003162694875677306
1054.14/1043.67	c cleaning 4171 clauses out of 8409 for limit 1.1468706511514344
1054.54/1044.01	c cleaning 2345 clauses out of 4737 for limit 3.3541059891090343
1054.84/1044.33	c cleaning 1422 clauses out of 2892 for limit 9.060199594827022
1055.14/1044.64	c cleaning 960 clauses out of 1970 for limit 21.934397757981248
1059.59/1049.08	c cleaning 3724 clauses out of 7510 for limit 3839.534152433587
1059.90/1049.40	c cleaning 2119 clauses out of 4286 for limit 11094.869344961222
1060.29/1049.71	c cleaning 1309 clauses out of 2669 for limit 29440.87380729343
1060.59/1050.02	c cleaning 901 clauses out of 1858 for limit 69604.99768141005
1065.12/1054.51	c cleaning 3950 clauses out of 7960 for limit 1.793325065493101E7
1065.32/1054.79	c cleaning 2224 clauses out of 4507 for limit 5.2075911474669516E7
1065.72/1055.14	c cleaning 1365 clauses out of 2785 for limit 1.392592811949119E8
1066.03/1055.46	c cleaning 931 clauses out of 1918 for limit 3.328032887431354E8
1070.57/1059.92	c cleaning 3962 clauses out of 7988 for limit 8.802683474552092E10
1070.87/1060.26	c cleaning 2263 clauses out of 4526 for limit 2.5620905784332843E11
1071.17/1060.56	c cleaning 1381 clauses out of 2763 for limit 6.921241945996315E11
1075.92/1065.23	c cleaning 4180 clauses out of 8381 for limit 2.508516614209646E-6
1076.22/1065.54	c cleaning 2343 clauses out of 4701 for limit 7.3752790732595065E-6
1076.52/1065.85	c cleaning 1424 clauses out of 2859 for limit 2.001911861672107E-5
1076.82/1066.16	c cleaning 955 clauses out of 1934 for limit 4.875554480405844E-5
1081.27/1070.52	c cleaning 3717 clauses out of 7480 for limit 0.008420539713884467
1081.57/1070.86	c cleaning 2103 clauses out of 4262 for limit 0.02434722426980297
1081.87/1071.19	c cleaning 1305 clauses out of 2660 for limit 0.06439789382614529
1082.27/1071.53	c cleaning 899 clauses out of 1854 for limit 0.1522176264948897
1086.62/1075.88	c cleaning 3705 clauses out of 7455 for limit 25.261175664050207
1087.01/1076.21	c cleaning 2099 clauses out of 4251 for limit 73.13082966760318
1087.31/1076.56	c cleaning 1301 clauses out of 2651 for limit 193.19827880318292
1092.06/1081.21	c cleaning 3901 clauses out of 7851 for limit 43576.16896656827
1092.45/1081.60	c cleaning 2201 clauses out of 4450 for limit 126785.59106575561
1092.75/1081.97	c cleaning 1350 clauses out of 2748 for limit 338247.4704553489
1097.39/1086.52	c cleaning 4426 clauses out of 8900 for limit 1.8991908440114912E8
1097.70/1086.83	c cleaning 2487 clauses out of 4974 for limit 5.604136703202093E8
1097.99/1087.11	c cleaning 1492 clauses out of 2986 for limit 1.5379636585414793E9
1098.19/1087.37	c cleaning 997 clauses out of 1995 for limit 3.799998065556385E9
1098.49/1087.63	c cleaning 724 clauses out of 1497 for limit 8.343069289826509E9
1103.05/1092.16	c cleaning 4387 clauses out of 8774 for limit 4.2646041444876406E12
1103.35/1092.43	c cleaning 2442 clauses out of 4885 for limit 1.260661965090033E13
1103.65/1092.71	c cleaning 1468 clauses out of 2943 for limit 3.450871939368189E13
1103.85/1093.00	c cleaning 962 clauses out of 1976 for limit 8.48442790564284E13
1104.15/1093.25	c cleaning 727 clauses out of 1513 for limit 1.825542512886489E14
1108.70/1097.76	c cleaning 4382 clauses out of 8786 for limit 9.408792102004044E-4
1108.99/1098.04	c cleaning 2420 clauses out of 4904 for limit 0.0027799084704036373
1109.19/1098.29	c cleaning 1462 clauses out of 2984 for limit 0.007534215299630024
1109.49/1098.54	c cleaning 986 clauses out of 2022 for limit 0.018336294733989775
1109.69/1098.77	c cleaning 731 clauses out of 1536 for limit 0.03980681254556598
1114.03/1103.02	c cleaning 3876 clauses out of 7808 for limit 8.643602136236819
1114.34/1103.34	c cleaning 2188 clauses out of 4429 for limit 25.054240629457254
1114.63/1103.65	c cleaning 1344 clauses out of 2743 for limit 66.84763199468513
1114.93/1103.94	c cleaning 920 clauses out of 1899 for limit 159.23654915343164
1115.23/1104.25	c cleaning 707 clauses out of 1477 for limit 336.95669532488915
1119.79/1108.75	c cleaning 4111 clauses out of 8270 for limit 109216.28027703582
1120.08/1109.02	c cleaning 2298 clauses out of 4659 for limit 319709.8871667816
1120.38/1109.31	c cleaning 1403 clauses out of 2862 for limit 859151.0931920119
1120.68/1109.60	c cleaning 949 clauses out of 1959 for limit 2069953.6811783658
1120.89/1109.84	c cleaning 725 clauses out of 1509 for limit 4427180.194385074
1125.12/1114.06	c cleaning 3892 clauses out of 7785 for limit 9.453110874006791E8
1125.43/1114.35	c cleaning 2167 clauses out of 4393 for limit 2.762663897346614E9
1125.72/1114.69	c cleaning 1332 clauses out of 2726 for limit 7.342083022899891E9
1126.02/1114.98	c cleaning 921 clauses out of 1894 for limit 1.74269367501265E10
1126.32/1115.26	c cleaning 706 clauses out of 1473 for limit 3.6953380153429565E10
1130.66/1119.56	c cleaning 4099 clauses out of 8267 for limit 1.1949432604242775E13
1130.97/1119.85	c cleaning 2333 clauses out of 4668 for limit 3.489958489710214E13
1131.26/1120.12	c cleaning 1386 clauses out of 2835 for limit 9.4766301732248E13
1131.46/1120.40	c cleaning 947 clauses out of 1949 for limit 2.2732701204937138E14
1131.76/1120.68	c cleaning 752 clauses out of 1505 for limit 4.869516090141371E14
1136.58/1125.41	c cleaning 4344 clauses out of 8750 for limit 0.002499222424266424
1136.88/1125.70	c cleaning 2420 clauses out of 4905 for limit 0.0073450596224374195
1137.08/1125.96	c cleaning 1461 clauses out of 2985 for limit 0.019904253248542815
1137.38/1126.25	c cleaning 985 clauses out of 2026 for limit 0.04845913902195121
1137.68/1126.53	c cleaning 741 clauses out of 1540 for limit 0.10503058614017412
1141.93/1130.75	c cleaning 3873 clauses out of 7800 for limit 22.843299674829787
1142.32/1131.12	c cleaning 2190 clauses out of 4428 for limit 66.42571326269059
1142.62/1131.46	c cleaning 1345 clauses out of 2736 for limit 176.9353498317545
1142.92/1131.80	c cleaning 921 clauses out of 1890 for limit 421.9784506032969
1147.58/1136.35	c cleaning 4211 clauses out of 8469 for limit 170906.36985507872
1147.87/1136.67	c cleaning 2350 clauses out of 4758 for limit 501674.27508822555
1148.17/1136.96	c cleaning 1426 clauses out of 2908 for limit 1353654.2599242453
1148.47/1137.25	c cleaning 964 clauses out of 1982 for limit 3275324.949095977
1160.13/1148.87	c cleaning 46488 clauses out of 93019 for limit 65963.5618942694
1160.63/1149.40	c cleaning 23490 clauses out of 47030 for limit 214942.4334583466
1160.84/1149.59	c cleaning 11994 clauses out of 24042 for limit 694786.6384896131
1160.93/1149.66	c cleaning 6244 clauses out of 12547 for limit 2193327.7227163888
1161.03/1149.71	c cleaning 3376 clauses out of 6802 for limit 6665430.026701453
1161.03/1149.75	c cleaning 1938 clauses out of 3926 for limit 1.9044535865227927E7
1161.03/1149.78	c cleaning 1221 clauses out of 2491 for limit 4.964852869780845E7
1161.13/1149.82	c cleaning 855 clauses out of 1767 for limit 1.1507895584064066E8
1161.13/1149.85	c cleaning 677 clauses out of 1412 for limit 2.374945524991095E8
1161.13/1149.89	c cleaning 590 clauses out of 1235 for limit 4.4779297764832175E8
1161.23/1149.92	c cleaning 542 clauses out of 1145 for limit 7.965162429226153E8
1161.23/1149.96	c cleaning 526 clauses out of 1103 for limit 1.363579607892409E9
1161.23/1149.99	c cleaning 538 clauses out of 1077 for limit 2.303011963215927E9
1161.33/1150.03	c cleaning 493 clauses out of 1040 for limit 3.9370321088559084E9
1161.33/1150.06	c cleaning 523 clauses out of 1046 for limit 6.4489942057991905E9
1161.43/1150.10	c cleaning 511 clauses out of 1023 for limit 1.0874365462840654E10
1161.43/1150.13	c cleaning 475 clauses out of 1012 for limit 1.812821038823122E10
1161.43/1150.17	c cleaning 519 clauses out of 1039 for limit 2.9177280347550373E10
1161.53/1150.20	c cleaning 509 clauses out of 1019 for limit 4.901257806949307E10
1161.53/1150.24	c cleaning 476 clauses out of 1009 for limit 8.154774197097713E10
1161.53/1150.27	c cleaning 493 clauses out of 1034 for limit 1.3136297225062067E11
1161.63/1150.30	c cleaning 494 clauses out of 1041 for limit 2.151783943937752E11
1161.63/1150.34	c cleaning 500 clauses out of 1048 for limit 3.5284056451544885E11
1161.63/1150.38	c cleaning 523 clauses out of 1046 for limit 5.818284720268442E11
1161.73/1150.41	c cleaning 480 clauses out of 1023 for limit 9.810856142212936E11
1161.73/1150.44	c cleaning 494 clauses out of 1043 for limit 1.586916661471152E12
1161.73/1150.48	c cleaning 496 clauses out of 1049 for limit 2.602069110612015E12
1161.84/1150.51	c cleaning 527 clauses out of 1054 for limit 4.275078593787309E12
1161.84/1150.55	c cleaning 515 clauses out of 1030 for limit 7.236139184847218E12
1161.84/1150.58	c cleaning 476 clauses out of 1011 for limit 1.2109070865587291E13
1161.94/1150.62	c cleaning 491 clauses out of 1035 for limit 1.9506417425556402E13
1161.94/1150.65	c cleaning 522 clauses out of 1044 for limit 3.1891375547471004E13
1161.94/1150.69	c cleaning 486 clauses out of 1022 for limit 5.37252866862797E13
1162.03/1150.72	c cleaning 518 clauses out of 1036 for limit 8.74028851888358E13
1162.03/1150.75	c cleaning 510 clauses out of 1020 for limit 1.4669329483096434E14
1162.03/1150.79	c cleaning 504 clauses out of 1009 for limit 2.4430966263471766E14
1162.13/1150.83	c cleaning 475 clauses out of 1005 for limit 4.045028962171256E14
1162.13/1150.86	c cleaning 487 clauses out of 1029 for limit 6.508691656478015E14
1162.13/1150.89	c cleaning 490 clauses out of 1042 for limit 1.0599789494459975E15
1162.23/1150.93	c cleaning 495 clauses out of 1052 for limit 1.7314306718867672E15
1162.23/1150.96	c cleaning 506 clauses out of 1060 for limit 2.8423293757090775E15
1162.23/1151.00	c cleaning 502 clauses out of 1051 for limit 4.713352323038312E15
1162.33/1151.03	c cleaning 496 clauses out of 1050 for limit 7.788139469268286E15
1162.33/1151.06	c cleaning 526 clauses out of 1053 for limit 1.2794285079391348E16
1162.43/1151.10	c cleaning 513 clauses out of 1027 for limit 2.163365192993632E16
1162.43/1151.13	c cleaning 507 clauses out of 1014 for limit 3.613418082462532E16
1162.43/1151.16	c cleaning 504 clauses out of 1008 for limit 6.0004805894954136E16
1162.53/1151.20	c cleaning 501 clauses out of 1003 for limit 9.9349802829532144E16
1162.53/1151.23	c cleaning 479 clauses out of 1004 for limit 0.001640057748264212
1162.53/1151.26	c cleaning 485 clauses out of 1025 for limit 0.0026492617838122217
1162.63/1151.30	c cleaning 493 clauses out of 1039 for limit 0.004305807082744499
1162.63/1151.33	c cleaning 495 clauses out of 1045 for limit 0.007053021377022139
1162.63/1151.37	c cleaning 499 clauses out of 1051 for limit 0.011576550572880274
1162.73/1151.40	c cleaning 501 clauses out of 1052 for limit 0.01907313297279607
1162.73/1151.44	c cleaning 492 clauses out of 1050 for limit 0.03148254643226157
1162.73/1151.48	c cleaning 502 clauses out of 1060 for limit 0.05153214224559139
1162.83/1151.51	c cleaning 497 clauses out of 1056 for limit 0.08513477791309071
1162.83/1151.55	c cleaning 501 clauses out of 1059 for limit 0.14000090805309282
1162.83/1151.58	c cleaning 502 clauses out of 1059 for limit 0.23111133770365824
1162.94/1151.62	c cleaning 501 clauses out of 1056 for limit 0.3818340627789497
1162.94/1151.66	c cleaning 500 clauses out of 1055 for limit 0.6302923180950022
1162.94/1151.70	c cleaning 504 clauses out of 1056 for limit 1.0394915283379516
1163.04/1151.73	c cleaning 500 clauses out of 1051 for limit 1.7206935535922463
1163.04/1151.77	c cleaning 498 clauses out of 1052 for limit 2.837794264802857
1163.13/1151.80	c cleaning 503 clauses out of 1055 for limit 4.671265862579123
1163.13/1151.84	c cleaning 499 clauses out of 1051 for limit 7.72512836204864
1163.13/1151.87	c cleaning 496 clauses out of 1051 for limit 12.727030348083124
1163.23/1151.91	c cleaning 499 clauses out of 1055 for limit 20.908998097693384
1163.23/1151.95	c cleaning 501 clauses out of 1056 for limit 34.44908186065706
1163.23/1151.98	c cleaning 500 clauses out of 1055 for limit 56.86499393001523
1163.33/1152.02	c cleaning 501 clauses out of 1055 for limit 93.77798225338385
1163.33/1152.05	c cleaning 498 clauses out of 1054 for limit 154.79916719828418
1163.33/1152.09	c cleaning 505 clauses out of 1058 for limit 254.82877917773956
1163.43/1152.12	c cleaning 501 clauses out of 1053 for limit 422.2422208819273
1163.43/1152.16	c cleaning 498 clauses out of 1051 for limit 696.9613381045044
1497.92/1483.69	c cleaning 412696 clauses out of 825556 for limit 0.02639866503438367
1545.83/1531.43	c cleaning 212642 clauses out of 425357 for limit 13793.311975571343
1556.93/1542.52	c cleaning 106593 clauses out of 213214 for limit 45334.39254867084
1800.09/1784.01	c starts		: 24
1800.09/1784.01	c conflicts		: 2690256
1800.09/1784.01	c decisions		: 3564392
1800.09/1784.01	c propagations		: 96370211
1800.09/1784.01	c inspects		: 3426793316
1800.09/1784.01	c learnt literals	: 4
1800.09/1784.01	c learnt binary clauses	: 12
1800.09/1784.01	c learnt ternary clauses	: 32
1800.09/1784.01	c learnt clauses	: 2690252
1800.09/1784.01	c root simplifications	: 0
1800.09/1784.01	c removed literals (reason simplification)	: 0
1800.09/1784.01	c reason swapping (by a shorter reason)	: 0
1800.09/1784.01	c Calls to reduceDB	: 243
1800.09/1784.01	c speed (decisions/second)	: 1998.8918698238656
1800.09/1784.01	c non guided choices	17927
1800.09/1784.01	s UNKNOWN
1800.09/1784.01	c Total wall clock time (ms): 1783.912

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

running on 4 cores: 1,3,5,7

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.00 2.00 2.00 3/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/30420/stat : 30420 (java) R 30418 30420 28047 0 -1 4202496 1097 0 0 0 0 0 0 0 20 0 1 0 335737322 23793664 825 33554432000 1073741824 1073778376 140735178826352 140735178815416 140409871991248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 5809 841 633 9 0 128 0

[startup+0.0853499 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 4194 0 1 0 6 1 0 0 20 0 18 0 335737322 3028844544 5401 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 739464 5401 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.100269 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 4969 0 1 0 9 1 0 0 20 0 18 0 335737322 3028844544 6166 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 739464 6166 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 6416 0 1 0 46 2 0 0 20 0 18 0 335737322 3028844544 12210 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 739464 12210 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700215 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=2957856 CPUtime=1.3 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 12920 0 1 0 125 5 0 0 20 0 18 0 335737322 3028844544 45406 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 739464 45406 2265 9 0 729885 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 2957856

[startup+1.50089 s]
/proc/loadavg: 2.00 2.00 2.00 4/214 30439
/proc/meminfo: memFree=28213496/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=2.54 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 13699 0 1 0 247 7 0 0 20 0 19 0 335737322 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 61908 2274 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3181 0 1 0 143 4 0 0 20 0 19 0 335737322 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409868178056 140409740824118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335737324 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4843 0 0 0 52 0 0 0 20 0 19 0 335737327 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4480 0 0 0 48 2 0 0 20 0 19 0 335737327 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737328 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 3024420

[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 30439
/proc/meminfo: memFree=28063124/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=4.28 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 13888 0 1 0 412 16 0 0 20 0 19 0 335737322 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 121327 2288 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=3.02 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3288 0 1 0 293 9 0 0 20 0 19 0 335737322 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409868176776 140409740823771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335737324 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4843 0 0 0 52 0 0 0 20 0 19 0 335737327 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4481 0 0 0 50 2 0 0 20 0 19 0 335737327 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737328 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 3024420

[startup+6.30086 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 30439
/proc/meminfo: memFree=27886252/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=7.68 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 13989 0 1 0 745 23 0 0 20 0 19 0 335737322 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 131938 2288 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=6.17 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3291 0 1 0 608 9 0 0 20 0 19 0 335737322 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409868176624 140409740799116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 19 0 0 0 0 2 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 30 0 0 0 2 3 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 26 0 0 0 1 2 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335737324 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4848 0 0 0 56 0 0 0 20 0 19 0 335737327 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4485 0 0 0 54 2 0 0 20 0 19 0 335737327 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737328 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 3024420

[startup+12.7009 s]

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

[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4859 0 0 0 62 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4496 0 0 0 59 2 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 95 0 0 0 45 35 0 0 20 0 19 0 335737328 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1677.86
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 30512
/proc/meminfo: memFree=26935112/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=1738.1 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 19495 0 1 0 173575 235 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 423755 2300 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=1710.08 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3461 0 1 0 170972 36 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409868176592 140409740506022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=2.61 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 565 0 0 0 235 26 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 403 0 0 0 219 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=2.41 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 537 0 0 0 218 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=2.13 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 394 0 0 0 193 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=2.47 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 544 0 0 0 224 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=2.38 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 528 0 0 0 218 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=2.42 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 425 0 0 0 218 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=2.5 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 481 0 0 0 228 22 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=2.22 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 1521 0 0 0 219 3 0 0 20 0 19 0 335737324 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4859 0 0 0 62 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4496 0 0 0 59 2 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 99 0 0 0 47 36 0 0 20 0 19 0 335737328 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1738.1
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 30513
/proc/meminfo: memFree=26935268/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=1798.38 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 19503 0 1 0 179602 236 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 423755 2300 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=1769.83 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3463 0 1 0 176946 37 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409868176624 140409740897827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=2.66 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 565 0 0 0 240 26 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 403 0 0 0 222 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 537 0 0 0 222 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 394 0 0 0 197 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=2.53 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 544 0 0 0 230 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 528 0 0 0 223 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 425 0 0 0 222 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=2.53 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 481 0 0 0 231 22 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=2.23 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 1523 0 0 0 220 3 0 0 20 0 19 0 335737324 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4859 0 0 0 62 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4496 0 0 0 59 2 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0.87 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 103 0 0 0 49 38 0 0 20 0 19 0 335737328 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.38
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 30513
/proc/meminfo: memFree=26935268/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 19503 0 1 0 179773 236 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 423755 2300 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=1771.53 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3463 0 1 0 177116 37 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409868176624 140409740897647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=2.66 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 565 0 0 0 240 26 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 403 0 0 0 222 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 537 0 0 0 222 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 394 0 0 0 197 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=2.53 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 544 0 0 0 230 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 528 0 0 0 223 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 425 0 0 0 222 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=2.53 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 481 0 0 0 231 22 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=2.23 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 1523 0 0 0 220 3 0 0 20 0 19 0 335737324 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4859 0 0 0 62 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4496 0 0 0 59 2 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0.87 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 103 0 0 0 49 38 0 0 20 0 19 0 335737328 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30420 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=69412
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=751581
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1784.02
CPU time (s): 1800.09
CPU user time (s): 1797.73
CPU system time (s): 2.36
CPU usage (%): 100.901
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.07
system time used= 2.75158
maximum resident set size= 1695140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19536
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43237
involuntary context switches= 37294

runsolver used 6.19106 second user time and 16.7035 second system time

The end

Launcher Data

Begin job on node109 at 2012-06-03 06:01:27
IDJOB=3733396
IDBENCH=2416
IDSOLVER=2319
FILE ID=node109/3733396-1338696087
RUNJOBID= node109-1338678620-28067
PBS_JOBID= 14636704
Free space on /tmp= 70708 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733396-1338696087/watcher-3733396-1338696087 -o /tmp/evaluation-result-3733396-1338696087/solver-3733396-1338696087 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733396-1338696087.opb           

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

MD5SUM BENCH= 73a69ec0478725312d0c26d36222113a
RANDOM SEED=1982573330

node109.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		: 2667.264
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	: 5334.52
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
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:       32873844 kB
MemFree:        28407728 kB
Buffers:          342464 kB
Cached:          1569788 kB
SwapCached:          964 kB
Active:          2576264 kB
Inactive:        1010504 kB
Active(anon):    1669012 kB
Inactive(anon):     7844 kB
Active(file):     907252 kB
Inactive(file):  1002660 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105532 kB
Dirty:              5304 kB
Writeback:             0 kB
AnonPages:       1699140 kB
Mapped:            18464 kB
Shmem:                 4 kB
Slab:             737072 kB
SReclaimable:     178844 kB
SUnreclaim:       558228 kB
KernelStack:        1760 kB
PageTables:         7432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1824140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1662976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70704 MiB
End job on node109 at 2012-06-03 06:31:13