Trace number 351924

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, and are wall clock time (not CPU 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
SAT4JPseudoResolution 2007-03-23? (TO) 1800.22 1787.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4722
Best CPU time to get the best result obtained on this benchmark74.2227
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.08/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.19	c no version file found!!!
0.08/0.19	c sun.arch.data.model	32
0.08/0.19	c java.version	1.6.0
0.08/0.19	c os.name	Linux
0.08/0.19	c os.version	2.6.9-22.EL.rootsmp
0.08/0.19	c os.arch	i386
0.08/0.19	c Free memory 1651659224
0.08/0.19	c Max memory 1654456320
0.08/0.19	c Total memory 1654456320
0.08/0.19	c Number of processors 2
0.13/0.25	--- Begin Solver configuration ---
0.13/0.25	c Stops conflict analysis at the first Unique Implication Point
0.13/0.25	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.13/0.25	c Learn all clauses as in MiniSAT
0.13/0.25	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.25	c VSIDS like heuristics from MiniSAT using a heap
0.13/0.25	c No reason simplification
0.13/0.25	c --- End Solver configuration ---
0.13/0.25	c solving /tmp/evaluation/351924-1176617526/instance-351924-1176617526.opb
0.13/0.25	c reading problem ... 
1.24/0.91	c ... done. Wall clock time 0.656s.
1.24/0.91	c CPU time (experimental) 0.55s.
1.24/0.91	c #vars     1989
1.24/0.91	c #constraints  193
667.71/663.15	c cleaning 390982 clauses out of 782000 for limit 7.852365907276986E-7
672.63/668.03	c cleaning 195751 clauses out of 391518 for limit 2.586493762258954E-6
832.04/826.70	c cleaning 190109 clauses out of 380268 for limit 3.919495826656401E-6
833.44/828.19	c cleaning 95325 clauses out of 190658 for limit 1.2879124136043645E-5
834.24/828.98	c cleaning 47908 clauses out of 95833 for limit 4.225539496483013E-5
834.65/829.39	c cleaning 24178 clauses out of 48427 for limit 1.381766291961436E-4
834.94/829.67	c cleaning 12364 clauses out of 24748 for limit 4.4545457903160995E-4
835.14/829.84	c cleaning 6409 clauses out of 12884 for limit 0.0014110704781287791
835.24/829.99	c cleaning 3456 clauses out of 6975 for limit 0.0042984422569517485
835.44/830.12	c cleaning 1978 clauses out of 4019 for limit 0.012302494790069571
835.54/830.23	c cleaning 1234 clauses out of 2541 for limit 0.03208946067019617
835.64/830.32	c cleaning 860 clauses out of 1806 for limit 0.07438248994920128
835.75/830.41	c cleaning 685 clauses out of 1446 for limit 0.15320609820726838
939.10/932.80	c cleaning 116365 clauses out of 232761 for limit 0.006099099282846497
941.90/935.56	c cleaning 58441 clauses out of 116897 for limit 0.020047625939079473
942.40/936.01	c cleaning 29468 clauses out of 58955 for limit 0.06548880227102352
942.70/936.31	c cleaning 14968 clauses out of 29987 for limit 0.2123296083674265
942.90/936.51	c cleaning 7732 clauses out of 15519 for limit 0.6766058248123196
943.00/936.65	c cleaning 4115 clauses out of 8287 for limit 2.089575240031267
943.10/936.77	c cleaning 2307 clauses out of 4673 for limit 6.117161832884592
943.20/936.88	c cleaning 1396 clauses out of 2866 for limit 16.448467919234304
943.30/936.98	c cleaning 957 clauses out of 1969 for limit 39.443668238000775
943.40/937.07	c cleaning 725 clauses out of 1512 for limit 84.70852298562806
943.50/937.17	c cleaning 614 clauses out of 1289 for limit 164.1915843753279
943.60/937.28	c cleaning 555 clauses out of 1173 for limit 296.95638133745217
943.70/937.38	c cleaning 528 clauses out of 1118 for limit 513.8126092629212
943.90/937.51	c cleaning 521 clauses out of 1091 for limit 869.1849735643677
944.00/937.63	c cleaning 505 clauses out of 1069 for limit 1461.4387896953176
944.09/937.74	c cleaning 500 clauses out of 1064 for limit 2421.4337678181155
944.19/937.83	c cleaning 501 clauses out of 1065 for limit 3993.512181306082
944.29/937.91	c cleaning 494 clauses out of 1063 for limit 6591.628638977301
944.29/937.99	c cleaning 500 clauses out of 1069 for limit 10809.464468259272
944.39/938.06	c cleaning 492 clauses out of 1070 for limit 17827.42034328132
944.49/938.14	c cleaning 488 clauses out of 1078 for limit 29181.620713910397
944.60/938.22	c cleaning 517 clauses out of 1090 for limit 47594.586535940216
944.60/938.29	c cleaning 501 clauses out of 1072 for limit 79727.95894367018
944.70/938.36	c cleaning 504 clauses out of 1071 for limit 131604.83581869528
944.79/938.44	c cleaning 503 clauses out of 1067 for limit 217847.60321291286
944.89/938.51	c cleaning 497 clauses out of 1064 for limit 360272.7915080887
944.89/938.59	c cleaning 502 clauses out of 1067 for limit 592467.538448781
944.99/938.66	c cleaning 498 clauses out of 1066 for limit 978953.7484833386
945.09/938.73	c cleaning 499 clauses out of 1069 for limit 1611506.5384363155
945.09/938.80	c cleaning 532 clauses out of 1068 for limit 2654760.7489804677
945.19/938.86	c cleaning 514 clauses out of 1037 for limit 4513446.334420522
945.29/938.92	c cleaning 510 clauses out of 1022 for limit 7544970.026606871
945.29/938.98	c cleaning 505 clauses out of 1014 for limit 1.2565951240068208E7
945.39/939.04	c cleaning 502 clauses out of 1007 for limit 2.082527370833489E7
945.49/939.10	c cleaning 465 clauses out of 1005 for limit 3.441200789693575E7
945.49/939.16	c cleaning 482 clauses out of 1042 for limit 5.484452345477868E7
945.59/939.22	c cleaning 485 clauses out of 1058 for limit 8.890008617790626E7
945.59/939.28	c cleaning 535 clauses out of 1074 for limit 1.4456859725192225E8
945.70/939.36	c cleaning 517 clauses out of 1038 for limit 2.4643493276004237E8
945.80/939.44	c cleaning 503 clauses out of 1022 for limit 4.131798433634047E8
945.89/939.51	c cleaning 479 clauses out of 1019 for limit 6.833948874455074E8
945.89/939.57	c cleaning 487 clauses out of 1039 for limit 1.104210155736044E9
945.99/939.62	c cleaning 491 clauses out of 1053 for limit 1.7985781467613919E9
945.99/939.70	c cleaning 531 clauses out of 1062 for limit 2.94095956693434E9
946.09/939.78	c cleaning 514 clauses out of 1030 for limit 4.995715766577123E9
946.19/939.86	c cleaning 502 clauses out of 1016 for limit 8.35212767953133E9
946.29/939.93	c cleaning 474 clauses out of 1014 for limit 1.3800943081989658E10
946.39/940.00	c cleaning 487 clauses out of 1041 for limit 2.2191486221020565E10
946.39/940.06	c cleaning 489 clauses out of 1054 for limit 3.614534669067785E10
946.49/940.12	c cleaning 529 clauses out of 1065 for limit 5.899283735771557E10
946.49/940.17	c cleaning 514 clauses out of 1035 for limit 1.0000688911064462E11
946.59/940.26	c cleaning 509 clauses out of 1021 for limit 1.6718619459806522E11
946.69/940.33	c cleaning 469 clauses out of 1012 for limit 2.7816438841409955E11
946.80/940.40	c cleaning 486 clauses out of 1046 for limit 4.4515348694160925E11
946.80/940.49	c cleaning 526 clauses out of 1058 for limit 7.243403187763987E11
946.90/940.58	c cleaning 510 clauses out of 1031 for limit 1.2245909273633062E12
946.99/940.66	c cleaning 506 clauses out of 1021 for limit 2.0392940295685376E12
947.09/940.72	c cleaning 473 clauses out of 1016 for limit 3.383002203613346E12
947.09/940.78	c cleaning 487 clauses out of 1043 for limit 5.434599784233509E12
947.19/940.86	c cleaning 524 clauses out of 1055 for limit 8.851579845067363E12
1059.76/1052.27	c cleaning 130738 clauses out of 261532 for limit 9135.996958024476
1063.16/1055.67	c cleaning 65632 clauses out of 131295 for limit 30041.595385051653
1064.06/1056.52	c cleaning 33044 clauses out of 66162 for limit 98216.38162917033
1064.36/1056.87	c cleaning 16774 clauses out of 33617 for limit 318460.06277394225
1064.56/1057.05	c cleaning 8655 clauses out of 17344 for limit 1018955.1401139392
1064.78/1057.20	c cleaning 4568 clauses out of 9188 for limit 3168872.1524767615
1064.88/1057.34	c cleaning 2541 clauses out of 5120 for limit 9378030.278040709
1064.98/1057.41	c cleaning 1516 clauses out of 3080 for limit 2.573482822905538E7
1064.98/1057.48	c cleaning 995 clauses out of 2063 for limit 6.329860479997786E7
1065.08/1057.55	c cleaning 754 clauses out of 1569 for limit 1.3739180234335434E8
1065.18/1057.63	c cleaning 652 clauses out of 1314 for limit 2.702774260706695E8
1065.28/1057.70	c cleaning 572 clauses out of 1162 for limit 5.0402827307421726E8
1065.28/1057.78	c cleaning 517 clauses out of 1091 for limit 8.861896526174982E8
1065.38/1057.86	c cleaning 532 clauses out of 1073 for limit 1.484475651472861E9
1065.48/1057.94	c cleaning 518 clauses out of 1042 for limit 2.5234545115332417E9
1065.58/1058.01	c cleaning 491 clauses out of 1023 for limit 4.234566338760954E9
1065.58/1058.09	c cleaning 489 clauses out of 1032 for limit 6.922464931754203E9
1065.68/1058.17	c cleaning 518 clauses out of 1043 for limit 1.129567114768675E10
1065.78/1058.23	c cleaning 510 clauses out of 1025 for limit 1.8955199963017967E10
1065.88/1058.30	c cleaning 474 clauses out of 1015 for limit 3.156763747123967E10
1065.88/1058.37	c cleaning 488 clauses out of 1041 for limit 5.075902602455119E10
1065.98/1058.44	c cleaning 488 clauses out of 1054 for limit 8.27587262150734E10
1066.08/1058.51	c cleaning 528 clauses out of 1066 for limit 1.3494384819493137E11
1066.08/1058.59	c cleaning 512 clauses out of 1038 for limit 2.2854347627709216E11
1066.18/1058.66	c cleaning 483 clauses out of 1025 for limit 3.812972669103761E11
1066.29/1058.73	c cleaning 518 clauses out of 1042 for limit 6.185513025194471E11
1066.39/1058.81	c cleaning 508 clauses out of 1024 for limit 1.0380048317445531E12
1066.49/1058.90	c cleaning 474 clauses out of 1016 for limit 1.7252876390287327E12
1066.49/1058.96	c cleaning 483 clauses out of 1042 for limit 2.774235895926314E12
1066.59/1059.04	c cleaning 497 clauses out of 1059 for limit 4.501642814152722E12
1066.69/1059.11	c cleaning 495 clauses out of 1062 for limit 7.402840001405095E12
1066.69/1059.18	c cleaning 526 clauses out of 1067 for limit 1.2151065092145977E13
1066.79/1059.27	c cleaning 515 clauses out of 1042 for limit 2.0540047641823625E13
1066.89/1059.37	c cleaning 485 clauses out of 1026 for limit 3.436712321881532E13
1066.99/1059.48	c cleaning 514 clauses out of 1042 for limit 5.5861580694455836E13
1067.09/1059.58	c cleaning 511 clauses out of 1027 for limit 9.33752701283786E13
1067.19/1059.69	c cleaning 503 clauses out of 1017 for limit 1.5565811276844394E14
1067.29/1059.77	c cleaning 472 clauses out of 1014 for limit 2.574605220915836E14
1067.39/1059.85	c cleaning 480 clauses out of 1042 for limit 4.1317759998925794E14
1067.49/1059.93	c cleaning 495 clauses out of 1061 for limit 6.685139573091421E14
1067.49/1059.99	c cleaning 524 clauses out of 1067 for limit 1.0973668641610465E15
1067.59/1060.06	c cleaning 516 clauses out of 1043 for limit 1.851347057695007E15
1067.69/1060.12	c cleaning 497 clauses out of 1027 for limit 3.10068459833975E15
1067.69/1060.19	c cleaning 506 clauses out of 1030 for limit 5.098550179472853E-5
1067.79/1060.26	c cleaning 500 clauses out of 1023 for limit 8.457259648355221E-5
1067.89/1060.33	c cleaning 502 clauses out of 1023 for limit 1.3947152552092125E-4
1067.99/1060.40	c cleaning 491 clauses out of 1021 for limit 2.3045775654960353E-4
1067.99/1060.48	c cleaning 510 clauses out of 1033 for limit 3.767698764251488E-4
1068.09/1060.56	c cleaning 500 clauses out of 1023 for limit 6.274176727997076E-4
1068.19/1060.64	c cleaning 484 clauses out of 1021 for limit 0.0010346500965606128
1068.29/1060.72	c cleaning 494 clauses out of 1036 for limit 0.0016798900761409606
1068.39/1060.80	c cleaning 494 clauses out of 1042 for limit 0.0027544112783594063
1068.39/1060.88	c cleaning 503 clauses out of 1048 for limit 0.004516386611620983
1259.12/1250.20	c cleaning 137235 clauses out of 274545 for limit 1.9622978862955688E-6
1262.52/1253.61	c cleaning 68882 clauses out of 137810 for limit 6.446940011023091E-6
1263.92/1255.04	c cleaning 34683 clauses out of 69429 for limit 2.1124374127157666E-5
1264.62/1255.73	c cleaning 17589 clauses out of 35246 for limit 6.86231754689478E-5
1264.82/1255.97	c cleaning 9051 clauses out of 18156 for limit 2.1947337834839363E-4
1265.02/1256.11	c cleaning 4732 clauses out of 9605 for limit 6.841645077931302E-4
1265.12/1256.24	c cleaning 2609 clauses out of 5374 for limit 0.0020186017552186178
1265.22/1256.38	c cleaning 1557 clauses out of 3265 for limit 0.005479248659348329
1265.32/1256.49	c cleaning 1032 clauses out of 2207 for limit 0.013354364864014747
1265.52/1256.61	c cleaning 772 clauses out of 1676 for limit 0.029029660403742386
1265.62/1256.71	c cleaning 630 clauses out of 1403 for limit 0.05713203240820742
1265.72/1256.80	c cleaning 565 clauses out of 1273 for limit 0.1038400355789869
1265.82/1256.91	c cleaning 528 clauses out of 1208 for limit 0.1804605117630159
1265.92/1257.01	c cleaning 514 clauses out of 1180 for limit 0.30466530404310177
1265.92/1257.08	c cleaning 497 clauses out of 1166 for limit 0.5084664971179083
1266.02/1257.18	c cleaning 508 clauses out of 1170 for limit 0.8364990074331493
1266.12/1257.27	c cleaning 509 clauses out of 1161 for limit 1.3888023644353686
1266.22/1257.37	c cleaning 506 clauses out of 1153 for limit 2.3085206219554917
1266.32/1257.45	c cleaning 509 clauses out of 1148 for limit 3.8274680709153333
1266.42/1257.54	c cleaning 498 clauses out of 1137 for limit 6.360333135320992
1266.52/1257.62	c cleaning 501 clauses out of 1139 for limit 10.47062222923442
1266.62/1257.71	c cleaning 493 clauses out of 1139 for limit 17.284741532321576
1266.62/1257.79	c cleaning 500 clauses out of 1145 for limit 28.327125218684586
1266.71/1257.86	c cleaning 494 clauses out of 1145 for limit 46.71521902062512
1266.81/1257.95	c cleaning 505 clauses out of 1151 for limit 76.63804885265758
1266.91/1258.04	c cleaning 499 clauses out of 1146 for limit 126.93781907479443
1267.01/1258.15	c cleaning 498 clauses out of 1147 for limit 209.15493642143707
1267.11/1258.23	c cleaning 501 clauses out of 1149 for limit 344.3240796826837
1274.31/1265.37	c cleaning 11492 clauses out of 23148 for limit 1.0216187752392827E11
1274.61/1265.62	c cleaning 5993 clauses out of 12157 for limit 3.2111923574795734E11
1274.71/1265.79	c cleaning 3238 clauses out of 6663 for limit 9.652599791869259E11
1274.91/1265.93	c cleaning 1955 clauses out of 3926 for limit 2.7042959452733555E12
1275.02/1266.05	c cleaning 1229 clauses out of 2471 for limit 7.08577983151276E12
1275.12/1266.14	c cleaning 864 clauses out of 1741 for limit 1.6568492799844574E13
1275.21/1266.23	c cleaning 616 clauses out of 1378 for limit 3.4555959450281516E13
1275.21/1266.29	c cleaning 629 clauses out of 1261 for limit 6.221261577313808E13
1275.31/1266.37	c cleaning 492 clauses out of 1132 for limit 1.1428862523643373E14
1275.41/1266.45	c cleaning 494 clauses out of 1141 for limit 1.8717773596010234E14
1275.51/1266.53	c cleaning 494 clauses out of 1147 for limit 3.070664042413343E14
1275.61/1266.61	c cleaning 502 clauses out of 1152 for limit 5.0369149471356725E14
1275.61/1266.69	c cleaning 570 clauses out of 1150 for limit 8.32099274220833E14
1275.71/1266.77	c cleaning 540 clauses out of 1080 for limit 1.4611846966254265E15
1275.81/1266.83	c cleaning 513 clauses out of 1040 for limit 2.5023693861625282E-5
1275.91/1266.90	c cleaning 499 clauses out of 1028 for limit 4.1790930560133654E-5
1275.91/1266.96	c cleaning 508 clauses out of 1029 for limit 6.885185866811516E-5
1276.01/1267.03	c cleaning 502 clauses out of 1020 for limit 1.1443325379470082E-4
1276.12/1267.11	c cleaning 497 clauses out of 1018 for limit 1.8908650196125513E-4
1276.12/1267.19	c cleaning 494 clauses out of 1022 for limit 3.1091939115702316E-4
1276.22/1267.27	c cleaning 501 clauses out of 1027 for limit 5.097410814923658E-4
1276.31/1267.37	c cleaning 436 clauses out of 1026 for limit 8.414505640121884E-4
1515.34/1504.76	c cleaning 150512 clauses out of 301091 for limit 106831.86169740061
1522.83/1512.25	c cleaning 75527 clauses out of 151079 for limit 351115.7865055017
1524.83/1514.25	c cleaning 37955 clauses out of 76051 for limit 1149134.607158213
1525.33/1514.77	c cleaning 19230 clauses out of 38597 for limit 3737770.9285122748
1525.73/1515.14	c cleaning 9851 clauses out of 19866 for limit 1.1964021253636116E7
1525.93/1515.36	c cleaning 5185 clauses out of 10515 for limit 3.727642177058841E7
1526.13/1515.54	c cleaning 2835 clauses out of 5830 for limit 1.1087428348554532E8
1526.23/1515.67	c cleaning 1669 clauses out of 3495 for limit 3.0500579295273226E8
1526.33/1515.77	c cleaning 1160 clauses out of 2326 for limit 7.557905277543117E8
1526.43/1515.88	c cleaning 758 clauses out of 1666 for limit 1.7401714733223004E9
1526.53/1515.97	c cleaning 696 clauses out of 1412 for limit 3.3995879362508397E9
1526.63/1516.06	c cleaning 591 clauses out of 1213 for limit 6.506576300367728E9
1526.73/1516.15	c cleaning 546 clauses out of 1121 for limit 1.1599228140511162E10
1526.83/1516.24	c cleaning 469 clauses out of 1075 for limit 1.994720843728812E10
1526.93/1516.30	c cleaning 485 clauses out of 1106 for limit 3.1973586205342266E10
1526.93/1516.37	c cleaning 485 clauses out of 1122 for limit 5.202882510737695E10
1527.03/1516.43	c cleaning 502 clauses out of 1136 for limit 8.466032273747809E10
1527.13/1516.50	c cleaning 497 clauses out of 1135 for limit 1.3987908680220206E11
1527.13/1516.58	c cleaning 501 clauses out of 1137 for limit 2.300432848829201E11
1527.23/1516.65	c cleaning 567 clauses out of 1136 for limit 3.797061057706433E11
1527.33/1516.72	c cleaning 533 clauses out of 1069 for limit 6.654326314069764E11
1527.33/1516.79	c cleaning 518 clauses out of 1036 for limit 1.1323428202586592E12
1527.43/1516.86	c cleaning 508 clauses out of 1018 for limit 1.9004033843386821E12
1527.53/1516.93	c cleaning 438 clauses out of 1010 for limit 3.158843328327029E12
1527.63/1517.00	c cleaning 468 clauses out of 1072 for limit 4.908067894795282E12
1527.63/1517.07	c cleaning 480 clauses out of 1105 for limit 7.860197670572163E12
1527.73/1517.13	c cleaning 562 clauses out of 1124 for limit 1.2730656788700812E13
1527.73/1517.20	c cleaning 527 clauses out of 1063 for limit 2.2221545233297918E13
1527.83/1517.27	c cleaning 450 clauses out of 1035 for limit 3.760006064700754E13
1527.93/1517.33	c cleaning 477 clauses out of 1085 for limit 5.9150040188842336E13
1527.93/1517.39	c cleaning 485 clauses out of 1108 for limit 9.552145054701866E13
1528.03/1517.46	c cleaning 559 clauses out of 1123 for limit 1.5542354126984928E14
1528.13/1517.52	c cleaning 532 clauses out of 1064 for limit 2.705271238606925E14
1528.13/1517.59	c cleaning 449 clauses out of 1035 for limit 4.6001449428717544E14
1528.23/1517.66	c cleaning 468 clauses out of 1083 for limit 7.228293203103559E14
1528.33/1517.72	c cleaning 555 clauses out of 1117 for limit 1.15807304900653E15
1528.33/1517.79	c cleaning 459 clauses out of 1060 for limit 2.0084920914973772E15
1528.43/1517.85	c cleaning 549 clauses out of 1101 for limit 3.188926865715484E-5
1528.53/1517.91	c cleaning 514 clauses out of 1052 for limit 5.503918893948706E-5
1528.53/1517.98	c cleaning 513 clauses out of 1039 for limit 9.199465955072918E-5
1528.63/1518.04	c cleaning 496 clauses out of 1025 for limit 1.5362987384599493E-4
1528.73/1518.10	c cleaning 507 clauses out of 1030 for limit 2.523787083822624E-4
1528.73/1518.17	c cleaning 501 clauses out of 1022 for limit 4.1904476309574776E-4
1528.83/1518.24	c cleaning 454 clauses out of 1021 for limit 6.917377202347408E-4
1528.93/1518.31	c cleaning 469 clauses out of 1067 for limit 0.0010915877868013777
1528.93/1518.38	c cleaning 483 clauses out of 1098 for limit 0.001749349697537604
1529.03/1518.46	c cleaning 495 clauses out of 1117 for limit 0.002841519964936852
1529.13/1518.54	c cleaning 494 clauses out of 1120 for limit 0.004664152327716292
1529.23/1518.61	c cleaning 497 clauses out of 1126 for limit 0.007650824587250653
1529.23/1518.69	c cleaning 498 clauses out of 1129 for limit 0.01258370650425508
1529.33/1518.77	c cleaning 492 clauses out of 1131 for limit 0.02071551833411736
1529.43/1518.86	c cleaning 498 clauses out of 1139 for limit 0.03392271255235513
1529.53/1518.93	c cleaning 500 clauses out of 1141 for limit 0.055845031341602965
1529.63/1519.02	c cleaning 500 clauses out of 1141 for limit 0.09209592749693789
1529.63/1519.10	c cleaning 499 clauses out of 1141 for limit 0.15187850481521062
1529.73/1519.17	c cleaning 503 clauses out of 1143 for limit 0.25027998820270736
1529.83/1519.25	c cleaning 501 clauses out of 1139 for limit 0.4137804879230605
1529.93/1519.32	c cleaning 496 clauses out of 1139 for limit 0.6830624415900582
1529.93/1519.40	c cleaning 510 clauses out of 1142 for limit 1.1223786620613962
1530.03/1519.49	c cleaning 494 clauses out of 1132 for limit 1.867303733920473
1530.13/1519.58	c cleaning 500 clauses out of 1139 for limit 3.06357182807587
1530.23/1519.66	c cleaning 504 clauses out of 1139 for limit 5.052239781803992
1530.33/1519.74	c cleaning 497 clauses out of 1134 for limit 8.360187137611689
1530.43/1519.82	c cleaning 506 clauses out of 1137 for limit 13.750689510270961
1530.53/1519.91	c cleaning 506 clauses out of 1133 for limit 22.80236752164861
1530.53/1519.99	c cleaning 498 clauses out of 1126 for limit 37.80009016820443
1530.63/1520.07	c cleaning 497 clauses out of 1128 for limit 62.22687817825809
1530.73/1520.15	c cleaning 499 clauses out of 1130 for limit 102.33637875204239
1530.83/1520.23	c cleaning 502 clauses out of 1131 for limit 168.61716015213943
1530.93/1520.31	c cleaning 497 clauses out of 1130 for limit 278.59693286482894
1530.93/1520.39	c cleaning 496 clauses out of 1132 for limit 458.17324261953655
1531.03/1520.48	c cleaning 497 clauses out of 1138 for limit 753.1106654893447
1531.13/1520.56	c cleaning 498 clauses out of 1141 for limit 1238.7147321679308
1531.23/1520.63	c cleaning 501 clauses out of 1143 for limit 2039.2318414102385
1531.33/1520.71	c cleaning 503 clauses out of 1140 for limit 3365.075760630783
1531.33/1520.79	c cleaning 499 clauses out of 1137 for limit 5564.102475998353
1531.43/1520.87	c cleaning 499 clauses out of 1138 for limit 9167.886110861607
1531.53/1520.93	c cleaning 487 clauses out of 1139 for limit 15105.796668145133
1531.63/1521.01	c cleaning 498 clauses out of 1152 for limit 24630.36039653301
1531.63/1521.09	c cleaning 494 clauses out of 1154 for limit 40548.36282131565
1531.73/1521.18	c cleaning 496 clauses out of 1161 for limit 66533.0314531527
1531.83/1521.28	c cleaning 510 clauses out of 1166 for limit 109360.72477692718
1531.93/1521.37	c cleaning 501 clauses out of 1156 for limit 181910.59030442822
1532.03/1521.46	c cleaning 498 clauses out of 1154 for limit 300214.30598989414
1532.13/1521.55	c cleaning 510 clauses out of 1156 for limit 494236.98928899586
1532.23/1521.64	c cleaning 504 clauses out of 1145 for limit 822070.3186964106
1532.33/1521.74	c cleaning 506 clauses out of 1141 for limit 1360456.6170017156
1532.43/1521.82	c cleaning 563 clauses out of 1135 for limit 2255435.268224907
1532.53/1521.90	c cleaning 532 clauses out of 1074 for limit 3938645.17608285
1532.53/1521.98	c cleaning 515 clauses out of 1041 for limit 6694556.0960847465
1741.93/1729.36	c cleaning 224753 clauses out of 449526 for limit 0.19328770640757273
1755.32/1742.78	c cleaning 112617 clauses out of 225273 for limit 0.6360712890203579
1756.62/1744.03	c cleaning 56569 clauses out of 113156 for limit 2.0883016687131217
1757.22/1744.67	c cleaning 28504 clauses out of 57090 for limit 6.846525055448296
1757.52/1744.96	c cleaning 14497 clauses out of 29083 for limit 22.097512753941977
1757.72/1745.19	c cleaning 7492 clauses out of 15087 for limit 70.31858208468206
1757.92/1745.34	c cleaning 4009 clauses out of 8094 for limit 215.9390420839025
1758.02/1745.47	c cleaning 2254 clauses out of 4585 for limit 628.6528916571173
1758.12/1745.58	c cleaning 1370 clauses out of 2831 for limit 1679.0602303532619
1758.22/1745.67	c cleaning 936 clauses out of 1960 for limit 3995.502883628336
1758.32/1745.76	c cleaning 718 clauses out of 1524 for limit 8474.194735745188
1758.42/1745.86	c cleaning 608 clauses out of 1307 for limit 16311.662162347551
1758.52/1745.95	c cleaning 553 clauses out of 1198 for limit 29318.27153307786
1758.62/1746.04	c cleaning 531 clauses out of 1146 for limit 50594.22665223441
1758.72/1746.12	c cleaning 521 clauses out of 1115 for limit 85756.41143515817
1758.82/1746.20	c cleaning 492 clauses out of 1093 for limit 144126.1149208383
1758.82/1746.27	c cleaning 507 clauses out of 1102 for limit 235978.07069849092
1758.92/1746.35	c cleaning 504 clauses out of 1095 for limit 391647.184195419
1759.02/1746.42	c cleaning 499 clauses out of 1091 for limit 648246.6245604969
1759.02/1746.49	c cleaning 503 clauses out of 1094 for limit 1068249.2663138672
1759.12/1746.56	c cleaning 510 clauses out of 1089 for limit 1766236.7176512498
1759.22/1746.63	c cleaning 535 clauses out of 1081 for limit 2940194.1237489334
1759.22/1746.70	c cleaning 522 clauses out of 1044 for limit 5010580.732140537
1759.32/1746.76	c cleaning 512 clauses out of 1024 for limit 8441381.274050595
1759.43/1746.83	c cleaning 468 clauses out of 1009 for limit 1.4085577538937341E7
1759.52/1746.91	c cleaning 472 clauses out of 1041 for limit 2.2514949771208245E7
1759.52/1746.99	c cleaning 533 clauses out of 1069 for limit 3.61576247892773E7
1759.62/1747.06	c cleaning 517 clauses out of 1036 for limit 6.152813206826967E7
1759.72/1747.13	c cleaning 468 clauses out of 1020 for limit 1.03162940605341E8
1759.72/1747.19	c cleaning 481 clauses out of 1051 for limit 1.6494628703019503E8
1759.82/1747.26	c cleaning 536 clauses out of 1072 for limit 2.672239536285825E8
1759.92/1747.33	c cleaning 513 clauses out of 1034 for limit 4.559702367709421E8
1759.92/1747.39	c cleaning 506 clauses out of 1023 for limit 7.61563832660321E8
1760.02/1747.46	c cleaning 501 clauses out of 1015 for limit 1.2632891489124885E9
1760.12/1747.52	c cleaning 470 clauses out of 1014 for limit 2.085387375198064E9
1760.12/1747.57	c cleaning 479 clauses out of 1044 for limit 3.3402585425969462E9
1760.22/1747.63	c cleaning 530 clauses out of 1065 for limit 5.399914224254704E9
1760.32/1747.70	c cleaning 517 clauses out of 1036 for limit 9.163620864800798E9
1760.32/1747.76	c cleaning 490 clauses out of 1018 for limit 1.5363864385333199E10
1760.42/1747.82	c cleaning 513 clauses out of 1028 for limit 2.5090598182143974E10
1760.42/1747.88	c cleaning 464 clauses out of 1015 for limit 4.1907714330521935E10
1760.52/1747.95	c cleaning 525 clauses out of 1051 for limit 6.674414714883367E10
1760.62/1748.01	c cleaning 514 clauses out of 1028 for limit 1.1275808719474936E11
1760.62/1748.06	c cleaning 460 clauses out of 1012 for limit 1.8851554397338687E11
1760.72/1748.13	c cleaning 483 clauses out of 1052 for limit 2.9906653933882477E11
1760.82/1748.22	c cleaning 490 clauses out of 1069 for limit 4.8535750217764856E11
1760.82/1748.30	c cleaning 496 clauses out of 1080 for limit 7.930600908119226E11
1760.92/1748.37	c cleaning 499 clauses out of 1084 for limit 1.3030361237122642E12
1761.02/1748.43	c cleaning 491 clauses out of 1085 for limit 2.146900349677567E12
1761.12/1748.51	c cleaning 545 clauses out of 1093 for limit 3.511097084490895E12
1761.12/1748.57	c cleaning 524 clauses out of 1049 for limit 6.039179118822973E12
1761.22/1748.64	c cleaning 469 clauses out of 1025 for limit 1.0192610315402018E13
1761.32/1748.70	c cleaning 481 clauses out of 1056 for limit 1.6315532577593707E13
1761.32/1748.76	c cleaning 501 clauses out of 1075 for limit 2.643093920210107E13
1761.42/1748.82	c cleaning 536 clauses out of 1073 for limit 4.36257306074071E13
1761.42/1748.88	c cleaning 517 clauses out of 1037 for limit 7.444226280560786E13
1761.52/1748.95	c cleaning 508 clauses out of 1020 for limit 1.2481133757543388E14
1761.62/1749.00	c cleaning 464 clauses out of 1012 for limit 2.0745771193319084E14
1761.62/1749.06	c cleaning 481 clauses out of 1048 for limit 3.3037311680925325E14
1761.72/1749.13	c cleaning 487 clauses out of 1069 for limit 5.351964062767625E14
1761.72/1749.20	c cleaning 492 clauses out of 1081 for limit 8.719399474253544E14
1761.82/1749.26	c cleaning 493 clauses out of 1088 for limit 1.4272654368529635E15
1761.92/1749.33	c cleaning 543 clauses out of 1095 for limit 2.3387048273779625E-5
1761.92/1749.40	c cleaning 515 clauses out of 1052 for limit 4.014483511136241E-5
1762.02/1749.46	c cleaning 514 clauses out of 1037 for limit 6.716183429574077E-5
1762.12/1749.51	c cleaning 502 clauses out of 1023 for limit 1.1227461088439957E-4
1762.12/1749.58	c cleaning 504 clauses out of 1022 for limit 1.855225458336777E-4
1762.22/1749.64	c cleaning 496 clauses out of 1018 for limit 3.07153663823588E-4
1762.32/1749.70	c cleaning 501 clauses out of 1021 for limit 5.045440758522962E-4
1762.32/1749.76	c cleaning 465 clauses out of 1020 for limit 8.328764235418687E-4
1762.42/1749.82	c cleaning 477 clauses out of 1056 for limit 0.0013280279668757742
1762.42/1749.89	c cleaning 489 clauses out of 1078 for limit 0.0021432545456358913
1762.52/1749.95	c cleaning 502 clauses out of 1090 for limit 0.003499100490861522
1762.62/1750.02	c cleaning 499 clauses out of 1088 for limit 0.0057810923195628855
1762.62/1750.08	c cleaning 496 clauses out of 1089 for limit 0.009525039983315768
1800.00/1787.01	c starts		: 24
1800.00/1787.01	c conflicts		: 2799204
1800.00/1787.01	c decisions		: 3302320
1800.00/1787.01	c propagations		: 31126769
1800.00/1787.01	c inspects		: 1701586530
1800.00/1787.01	c learnt literals	: 0
1800.00/1787.01	c learnt binary clauses	: 10
1800.00/1787.01	c learnt ternary clauses	: 0
1800.00/1787.01	c learnt clauses	: 2799205
1800.00/1787.01	c root simplifications	: 0
1800.00/1787.01	c removed literals (reason simplification)	: 0
1800.00/1787.01	c reason swapping (by a shorter reason)	: 0
1800.00/1787.01	c Calls to reduceDB	: 341
1800.00/1787.01	c speed (decisions/second)	: 1848.9604387802751
1800.00/1787.01	c non guided choices	39
1800.00/1787.01	s UNKNOWN
1800.00/1787.01	c Total wall clock time (ms): 1786.763

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node54/watcher-351924-1176617526 -o ROOT/results/node54/solver-351924-1176617526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351924-1176617526/sat4jPseudoResolution.jar /tmp/evaluation/351924-1176617526/instance-351924-1176617526.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 21197
/proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1800 CPUtime=0
/proc/21197/stat : 21197 (java) R 21195 21197 20268 0 -1 0 136 0 0 0 0 0 0 0 18 0 1 0 109127057 1843200 108 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21197/statm: 450 115 85 9 0 92 0

[startup+0.0736721 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 21197
/proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1777708 CPUtime=0.06
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 3752 0 1 0 4 2 0 0 18 0 7 0 109127057 1820372992 3494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 444427 3494 1082 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.101675 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 21197
/proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1780108 CPUtime=0.08
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 3981 0 1 0 6 2 0 0 18 0 12 0 109127057 1822830592 3722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 445027 3722 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301698 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 21197
/proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1781412 CPUtime=0.25
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 4980 0 1 0 22 3 0 0 18 0 12 0 109127057 1824165888 4718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 445353 4718 1262 9 0 442965 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 1781412

[startup+0.701752 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 21197
/proc/meminfo: memFree=1164520/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1784548 CPUtime=0.89
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 7040 0 1 0 85 4 0 0 18 0 12 0 109127057 1827377152 6494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446137 6494 1302 9 0 443749 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1784548

[startup+1.50285 s]
/proc/loadavg: 1.17 1.05 1.01 2/79 21210
/proc/meminfo: memFree=1137024/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1785616 CPUtime=2.13
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 10539 0 1 0 208 5 0 0 18 0 13 0 109127057 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446404 8908 1314 9 0 444016 0
[pid=21197/tid=21199] ppid=21195 vsize=1785616 CPUtime=1.01
/proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 7115 0 1 0 97 4 0 0 19 0 13 0 109127058 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109689867 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21200] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21201] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21202] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 109127062 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21203] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 109127062 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21204] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109127062 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21205] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21206] ppid=21195 vsize=1785616 CPUtime=0.53
/proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1168 0 0 0 53 0 0 0 15 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21207] ppid=21195 vsize=1785616 CPUtime=0.57
/proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1530 0 0 0 57 0 0 0 16 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21208] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21209] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21210] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1828470784 8908 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 1785616

[startup+3.10206 s]
/proc/loadavg: 1.17 1.05 1.01 2/79 21210
/proc/meminfo: memFree=1128384/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1785616 CPUtime=3.8
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 13463 0 1 0 373 7 0 0 18 0 13 0 109127057 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446404 11804 1316 9 0 444016 0
[pid=21197/tid=21199] ppid=21195 vsize=1785616 CPUtime=2.59
/proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 10003 0 1 0 253 6 0 0 25 0 13 0 109127058 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109699010 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21200] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21201] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21202] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 109127062 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21203] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 109127062 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21204] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109127062 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21205] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21206] ppid=21195 vsize=1785616 CPUtime=0.56
/proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1172 0 0 0 56 0 0 0 16 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21207] ppid=21195 vsize=1785616 CPUtime=0.62
/proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1562 0 0 0 62 0 0 0 16 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21208] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21209] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21210] ppid=21195 vsize=1785616 CPUtime=0
/proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1828470784 11804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 1785616

[startup+6.30245 s]
/proc/loadavg: 1.17 1.05 1.01 2/79 21210
/proc/meminfo: memFree=1107648/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1785296 CPUtime=7
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 18101 0 1 0 691 9 0 0 18 0 13 0 109127057 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446324 16296 1316 9 0 443936 0
[pid=21197/tid=21199] ppid=21195 vsize=1785296 CPUtime=5.79
/proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 14641 0 1 0 571 8 0 0 25 0 13 0 109127058 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109797279 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21200] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21201] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21202] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 109127062 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21203] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 109127062 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21204] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109127062 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21205] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21206] ppid=21195 vsize=1785296 CPUtime=0.56
/proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1172 0 0 0 56 0 0 0 16 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21207] ppid=21195 vsize=1785296 CPUtime=0.62
/proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1562 0 0 0 62 0 0 0 16 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21208] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21209] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21210] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1828143104 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 1785296

[startup+12.7023 s]
/proc/loadavg: 1.15 1.05 1.01 2/79 21210
/proc/meminfo: memFree=1071680/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1785296 CPUtime=13.42
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 27095 0 1 0 1330 12 0 0 18 0 13 0 109127057 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446324 25290 1316 9 0 443936 0
[pid=21197/tid=21199] ppid=21195 vsize=1785296 CPUtime=12.16
/proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 23632 0 1 0 1205 11 0 0 25 0 13 0 109127058 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109636959 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21200] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21201] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21202] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 109127062 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21203] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 109127062 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21204] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109127062 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21205] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21206] ppid=21195 vsize=1785296 CPUtime=0.61
/proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1174 0 0 0 61 0 0 0 17 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21207] ppid=21195 vsize=1785296 CPUtime=0.63
/proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1563 0 0 0 63 0 0 0 17 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21208] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21209] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21210] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1828143104 25290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.42
Current children cumulated vsize (KiB) 1785296

[startup+25.5019 s]
/proc/loadavg: 1.12 1.05 1.01 2/79 21210
/proc/meminfo: memFree=1021760/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1785296 CPUtime=26.22
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 38862 0 1 0 2602 20 0 0 18 0 13 0 109127057 1828143104 37057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446324 37057 1316 9 0 443936 0
[pid=21197/tid=21199] ppid=21195 vsize=1785296 CPUtime=24.95
/proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 35399 0 1 0 2477 18 0 0 25 0 13 0 109127058 1828143104 37057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109691671 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21200] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109127059 1828143104 37057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21201] ppid=21195 vsize=1785296 CPUtime=0
/proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109127059 1828143104 37057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5
/proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12476 0 2 0 481 19 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71
/proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72
/proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1613.79
Current children cumulated vsize (KiB) 1787864

[startup+1662.3 s]
/proc/loadavg: 1.05 1.11 1.06 2/79 21210
/proc/meminfo: memFree=707840/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1787864 CPUtime=1674.54
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 617603 0 3 0 167138 316 0 0 18 0 13 0 109127057 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446966 216708 1331 9 0 444578 0
[pid=21197/tid=21199] ppid=21195 vsize=1787864 CPUtime=1643.79
/proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 37792 0 1 0 164357 22 0 0 25 0 13 0 109127058 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109691690 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21200] ppid=21195 vsize=1787864 CPUtime=12.1
/proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 291992 0 0 0 1072 138 0 0 16 0 13 0 109127059 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21201] ppid=21195 vsize=1787864 CPUtime=12.14
/proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 271773 0 0 0 1081 133 0 0 17 0 13 0 109127059 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5
/proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12476 0 2 0 481 19 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71
/proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72
/proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 216708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1674.54
Current children cumulated vsize (KiB) 1787864

[startup+1722.3 s]
/proc/loadavg: 1.02 1.08 1.06 2/79 21210
/proc/meminfo: memFree=655424/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1787864 CPUtime=1734.93
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 635130 0 3 0 173168 325 0 0 18 0 13 0 109127057 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446966 229826 1331 9 0 444578 0
[pid=21197/tid=21199] ppid=21195 vsize=1787864 CPUtime=1703.36
/proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 37794 0 1 0 170314 22 0 0 25 0 13 0 109127058 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109860469 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21200] ppid=21195 vsize=1787864 CPUtime=12.53
/proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 299640 0 0 0 1110 143 0 0 16 0 13 0 109127059 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21201] ppid=21195 vsize=1787864 CPUtime=12.56
/proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 281650 0 0 0 1117 139 0 0 17 0 13 0 109127059 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5
/proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12476 0 2 0 481 19 0 0 16 0 13 0 109127062 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71
/proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72
/proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 229826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1734.93
Current children cumulated vsize (KiB) 1787864

[startup+1782.3 s]
/proc/loadavg: 1.00 1.07 1.05 2/79 21210
/proc/meminfo: memFree=618496/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1787864 CPUtime=1795.3
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 649182 0 3 0 179198 332 0 0 18 0 13 0 109127057 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446966 239042 1331 9 0 444578 0
[pid=21197/tid=21199] ppid=21195 vsize=1787864 CPUtime=1762.76
/proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 37797 0 1 0 176254 22 0 0 25 0 13 0 109127058 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109752354 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21200] ppid=21195 vsize=1787864 CPUtime=12.91
/proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 306853 0 0 0 1145 146 0 0 17 0 13 0 109127059 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21201] ppid=21195 vsize=1787864 CPUtime=12.95
/proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 288416 0 0 0 1153 142 0 0 16 0 13 0 109127059 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5.19
/proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12546 0 2 0 500 19 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71
/proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72
/proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1795.3
Current children cumulated vsize (KiB) 1787864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787 s]
/proc/loadavg: 1.00 1.06 1.05 2/79 21210
/proc/meminfo: memFree=618496/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=1787864 CPUtime=1800
/proc/21197/stat : 21197 (java) S 21195 21197 20268 0 -1 0 649182 0 3 0 179668 332 0 0 18 0 13 0 109127057 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21197/statm: 446966 239042 1331 9 0 444578 0
[pid=21197/tid=21199] ppid=21195 vsize=1787864 CPUtime=1767.47
/proc/21197/task/21199/stat : 21199 (java) R 21195 21197 20268 0 -1 64 37797 0 1 0 176725 22 0 0 25 0 13 0 109127058 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109742685 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21200] ppid=21195 vsize=1787864 CPUtime=12.91
/proc/21197/task/21200/stat : 21200 (java) S 21195 21197 20268 0 -1 64 306853 0 0 0 1145 146 0 0 17 0 13 0 109127059 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21201] ppid=21195 vsize=1787864 CPUtime=12.95
/proc/21197/task/21201/stat : 21201 (java) S 21195 21197 20268 0 -1 64 288416 0 0 0 1153 142 0 0 16 0 13 0 109127059 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21202] ppid=21195 vsize=1787864 CPUtime=5.19
/proc/21197/task/21202/stat : 21202 (java) S 21195 21197 20268 0 -1 64 12546 0 2 0 500 19 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21203] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21203/stat : 21203 (java) S 21195 21197 20268 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21204] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21204/stat : 21204 (java) S 21195 21197 20268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109127062 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21205] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21205/stat : 21205 (java) S 21195 21197 20268 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21206] ppid=21195 vsize=1787864 CPUtime=0.71
/proc/21197/task/21206/stat : 21206 (java) S 21195 21197 20268 0 -1 64 1275 0 0 0 71 0 0 0 17 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21207] ppid=21195 vsize=1787864 CPUtime=0.72
/proc/21197/task/21207/stat : 21207 (java) S 21195 21197 20268 0 -1 64 1572 0 0 0 72 0 0 0 16 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21197/tid=21208] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21208/stat : 21208 (java) S 21195 21197 20268 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21209] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21209/stat : 21209 (java) S 21195 21197 20268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109127066 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21197/tid=21210] ppid=21195 vsize=1787864 CPUtime=0
/proc/21197/task/21210/stat : 21210 (java) S 21195 21197 20268 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 109127154 1830772736 239042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1787864

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

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

[startup+1787.2 s]
/proc/loadavg: 1.00 1.06 1.05 2/79 21210
/proc/meminfo: memFree=618496/2055920 swapFree=4191892/4192956
[pid=21197] ppid=21195 vsize=0 CPUtime=1800.2
/proc/21197/stat : 21197 (java) Z 21195 21197 20268 0 -1 1036 649203 0 3 0 179674 346 0 0 15 0 2 0 109127057 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21197/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1787.21
CPU time (s): 1800.22
CPU user time (s): 1796.75
CPU system time (s): 3.46947
CPU usage (%): 100.728
Max. virtual memory (cumulated for all children) (KiB): 1791868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.75
system time used= 3.46947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649203
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37582
involuntary context switches= 22436

runsolver used 2.17467 second user time and 4.48932 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Sun Apr 15 06:12:06 UTC 2007

IDJOB= 351924
IDBENCH= 1852
IDSOLVER= 159
FILE ID= node54/351924-1176617526

PBS_JOBID= 4557043

Free space on /tmp= 66561 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351924-1176617526/sat4jPseudoResolution.jar /tmp/evaluation/351924-1176617526/instance-351924-1176617526.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-351924-1176617526 -o ROOT/results/node54/solver-351924-1176617526 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351924-1176617526/sat4jPseudoResolution.jar /tmp/evaluation/351924-1176617526/instance-351924-1176617526.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  1a5510d564851e49e3b50f1a87922ca2

RANDOM SEED= 399698461

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1164928 kB
Buffers:        105796 kB
Cached:         615492 kB
SwapCached:        396 kB
Active:         366192 kB
Inactive:       397988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1164928 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3676 kB
Writeback:           0 kB
Mapped:          48308 kB
Slab:           112664 kB
Committed_AS:  1312900 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node54 on Sun Apr 15 06:41:55 UTC 2007