Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1801.1 | 1791.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_4.opb |
MD5SUM | 153ea7f27a80a18c7caefc8ed55018be |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 41 |
Total number of constraints | 11 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3621 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.19 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.19 c no version file found!!! 0.19 c sun.arch.data.model 32 0.19 c java.version 1.5.0_06 0.19 c os.name Linux 0.19 c os.version 2.6.9-22.EL.rootsmp 0.19 c os.arch i386 0.19 c Free memory 1548419056 0.19 c Max memory 1551040512 0.19 c Total memory 1551040512 0.19 c Number of processors 2 0.24 c Cutting planes based inference 0.24 c --- Begin Solver configuration --- 0.24 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.24 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.24 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.24 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.24 c VSIDS like heuristics from MiniSAT using a heap 0.24 c No reason simplification 0.24 c --- End Solver configuration --- 0.24 c solving ROOT/tmp/node11/50678-1154175652/instance-50678-1154175652.opb 0.24 c reading problem ... 0.29 c ... done. Time 0.045 ms. 0.29 c #vars 41 0.29 c #constraints 10 1791.45 c starts : 11 1791.46 c conflicts : 16690 1791.46 c decisions : 20137 1791.46 c propagations : 116554 1791.46 c inspects : 180129600 1791.46 c learnt literals : 0 1791.46 c learnt binary clauses : 0 1791.46 c learnt ternary clauses : 0 1791.46 c learnt clauses : 16689 1791.46 c root simplifications : 0 1791.46 c removed literals (reason simplification) : 0 1791.46 c reason swapping (by a shorter reason) : 0 1791.46 c Calls to reduceDB : 0 1791.46 c speed (decisions/second) : 11.24242251677961 1791.46 c non guided choices 18 1791.46 s UNKNOWN 1791.46 c Total wall clock time (ms): 1791.211
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node11/watcher-50678-1154175652 -o ROOT/results/node11/solver-50678-1154175652 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node11/50678-1154175652/instance-50678-1154175652.opb 864563205 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.91 2/64 9495 /proc/meminfo: memFree=1449652/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1500 CPUtime=0 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 76 0 0 0 0 0 0 0 19 0 1 0 164426274 1536000 58 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7943334 0 0 4096 0 0 0 0 17 1 0 0 /proc/9495/statm: 375 68 55 14 0 8 0 [startup+10.0023 s] /proc/loadavg: 1.00 0.99 0.91 2/76 9507 /proc/meminfo: memFree=1280556/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=11.15 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 47480 0 1 0 1092 23 0 0 18 0 13 0 164426274 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071336364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 44068 1904 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=0.1 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 3250 0 0 0 9 1 0 0 16 0 13 0 164426281 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=0.1 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 3240 0 0 0 9 1 0 0 16 0 13 0 164426281 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 164426283 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.81 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2654 0 0 0 80 1 0 0 16 0 13 0 164426288 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.84 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 972 0 0 0 84 0 0 0 17 0 13 0 164426288 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 164426304 1755631616 44068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.15 Current children cumulated vsize (Kb) 1714484 [startup+20.0093 s] /proc/loadavg: 1.00 0.99 0.91 2/76 9507 /proc/meminfo: memFree=1260716/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=21.21 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 52580 0 1 0 2097 24 0 0 25 0 13 0 164426274 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071367994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 49027 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=0.14 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 4394 0 0 0 13 1 0 0 16 0 13 0 164426281 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=0.14 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 4304 0 0 0 13 1 0 0 16 0 13 0 164426281 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 164426283 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.83 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 82 1 0 0 17 0 13 0 164426288 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 16 0 13 0 164426288 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 164426304 1755631616 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.21 Current children cumulated vsize (Kb) 1714484 [startup+30.0163 s] /proc/loadavg: 1.00 0.99 0.91 2/76 9507 /proc/meminfo: memFree=1260972/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=31.25 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 53484 0 1 0 3100 25 0 0 25 0 13 0 164426274 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071382918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 48935 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=0.16 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 4867 0 0 0 15 1 0 0 16 0 13 0 164426281 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=0.17 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 4728 0 0 0 15 2 0 0 16 0 13 0 164426281 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 164426283 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.83 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 82 1 0 0 17 0 13 0 164426288 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 16 0 13 0 164426288 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 164426304 1755631616 48935 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.25 Current children cumulated vsize (Kb) 1714484 [startup+40.0233 s] /proc/loadavg: 1.00 0.99 0.91 2/76 9507 /proc/meminfo: memFree=1264108/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=41.27 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 54236 0 1 0 4101 26 0 0 25 0 13 0 164426274 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071425425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 48144 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=0.2 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 5379 0 0 0 18 2 0 0 16 0 13 0 164426281 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=0.19 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 4962 0 0 0 17 2 0 0 17 0 13 0 164426281 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 164426283 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.83 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 82 1 0 0 17 0 13 0 164426288 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 16 0 13 0 164426288 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 164426304 1755631616 48144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.27 Current children cumulated vsize (Kb) 1714484 [startup+50.0303 s] /proc/loadavg: 1.00 0.99 0.91 2/76 9507 /proc/meminfo: memFree=1267692/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=51.3 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 54894 0 1 0 5104 26 0 0 25 0 13 0 164426274 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071383181 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 47258 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=0.22 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 5760 0 0 0 20 2 0 0 16 0 13 0 164426281 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=0.21 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 5232 0 0 0 19 2 0 0 16 0 13 0 164426281 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 164426283 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.84 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 83 1 0 0 16 0 13 0 164426288 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 16 0 13 0 164426288 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 164426304 1755631616 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.3 Current children cumulated vsize (Kb) 1714484 [startup+60.0373 s] /proc/loadavg: 1.00 0.99 0.91 2/76 9507 /proc/meminfo: memFree=1270060/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=61.32 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 55525 0 1 0 6106 26 0 0 25 0 13 0 164426274 1755631616 46669 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071383282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 46669 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=0.25 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 6139 0 0 0 23 2 0 0 16 0 13 0 164426281 1755631616 46669 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=0.23 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 5478 0 0 0 21 2 0 0 16 0 13 0 164426281 1755631616 46669 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 164426283 1755631616 46669 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 46669 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 46669 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 ################ # More data... # ################ /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123563 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123563 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 123563 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 123563 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.84 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 83 1 0 0 16 0 13 0 164426288 1755631616 123563 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 17 0 13 0 164426288 1755631616 123563 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 123563 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 123563 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 164426304 1755631616 123563 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (Kb) 1714484 [startup+1788.42 s] /proc/loadavg: 1.00 1.00 0.94 2/76 9509 /proc/meminfo: memFree=962348/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=1797.9 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 236993 0 1 0 179664 126 0 0 19 0 13 0 164426274 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071425873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 123236 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=9.4 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 68352 0 0 0 907 33 0 0 16 0 13 0 164426281 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=9.38 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 66956 0 0 0 908 30 0 0 16 0 13 0 164426281 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0.28 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 233 0 0 0 13 15 0 0 16 0 13 0 164426283 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.84 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 83 1 0 0 16 0 13 0 164426288 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 17 0 13 0 164426288 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 164426304 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (Kb) 1714484 [startup+1789.43 s] /proc/loadavg: 1.00 1.00 0.94 2/76 9509 /proc/meminfo: memFree=962348/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=1798.91 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 236993 0 1 0 179765 126 0 0 25 0 13 0 164426274 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071381228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 123236 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=9.4 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 68352 0 0 0 907 33 0 0 16 0 13 0 164426281 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=9.38 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 66956 0 0 0 908 30 0 0 16 0 13 0 164426281 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0.28 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 233 0 0 0 13 15 0 0 16 0 13 0 164426283 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.84 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 83 1 0 0 16 0 13 0 164426288 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 17 0 13 0 164426288 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 164426304 1755631616 123236 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.91 Current children cumulated vsize (Kb) 1714484 [startup+1790.44 s] /proc/loadavg: 1.00 1.00 0.94 2/76 9509 /proc/meminfo: memFree=961900/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=1799.93 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 237202 0 1 0 179867 126 0 0 21 0 13 0 164426274 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071381898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 123396 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=9.42 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 68432 0 0 0 909 33 0 0 16 0 13 0 164426281 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=9.39 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 67084 0 0 0 909 30 0 0 16 0 13 0 164426281 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0.28 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 233 0 0 0 13 15 0 0 16 0 13 0 164426283 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.84 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 83 1 0 0 16 0 13 0 164426288 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 17 0 13 0 164426288 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 164426304 1755631616 123396 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (Kb) 1714484 [startup+1791.44 s] /proc/loadavg: 1.00 1.00 0.94 2/76 9509 /proc/meminfo: memFree=962924/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=1800.95 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 237229 0 1 0 179969 126 0 0 17 0 13 0 164426274 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071524453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 123086 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=9.43 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 68436 0 0 0 910 33 0 0 17 0 13 0 164426281 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=9.41 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 67106 0 0 0 911 30 0 0 16 0 13 0 164426281 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0.28 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 233 0 0 0 13 15 0 0 15 0 13 0 164426283 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.84 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 83 1 0 0 16 0 13 0 164426288 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 17 0 13 0 164426288 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 164426304 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (Kb) 1714484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.45 s] /proc/loadavg: 1.00 1.00 0.94 2/76 9509 /proc/meminfo: memFree=962924/2055920 swapFree=4183092/4192956 [pid=9495] ppid=9493 vsize=1714484 CPUtime=1800.95 /proc/9495/stat : 9495 (java) R 9493 9495 9446 0 -1 0 237229 0 1 0 179969 126 0 0 17 0 13 0 164426274 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071524316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9495/statm: 428621 123086 1906 14 0 415368 0 [pid=9495/tid=9496] ppid=9493 vsize=1714484 CPUtime=9.43 /proc/9495/task/9496/stat : 9496 (java) S 9493 9495 9446 0 -1 64 68436 0 0 0 910 33 0 0 17 0 13 0 164426281 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9497] ppid=9493 vsize=1714484 CPUtime=9.41 /proc/9495/task/9497/stat : 9497 (java) S 9493 9495 9446 0 -1 64 67106 0 0 0 911 30 0 0 16 0 13 0 164426281 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9498] ppid=9493 vsize=1714484 CPUtime=0.28 /proc/9495/task/9498/stat : 9498 (java) S 9493 9495 9446 0 -1 64 233 0 0 0 13 15 0 0 15 0 13 0 164426283 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9499] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9499/stat : 9499 (java) S 9493 9495 9446 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9500] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9500/stat : 9500 (java) S 9493 9495 9446 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164426284 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9501] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9501/stat : 9501 (java) S 9493 9495 9446 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164426287 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9502] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9502/stat : 9502 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164426287 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9503] ppid=9493 vsize=1714484 CPUtime=0.84 /proc/9495/task/9503/stat : 9503 (java) S 9493 9495 9446 0 -1 64 2656 0 0 0 83 1 0 0 16 0 13 0 164426288 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9504] ppid=9493 vsize=1714484 CPUtime=0.86 /proc/9495/task/9504/stat : 9504 (java) S 9493 9495 9446 0 -1 64 974 0 0 0 86 0 0 0 17 0 13 0 164426288 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9495/tid=9505] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9505/stat : 9505 (java) S 9493 9495 9446 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164426288 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9506] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9506/stat : 9506 (java) S 9493 9495 9446 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 164426288 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9495/tid=9507] ppid=9493 vsize=1714484 CPUtime=0 /proc/9495/task/9507/stat : 9507 (java) S 9493 9495 9446 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 164426304 1755631616 123086 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (Kb) 1714484 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1791.59 CPU time (s): 1801.1 CPU user time (s): 1799.76 CPU system time (s): 1.3418 CPU usage (%): 100.531 Max. virtual memory (cumulated for all children) (Kb): 1714484 The end
Begin job on node11 on Sat Jul 29 12:20:52 UTC 2006 FILE ID= 50678-1154175652 PBS_JOBID= 893621 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node11/50678-1154175652/instance-50678-1154175652.opb 864563205 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-50678-1154175652 -o ROOT/results/node11/solver-50678-1154175652 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node11/50678-1154175652/instance-50678-1154175652.opb 864563205 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be RANDOM SEED= 864563205 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 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.256 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: 1449924 kB Buffers: 35432 kB Cached: 494392 kB SwapCached: 3772 kB Active: 85392 kB Inactive: 453120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1449924 kB SwapTotal: 4192956 kB SwapFree: 4183092 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14736 kB Slab: 53444 kB Committed_AS: 707968 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 node11 on Sat Jul 29 12:50:44 UTC 2006