Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1801.05 | 1800.37 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | f368868fda311e5aaeadb84d33b29291 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3750 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3750 |
Optimality of the best value was proved | NO |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 15 |
Number of terms in the objective function | 7500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 7500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 7500 |
Number of bits of the biggest sum of numbers | 13 |
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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node15/44397-1149419068/instance-44397-1149419068.opb 0.20 c reading problem ... 34.30 c ... done. Time 34.093 ms. 34.30 c #vars 7500 34.30 c #constraints 237715 1800.30 c starts : 13 1800.30 c conflicts : 38706 1800.30 c decisions : 55375 1800.30 c propagations : 14412483 1800.30 c inspects : 67500404 1800.30 c learnt literals : 0 1800.30 c learnt binary clauses : 0 1800.30 c learnt ternary clauses : 0 1800.30 c learnt clauses : 38705 1800.30 c root simplifications : 0 1800.30 c removed literals (reason simplification) : 0 1800.30 c reason swapping (by a shorter reason) : 0 1800.30 c Calls to reduceDB : 0 1800.30 c speed (decisions/second) : 31.356420719077047 1800.30 c non guided choices 72 1800.30 s UNKNOWN 1800.30 c Total wall clock time (ms): 1800.099
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-44397-1149419068 -o ROOT/results/node15/solver-44397-1149419068 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node15/44397-1149419068/instance-44397-1149419068.opb 724935307 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.92 3/64 19319 /proc/meminfo: memFree=1656824/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=308 CPUtime=0 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 55 0 0 0 0 0 0 0 19 0 1 0 207569625 315392 38 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 7517191 0 0 4096 0 0 0 0 17 1 0 0 /proc/19319/statm: 77 40 31 14 0 5 0 [startup+10.0032 s] /proc/loadavg: 0.99 0.97 0.92 2/75 19330 /proc/meminfo: memFree=1470784/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709292 CPUtime=10.49 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 49301 0 1 0 1026 23 0 0 23 0 12 0 207569625 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071437225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427323 48319 1873 14 0 414070 0 [pid=19319/tid=19320] ppid=19317 vsize=1709292 CPUtime=0.13 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 2345 0 0 0 12 1 0 0 16 0 12 0 207569628 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709292 CPUtime=0.13 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 2040 0 0 0 12 1 0 0 16 0 12 0 207569628 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 0 0 0 0 16 0 12 0 207569631 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 207569631 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 207569631 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 207569634 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 207569634 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709292 CPUtime=0.29 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 309 0 0 0 29 0 0 0 17 0 12 0 207569634 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709292 CPUtime=0.27 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 253 0 0 0 27 0 0 0 17 0 12 0 207569634 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 207569634 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 207569634 1750315008 48319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.49 Current children cumulated vsize (Kb) 1709292 [startup+20.0109 s] /proc/loadavg: 0.99 0.97 0.92 2/75 19330 /proc/meminfo: memFree=1461584/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709292 CPUtime=20.59 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 51743 0 1 0 2034 25 0 0 25 0 12 0 207569625 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071400865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427323 50638 1873 14 0 414070 0 [pid=19319/tid=19320] ppid=19317 vsize=1709292 CPUtime=0.23 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 3300 0 0 0 21 2 0 0 16 0 12 0 207569628 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709292 CPUtime=0.22 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 3373 0 0 0 21 1 0 0 16 0 12 0 207569628 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 0 0 0 0 16 0 12 0 207569631 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 207569631 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 207569631 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 207569634 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 207569634 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709292 CPUtime=0.29 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 309 0 0 0 29 0 0 0 17 0 12 0 207569634 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709292 CPUtime=0.27 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 253 0 0 0 27 0 0 0 17 0 12 0 207569634 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 207569634 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 207569634 1750315008 50638 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.59 Current children cumulated vsize (Kb) 1709292 [startup+30.0186 s] /proc/loadavg: 0.99 0.97 0.92 2/75 19330 /proc/meminfo: memFree=1453904/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709292 CPUtime=30.7 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 53769 0 1 0 3042 28 0 0 17 0 12 0 207569625 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071437225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427323 52582 1873 14 0 414070 0 [pid=19319/tid=19320] ppid=19317 vsize=1709292 CPUtime=0.34 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 4084 0 0 0 32 2 0 0 15 0 12 0 207569628 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709292 CPUtime=0.33 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 4589 0 0 0 31 2 0 0 16 0 12 0 207569628 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 0 0 0 0 16 0 12 0 207569631 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 207569631 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 207569631 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 207569634 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 207569634 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709292 CPUtime=0.29 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 309 0 0 0 29 0 0 0 17 0 12 0 207569634 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709292 CPUtime=0.27 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 253 0 0 0 27 0 0 0 17 0 12 0 207569634 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 207569634 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709292 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 207569634 1750315008 52582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.7 Current children cumulated vsize (Kb) 1709292 [startup+40.0263 s] /proc/loadavg: 0.99 0.97 0.92 2/76 19331 /proc/meminfo: memFree=1450632/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709840 CPUtime=40.94 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 54690 0 1 0 4065 29 0 0 25 0 13 0 207569625 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071496739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427460 53359 1895 14 0 414207 0 [pid=19319/tid=19320] ppid=19317 vsize=1709840 CPUtime=0.39 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 4531 0 0 0 37 2 0 0 16 0 13 0 207569628 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709840 CPUtime=0.39 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 4895 0 0 0 37 2 0 0 16 0 13 0 207569628 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709840 CPUtime=0 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 207569631 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709840 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 207569631 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709840 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 207569631 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709840 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 207569634 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709840 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709840 CPUtime=0.43 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 407 0 0 0 43 0 0 0 17 0 13 0 207569634 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709840 CPUtime=0.4 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 267 0 0 0 40 0 0 0 16 0 13 0 207569634 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709840 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 207569634 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709840 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19331] ppid=19317 vsize=1709840 CPUtime=0 /proc/19319/task/19331/stat : 19331 (java) S 19317 19319 19273 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 207573057 1750876160 53359 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 40.94 Current children cumulated vsize (Kb) 1709840 [startup+50.034 s] /proc/loadavg: 0.99 0.97 0.92 2/76 19331 /proc/meminfo: memFree=1450632/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709808 CPUtime=50.98 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 54752 0 1 0 5069 29 0 0 25 0 13 0 207569625 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071496531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427452 53412 1898 14 0 414199 0 [pid=19319/tid=19320] ppid=19317 vsize=1709808 CPUtime=0.4 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 4545 0 0 0 38 2 0 0 16 0 13 0 207569628 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709808 CPUtime=0.39 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 4933 0 0 0 37 2 0 0 16 0 13 0 207569628 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709808 CPUtime=0.44 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 409 0 0 0 44 0 0 0 17 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709808 CPUtime=0.42 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 271 0 0 0 42 0 0 0 15 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19331] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19331/stat : 19331 (java) S 19317 19319 19273 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 207573057 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (Kb) 1709808 [startup+60.0408 s] /proc/loadavg: 0.99 0.97 0.92 2/76 19331 /proc/meminfo: memFree=1450632/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709808 CPUtime=60.98 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 54752 0 1 0 6069 29 0 0 25 0 13 0 207569625 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071496159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427452 53412 1898 14 0 414199 0 [pid=19319/tid=19320] ppid=19317 vsize=1709808 CPUtime=0.4 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 4545 0 0 0 38 2 0 0 16 0 13 0 207569628 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709808 CPUtime=0.39 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 4933 0 0 0 37 2 0 0 16 0 13 0 207569628 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709808 CPUtime=0.44 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 409 0 0 0 44 0 0 0 17 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709808 CPUtime=0.42 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 271 0 0 0 42 0 0 0 15 0 13 0 207569634 1750843392 53412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=19319/tid=19323] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709808 CPUtime=0.51 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 415 0 0 0 51 0 0 0 16 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709808 CPUtime=0.46 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 274 0 0 0 46 0 0 0 16 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19331] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19331/stat : 19331 (java) S 19317 19319 19273 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 207573057 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (Kb) 1709808 [startup+1797.28 s] /proc/loadavg: 1.00 0.99 0.93 3/76 19331 /proc/meminfo: memFree=1446408/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709808 CPUtime=1797.96 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 59774 0 1 0 179759 37 0 0 25 0 13 0 207569625 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071496189 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427452 54258 1899 14 0 414199 0 [pid=19319/tid=19320] ppid=19317 vsize=1709808 CPUtime=0.66 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 6573 0 0 0 62 4 0 0 16 0 13 0 207569628 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709808 CPUtime=0.66 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 7831 0 0 0 62 4 0 0 16 0 13 0 207569628 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709808 CPUtime=0.02 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 1 1 0 0 16 0 13 0 207569631 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709808 CPUtime=0.51 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 415 0 0 0 51 0 0 0 16 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709808 CPUtime=0.46 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 274 0 0 0 46 0 0 0 16 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19331] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19331/stat : 19331 (java) S 19317 19319 19273 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 207573057 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (Kb) 1709808 [startup+1798.28 s] /proc/loadavg: 1.00 0.99 0.93 2/76 19331 /proc/meminfo: memFree=1446408/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709808 CPUtime=1798.96 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 59774 0 1 0 179859 37 0 0 25 0 13 0 207569625 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071496176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427452 54258 1899 14 0 414199 0 [pid=19319/tid=19320] ppid=19317 vsize=1709808 CPUtime=0.66 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 6573 0 0 0 62 4 0 0 16 0 13 0 207569628 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709808 CPUtime=0.66 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 7831 0 0 0 62 4 0 0 16 0 13 0 207569628 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709808 CPUtime=0.02 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 1 1 0 0 16 0 13 0 207569631 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709808 CPUtime=0.51 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 415 0 0 0 51 0 0 0 16 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709808 CPUtime=0.46 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 274 0 0 0 46 0 0 0 16 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19331] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19331/stat : 19331 (java) S 19317 19319 19273 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 207573057 1750843392 54258 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.96 Current children cumulated vsize (Kb) 1709808 [startup+1799.29 s] /proc/loadavg: 1.00 0.99 0.93 2/76 19331 /proc/meminfo: memFree=1446344/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709808 CPUtime=1799.97 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 59834 0 1 0 179960 37 0 0 23 0 13 0 207569625 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071536338 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427452 54317 1899 14 0 414199 0 [pid=19319/tid=19320] ppid=19317 vsize=1709808 CPUtime=0.67 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 6578 0 0 0 63 4 0 0 16 0 13 0 207569628 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709808 CPUtime=0.66 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 7885 0 0 0 62 4 0 0 16 0 13 0 207569628 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709808 CPUtime=0.02 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 1 1 0 0 16 0 13 0 207569631 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709808 CPUtime=0.51 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 415 0 0 0 51 0 0 0 16 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709808 CPUtime=0.46 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 274 0 0 0 46 0 0 0 16 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19331] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19331/stat : 19331 (java) S 19317 19319 19273 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 207573057 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (Kb) 1709808 [startup+1800.3 s] /proc/loadavg: 1.00 0.99 0.93 2/76 19331 /proc/meminfo: memFree=1446344/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709808 CPUtime=1800.97 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 59834 0 1 0 180060 37 0 0 25 0 13 0 207569625 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071496152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427452 54317 1899 14 0 414199 0 [pid=19319/tid=19320] ppid=19317 vsize=1709808 CPUtime=0.67 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 6578 0 0 0 63 4 0 0 16 0 13 0 207569628 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709808 CPUtime=0.66 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 7885 0 0 0 62 4 0 0 16 0 13 0 207569628 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709808 CPUtime=0.02 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 1 1 0 0 16 0 13 0 207569631 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709808 CPUtime=0.51 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 415 0 0 0 51 0 0 0 16 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709808 CPUtime=0.46 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 274 0 0 0 46 0 0 0 16 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19331] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19331/stat : 19331 (java) S 19317 19319 19273 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 207573057 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (Kb) 1709808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 1.00 0.99 0.93 2/76 19331 /proc/meminfo: memFree=1446344/2055920 swapFree=4181408/4192956 [pid=19319] ppid=19317 vsize=1709808 CPUtime=1800.98 /proc/19319/stat : 19319 (java) R 19317 19319 19273 0 -1 0 59834 0 1 0 180061 37 0 0 25 0 13 0 207569625 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071496169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19319/statm: 427452 54317 1899 14 0 414199 0 [pid=19319/tid=19320] ppid=19317 vsize=1709808 CPUtime=0.67 /proc/19319/task/19320/stat : 19320 (java) S 19317 19319 19273 0 -1 64 6578 0 0 0 63 4 0 0 16 0 13 0 207569628 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19321] ppid=19317 vsize=1709808 CPUtime=0.66 /proc/19319/task/19321/stat : 19321 (java) S 19317 19319 19273 0 -1 64 7885 0 0 0 62 4 0 0 16 0 13 0 207569628 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19322] ppid=19317 vsize=1709808 CPUtime=0.02 /proc/19319/task/19322/stat : 19322 (java) S 19317 19319 19273 0 -1 64 36 0 0 0 1 1 0 0 16 0 13 0 207569631 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19323] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19323/stat : 19323 (java) S 19317 19319 19273 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19324] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19324/stat : 19324 (java) S 19317 19319 19273 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 207569631 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19325] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19325/stat : 19325 (java) S 19317 19319 19273 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19326] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19326/stat : 19326 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19327] ppid=19317 vsize=1709808 CPUtime=0.51 /proc/19319/task/19327/stat : 19327 (java) S 19317 19319 19273 0 -1 64 415 0 0 0 51 0 0 0 16 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19328] ppid=19317 vsize=1709808 CPUtime=0.46 /proc/19319/task/19328/stat : 19328 (java) S 19317 19319 19273 0 -1 64 274 0 0 0 46 0 0 0 16 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19329] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19329/stat : 19329 (java) S 19317 19319 19273 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19319/tid=19330] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19330/stat : 19330 (java) S 19317 19319 19273 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 207569634 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19319/tid=19331] ppid=19317 vsize=1709808 CPUtime=0 /proc/19319/task/19331/stat : 19331 (java) S 19317 19319 19273 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 207573057 1750843392 54317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.98 Current children cumulated vsize (Kb) 1709808 Sending SIGTERM to -19319 Sleeping 2 seconds Child status: 143 Real time (s): 1800.37 CPU time (s): 1801.05 CPU user time (s): 1800.64 CPU system time (s): 0.405938 CPU usage (%): 100.038 Max. virtual memory (cumulated for all children) (Kb): 1709840
Begin job on node15 on Sun Jun 4 11:04:28 UTC 2006 FILE ID= 44397-1149419068 PBS_JOBID= 315645 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node15/44397-1149419068/instance-44397-1149419068.opb 724935307 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-44397-1149419068 -o ROOT/results/node15/solver-44397-1149419068 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node15/44397-1149419068/instance-44397-1149419068.opb 724935307 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= f368868fda311e5aaeadb84d33b29291 RANDOM SEED= 724935307 /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.285 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.285 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: 1657032 kB Buffers: 32604 kB Cached: 290488 kB SwapCached: 3240 kB Active: 113708 kB Inactive: 218092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1657032 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14736 kB Slab: 53084 kB Committed_AS: 419152 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sun Jun 4 11:34:29 UTC 2006