Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.39 | 1785.46 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb |
MD5SUM | ed1765c8e2f5b9ac0be00c2d97d71991 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 97901 |
Total number of constraints | 291721 |
Number of constraints which are clauses | 291720 |
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 | 97240 |
Number of terms in the objective function | 221 |
Biggest coefficient in the objective function | 1684996666696914987166688442938726917102321526408785780068975640576 |
Number of bits for the biggest coefficient in the objective function | 221 |
Sum of the numbers in the objective function | 3369993333393829974333376885877453834204643052817571560137951281151 |
Number of bits of the sum of numbers in the objective function | 221 |
Biggest number in a constraint | 2392032866531905486790942578809394338145620987608332988883503686824375178865503049616412016019962016447144819201720664620106359620960485637227891297994520232330261783830994590149049944504587400511488 |
Number of bits of the biggest number in a constraint | 660 |
Biggest sum of numbers in a constraint | 9568131466127621947163770315237577352582483950433331955534014747295513459689730629073816418642253180734108769246219889599930392714811235131541912049967060836868994739843120196423842159639336839621523 |
Number of bits of the biggest sum of numbers | 661 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node23/50996-1154122261/instance-50996-1154122261.opb 0.21 c reading problem ... 680.40 c ... done. Time 680.189 ms. 680.40 c #vars 97901 680.40 c #constraints 291722 1785.39 c starts : 1 1785.39 c conflicts : 1 1785.39 c decisions : 71598 1785.39 c propagations : 97899 1785.39 c inspects : 267234 1785.39 c learnt literals : 0 1785.39 c learnt binary clauses : 0 1785.39 c learnt ternary clauses : 0 1785.39 c learnt clauses : 0 1785.39 c root simplifications : 0 1785.39 c removed literals (reason simplification) : 0 1785.39 c reason swapping (by a shorter reason) : 0 1785.39 c Calls to reduceDB : 0 1785.39 c speed (decisions/second) : 64.79820587218468 1785.39 c non guided choices 71598 1785.39 s UNKNOWN 1785.39 c Total wall clock time (ms): 1785.183
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/node23/watcher-50996-1154122261 -o ROOT/results/node23/solver-50996-1154122261 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node23/50996-1154122261/instance-50996-1154122261.opb 464892347 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.02 1.01 1.00 3/64 23215 /proc/meminfo: memFree=1149432/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1784 CPUtime=0 /proc/23215/stat : 23215 (java) D 23213 23215 23166 0 -1 0 167 0 0 0 0 0 0 0 18 0 1 0 159086400 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/23215/statm: 446 140 105 14 0 91 0 [startup+10.0031 s] /proc/loadavg: 1.02 1.01 1.00 2/75 23226 /proc/meminfo: memFree=974240/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1708812 CPUtime=10.42 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 47416 0 1 0 1021 21 0 0 25 0 12 0 159086400 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071364258 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 427203 45531 1870 14 0 413950 0 [pid=23215/tid=23216] ppid=23213 vsize=1708812 CPUtime=0.05 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 2266 0 0 0 4 1 0 0 16 0 12 0 159086404 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1708812 CPUtime=0.05 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 1584 0 0 0 4 1 0 0 15 0 12 0 159086404 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 33 0 0 0 0 0 0 0 16 0 12 0 159086406 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 159086410 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159086410 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1708812 CPUtime=0.23 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 587 0 0 0 23 0 0 0 16 0 12 0 159086410 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1708812 CPUtime=0.21 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 285 0 0 0 21 0 0 0 16 0 12 0 159086410 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159086410 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159086410 1749823488 45531 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.42 Current children cumulated vsize (Kb) 1708812 [startup+20.0111 s] /proc/loadavg: 1.09 1.03 1.00 2/75 23226 /proc/meminfo: memFree=993888/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1708812 CPUtime=20.55 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 47725 0 1 0 2033 22 0 0 25 0 12 0 159086400 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071357136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 427203 40690 1872 14 0 413950 0 [pid=23215/tid=23216] ppid=23213 vsize=1708812 CPUtime=0.07 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 2355 0 0 0 6 1 0 0 16 0 12 0 159086404 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1708812 CPUtime=0.08 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 1669 0 0 0 7 1 0 0 16 0 12 0 159086404 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 33 0 0 0 0 0 0 0 15 0 12 0 159086406 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 159086410 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159086410 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1708812 CPUtime=0.27 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 591 0 0 0 27 0 0 0 16 0 12 0 159086410 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1708812 CPUtime=0.29 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 392 0 0 0 29 0 0 0 16 0 12 0 159086410 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159086410 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159086410 1749823488 40690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.55 Current children cumulated vsize (Kb) 1708812 [startup+30.019 s] /proc/loadavg: 1.07 1.03 1.00 2/75 23226 /proc/meminfo: memFree=997664/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1708812 CPUtime=30.62 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 47952 0 1 0 3039 23 0 0 25 0 12 0 159086400 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071357279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 427203 39761 1872 14 0 413950 0 [pid=23215/tid=23216] ppid=23213 vsize=1708812 CPUtime=0.09 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 2455 0 0 0 8 1 0 0 16 0 12 0 159086404 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1708812 CPUtime=0.11 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 1765 0 0 0 10 1 0 0 16 0 12 0 159086404 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1708812 CPUtime=0.02 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 33 0 0 0 1 1 0 0 17 0 12 0 159086406 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 159086410 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159086410 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1708812 CPUtime=0.29 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 593 0 0 0 29 0 0 0 16 0 12 0 159086410 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1708812 CPUtime=0.32 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 394 0 0 0 32 0 0 0 16 0 12 0 159086410 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159086410 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159086410 1749823488 39761 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.62 Current children cumulated vsize (Kb) 1708812 [startup+40.0259 s] /proc/loadavg: 1.06 1.03 1.00 2/75 23226 /proc/meminfo: memFree=997920/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1708812 CPUtime=40.66 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 48135 0 1 0 4041 25 0 0 19 0 12 0 159086400 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071357279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 427203 39738 1872 14 0 413950 0 [pid=23215/tid=23216] ppid=23213 vsize=1708812 CPUtime=0.14 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 2567 0 0 0 11 3 0 0 16 0 12 0 159086404 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1708812 CPUtime=0.16 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 1807 0 0 0 15 1 0 0 16 0 12 0 159086404 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1708812 CPUtime=0.02 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 33 0 0 0 1 1 0 0 16 0 12 0 159086406 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 159086410 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159086410 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1708812 CPUtime=0.29 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 593 0 0 0 29 0 0 0 16 0 12 0 159086410 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1708812 CPUtime=0.32 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 394 0 0 0 32 0 0 0 16 0 12 0 159086410 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159086410 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159086410 1749823488 39738 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 40.66 Current children cumulated vsize (Kb) 1708812 [startup+50.0349 s] /proc/loadavg: 1.05 1.03 1.00 2/75 23226 /proc/meminfo: memFree=997280/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1708812 CPUtime=50.7 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 48349 0 1 0 5043 27 0 0 25 0 12 0 159086400 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071365429 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 427203 39920 1872 14 0 413950 0 [pid=23215/tid=23216] ppid=23213 vsize=1708812 CPUtime=0.18 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 2656 0 0 0 15 3 0 0 16 0 12 0 159086404 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1708812 CPUtime=0.21 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 1900 0 0 0 19 2 0 0 15 0 12 0 159086404 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1708812 CPUtime=0.03 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 33 0 0 0 2 1 0 0 16 0 12 0 159086406 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 159086410 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159086410 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1708812 CPUtime=0.29 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 593 0 0 0 29 0 0 0 16 0 12 0 159086410 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1708812 CPUtime=0.32 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 394 0 0 0 32 0 0 0 16 0 12 0 159086410 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159086410 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 159086410 1749823488 39920 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (Kb) 1708812 [startup+60.0418 s] /proc/loadavg: 1.04 1.02 1.00 2/75 23226 /proc/meminfo: memFree=996512/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1708812 CPUtime=60.75 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 48591 0 1 0 6046 29 0 0 19 0 12 0 159086400 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071357159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 427203 40124 1872 14 0 413950 0 [pid=23215/tid=23216] ppid=23213 vsize=1708812 CPUtime=0.23 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 2705 0 0 0 19 4 0 0 16 0 12 0 159086404 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1708812 CPUtime=0.26 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 2057 0 0 0 23 3 0 0 16 0 12 0 159086404 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1708812 CPUtime=0.03 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 33 0 0 0 2 1 0 0 16 0 12 0 159086406 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 159086407 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 159086410 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 159086410 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1708812 CPUtime=0.29 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 593 0 0 0 29 0 0 0 16 0 12 0 159086410 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1708812 CPUtime=0.32 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 394 0 0 0 32 0 0 0 16 0 12 0 159086410 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1708812 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 159086410 1749823488 40124 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1708812 CPUtime=0 ################ # More data... # ################ /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1723792 CPUtime=1.52 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 6735 0 0 0 150 2 0 0 16 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1723792 CPUtime=0.85 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 1153 0 0 0 85 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23229] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23229/stat : 23229 (java) S 23213 23215 23166 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 159154450 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (Kb) 1723792 [startup+1782.36 s] /proc/loadavg: 1.00 1.00 1.00 2/76 23229 /proc/meminfo: memFree=869528/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1723792 CPUtime=1797.26 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 100040 0 1 0 179419 307 0 0 17 0 13 0 159086400 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071391795 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 430948 71642 1906 14 0 417695 0 [pid=23215/tid=23216] ppid=23213 vsize=1723792 CPUtime=14.03 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 11107 0 0 0 1319 84 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1723792 CPUtime=13.98 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 13475 0 0 0 1265 133 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1723792 CPUtime=0.92 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 90 0 0 0 52 40 0 0 15 0 13 0 159086406 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1723792 CPUtime=1.52 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 6735 0 0 0 150 2 0 0 16 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1723792 CPUtime=0.85 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 1153 0 0 0 85 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23229] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23229/stat : 23229 (java) S 23213 23215 23166 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 159154450 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.26 Current children cumulated vsize (Kb) 1723792 [startup+1783.37 s] /proc/loadavg: 1.00 1.00 1.00 2/76 23229 /proc/meminfo: memFree=869528/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1723792 CPUtime=1798.27 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 100042 0 1 0 179520 307 0 0 17 0 13 0 159086400 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071496096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 430948 71642 1906 14 0 417695 0 [pid=23215/tid=23216] ppid=23213 vsize=1723792 CPUtime=14.04 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 11107 0 0 0 1320 84 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1723792 CPUtime=13.99 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 13475 0 0 0 1266 133 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1723792 CPUtime=0.92 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 90 0 0 0 52 40 0 0 15 0 13 0 159086406 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1723792 CPUtime=1.52 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 6735 0 0 0 150 2 0 0 16 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1723792 CPUtime=0.85 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 1153 0 0 0 85 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23229] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23229/stat : 23229 (java) S 23213 23215 23166 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 159154450 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.27 Current children cumulated vsize (Kb) 1723792 [startup+1784.37 s] /proc/loadavg: 1.00 1.00 1.00 2/76 23229 /proc/meminfo: memFree=869528/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1723792 CPUtime=1799.29 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 100044 0 1 0 179622 307 0 0 17 0 13 0 159086400 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071742639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 430948 71642 1906 14 0 417695 0 [pid=23215/tid=23216] ppid=23213 vsize=1723792 CPUtime=14.05 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 11107 0 0 0 1321 84 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1723792 CPUtime=13.99 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 13475 0 0 0 1266 133 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1723792 CPUtime=0.92 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 90 0 0 0 52 40 0 0 15 0 13 0 159086406 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1723792 CPUtime=1.52 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 6735 0 0 0 150 2 0 0 16 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1723792 CPUtime=0.85 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 1153 0 0 0 85 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23229] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23229/stat : 23229 (java) S 23213 23215 23166 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 159154450 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.29 Current children cumulated vsize (Kb) 1723792 [startup+1785.38 s] /proc/loadavg: 1.00 1.00 1.00 2/76 23229 /proc/meminfo: memFree=869528/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1723792 CPUtime=1800.3 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 100046 0 1 0 179723 307 0 0 17 0 13 0 159086400 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071759614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 430948 71642 1906 14 0 417695 0 [pid=23215/tid=23216] ppid=23213 vsize=1723792 CPUtime=14.05 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 11107 0 0 0 1321 84 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1723792 CPUtime=14 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 13475 0 0 0 1267 133 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1723792 CPUtime=0.93 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 90 0 0 0 53 40 0 0 15 0 13 0 159086406 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1723792 CPUtime=1.52 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 6735 0 0 0 150 2 0 0 16 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1723792 CPUtime=0.85 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 1153 0 0 0 85 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23229] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23229/stat : 23229 (java) S 23213 23215 23166 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 159154450 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (Kb) 1723792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.38 s] /proc/loadavg: 1.00 1.00 1.00 2/76 23229 /proc/meminfo: memFree=869464/2055920 swapFree=4183076/4192956 [pid=23215] ppid=23213 vsize=1723792 CPUtime=1800.3 /proc/23215/stat : 23215 (java) R 23213 23215 23166 0 -1 0 100046 0 1 0 179723 307 0 0 17 0 13 0 159086400 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071496035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23215/statm: 430948 71642 1906 14 0 417695 0 [pid=23215/tid=23216] ppid=23213 vsize=1723792 CPUtime=14.05 /proc/23215/task/23216/stat : 23216 (java) S 23213 23215 23166 0 -1 64 11107 0 0 0 1321 84 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23217] ppid=23213 vsize=1723792 CPUtime=14 /proc/23215/task/23217/stat : 23217 (java) S 23213 23215 23166 0 -1 64 13475 0 0 0 1267 133 0 0 16 0 13 0 159086404 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23218] ppid=23213 vsize=1723792 CPUtime=0.93 /proc/23215/task/23218/stat : 23218 (java) S 23213 23215 23166 0 -1 64 90 0 0 0 53 40 0 0 15 0 13 0 159086406 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23219] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23219/stat : 23219 (java) S 23213 23215 23166 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23220] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23220/stat : 23220 (java) S 23213 23215 23166 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 159086407 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23221] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23221/stat : 23221 (java) S 23213 23215 23166 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23222] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23222/stat : 23222 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23223] ppid=23213 vsize=1723792 CPUtime=1.52 /proc/23215/task/23223/stat : 23223 (java) S 23213 23215 23166 0 -1 64 6735 0 0 0 150 2 0 0 16 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23224] ppid=23213 vsize=1723792 CPUtime=0.85 /proc/23215/task/23224/stat : 23224 (java) S 23213 23215 23166 0 -1 64 1153 0 0 0 85 0 0 0 17 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23215/tid=23225] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23225/stat : 23225 (java) S 23213 23215 23166 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23226] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23226/stat : 23226 (java) S 23213 23215 23166 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159086410 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23215/tid=23229] ppid=23213 vsize=1723792 CPUtime=0 /proc/23215/task/23229/stat : 23229 (java) S 23213 23215 23166 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 159154450 1765163008 71642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (Kb) 1723792 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1785.46 CPU time (s): 1800.39 CPU user time (s): 1797.27 CPU system time (s): 3.11952 CPU usage (%): 100.836 Max. virtual memory (cumulated for all children) (Kb): 1724384 The end
Begin job on node23 on Fri Jul 28 21:31:02 UTC 2006 FILE ID= 50996-1154122261 PBS_JOBID= 887031 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node23/50996-1154122261/instance-50996-1154122261.opb 464892347 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-50996-1154122261 -o ROOT/results/node23/solver-50996-1154122261 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node23/50996-1154122261/instance-50996-1154122261.opb 464892347 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= ed1765c8e2f5b9ac0be00c2d97d71991 RANDOM SEED= 464892347 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.281 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.281 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: 1149640 kB Buffers: 36312 kB Cached: 788964 kB SwapCached: 3644 kB Active: 91440 kB Inactive: 742420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1149640 kB SwapTotal: 4192956 kB SwapFree: 4183076 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14528 kB Slab: 58452 kB Committed_AS: 706396 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Fri Jul 28 22:00:48 UTC 2006