Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | UNSAT | 342.646 | 337.705 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb |
MD5SUM | 81f6ac40aa7d3bed7fd7ce8f56c34d18 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 149.493 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 185520 |
Total number of constraints | 404 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 404 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 185520 |
Number of terms in the objective function | 185520 |
Biggest coefficient in the objective function | 43 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 686424 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 686424 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node87/43932-1149331874/instance-43932-1149331874.opb 0.20 c reading problem ... 15.80 c ... done. Time 15.603 ms. 15.80 c #vars 185520 15.80 c #constraints 808 337.63 c starts : 1 337.63 c conflicts : 2 337.63 c decisions : 9963 337.63 c propagations : 62765 337.63 c inspects : 103206 337.63 c learnt literals : 0 337.63 c learnt binary clauses : 0 337.63 c learnt ternary clauses : 0 337.63 c learnt clauses : 1 337.63 c root simplifications : 0 337.63 c removed literals (reason simplification) : 0 337.63 c reason swapping (by a shorter reason) : 0 337.63 c Calls to reduceDB : 0 337.63 c speed (decisions/second) : 30.963976367552313 337.63 c non guided choices 9963 337.63 s UNSATISFIABLE 337.63 c Total wall clock time (ms): 337.435
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node87/watcher-43932-1149331874 -o ROOT/results/node87/solver-43932-1149331874 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node87/43932-1149331874/instance-43932-1149331874.opb 129108352 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.93 2/67 32108 /proc/meminfo: memFree=1762288/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1508 CPUtime=0 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 90 0 0 0 0 0 0 0 18 0 1 0 198826623 1544192 70 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 11208406 0 0 4096 0 0 0 0 17 1 0 0 /proc/32108/statm: 364 60 45 14 0 8 0 [startup+10.0034 s] /proc/loadavg: 0.93 0.95 0.93 2/78 32119 /proc/meminfo: memFree=1475680/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718240 CPUtime=12.91 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 79242 0 1 0 1251 40 0 0 18 0 12 0 198826623 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071415387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429560 73456 1887 14 0 416306 0 [pid=32108/tid=32109] ppid=32106 vsize=1718240 CPUtime=2.13 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 19130 0 0 0 203 10 0 0 19 0 12 0 198826627 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718240 CPUtime=2.12 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 20938 0 0 0 199 13 0 0 19 0 12 0 198826627 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718240 CPUtime=0 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 198826630 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718240 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 198826630 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718240 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 198826630 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718240 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 198826633 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718240 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 198826633 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718240 CPUtime=0.43 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 727 0 0 0 43 0 0 0 16 0 12 0 198826633 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718240 CPUtime=0.61 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1930 0 0 0 61 0 0 0 16 0 12 0 198826633 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718240 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 198826633 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718240 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 198826633 1759477760 73456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.91 Current children cumulated vsize (Kb) 1718240 [startup+20.0096 s] /proc/loadavg: 0.94 0.96 0.93 2/79 32120 /proc/meminfo: memFree=1394328/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=23.91 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 102589 0 1 0 2338 53 0 0 21 0 13 0 198826623 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071634192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 93752 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=2.91 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 32307 0 0 0 274 17 0 0 16 0 13 0 198826627 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=2.92 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 31000 0 0 0 274 18 0 0 16 0 13 0 198826627 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.57 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 757 0 0 0 57 0 0 0 16 0 13 0 198826633 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.72 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1941 0 0 0 72 0 0 0 16 0 13 0 198826633 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 198828225 1759973376 93752 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 23.91 Current children cumulated vsize (Kb) 1718724 [startup+30.0167 s] /proc/loadavg: 0.95 0.96 0.93 2/79 32120 /proc/meminfo: memFree=1384024/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=33.95 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 105340 0 1 0 3341 54 0 0 25 0 13 0 198826623 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071634432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 96391 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=2.96 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 278 18 0 0 16 0 13 0 198826627 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=2.95 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 277 18 0 0 16 0 13 0 198826627 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.57 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 757 0 0 0 57 0 0 0 16 0 13 0 198826633 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.72 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1941 0 0 0 72 0 0 0 16 0 13 0 198826633 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 198828225 1759973376 96391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 33.95 Current children cumulated vsize (Kb) 1718724 [startup+40.0239 s] /proc/loadavg: 0.95 0.96 0.93 2/79 32120 /proc/meminfo: memFree=1383960/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=43.99 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 105345 0 1 0 4344 55 0 0 25 0 13 0 198826623 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071634450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 96393 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=2.98 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 279 19 0 0 16 0 13 0 198826627 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=2.97 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 279 18 0 0 16 0 13 0 198826627 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.58 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 758 0 0 0 58 0 0 0 16 0 13 0 198826633 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.73 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1942 0 0 0 73 0 0 0 17 0 13 0 198826633 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 198828225 1759973376 96393 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 43.99 Current children cumulated vsize (Kb) 1718724 [startup+50.031 s] /proc/loadavg: 0.96 0.96 0.93 2/79 32120 /proc/meminfo: memFree=1387096/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=54.03 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 105349 0 1 0 5347 56 0 0 25 0 13 0 198826623 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071634454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 95577 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=2.99 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 280 19 0 0 16 0 13 0 198826627 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=2.99 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 281 18 0 0 16 0 13 0 198826627 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.58 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 758 0 0 0 58 0 0 0 17 0 13 0 198826633 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.75 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1944 0 0 0 75 0 0 0 16 0 13 0 198826633 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198828225 1759973376 95577 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 54.03 Current children cumulated vsize (Kb) 1718724 [startup+60.0382 s] /proc/loadavg: 0.97 0.96 0.93 2/79 32120 /proc/meminfo: memFree=1397208/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=64.07 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 105355 0 1 0 6350 57 0 0 20 0 13 0 198826623 1759973376 93062 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071634195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 93062 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=3.01 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 281 20 0 0 16 0 13 0 198826627 1759973376 93062 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=3.01 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 283 18 0 0 16 0 13 0 198826627 1759973376 93062 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 0 0 0 0 15 0 13 0 198826630 1759973376 93062 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 93062 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 93062 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 93062 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 93062 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/32108/statm: 429681 78121 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=3.41 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 313 28 0 0 16 0 13 0 198826627 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=3.39 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 313 26 0 0 16 0 13 0 198826627 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0.03 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 1 2 0 0 16 0 13 0 198826630 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.58 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 758 0 0 0 58 0 0 0 17 0 13 0 198826633 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.76 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1946 0 0 0 76 0 0 0 16 0 13 0 198826633 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198828225 1759973376 78121 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 284.52 Current children cumulated vsize (Kb) 1718724 [startup+290.197 s] /proc/loadavg: 0.99 0.97 0.93 2/79 32120 /proc/meminfo: memFree=1456920/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=294.55 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 105416 0 1 0 29381 74 0 0 25 0 13 0 198826623 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071634203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 78088 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=3.42 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 314 28 0 0 16 0 13 0 198826627 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=3.42 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 316 26 0 0 16 0 13 0 198826627 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0.03 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 1 2 0 0 16 0 13 0 198826630 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.58 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 758 0 0 0 58 0 0 0 17 0 13 0 198826633 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.76 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1946 0 0 0 76 0 0 0 16 0 13 0 198826633 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198828225 1759973376 78088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 294.55 Current children cumulated vsize (Kb) 1718724 [startup+300.204 s] /proc/loadavg: 0.99 0.97 0.93 2/79 32120 /proc/meminfo: memFree=1457176/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=304.57 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 105419 0 1 0 30382 75 0 0 25 0 13 0 198826623 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071516664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 78040 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=3.44 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 315 29 0 0 16 0 13 0 198826627 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=3.44 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 318 26 0 0 16 0 13 0 198826627 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0.03 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 1 2 0 0 16 0 13 0 198826630 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.58 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 758 0 0 0 58 0 0 0 17 0 13 0 198826633 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.76 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1946 0 0 0 76 0 0 0 16 0 13 0 198826633 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198828225 1759973376 78040 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 304.57 Current children cumulated vsize (Kb) 1718724 [startup+310.21 s] /proc/loadavg: 0.99 0.97 0.93 2/79 32120 /proc/meminfo: memFree=1457240/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=314.58 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 105422 0 1 0 31383 75 0 0 25 0 13 0 198826623 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071634450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 78024 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=3.45 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 316 29 0 0 16 0 13 0 198826627 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=3.46 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 320 26 0 0 16 0 13 0 198826627 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0.03 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 1 2 0 0 16 0 13 0 198826630 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.58 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 758 0 0 0 58 0 0 0 17 0 13 0 198826633 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.76 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1946 0 0 0 76 0 0 0 16 0 13 0 198826633 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198828225 1759973376 78024 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 314.58 Current children cumulated vsize (Kb) 1718724 [startup+320.217 s] /proc/loadavg: 0.99 0.97 0.93 2/79 32120 /proc/meminfo: memFree=1457368/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=324.61 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 105425 0 1 0 32385 76 0 0 25 0 13 0 198826623 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071634443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 77992 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=3.47 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 317 30 0 0 16 0 13 0 198826627 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=3.48 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 322 26 0 0 16 0 13 0 198826627 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0.03 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 1 2 0 0 16 0 13 0 198826630 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.58 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 758 0 0 0 58 0 0 0 17 0 13 0 198826633 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.76 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1946 0 0 0 76 0 0 0 16 0 13 0 198826633 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198828225 1759973376 77992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 324.61 Current children cumulated vsize (Kb) 1718724 [startup+330.224 s] /proc/loadavg: 0.99 0.97 0.93 2/79 32120 /proc/meminfo: memFree=1457368/2055888 swapFree=4085404/4096564 [pid=32108] ppid=32106 vsize=1718724 CPUtime=334.63 /proc/32108/stat : 32108 (java) R 32106 32108 32062 0 -1 0 105428 0 1 0 33386 77 0 0 25 0 13 0 198826623 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071634454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32108/statm: 429681 77976 1902 14 0 416427 0 [pid=32108/tid=32109] ppid=32106 vsize=1718724 CPUtime=3.49 /proc/32108/task/32109/stat : 32109 (java) S 32106 32108 32062 0 -1 64 33596 0 0 0 318 31 0 0 16 0 13 0 198826627 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32110] ppid=32106 vsize=1718724 CPUtime=3.5 /proc/32108/task/32110/stat : 32110 (java) S 32106 32108 32062 0 -1 64 32457 0 0 0 324 26 0 0 16 0 13 0 198826627 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32111] ppid=32106 vsize=1718724 CPUtime=0.03 /proc/32108/task/32111/stat : 32111 (java) S 32106 32108 32062 0 -1 64 12 0 0 0 1 2 0 0 16 0 13 0 198826630 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32112] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32112/stat : 32112 (java) S 32106 32108 32062 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32113] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32113/stat : 32113 (java) S 32106 32108 32062 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198826630 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32114] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32114/stat : 32114 (java) S 32106 32108 32062 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198826633 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32115] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32115/stat : 32115 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198826633 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32116] ppid=32106 vsize=1718724 CPUtime=0.58 /proc/32108/task/32116/stat : 32116 (java) S 32106 32108 32062 0 -1 64 758 0 0 0 58 0 0 0 17 0 13 0 198826633 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32117] ppid=32106 vsize=1718724 CPUtime=0.76 /proc/32108/task/32117/stat : 32117 (java) S 32106 32108 32062 0 -1 64 1946 0 0 0 76 0 0 0 16 0 13 0 198826633 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32118] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32118/stat : 32118 (java) S 32106 32108 32062 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198826633 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32108/tid=32119] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32119/stat : 32119 (java) S 32106 32108 32062 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198826633 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32108/tid=32120] ppid=32106 vsize=1718724 CPUtime=0 /proc/32108/task/32120/stat : 32120 (java) S 32106 32108 32062 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198828225 1759973376 77976 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 334.63 Current children cumulated vsize (Kb) 1718724 Child status: 20 Real time (s): 337.705 CPU time (s): 342.646 CPU user time (s): 341.728 CPU system time (s): 0.91786 CPU usage (%): 101.463 Max. virtual memory (cumulated for all children) (Kb): 1718724
Begin job on node87 on Sat Jun 3 10:51:15 UTC 2006 FILE ID= 43932-1149331874 PBS_JOBID= 309943 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node87/43932-1149331874/instance-43932-1149331874.opb 129108352 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-43932-1149331874 -o ROOT/results/node87/solver-43932-1149331874 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node87/43932-1149331874/instance-43932-1149331874.opb 129108352 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 81f6ac40aa7d3bed7fd7ce8f56c34d18 RANDOM SEED= 129108352 /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 : 6006.17 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1762688 kB Buffers: 21280 kB Cached: 207504 kB SwapCached: 2348 kB Active: 50548 kB Inactive: 186888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1762688 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16760 kB Slab: 42468 kB Committed_AS: 275616 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 3 10:56:53 UTC 2006