Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | UNSAT | 253.107 | 251.025 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=521.opb |
MD5SUM | ca3ddae2508c16876757050f64024907 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.023995 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 99 |
Total number of constraints | 244 |
Number of constraints which are clauses | 243 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 65536 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 276230 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-34.ELsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 c Number of processors 2 0.23 c Cutting planes based inference 0.23 c --- Begin Solver configuration --- 0.23 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.23 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.23 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.23 c VSIDS like heuristics from MiniSAT using a heap 0.23 c No reason simplification 0.23 c --- End Solver configuration --- 0.23 c solving ROOT/tmp/node80/48595-1149839564/instance-48595-1149839564.opb 0.23 c reading problem ... 0.33 c ... done. Time 0.103 ms. 0.33 c #vars 99 0.33 c #constraints 245 250.96 c starts : 10 250.96 c conflicts : 10474 250.96 c decisions : 11633 250.96 c propagations : 185889 250.96 c inspects : 93964020 250.96 c learnt literals : 0 250.96 c learnt binary clauses : 0 250.96 c learnt ternary clauses : 0 250.96 c learnt clauses : 10473 250.96 c root simplifications : 0 250.96 c removed literals (reason simplification) : 0 250.96 c reason swapping (by a shorter reason) : 0 250.96 c Calls to reduceDB : 0 250.96 c speed (decisions/second) : 46.4170713313835 250.96 c non guided choices 0 250.96 s UNSATISFIABLE 250.96 c Total wall clock time (ms): 250.726
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.1 (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/node80/watcher-48595-1149839564 -o ROOT/results/node80/solver-48595-1149839564 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node80/48595-1149839564/instance-48595-1149839564.opb 787038844 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.02 0.01 0.00 2/67 24226 /proc/meminfo: memFree=1811400/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1508 CPUtime=0 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 89 0 0 0 0 0 0 0 18 0 1 0 249594996 1544192 70 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 11379328 0 0 4096 0 0 0 0 17 1 0 0 /proc/24226/statm: 377 70 56 14 0 8 0 [startup+10.0033 s] /proc/loadavg: 0.17 0.04 0.01 2/79 24238 /proc/meminfo: memFree=1622704/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=11.13 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 51956 0 1 0 1090 23 0 0 25 0 13 0 249594996 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24226/statm: 428953 48950 1903 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=0.13 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 4389 0 0 0 12 1 0 0 16 0 13 0 249595001 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=0.13 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 4152 0 0 0 12 1 0 0 16 0 13 0 249595001 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 249595003 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.81 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1461 0 0 0 81 0 0 0 17 0 13 0 249595007 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.76 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2108 0 0 0 75 1 0 0 15 0 13 0 249595007 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 48950 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.13 Current children cumulated vsize (Kb) 1715812 [startup+20.0103 s] /proc/loadavg: 0.29 0.07 0.02 2/79 24238 /proc/meminfo: memFree=1616240/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=21.26 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 54545 0 1 0 2101 25 0 0 25 0 13 0 249594996 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071355884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24226/statm: 428953 50524 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=0.19 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 5640 0 0 0 17 2 0 0 16 0 13 0 249595001 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=0.19 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 5466 0 0 0 17 2 0 0 17 0 13 0 249595001 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 249595003 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.84 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1465 0 0 0 84 0 0 0 17 0 13 0 249595007 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.81 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2112 0 0 0 80 1 0 0 17 0 13 0 249595007 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 50524 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.26 Current children cumulated vsize (Kb) 1715812 [startup+30.0174 s] /proc/loadavg: 0.40 0.10 0.03 2/79 24238 /proc/meminfo: memFree=1619056/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=31.31 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 55603 0 1 0 3105 26 0 0 17 0 13 0 249594996 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071388448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24226/statm: 428953 49832 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=0.23 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 6283 0 0 0 21 2 0 0 16 0 13 0 249595001 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=0.23 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 5870 0 0 0 21 2 0 0 16 0 13 0 249595001 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 249595003 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 249595007 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.84 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1465 0 0 0 84 0 0 0 17 0 13 0 249595007 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.82 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2113 0 0 0 81 1 0 0 17 0 13 0 249595007 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 49832 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.31 Current children cumulated vsize (Kb) 1715812 [startup+40.0244 s] /proc/loadavg: 0.49 0.13 0.04 2/79 24238 /proc/meminfo: memFree=1623472/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=41.34 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 56431 0 1 0 4108 26 0 0 25 0 13 0 249594996 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071351543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24226/statm: 428953 48736 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=0.27 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 6678 0 0 0 24 3 0 0 16 0 13 0 249595001 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=0.26 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 6295 0 0 0 24 2 0 0 16 0 13 0 249595001 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 249595003 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 249595007 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.85 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1466 0 0 0 85 0 0 0 17 0 13 0 249595007 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.82 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2113 0 0 0 81 1 0 0 17 0 13 0 249595007 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 48736 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.34 Current children cumulated vsize (Kb) 1715812 [startup+50.0325 s] /proc/loadavg: 0.57 0.16 0.05 2/79 24238 /proc/meminfo: memFree=1626224/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=51.39 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 57565 0 1 0 5112 27 0 0 25 0 13 0 249594996 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071393517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24226/statm: 428953 48041 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=0.31 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 7286 0 0 0 28 3 0 0 17 0 13 0 249595001 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=0.31 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 6813 0 0 0 29 2 0 0 16 0 13 0 249595001 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 249595003 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 249595007 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.85 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1466 0 0 0 85 0 0 0 17 0 13 0 249595007 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.82 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2113 0 0 0 81 1 0 0 17 0 13 0 249595007 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 48041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.39 Current children cumulated vsize (Kb) 1715812 [startup+60.0396 s] /proc/loadavg: 0.64 0.19 0.06 2/79 24238 /proc/meminfo: memFree=1628656/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=61.42 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 58259 0 1 0 6115 27 0 0 25 0 13 0 249594996 1756991488 47442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564863 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24226/statm: 428953 47442 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=0.35 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 7611 0 0 0 32 3 0 0 17 0 13 0 249595001 1756991488 47442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=0.34 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 7174 0 0 0 32 2 0 0 16 0 13 0 249595001 1756991488 47442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 249595003 1756991488 47442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 47442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 47442 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 ################ # More data... # ################ [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=0.93 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 11048 0 0 0 88 5 0 0 16 0 13 0 249595001 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=0.93 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 10459 0 0 0 89 4 0 0 16 0 13 0 249595001 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0.03 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 32 0 0 0 1 2 0 0 16 0 13 0 249595003 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 249595007 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.87 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1468 0 0 0 87 0 0 0 17 0 13 0 249595007 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.83 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2113 0 0 0 82 1 0 0 17 0 13 0 249595007 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 44626 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 202.01 Current children cumulated vsize (Kb) 1715812 [startup+210.149 s] /proc/loadavg: 0.97 0.50 0.19 2/79 24238 /proc/meminfo: memFree=1640752/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=212.06 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 65543 0 1 0 21173 33 0 0 25 0 13 0 249594996 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24226/statm: 428953 44419 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=0.98 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 11236 0 0 0 93 5 0 0 16 0 13 0 249595001 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=0.98 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 10714 0 0 0 94 4 0 0 16 0 13 0 249595001 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0.04 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 32 0 0 0 2 2 0 0 16 0 13 0 249595003 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 249595007 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.87 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1468 0 0 0 87 0 0 0 17 0 13 0 249595007 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.83 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2113 0 0 0 82 1 0 0 17 0 13 0 249595007 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 44419 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 212.06 Current children cumulated vsize (Kb) 1715812 [startup+220.156 s] /proc/loadavg: 0.97 0.52 0.20 2/79 24238 /proc/meminfo: memFree=1641712/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=222.12 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 65982 0 1 0 22179 33 0 0 25 0 13 0 249594996 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24226/statm: 428953 44140 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=1.04 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 11433 0 0 0 99 5 0 0 16 0 13 0 249595001 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=1.04 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 10947 0 0 0 100 4 0 0 17 0 13 0 249595001 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0.04 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 32 0 0 0 2 2 0 0 16 0 13 0 249595003 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 249595007 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.87 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1468 0 0 0 87 0 0 0 17 0 13 0 249595007 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.83 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2113 0 0 0 82 1 0 0 17 0 13 0 249595007 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 44140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (Kb) 1715812 [startup+230.163 s] /proc/loadavg: 0.98 0.53 0.21 2/79 24238 /proc/meminfo: memFree=1642480/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=232.18 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 66424 0 1 0 23185 33 0 0 25 0 13 0 249594996 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071355986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24226/statm: 428953 43976 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=1.09 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 11656 0 0 0 104 5 0 0 16 0 13 0 249595001 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=1.09 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 11157 0 0 0 105 4 0 0 17 0 13 0 249595001 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0.04 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 32 0 0 0 2 2 0 0 16 0 13 0 249595003 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 249595007 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.87 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1468 0 0 0 87 0 0 0 17 0 13 0 249595007 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.83 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2113 0 0 0 82 1 0 0 17 0 13 0 249595007 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 43976 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 232.18 Current children cumulated vsize (Kb) 1715812 [startup+240.17 s] /proc/loadavg: 0.98 0.55 0.22 2/79 24238 /proc/meminfo: memFree=1643440/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=242.23 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 66763 0 1 0 24189 34 0 0 25 0 13 0 249594996 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071356018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24226/statm: 428953 43747 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=1.14 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 11885 0 0 0 109 5 0 0 16 0 13 0 249595001 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=1.14 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 11259 0 0 0 110 4 0 0 16 0 13 0 249595001 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0.05 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 32 0 0 0 2 3 0 0 15 0 13 0 249595003 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 249595007 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.87 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1468 0 0 0 87 0 0 0 17 0 13 0 249595007 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.83 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2113 0 0 0 82 1 0 0 17 0 13 0 249595007 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 43747 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 242.23 Current children cumulated vsize (Kb) 1715812 [startup+250.177 s] /proc/loadavg: 0.98 0.56 0.22 2/79 24238 /proc/meminfo: memFree=1644912/2055888 swapFree=4085444/4096564 [pid=24226] ppid=24224 vsize=1715812 CPUtime=252.28 /proc/24226/stat : 24226 (java) R 24224 24226 24180 0 -1 0 67125 0 1 0 25194 34 0 0 25 0 13 0 249594996 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071386560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24226/statm: 428953 43329 1910 14 0 415699 0 [pid=24226/tid=24227] ppid=24224 vsize=1715812 CPUtime=1.21 /proc/24226/task/24227/stat : 24227 (java) S 24224 24226 24180 0 -1 64 12091 0 0 0 115 6 0 0 16 0 13 0 249595001 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24228] ppid=24224 vsize=1715812 CPUtime=1.2 /proc/24226/task/24228/stat : 24228 (java) S 24224 24226 24180 0 -1 64 11406 0 0 0 116 4 0 0 17 0 13 0 249595001 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24229] ppid=24224 vsize=1715812 CPUtime=0.05 /proc/24226/task/24229/stat : 24229 (java) S 24224 24226 24180 0 -1 64 32 0 0 0 2 3 0 0 17 0 13 0 249595003 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24230] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24230/stat : 24230 (java) S 24224 24226 24180 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24231] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24231/stat : 24231 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595004 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24232] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24232/stat : 24232 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 249595007 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24233] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24233/stat : 24233 (java) S 24224 24226 24180 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 249595007 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24234] ppid=24224 vsize=1715812 CPUtime=0.87 /proc/24226/task/24234/stat : 24234 (java) S 24224 24226 24180 0 -1 64 1468 0 0 0 87 0 0 0 17 0 13 0 249595007 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24235] ppid=24224 vsize=1715812 CPUtime=0.83 /proc/24226/task/24235/stat : 24235 (java) S 24224 24226 24180 0 -1 64 2113 0 0 0 82 1 0 0 17 0 13 0 249595007 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24236] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24236/stat : 24236 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 249595007 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24226/tid=24237] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24237/stat : 24237 (java) S 24224 24226 24180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 249595007 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24226/tid=24238] ppid=24224 vsize=1715812 CPUtime=0 /proc/24226/task/24238/stat : 24238 (java) S 24224 24226 24180 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 249595030 1756991488 43329 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 252.28 Current children cumulated vsize (Kb) 1715812 Child status: 20 Real time (s): 251.025 CPU time (s): 253.107 CPU user time (s): 252.73 CPU system time (s): 0.376942 CPU usage (%): 100.829 Max. virtual memory (cumulated for all children) (Kb): 1715812 The end
Begin job on node80 on Fri Jun 9 07:52:44 UTC 2006 FILE ID= 48595-1149839564 PBS_JOBID= 381737 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=521.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node80/48595-1149839564/instance-48595-1149839564.opb 787038844 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-48595-1149839564 -o ROOT/results/node80/solver-48595-1149839564 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node80/48595-1149839564/instance-48595-1149839564.opb 787038844 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= ca3ddae2508c16876757050f64024907 RANDOM SEED= 787038844 /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.264 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.264 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1811736 kB Buffers: 27392 kB Cached: 158940 kB SwapCached: 2436 kB Active: 95476 kB Inactive: 99624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1811736 kB SwapTotal: 4096564 kB SwapFree: 4085444 kB Dirty: 136 kB Writeback: 0 kB Mapped: 16648 kB Slab: 35764 kB Committed_AS: 507024 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Fri Jun 9 07:56:55 UTC 2006