Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1802.95 | 1790.67 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb |
MD5SUM | b94d4317cfb468b1c3dd3d790ff99d4d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94289 |
Number of constraints which are clauses | 94289 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1272 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
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-22.EL.rootsmp 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.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.22 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node5/44515-1154051879/instance-44515-1154051879.opb 0.22 c reading problem ... 4.91 c ... done. Time 4.694 ms. 4.91 c #vars 1272 4.91 c #constraints 94289 4.94 c SATISFIABLE 4.94 c OPTIMIZING... 4.94 c Got one! Ellapsed CPU time (in seconds):4.722 4.96 o 0 5.00 c Got one! Ellapsed CPU time (in seconds):4.777 5.00 o -1 5.24 c Got one! Ellapsed CPU time (in seconds):5.019 5.24 o -2 6.03 c Got one! Ellapsed CPU time (in seconds):5.817 6.04 o -35 6.78 c Got one! Ellapsed CPU time (in seconds):6.562 6.78 o -36 8.06 c Got one! Ellapsed CPU time (in seconds):7.841 8.06 o -37 11.78 c Got one! Ellapsed CPU time (in seconds):11.566 11.79 o -38 13.48 c Got one! Ellapsed CPU time (in seconds):13.26 13.48 o -39 17.02 c Got one! Ellapsed CPU time (in seconds):16.799 17.02 o -40 21.33 c Got one! Ellapsed CPU time (in seconds):21.116 21.34 o -41 866.51 c Got one! Ellapsed CPU time (in seconds):866.295 866.51 o -42
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node5/watcher-44515-1154051879 -o ROOT/results/node5/solver-44515-1154051879 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node5/44515-1154051879/instance-44515-1154051879.opb 335238192 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.98 3/64 24469 /proc/meminfo: memFree=1565944/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1784 CPUtime=0 /proc/24469/stat : 24469 (java) R 24467 24469 24420 0 -1 0 148 0 0 0 0 0 0 0 19 0 1 0 152049370 1826816 120 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 8328827 0 0 4096 0 0 0 0 17 1 0 0 /proc/24469/statm: 446 123 90 14 0 91 0 [startup+10.0021 s] /proc/loadavg: 1.17 1.03 0.99 4/76 24487 /proc/meminfo: memFree=1355552/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712636 CPUtime=11.48 /proc/24469/stat : 24469 (java) R 24467 24469 24420 0 -1 0 57725 0 1 0 1121 27 0 0 25 0 13 0 152049370 1753739264 54498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24469/statm: 428159 54500 1909 14 0 414906 0 [pid=24469/tid=24470] ppid=24467 vsize=1712636 CPUtime=0.37 /proc/24469/task/24470/stat : 24470 (java) R 24467 24469 24420 0 -1 64 8119 0 0 0 35 2 0 0 17 0 13 0 152049374 1753739264 54502 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154976535 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712636 CPUtime=0.36 /proc/24469/task/24471/stat : 24471 (java) R 24467 24469 24420 0 -1 64 7510 0 0 0 33 3 0 0 17 0 13 0 152049374 1753739264 54503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975950 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712636 CPUtime=0 /proc/24469/task/24472/stat : 24472 (java) S 24467 24469 24420 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 152049376 1753739264 54504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712636 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753739264 54505 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712636 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753739264 54506 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712636 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152049380 1753739264 54511 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712636 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753739264 54515 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712636 CPUtime=0.86 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 885 0 0 0 86 0 0 0 16 0 13 0 152049380 1753739264 54517 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712636 CPUtime=0.75 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 894 0 0 0 75 0 0 0 16 0 13 0 152049380 1753739264 54521 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712636 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753739264 54523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712636 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753739264 54524 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24487] ppid=24467 vsize=1712636 CPUtime=0 /proc/24469/task/24487/stat : 24487 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 152050177 1753739264 54525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.48 Current children cumulated vsize (Kb) 1712636 [startup+20.0172 s] /proc/loadavg: 1.14 1.03 0.99 2/76 24490 /proc/meminfo: memFree=1300824/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=21.93 /proc/24469/stat : 24469 (java) R 24467 24469 24420 0 -1 0 73579 0 1 0 2157 36 0 0 25 0 13 0 152049370 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071503966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24469/statm: 428055 68089 1911 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=0.72 /proc/24469/task/24470/stat : 24470 (java) S 24467 24469 24420 0 -1 64 16436 0 0 0 65 7 0 0 17 0 13 0 152049374 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=0.73 /proc/24469/task/24471/stat : 24471 (java) S 24467 24469 24420 0 -1 64 15027 0 0 0 66 7 0 0 16 0 13 0 152049374 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24472/stat : 24472 (java) S 24467 24469 24420 0 -1 64 29 0 0 0 0 0 0 0 15 0 13 0 152049376 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152049380 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=0.9 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 888 0 0 0 90 0 0 0 16 0 13 0 152049380 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.81 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 899 0 0 0 81 0 0 0 16 0 13 0 152049380 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24490] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24490/stat : 24490 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 152051073 1753313280 68089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.93 Current children cumulated vsize (Kb) 1712220 [startup+30.0243 s] /proc/loadavg: 1.12 1.03 0.99 3/76 24491 /proc/meminfo: memFree=1255120/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=32.29 /proc/24469/stat : 24469 (java) S 24467 24469 24420 0 -1 0 86794 0 1 0 3186 43 0 0 25 0 13 0 152049370 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24469/statm: 428055 79520 1911 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=1.04 /proc/24469/task/24470/stat : 24470 (java) R 24467 24469 24420 0 -1 64 24808 0 0 0 93 11 0 0 17 0 13 0 152049374 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154976005 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=1.05 /proc/24469/task/24471/stat : 24471 (java) R 24467 24469 24420 0 -1 64 19654 0 0 0 96 9 0 0 17 0 13 0 152049374 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975348 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24472/stat : 24472 (java) S 24467 24469 24420 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 152049376 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152049380 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=0.95 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 1101 0 0 0 94 1 0 0 17 0 13 0 152049380 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.82 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 899 0 0 0 82 0 0 0 16 0 13 0 152049380 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24491] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24491/stat : 24491 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 152051505 1753313280 79520 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.29 Current children cumulated vsize (Kb) 1712220 [startup+40.0314 s] /proc/loadavg: 1.10 1.03 0.99 2/76 24491 /proc/meminfo: memFree=1221712/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=42.58 /proc/24469/stat : 24469 (java) R 24467 24469 24420 0 -1 0 96651 0 1 0 4210 48 0 0 25 0 13 0 152049370 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071567317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24469/statm: 428055 87830 1911 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=1.28 /proc/24469/task/24470/stat : 24470 (java) S 24467 24469 24420 0 -1 64 30166 0 0 0 114 14 0 0 17 0 13 0 152049374 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=1.28 /proc/24469/task/24471/stat : 24471 (java) S 24467 24469 24420 0 -1 64 23845 0 0 0 117 11 0 0 16 0 13 0 152049374 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24472/stat : 24472 (java) S 24467 24469 24420 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 152049376 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152049380 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=1 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 1405 0 0 0 99 1 0 0 17 0 13 0 152049380 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.82 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 899 0 0 0 82 0 0 0 17 0 13 0 152049380 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24491] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24491/stat : 24491 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 152051505 1753313280 87830 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.58 Current children cumulated vsize (Kb) 1712220 [startup+50.0396 s] /proc/loadavg: 1.08 1.03 0.99 2/76 24491 /proc/meminfo: memFree=1178192/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=52.9 /proc/24469/stat : 24469 (java) R 24467 24469 24420 0 -1 0 110005 0 1 0 5236 54 0 0 25 0 13 0 152049370 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071563167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24469/statm: 428055 98647 1911 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=1.6 /proc/24469/task/24470/stat : 24470 (java) S 24467 24469 24420 0 -1 64 37694 0 0 0 142 18 0 0 16 0 13 0 152049374 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=1.6 /proc/24469/task/24471/stat : 24471 (java) S 24467 24469 24420 0 -1 64 29668 0 0 0 146 14 0 0 17 0 13 0 152049374 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24472/stat : 24472 (java) S 24467 24469 24420 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 152049376 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152049380 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=1 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 1405 0 0 0 99 1 0 0 17 0 13 0 152049380 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.82 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 899 0 0 0 82 0 0 0 17 0 13 0 152049380 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24491] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24491/stat : 24491 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 152051505 1753313280 98647 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.9 Current children cumulated vsize (Kb) 1712220 [startup+60.0457 s] /proc/loadavg: 1.07 1.03 0.99 2/76 24491 /proc/meminfo: memFree=1139472/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=63.17 /proc/24469/stat : 24469 (java) R 24467 24469 24420 0 -1 0 121279 0 1 0 6257 60 0 0 25 0 13 0 152049370 1753313280 108378 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24469/statm: 428055 108378 1911 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=1.86 /proc/24469/task/24470/stat : 24470 (java) S 24467 24469 24420 0 -1 64 43143 0 0 0 166 20 0 0 16 0 13 0 152049374 1753313280 108378 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=1.86 /proc/24469/task/24471/stat : 24471 (java) S 24467 24469 24420 0 -1 64 35489 0 0 0 169 17 0 0 16 0 13 0 152049374 1753313280 108378 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24472/stat : 24472 (java) S 24467 24469 24420 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 152049376 1753313280 108378 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 108378 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 108378 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 ################ # More data... # ################ /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=1.03 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 1406 0 0 0 102 1 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.84 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 901 0 0 0 84 0 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=25166] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/25166/stat : 25166 (java) S 24467 24469 24420 0 -1 64 95 0 0 0 0 0 0 0 16 0 13 0 152136022 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 1712220 [startup+1787.4 s] /proc/loadavg: 1.00 1.00 1.00 2/76 25166 /proc/meminfo: memFree=14920/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=1799.69 /proc/24469/stat : 24469 (java) S 24467 24469 24420 0 -1 0 445824 0 1 0 179744 225 0 0 16 0 13 0 152049370 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24469/statm: 428055 388884 1913 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=11.8 /proc/24469/task/24470/stat : 24470 (java) S 24467 24469 24420 0 -1 64 202516 0 0 0 1085 95 0 0 16 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=11.83 /proc/24469/task/24471/stat : 24471 (java) S 24467 24469 24420 0 -1 64 197536 0 0 0 1088 95 0 0 17 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=870.08 /proc/24469/task/24472/stat : 24472 (java) R 24467 24469 24420 0 -1 64 2875 0 0 0 87005 3 0 0 18 0 13 0 152049376 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154472604 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=1.03 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 1406 0 0 0 102 1 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.84 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 901 0 0 0 84 0 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=25166] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/25166/stat : 25166 (java) S 24467 24469 24420 0 -1 64 95 0 0 0 0 0 0 0 16 0 13 0 152136022 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 1712220 [startup+1788.41 s] /proc/loadavg: 1.00 1.00 1.00 3/76 25166 /proc/meminfo: memFree=14920/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=1800.69 /proc/24469/stat : 24469 (java) S 24467 24469 24420 0 -1 0 445824 0 1 0 179844 225 0 0 16 0 13 0 152049370 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24469/statm: 428055 388884 1913 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=11.8 /proc/24469/task/24470/stat : 24470 (java) S 24467 24469 24420 0 -1 64 202516 0 0 0 1085 95 0 0 16 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=11.83 /proc/24469/task/24471/stat : 24471 (java) S 24467 24469 24420 0 -1 64 197536 0 0 0 1088 95 0 0 17 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=871.08 /proc/24469/task/24472/stat : 24472 (java) R 24467 24469 24420 0 -1 64 2875 0 0 0 87105 3 0 0 19 0 13 0 152049376 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154938505 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=1.03 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 1406 0 0 0 102 1 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.84 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 901 0 0 0 84 0 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=25166] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/25166/stat : 25166 (java) S 24467 24469 24420 0 -1 64 95 0 0 0 0 0 0 0 16 0 13 0 152136022 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 1712220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.41 s] /proc/loadavg: 1.00 1.00 1.00 2/76 25166 /proc/meminfo: memFree=14920/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=1800.7 /proc/24469/stat : 24469 (java) S 24467 24469 24420 0 -1 0 445824 0 1 0 179845 225 0 0 16 0 13 0 152049370 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24469/statm: 428055 388884 1913 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=11.8 /proc/24469/task/24470/stat : 24470 (java) S 24467 24469 24420 0 -1 64 202516 0 0 0 1085 95 0 0 16 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=11.83 /proc/24469/task/24471/stat : 24471 (java) S 24467 24469 24420 0 -1 64 197536 0 0 0 1088 95 0 0 17 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=871.09 /proc/24469/task/24472/stat : 24472 (java) R 24467 24469 24420 0 -1 64 2875 0 0 0 87106 3 0 0 19 0 13 0 152049376 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154938806 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=1.03 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 1406 0 0 0 102 1 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.84 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 901 0 0 0 84 0 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=25166] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/25166/stat : 25166 (java) S 24467 24469 24420 0 -1 64 95 0 0 0 0 0 0 0 16 0 13 0 152136022 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 1712220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1789.43 s] /proc/loadavg: 1.00 1.00 1.00 2/77 25167 /proc/meminfo: memFree=14848/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=1801.71 /proc/24469/stat : 24469 (java) S 24467 24469 24420 0 -1 0 445825 0 1 0 179946 225 0 0 16 0 13 0 152049370 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24469/statm: 428055 388884 1913 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=11.8 /proc/24469/task/24470/stat : 24470 (java) S 24467 24469 24420 0 -1 64 202516 0 0 0 1085 95 0 0 16 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=11.83 /proc/24469/task/24471/stat : 24471 (java) S 24467 24469 24420 0 -1 64 197536 0 0 0 1088 95 0 0 17 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=872.1 /proc/24469/task/24472/stat : 24472 (java) R 24467 24469 24420 0 -1 64 2875 0 0 0 87207 3 0 0 21 0 13 0 152049376 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152729256 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=1.03 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 1406 0 0 0 102 1 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.84 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 901 0 0 0 84 0 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=25166] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/25166/stat : 25166 (java) S 24467 24469 24420 0 -1 64 95 0 0 0 0 0 0 0 16 0 13 0 152136022 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1801.71 Current children cumulated vsize (Kb) 1712220 Sending SIGKILL to process tree (bottom up) [startup+1790.43 s] /proc/loadavg: 1.00 1.00 1.00 2/77 25167 /proc/meminfo: memFree=14848/2055920 swapFree=4173760/4192956 [pid=24469] ppid=24467 vsize=1712220 CPUtime=1802.71 /proc/24469/stat : 24469 (java) S 24467 24469 24420 0 -1 0 445825 0 1 0 180046 225 0 0 16 0 13 0 152049370 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24469/statm: 428055 388884 1913 14 0 414802 0 [pid=24469/tid=24470] ppid=24467 vsize=1712220 CPUtime=11.8 /proc/24469/task/24470/stat : 24470 (java) S 24467 24469 24420 0 -1 64 202516 0 0 0 1085 95 0 0 16 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24471] ppid=24467 vsize=1712220 CPUtime=11.83 /proc/24469/task/24471/stat : 24471 (java) S 24467 24469 24420 0 -1 64 197536 0 0 0 1088 95 0 0 17 0 13 0 152049374 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24472] ppid=24467 vsize=1712220 CPUtime=873.1 /proc/24469/task/24472/stat : 24472 (java) R 24467 24469 24420 0 -1 64 2875 0 0 0 87307 3 0 0 25 0 13 0 152049376 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649000 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24473] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24473/stat : 24473 (java) S 24467 24469 24420 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24474] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24474/stat : 24474 (java) S 24467 24469 24420 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152049377 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24475] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24475/stat : 24475 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24476] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24476/stat : 24476 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24477] ppid=24467 vsize=1712220 CPUtime=1.03 /proc/24469/task/24477/stat : 24477 (java) S 24467 24469 24420 0 -1 64 1406 0 0 0 102 1 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24469/tid=24478] ppid=24467 vsize=1712220 CPUtime=0.84 /proc/24469/task/24478/stat : 24478 (java) S 24467 24469 24420 0 -1 64 901 0 0 0 84 0 0 0 17 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24479] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24479/stat : 24479 (java) S 24467 24469 24420 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=24480] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/24480/stat : 24480 (java) S 24467 24469 24420 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 152049380 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24469/tid=25166] ppid=24467 vsize=1712220 CPUtime=0 /proc/24469/task/25166/stat : 25166 (java) S 24467 24469 24420 0 -1 64 95 0 0 0 0 0 0 0 16 0 13 0 152136022 1753313280 388884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1802.71 Current children cumulated vsize (Kb) 1712220 Child ended because it received signal 9 (SIGKILL) Real time (s): 1790.67 CPU time (s): 1802.95 CPU user time (s): 1800.47 CPU system time (s): 2.48162 CPU usage (%): 100.686 Max. virtual memory (cumulated for all children) (Kb): 1712636 The end
Begin job on node5 on Fri Jul 28 01:57:59 UTC 2006 FILE ID= 44515-1154051879 PBS_JOBID= 881876 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node5/44515-1154051879/instance-44515-1154051879.opb 335238192 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-44515-1154051879 -o ROOT/results/node5/solver-44515-1154051879 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node5/44515-1154051879/instance-44515-1154051879.opb 335238192 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d RANDOM SEED= 335238192 TIMEOUT= 1800 seconds /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: 1566152 kB Buffers: 27908 kB Cached: 396380 kB SwapCached: 12884 kB Active: 36708 kB Inactive: 405568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1566152 kB SwapTotal: 4192956 kB SwapFree: 4173760 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14484 kB Slab: 33536 kB Committed_AS: 533312 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node5 on Fri Jul 28 02:27:50 UTC 2006