Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1801.07 | 1797.36 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 441 |
Best CPU time to get the best result obtained on this benchmark | 1800.6 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 419 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
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 | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 495618 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 495618 |
Number of bits of the biggest sum of numbers | 19 |
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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 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/node49/42792-1149389463/instance-42792-1149389463.opb 0.20 c reading problem ... 120.69 c ... done. Time 120.484 ms. 120.69 c #vars 10000 120.69 c #constraints 656900 1797.28 c starts : 14 1797.28 c conflicts : 54619 1797.28 c decisions : 100709 1797.28 c propagations : 8336690 1797.28 c inspects : 112428527 1797.28 c learnt literals : 0 1797.28 c learnt binary clauses : 0 1797.28 c learnt ternary clauses : 0 1797.28 c learnt clauses : 54618 1797.28 c root simplifications : 0 1797.28 c removed literals (reason simplification) : 0 1797.28 c reason swapping (by a shorter reason) : 0 1797.28 c Calls to reduceDB : 0 1797.28 c speed (decisions/second) : 60.07875758448902 1797.28 c non guided choices 0 1797.28 s UNKNOWN 1797.28 c Total wall clock time (ms): 1797.074
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/node49/watcher-42792-1149389463 -o ROOT/results/node49/solver-42792-1149389463 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node49/42792-1149389463/instance-42792-1149389463.opb 81456845 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.88 0.98 0.99 2/64 21200 /proc/meminfo: memFree=1464792/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1500 CPUtime=0 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 87 0 0 0 0 0 0 0 18 0 1 0 204613514 1536000 69 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 2486880 0 0 4096 0 0 0 0 17 1 0 0 /proc/21200/statm: 375 69 55 14 0 8 0 [startup+10.002 s] /proc/loadavg: 0.89 0.98 0.99 2/75 21211 /proc/meminfo: memFree=1280704/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1710784 CPUtime=10.61 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 49442 0 1 0 1039 22 0 0 23 0 12 0 204613514 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071396185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 427696 47770 1874 14 0 414443 0 [pid=21200/tid=21201] ppid=21198 vsize=1710784 CPUtime=0.14 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 2489 0 0 0 13 1 0 0 16 0 12 0 204613518 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1710784 CPUtime=0.14 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 2436 0 0 0 14 0 0 0 16 0 12 0 204613518 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 28 0 0 0 0 0 0 0 15 0 12 0 204613520 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 204613524 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 204613524 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1710784 CPUtime=0.36 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 497 0 0 0 36 0 0 0 16 0 12 0 204613524 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1710784 CPUtime=0.31 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 600 0 0 0 31 0 0 0 16 0 12 0 204613524 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 204613524 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 204613524 1751842816 47770 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.61 Current children cumulated vsize (Kb) 1710784 [startup+20.0089 s] /proc/loadavg: 0.91 0.98 0.99 2/75 21211 /proc/meminfo: memFree=1275712/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1710784 CPUtime=20.71 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 53618 0 1 0 2046 25 0 0 25 0 12 0 204613514 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071454736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 427696 49118 1874 14 0 414443 0 [pid=21200/tid=21201] ppid=21198 vsize=1710784 CPUtime=0.24 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 3290 0 0 0 22 2 0 0 16 0 12 0 204613518 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1710784 CPUtime=0.24 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 3374 0 0 0 23 1 0 0 16 0 12 0 204613518 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1710784 CPUtime=0.01 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 38 0 0 0 1 0 0 0 15 0 12 0 204613520 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 204613524 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 204613524 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1710784 CPUtime=0.36 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 497 0 0 0 36 0 0 0 16 0 12 0 204613524 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1710784 CPUtime=0.31 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 600 0 0 0 31 0 0 0 16 0 12 0 204613524 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 204613524 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 204613524 1751842816 49118 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 20.71 Current children cumulated vsize (Kb) 1710784 [startup+30.0157 s] /proc/loadavg: 0.92 0.98 0.99 2/75 21211 /proc/meminfo: memFree=1264256/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1710784 CPUtime=30.81 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 56723 0 1 0 3054 27 0 0 25 0 12 0 204613514 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071416147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 427696 51998 1874 14 0 414443 0 [pid=21200/tid=21201] ppid=21198 vsize=1710784 CPUtime=0.35 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 4077 0 0 0 33 2 0 0 16 0 12 0 204613518 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1710784 CPUtime=0.35 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 4210 0 0 0 34 1 0 0 16 0 12 0 204613518 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1710784 CPUtime=0.01 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 38 0 0 0 1 0 0 0 15 0 12 0 204613520 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 204613524 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 204613524 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1710784 CPUtime=0.36 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 497 0 0 0 36 0 0 0 16 0 12 0 204613524 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1710784 CPUtime=0.31 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 600 0 0 0 31 0 0 0 16 0 12 0 204613524 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 204613524 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 204613524 1751842816 51998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 30.81 Current children cumulated vsize (Kb) 1710784 [startup+40.0225 s] /proc/loadavg: 0.93 0.98 0.99 2/75 21211 /proc/meminfo: memFree=1257664/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1710784 CPUtime=40.95 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 58510 0 1 0 4066 29 0 0 24 0 12 0 204613514 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071414066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 427696 53648 1874 14 0 414443 0 [pid=21200/tid=21201] ppid=21198 vsize=1710784 CPUtime=0.48 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 5099 0 0 0 45 3 0 0 15 0 12 0 204613518 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1710784 CPUtime=0.48 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 4949 0 0 0 46 2 0 0 16 0 12 0 204613518 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1710784 CPUtime=0.02 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 38 0 0 0 2 0 0 0 16 0 12 0 204613520 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 204613524 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 204613524 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1710784 CPUtime=0.36 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 497 0 0 0 36 0 0 0 16 0 12 0 204613524 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1710784 CPUtime=0.31 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 600 0 0 0 31 0 0 0 16 0 12 0 204613524 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 204613524 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 204613524 1751842816 53648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 40.95 Current children cumulated vsize (Kb) 1710784 [startup+50.0303 s] /proc/loadavg: 0.94 0.98 0.99 2/75 21211 /proc/meminfo: memFree=1253440/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1710784 CPUtime=51.1 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 59649 0 1 0 5079 31 0 0 25 0 12 0 204613514 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071413915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 427696 54718 1874 14 0 414443 0 [pid=21200/tid=21201] ppid=21198 vsize=1710784 CPUtime=0.64 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 5577 0 0 0 61 3 0 0 16 0 12 0 204613518 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1710784 CPUtime=0.64 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 5584 0 0 0 61 3 0 0 16 0 12 0 204613518 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1710784 CPUtime=0.03 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 38 0 0 0 2 1 0 0 16 0 12 0 204613520 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 204613524 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 204613524 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1710784 CPUtime=0.36 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 497 0 0 0 36 0 0 0 16 0 12 0 204613524 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1710784 CPUtime=0.31 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 600 0 0 0 31 0 0 0 16 0 12 0 204613524 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 204613524 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 204613524 1751842816 54718 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (Kb) 1710784 [startup+60.0371 s] /proc/loadavg: 0.95 0.98 0.99 2/75 21211 /proc/meminfo: memFree=1249600/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1710784 CPUtime=61.24 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 60674 0 1 0 6090 34 0 0 25 0 12 0 204613514 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071454736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 427696 55678 1874 14 0 414443 0 [pid=21200/tid=21201] ppid=21198 vsize=1710784 CPUtime=0.78 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 6045 0 0 0 74 4 0 0 16 0 12 0 204613518 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1710784 CPUtime=0.79 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 6115 0 0 0 75 4 0 0 16 0 12 0 204613518 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1710784 CPUtime=0.03 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 38 0 0 0 2 1 0 0 15 0 12 0 204613520 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 204613521 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 204613524 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 204613524 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1710784 CPUtime=0.36 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 497 0 0 0 36 0 0 0 16 0 12 0 204613524 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1710784 CPUtime=0.31 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 600 0 0 0 31 0 0 0 16 0 12 0 204613524 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 204613524 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1710784 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 204613524 1751842816 55678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=21200/tid=21204] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1713348 CPUtime=0.8 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 1657 0 0 0 80 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1713348 CPUtime=0.74 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 699 0 0 0 74 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21212] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21212/stat : 21212 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204625614 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (Kb) 1713348 [startup+1794.25 s] /proc/loadavg: 1.00 1.00 1.00 2/76 21407 /proc/meminfo: memFree=1101176/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1713348 CPUtime=1797.95 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 122189 0 1 0 179717 78 0 0 25 0 13 0 204613514 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071604091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 428337 92442 1905 14 0 415084 0 [pid=21200/tid=21201] ppid=21198 vsize=1713348 CPUtime=3.24 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 35316 0 0 0 305 19 0 0 16 0 13 0 204613518 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1713348 CPUtime=3.28 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 36759 0 0 0 307 21 0 0 16 0 13 0 204613518 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1713348 CPUtime=0.1 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 40 0 0 0 6 4 0 0 16 0 13 0 204613520 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1713348 CPUtime=0.8 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 1657 0 0 0 80 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1713348 CPUtime=0.74 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 699 0 0 0 74 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21212] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21212/stat : 21212 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204625614 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (Kb) 1713348 [startup+1795.26 s] /proc/loadavg: 1.00 1.00 1.00 2/76 21407 /proc/meminfo: memFree=1101176/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1713348 CPUtime=1798.95 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 122189 0 1 0 179817 78 0 0 25 0 13 0 204613514 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071629300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 428337 92442 1905 14 0 415084 0 [pid=21200/tid=21201] ppid=21198 vsize=1713348 CPUtime=3.24 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 35316 0 0 0 305 19 0 0 16 0 13 0 204613518 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1713348 CPUtime=3.28 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 36759 0 0 0 307 21 0 0 16 0 13 0 204613518 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1713348 CPUtime=0.1 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 40 0 0 0 6 4 0 0 16 0 13 0 204613520 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1713348 CPUtime=0.8 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 1657 0 0 0 80 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1713348 CPUtime=0.74 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 699 0 0 0 74 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21212] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21212/stat : 21212 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204625614 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.95 Current children cumulated vsize (Kb) 1713348 [startup+1796.27 s] /proc/loadavg: 1.00 1.00 1.00 2/76 21407 /proc/meminfo: memFree=1101176/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1713348 CPUtime=1799.96 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 122189 0 1 0 179918 78 0 0 25 0 13 0 204613514 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071604171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 428337 92442 1905 14 0 415084 0 [pid=21200/tid=21201] ppid=21198 vsize=1713348 CPUtime=3.24 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 35316 0 0 0 305 19 0 0 16 0 13 0 204613518 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1713348 CPUtime=3.28 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 36759 0 0 0 307 21 0 0 16 0 13 0 204613518 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1713348 CPUtime=0.1 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 40 0 0 0 6 4 0 0 16 0 13 0 204613520 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1713348 CPUtime=0.8 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 1657 0 0 0 80 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1713348 CPUtime=0.74 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 699 0 0 0 74 0 0 0 16 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 204613524 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21212] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21212/stat : 21212 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204625614 1754468352 92442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (Kb) 1713348 [startup+1797.27 s] /proc/loadavg: 1.00 1.00 1.00 2/76 21407 /proc/meminfo: memFree=1100344/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1713348 CPUtime=1800.97 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 122611 0 1 0 180019 78 0 0 18 0 13 0 204613514 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071629282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 428337 92662 1905 14 0 415084 0 [pid=21200/tid=21201] ppid=21198 vsize=1713348 CPUtime=3.26 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 35550 0 0 0 306 20 0 0 16 0 13 0 204613518 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1713348 CPUtime=3.29 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 36946 0 0 0 308 21 0 0 16 0 13 0 204613518 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1713348 CPUtime=0.1 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 40 0 0 0 6 4 0 0 16 0 13 0 204613520 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1713348 CPUtime=0.8 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 1657 0 0 0 80 0 0 0 16 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1713348 CPUtime=0.74 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 699 0 0 0 74 0 0 0 16 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21212] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21212/stat : 21212 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204625614 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (Kb) 1713348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.28 s] /proc/loadavg: 1.00 1.00 1.00 2/76 21407 /proc/meminfo: memFree=1100344/2055920 swapFree=4181408/4192956 [pid=21200] ppid=21198 vsize=1713348 CPUtime=1800.97 /proc/21200/stat : 21200 (java) R 21198 21200 21154 0 -1 0 122611 0 1 0 180019 78 0 0 18 0 13 0 204613514 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071604131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21200/statm: 428337 92662 1905 14 0 415084 0 [pid=21200/tid=21201] ppid=21198 vsize=1713348 CPUtime=3.26 /proc/21200/task/21201/stat : 21201 (java) S 21198 21200 21154 0 -1 64 35550 0 0 0 306 20 0 0 16 0 13 0 204613518 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21202] ppid=21198 vsize=1713348 CPUtime=3.29 /proc/21200/task/21202/stat : 21202 (java) S 21198 21200 21154 0 -1 64 36946 0 0 0 308 21 0 0 16 0 13 0 204613518 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21203] ppid=21198 vsize=1713348 CPUtime=0.1 /proc/21200/task/21203/stat : 21203 (java) S 21198 21200 21154 0 -1 64 40 0 0 0 6 4 0 0 16 0 13 0 204613520 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21204] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21204/stat : 21204 (java) S 21198 21200 21154 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21205] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21205/stat : 21205 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204613521 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21206] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21206/stat : 21206 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21207] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21207/stat : 21207 (java) S 21198 21200 21154 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21208] ppid=21198 vsize=1713348 CPUtime=0.8 /proc/21200/task/21208/stat : 21208 (java) S 21198 21200 21154 0 -1 64 1657 0 0 0 80 0 0 0 16 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21209] ppid=21198 vsize=1713348 CPUtime=0.74 /proc/21200/task/21209/stat : 21209 (java) S 21198 21200 21154 0 -1 64 699 0 0 0 74 0 0 0 16 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21210] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21210/stat : 21210 (java) S 21198 21200 21154 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21200/tid=21211] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21211/stat : 21211 (java) S 21198 21200 21154 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 204613524 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21200/tid=21212] ppid=21198 vsize=1713348 CPUtime=0 /proc/21200/task/21212/stat : 21212 (java) S 21198 21200 21154 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 204625614 1754468352 92662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (Kb) 1713348 Sending SIGTERM to -21200 Sleeping 2 seconds Child status: 143 Real time (s): 1797.36 CPU time (s): 1801.07 CPU user time (s): 1800.22 CPU system time (s): 0.841872 CPU usage (%): 100.206 Max. virtual memory (cumulated for all children) (Kb): 1713348
Begin job on node49 on Sun Jun 4 02:51:04 UTC 2006 FILE ID= 42792-1149389463 PBS_JOBID= 313358 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node49/42792-1149389463/instance-42792-1149389463.opb 81456845 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-42792-1149389463 -o ROOT/results/node49/solver-42792-1149389463 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node49/42792-1149389463/instance-42792-1149389463.opb 81456845 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED= 81456845 /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.216 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.216 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: 1465000 kB Buffers: 29248 kB Cached: 498732 kB SwapCached: 3304 kB Active: 136004 kB Inactive: 400760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1465000 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14844 kB Slab: 40152 kB Committed_AS: 381864 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Sun Jun 4 03:21:01 UTC 2006