Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.76 | 1782.43 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb |
MD5SUM | fb1b2fb5676286fc8681e7e6d0d2728f |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 424.074 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 669 |
Number of bits of the biggest sum of numbers | 10 |
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.16 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@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 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/node50/42103-1149214120/instance-42103-1149214120.opb 0.22 c reading problem ... 0.70 c ... done. Time 0.484 ms. 0.70 c #vars 231 0.70 c #constraints 2707 1782.32 c starts : 13 1782.32 c conflicts : 38705 1782.32 c decisions : 154948 1782.32 c propagations : 1165108 1782.32 c inspects : 571187162 1782.32 c learnt literals : 0 1782.32 c learnt binary clauses : 0 1782.32 c learnt ternary clauses : 6 1782.32 c learnt clauses : 38705 1782.32 c root simplifications : 0 1782.32 c removed literals (reason simplification) : 0 1782.32 c reason swapping (by a shorter reason) : 0 1782.32 c Calls to reduceDB : 0 1782.32 c speed (decisions/second) : 86.97077362610224 1782.32 c non guided choices 267 1782.32 s UNKNOWN 1782.32 c Total wall clock time (ms): 1782.096
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/node50/watcher-42103-1149214120 -o ROOT/results/node50/solver-42103-1149214120 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node50/42103-1149214120/instance-42103-1149214120.opb 834073639 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 3/64 28283 /proc/meminfo: memFree=1467856/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1784 CPUtime=0 /proc/28283/stat : 28283 (java) D 28281 28283 28238 0 -1 0 166 0 0 0 0 0 0 0 18 0 1 0 187079205 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/28283/statm: 446 137 102 14 0 91 0 [startup+10.0028 s] /proc/loadavg: 1.08 1.02 0.94 2/76 28295 /proc/meminfo: memFree=1277056/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1713200 CPUtime=11.24 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 53573 0 1 0 1100 24 0 0 25 0 13 0 187079205 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071455588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 428300 49480 1910 14 0 415047 0 [pid=28283/tid=28284] ppid=28281 vsize=1713200 CPUtime=0.16 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 4643 0 0 0 15 1 0 0 16 0 13 0 187079209 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1713200 CPUtime=0.16 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 4452 0 0 0 14 2 0 0 16 0 13 0 187079209 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1713200 CPUtime=0 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 187079211 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1713200 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1713200 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1713200 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1713200 CPUtime=0 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187079215 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1713200 CPUtime=0.88 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2504 0 0 0 87 1 0 0 17 0 13 0 187079215 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1713200 CPUtime=0.78 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1511 0 0 0 77 1 0 0 16 0 13 0 187079215 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1713200 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1713200 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1713200 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 187079276 1754316800 49480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.24 Current children cumulated vsize (Kb) 1713200 [startup+20.0107 s] /proc/loadavg: 1.07 1.02 0.94 2/76 28295 /proc/meminfo: memFree=1268032/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=21.36 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 56639 0 1 0 2111 25 0 0 25 0 13 0 187079205 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071405418 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 51730 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=0.24 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 6207 0 0 0 22 2 0 0 16 0 13 0 187079209 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=0.25 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 5907 0 0 0 22 3 0 0 16 0 13 0 187079209 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 187079211 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187079215 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=0.9 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2508 0 0 0 89 1 0 0 16 0 13 0 187079215 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.8 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1541 0 0 0 79 1 0 0 17 0 13 0 187079215 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 187079276 1752961024 51730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.36 Current children cumulated vsize (Kb) 1711876 [startup+30.0185 s] /proc/loadavg: 1.06 1.01 0.94 2/76 28295 /proc/meminfo: memFree=1266880/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=31.42 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 58546 0 1 0 3115 27 0 0 25 0 13 0 187079205 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071455562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 52003 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=0.29 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 7132 0 0 0 27 2 0 0 17 0 13 0 187079209 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=0.32 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 6882 0 0 0 28 4 0 0 16 0 13 0 187079209 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187079211 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187079215 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=0.9 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2508 0 0 0 89 1 0 0 16 0 13 0 187079215 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.8 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1541 0 0 0 79 1 0 0 17 0 13 0 187079215 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 187079276 1752961024 52003 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.42 Current children cumulated vsize (Kb) 1711876 [startup+40.0254 s] /proc/loadavg: 1.05 1.01 0.94 2/76 28295 /proc/meminfo: memFree=1267712/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=41.48 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 59893 0 1 0 4120 28 0 0 25 0 13 0 187079205 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071455588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 51794 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=0.35 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 7752 0 0 0 32 3 0 0 16 0 13 0 187079209 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=0.37 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 7603 0 0 0 33 4 0 0 16 0 13 0 187079209 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187079211 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187079215 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=0.9 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2508 0 0 0 89 1 0 0 16 0 13 0 187079215 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.8 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1541 0 0 0 79 1 0 0 17 0 13 0 187079215 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187079276 1752961024 51794 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.48 Current children cumulated vsize (Kb) 1711876 [startup+50.0323 s] /proc/loadavg: 1.04 1.01 0.94 2/76 28295 /proc/meminfo: memFree=1268992/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=51.54 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 61212 0 1 0 5125 29 0 0 25 0 13 0 187079205 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071546194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 51477 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=0.4 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 8288 0 0 0 37 3 0 0 17 0 13 0 187079209 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=0.44 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 8379 0 0 0 39 5 0 0 16 0 13 0 187079209 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187079211 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187079215 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=0.91 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2508 0 0 0 90 1 0 0 16 0 13 0 187079215 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.8 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1541 0 0 0 79 1 0 0 17 0 13 0 187079215 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 187079276 1752961024 51477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.54 Current children cumulated vsize (Kb) 1711876 [startup+60.0392 s] /proc/loadavg: 1.03 1.01 0.94 2/76 28295 /proc/meminfo: memFree=1270144/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=61.6 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 62538 0 1 0 6131 29 0 0 25 0 13 0 187079205 1752961024 51193 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071455646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 51193 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=0.47 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 8972 0 0 0 44 3 0 0 16 0 13 0 187079209 1752961024 51193 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=0.5 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 9013 0 0 0 45 5 0 0 17 0 13 0 187079209 1752961024 51193 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187079211 1752961024 51193 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 51193 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 51193 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 51193 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 126477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0.01 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187079215 1752961024 126477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=1.01 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2515 0 0 0 100 1 0 0 16 0 13 0 187079215 1752961024 126477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.91 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1864 0 0 0 90 1 0 0 17 0 13 0 187079215 1752961024 126477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 126477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 126477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079276 1752961024 126477 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 1711876 [startup+1779.29 s] /proc/loadavg: 1.00 1.00 0.96 2/76 28297 /proc/meminfo: memFree=967240/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=1797.58 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 195377 0 1 0 179651 107 0 0 25 0 13 0 187079205 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071546249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 126553 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=17.82 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 57500 0 0 0 1756 26 0 0 16 0 13 0 187079209 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=17.86 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 54287 0 0 0 1759 27 0 0 16 0 13 0 187079209 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0.25 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 162 0 0 0 13 12 0 0 16 0 13 0 187079211 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0.01 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=1.01 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2515 0 0 0 100 1 0 0 16 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.91 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1864 0 0 0 90 1 0 0 17 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079276 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 1711876 [startup+1780.3 s] /proc/loadavg: 1.00 1.00 0.96 2/76 28297 /proc/meminfo: memFree=967240/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=1798.59 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 195377 0 1 0 179752 107 0 0 25 0 13 0 187079205 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071455588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 126553 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=17.82 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 57500 0 0 0 1756 26 0 0 16 0 13 0 187079209 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=17.86 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 54287 0 0 0 1759 27 0 0 16 0 13 0 187079209 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0.25 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 162 0 0 0 13 12 0 0 16 0 13 0 187079211 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0.01 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=1.01 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2515 0 0 0 100 1 0 0 16 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.91 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1864 0 0 0 90 1 0 0 17 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079276 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 1711876 [startup+1781.3 s] /proc/loadavg: 1.00 1.00 0.96 2/76 28297 /proc/meminfo: memFree=967240/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=1799.6 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 195377 0 1 0 179853 107 0 0 25 0 13 0 187079205 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071637171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 126553 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=17.82 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 57500 0 0 0 1756 26 0 0 16 0 13 0 187079209 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=17.86 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 54287 0 0 0 1759 27 0 0 16 0 13 0 187079209 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0.25 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 162 0 0 0 13 12 0 0 16 0 13 0 187079211 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0.01 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=1.01 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2515 0 0 0 100 1 0 0 16 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.91 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1864 0 0 0 90 1 0 0 17 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079276 1752961024 126553 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 1711876 [startup+1782.31 s] /proc/loadavg: 1.00 1.00 0.96 2/76 28297 /proc/meminfo: memFree=967048/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=1800.64 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 195444 0 1 0 179957 107 0 0 25 0 13 0 187079205 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071479557 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 126619 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=17.85 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 57524 0 0 0 1759 26 0 0 16 0 13 0 187079209 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=17.89 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 54329 0 0 0 1762 27 0 0 17 0 13 0 187079209 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0.25 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 162 0 0 0 13 12 0 0 16 0 13 0 187079211 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0.01 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=1.01 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2515 0 0 0 100 1 0 0 16 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.91 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1864 0 0 0 90 1 0 0 17 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079276 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 1711876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1782.31 s] /proc/loadavg: 1.00 1.00 0.96 2/76 28297 /proc/meminfo: memFree=967048/2055920 swapFree=4181340/4192956 [pid=28283] ppid=28281 vsize=1711876 CPUtime=1800.64 /proc/28283/stat : 28283 (java) R 28281 28283 28238 0 -1 0 195444 0 1 0 179957 107 0 0 25 0 13 0 187079205 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071071799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28283/statm: 427969 126619 1911 14 0 414716 0 [pid=28283/tid=28284] ppid=28281 vsize=1711876 CPUtime=17.85 /proc/28283/task/28284/stat : 28284 (java) S 28281 28283 28238 0 -1 64 57524 0 0 0 1759 26 0 0 16 0 13 0 187079209 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28285] ppid=28281 vsize=1711876 CPUtime=17.89 /proc/28283/task/28285/stat : 28285 (java) S 28281 28283 28238 0 -1 64 54329 0 0 0 1762 27 0 0 17 0 13 0 187079209 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28286] ppid=28281 vsize=1711876 CPUtime=0.25 /proc/28283/task/28286/stat : 28286 (java) S 28281 28283 28238 0 -1 64 162 0 0 0 13 12 0 0 16 0 13 0 187079211 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28287] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28287/stat : 28287 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28288] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28288/stat : 28288 (java) S 28281 28283 28238 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187079212 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28289] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28289/stat : 28289 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28290] ppid=28281 vsize=1711876 CPUtime=0.01 /proc/28283/task/28290/stat : 28290 (java) S 28281 28283 28238 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28291] ppid=28281 vsize=1711876 CPUtime=1.01 /proc/28283/task/28291/stat : 28291 (java) S 28281 28283 28238 0 -1 64 2515 0 0 0 100 1 0 0 16 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28292] ppid=28281 vsize=1711876 CPUtime=0.91 /proc/28283/task/28292/stat : 28292 (java) S 28281 28283 28238 0 -1 64 1864 0 0 0 90 1 0 0 17 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28293] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28293/stat : 28293 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28283/tid=28294] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28294/stat : 28294 (java) S 28281 28283 28238 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187079215 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28283/tid=28295] ppid=28281 vsize=1711876 CPUtime=0 /proc/28283/task/28295/stat : 28295 (java) S 28281 28283 28238 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187079276 1752961024 126619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 1711876 Sending SIGTERM to -28283 Sleeping 2 seconds Child status: 143 Real time (s): 1782.43 CPU time (s): 1800.76 CPU user time (s): 1799.6 CPU system time (s): 1.15382 CPU usage (%): 101.028 Max. virtual memory (cumulated for all children) (Kb): 1713200
Begin job on node50 on Fri Jun 2 02:08:40 UTC 2006 FILE ID= 42103-1149214120 PBS_JOBID= 294546 BENCH NAME= ROOT/tmp/node50/42103-1149214120/instance-42103-1149214120.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node50/42103-1149214120/instance-42103-1149214120.opb 834073639 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-42103-1149214120 -o ROOT/results/node50/solver-42103-1149214120 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node50/42103-1149214120/instance-42103-1149214120.opb 834073639 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= fb1b2fb5676286fc8681e7e6d0d2728f RANDOM SEED= 834073639 /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.238 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.238 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: 1468064 kB Buffers: 25216 kB Cached: 490600 kB SwapCached: 3432 kB Active: 59272 kB Inactive: 465500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1468064 kB SwapTotal: 4192956 kB SwapFree: 4181340 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14916 kB Slab: 49080 kB Committed_AS: 180508 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 node50 on Fri Jun 2 02:38:23 UTC 2006