Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.45 | 1781.48 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb |
MD5SUM | e3a1beab9d06c0cee32a93d550c9a1ac |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 4.87226 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
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 | 645 |
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-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@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/node88/42106-1149214613/instance-42106-1149214613.opb 0.20 c reading problem ... 0.63 c ... done. Time 0.427 ms. 0.63 c #vars 231 0.63 c #constraints 2707 1781.37 c starts : 13 1781.37 c conflicts : 38366 1781.37 c decisions : 162812 1781.37 c propagations : 1116184 1781.37 c inspects : 576247964 1781.37 c learnt literals : 0 1781.37 c learnt binary clauses : 0 1781.37 c learnt ternary clauses : 8 1781.37 c learnt clauses : 38365 1781.37 c root simplifications : 0 1781.37 c removed literals (reason simplification) : 0 1781.37 c reason swapping (by a shorter reason) : 0 1781.38 c Calls to reduceDB : 0 1781.38 c speed (decisions/second) : 91.42925172245518 1781.38 c non guided choices 242 1781.38 s UNKNOWN 1781.38 c Total wall clock time (ms): 1781.172
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/node88/watcher-42106-1149214613 -o ROOT/results/node88/solver-42106-1149214613 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node88/42106-1149214613/instance-42106-1149214613.opb 918212340 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.73 0.92 0.90 2/68 18535 /proc/meminfo: memFree=1715256/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=18544 CPUtime=0 /proc/18535/stat : 18535 (runsolver) R 18533 18535 18490 0 -1 4194368 18 0 0 0 0 0 0 0 19 0 1 0 187100390 18989056 280 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 224235418647 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/18535/statm: 4636 280 244 16 0 2626 0 [startup+10.0025 s] /proc/loadavg: 0.85 0.94 0.91 2/80 18547 /proc/meminfo: memFree=1525656/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=11.36 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 53346 0 1 0 1112 24 0 0 21 0 13 0 187100390 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071471119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 49151 1912 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=0.18 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 5042 0 0 0 16 2 0 0 16 0 13 0 187100393 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=0.19 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 5644 0 0 0 16 3 0 0 16 0 13 0 187100393 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187100400 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=0.88 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2357 0 0 0 87 1 0 0 17 0 13 0 187100400 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.78 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1335 0 0 0 78 0 0 0 17 0 13 0 187100400 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 187100454 1753272320 49151 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.36 Current children cumulated vsize (Kb) 1712180 [startup+20.0095 s] /proc/loadavg: 0.88 0.94 0.91 2/80 18547 /proc/meminfo: memFree=1517592/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=21.44 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 56340 0 1 0 2119 25 0 0 25 0 13 0 187100390 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071523582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 51140 1912 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=0.25 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 6603 0 0 0 22 3 0 0 16 0 13 0 187100393 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=0.25 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 7063 0 0 0 22 3 0 0 16 0 13 0 187100393 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187100400 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=0.89 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2360 0 0 0 88 1 0 0 16 0 13 0 187100400 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.78 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1335 0 0 0 78 0 0 0 16 0 13 0 187100400 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 187100454 1753272320 51140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.44 Current children cumulated vsize (Kb) 1712180 [startup+30.0165 s] /proc/loadavg: 0.89 0.94 0.91 2/80 18547 /proc/meminfo: memFree=1516888/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=31.53 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 58786 0 1 0 3127 26 0 0 25 0 13 0 187100390 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071431431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 51312 1913 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=0.33 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 7907 0 0 0 30 3 0 0 16 0 13 0 187100393 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=0.33 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 8193 0 0 0 30 3 0 0 17 0 13 0 187100393 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 31 0 0 0 1 0 0 0 17 0 13 0 187100396 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187100400 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=0.9 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2361 0 0 0 89 1 0 0 16 0 13 0 187100400 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.78 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1335 0 0 0 78 0 0 0 16 0 13 0 187100400 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 187100454 1753272320 51312 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.53 Current children cumulated vsize (Kb) 1712180 [startup+40.0235 s] /proc/loadavg: 0.91 0.94 0.91 2/80 18547 /proc/meminfo: memFree=1518744/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=41.59 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 60280 0 1 0 4133 26 0 0 25 0 13 0 187100390 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071471091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 50822 1913 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=0.4 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 8513 0 0 0 36 4 0 0 16 0 13 0 187100393 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=0.39 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 9072 0 0 0 36 3 0 0 17 0 13 0 187100393 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 187100396 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187100400 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=0.9 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2361 0 0 0 89 1 0 0 16 0 13 0 187100400 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.78 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1335 0 0 0 78 0 0 0 16 0 13 0 187100400 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187100454 1753272320 50822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.59 Current children cumulated vsize (Kb) 1712180 [startup+50.0305 s] /proc/loadavg: 0.92 0.95 0.91 2/80 18547 /proc/meminfo: memFree=1520024/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=51.66 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 61423 0 1 0 5139 27 0 0 25 0 13 0 187100390 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071509653 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 50530 1913 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=0.45 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 9035 0 0 0 41 4 0 0 16 0 13 0 187100393 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=0.45 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 9686 0 0 0 41 4 0 0 17 0 13 0 187100393 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 187100396 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 187100400 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=0.9 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2361 0 0 0 89 1 0 0 16 0 13 0 187100400 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.79 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1335 0 0 0 79 0 0 0 16 0 13 0 187100400 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187100454 1753272320 50530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.66 Current children cumulated vsize (Kb) 1712180 [startup+60.0375 s] /proc/loadavg: 0.93 0.95 0.91 2/80 18547 /proc/meminfo: memFree=1518744/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=61.75 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 62979 0 1 0 6147 28 0 0 25 0 13 0 187100390 1753272320 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071464177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 50824 1913 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=0.51 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 9879 0 0 0 47 4 0 0 17 0 13 0 187100393 1753272320 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=0.5 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 10390 0 0 0 46 4 0 0 16 0 13 0 187100393 1753272320 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 187100396 1753272320 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=1 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2369 0 0 0 99 1 0 0 17 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.86 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1336 0 0 0 86 0 0 0 16 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187100454 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (Kb) 1712180 [startup+1778.32 s] /proc/loadavg: 1.00 1.01 0.95 2/80 18549 /proc/meminfo: memFree=1204888/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=1797.22 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 202744 0 1 0 179614 108 0 0 25 0 13 0 187100390 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071446521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 129013 1913 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=18.35 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 58415 0 0 0 1806 29 0 0 16 0 13 0 187100393 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=18.36 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 60156 0 0 0 1806 30 0 0 16 0 13 0 187100393 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0.28 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 191 0 0 0 15 13 0 0 16 0 13 0 187100396 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=1 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2369 0 0 0 99 1 0 0 17 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.86 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1336 0 0 0 86 0 0 0 16 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187100454 1753272320 129013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.22 Current children cumulated vsize (Kb) 1712180 [startup+1779.32 s] /proc/loadavg: 1.00 1.01 0.95 2/80 18549 /proc/meminfo: memFree=1204632/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=1798.26 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 202812 0 1 0 179718 108 0 0 25 0 13 0 187100390 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071459959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 129080 1913 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=18.38 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 58464 0 0 0 1809 29 0 0 16 0 13 0 187100393 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=18.4 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 60174 0 0 0 1810 30 0 0 16 0 13 0 187100393 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0.28 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 191 0 0 0 15 13 0 0 15 0 13 0 187100396 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=1 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2369 0 0 0 99 1 0 0 17 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.86 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1336 0 0 0 86 0 0 0 16 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187100454 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.26 Current children cumulated vsize (Kb) 1712180 [startup+1780.33 s] /proc/loadavg: 1.00 1.01 0.95 2/80 18549 /proc/meminfo: memFree=1204568/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=1799.27 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 202812 0 1 0 179819 108 0 0 25 0 13 0 187100390 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071446509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 129080 1913 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=18.38 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 58464 0 0 0 1809 29 0 0 16 0 13 0 187100393 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=18.4 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 60174 0 0 0 1810 30 0 0 16 0 13 0 187100393 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0.28 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 191 0 0 0 15 13 0 0 16 0 13 0 187100396 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=1 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2369 0 0 0 99 1 0 0 17 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.86 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1336 0 0 0 86 0 0 0 16 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187100454 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (Kb) 1712180 [startup+1781.33 s] /proc/loadavg: 1.00 1.01 0.95 2/80 18549 /proc/meminfo: memFree=1204568/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=1800.27 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 202812 0 1 0 179919 108 0 0 25 0 13 0 187100390 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071526005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 129080 1913 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=18.38 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 58464 0 0 0 1809 29 0 0 16 0 13 0 187100393 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=18.4 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 60174 0 0 0 1810 30 0 0 16 0 13 0 187100393 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0.28 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 191 0 0 0 15 13 0 0 16 0 13 0 187100396 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=1 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2369 0 0 0 99 1 0 0 17 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.86 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1336 0 0 0 86 0 0 0 16 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187100454 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (Kb) 1712180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.34 s] /proc/loadavg: 1.00 1.01 0.95 2/80 18549 /proc/meminfo: memFree=1204568/2055888 swapFree=4085344/4096564 [pid=18535] ppid=18533 vsize=1712180 CPUtime=1800.28 /proc/18535/stat : 18535 (java) R 18533 18535 18490 0 -1 0 202812 0 1 0 179920 108 0 0 25 0 13 0 187100390 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071712565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18535/statm: 428045 129080 1913 14 0 414791 0 [pid=18535/tid=18536] ppid=18533 vsize=1712180 CPUtime=18.38 /proc/18535/task/18536/stat : 18536 (java) S 18533 18535 18490 0 -1 64 58464 0 0 0 1809 29 0 0 16 0 13 0 187100393 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18537] ppid=18533 vsize=1712180 CPUtime=18.4 /proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18490 0 -1 64 60174 0 0 0 1810 30 0 0 16 0 13 0 187100393 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18538] ppid=18533 vsize=1712180 CPUtime=0.28 /proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18490 0 -1 64 191 0 0 0 15 13 0 0 16 0 13 0 187100396 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18535/tid=18539] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187100396 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18540] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18490 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187100397 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18541] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18490 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18542] ppid=18533 vsize=1712180 CPUtime=0.01 /proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18490 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18543] ppid=18533 vsize=1712180 CPUtime=1 /proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18490 0 -1 64 2369 0 0 0 99 1 0 0 17 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18544] ppid=18533 vsize=1712180 CPUtime=0.86 /proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18490 0 -1 64 1336 0 0 0 86 0 0 0 16 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18545] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18545/stat : 18545 (java) S 18533 18535 18490 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18546] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18546/stat : 18546 (java) S 18533 18535 18490 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187100400 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18535/tid=18547] ppid=18533 vsize=1712180 CPUtime=0 /proc/18535/task/18547/stat : 18547 (java) S 18533 18535 18490 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 187100454 1753272320 129080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (Kb) 1712180 Sending SIGTERM to -18535 Sleeping 2 seconds Child status: 143 Real time (s): 1781.48 CPU time (s): 1800.45 CPU user time (s): 1799.29 CPU system time (s): 1.16582 CPU usage (%): 101.065 Max. virtual memory (cumulated for all children) (Kb): 1712180
Begin job on node88 on Fri Jun 2 02:16:53 UTC 2006 FILE ID= 42106-1149214613 PBS_JOBID= 294593 BENCH NAME= ROOT/tmp/node88/42106-1149214613/instance-42106-1149214613.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node88/42106-1149214613/instance-42106-1149214613.opb 918212340 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node88/watcher-42106-1149214613 -o ROOT/results/node88/solver-42106-1149214613 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node88/42106-1149214613/instance-42106-1149214613.opb 918212340 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= e3a1beab9d06c0cee32a93d550c9a1ac RANDOM SEED= 918212340 /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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.16 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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1715464 kB Buffers: 29112 kB Cached: 237056 kB SwapCached: 2500 kB Active: 91092 kB Inactive: 183800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1715464 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16740 kB Slab: 52112 kB Committed_AS: 213740 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node88 on Fri Jun 2 02:46:34 UTC 2006