Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1802.52 | 1786.55 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb |
MD5SUM | 06a8ed91d04dd9c37cb8c92ab4f7d82f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 430 |
Best CPU time to get the best result obtained on this benchmark | 1800.67 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 386 |
Optimality of the best value was proved | NO |
Number of variables | 15284 |
Total number of constraints | 2537 |
Number of constraints which are clauses | 2536 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13789 |
Number of terms in the objective function | 15284 |
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 | 15284 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 9256 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 23045 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.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/node82/43884-1149269636/instance-43884-1149269636.opb 0.21 c reading problem ... 2.47 c ... done. Time 2.256 ms. 2.47 c #vars 15284 2.47 c #constraints 2517 2.73 c SATISFIABLE 2.74 c OPTIMIZING... 2.74 c Got one! Ellapsed CPU time (in seconds):2.52 2.98 o 619 3.57 c Got one! Ellapsed CPU time (in seconds):3.353 3.87 o 618 4.92 c Got one! Ellapsed CPU time (in seconds):4.712 5.23 o 617 6.64 c Got one! Ellapsed CPU time (in seconds):6.425 6.94 o 616 8.53 c Got one! Ellapsed CPU time (in seconds):8.321 8.84 o 615 10.06 c Got one! Ellapsed CPU time (in seconds):9.848 10.37 o 614 11.81 c Got one! Ellapsed CPU time (in seconds):11.596 12.11 o 613 14.25 c Got one! Ellapsed CPU time (in seconds):14.042 14.56 o 612 16.75 c Got one! Ellapsed CPU time (in seconds):16.535 17.05 o 611
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/node82/watcher-43884-1149269636 -o ROOT/results/node82/solver-43884-1149269636 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node82/43884-1149269636/instance-43884-1149269636.opb 199541663 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/68 16848 /proc/meminfo: memFree=1060464/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1788 CPUtime=0 /proc/16848/stat : 16848 (java) D 16846 16848 16802 0 -1 0 166 0 0 0 0 0 0 0 19 0 1 0 184152936 1830912 135 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/16848/statm: 447 135 100 14 0 91 0 [startup+10.002 s] /proc/loadavg: 1.01 0.97 0.91 2/80 16865 /proc/meminfo: memFree=850704/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1710976 CPUtime=11.33 /proc/16848/stat : 16848 (java) R 16846 16848 16802 0 -1 0 58743 0 1 0 1106 27 0 0 25 0 13 0 184152936 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071308163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16848/statm: 427744 54205 1910 14 0 414490 0 [pid=16848/tid=16849] ppid=16846 vsize=1710976 CPUtime=0.42 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 10414 0 0 0 36 6 0 0 16 0 13 0 184152939 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1710976 CPUtime=0.41 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 10709 0 0 0 37 4 0 0 16 0 13 0 184152939 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16851/stat : 16851 (java) S 16846 16848 16802 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 184152942 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1710976 CPUtime=0.73 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 727 0 0 0 73 0 0 0 17 0 13 0 184152946 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1710976 CPUtime=0.71 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 300 0 0 0 71 0 0 0 17 0 13 0 184152946 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16865] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16865/stat : 16865 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184153852 1752039424 54205 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.33 Current children cumulated vsize (Kb) 1710976 [startup+20.0089 s] /proc/loadavg: 1.01 0.97 0.91 2/80 16869 /proc/meminfo: memFree=793928/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1710976 CPUtime=21.76 /proc/16848/stat : 16848 (java) R 16846 16848 16802 0 -1 0 81178 0 1 0 2139 37 0 0 25 0 13 0 184152936 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071429036 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16848/statm: 427744 68459 1910 14 0 414490 0 [pid=16848/tid=16849] ppid=16846 vsize=1710976 CPUtime=0.84 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 21173 0 0 0 74 10 0 0 16 0 13 0 184152939 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1710976 CPUtime=0.82 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 22360 0 0 0 73 9 0 0 16 0 13 0 184152939 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16851/stat : 16851 (java) S 16846 16848 16802 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 184152942 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1710976 CPUtime=0.75 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 727 0 0 0 75 0 0 0 16 0 13 0 184152946 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1710976 CPUtime=0.72 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 72 0 0 0 17 0 13 0 184152946 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1710976 CPUtime=0 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184154673 1752039424 68459 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.76 Current children cumulated vsize (Kb) 1710976 [startup+30.0158 s] /proc/loadavg: 1.00 0.97 0.91 2/80 16869 /proc/meminfo: memFree=716104/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1711456 CPUtime=32.32 /proc/16848/stat : 16848 (java) R 16846 16848 16802 0 -1 0 109460 0 1 0 3182 50 0 0 25 0 13 0 184152936 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071581351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16848/statm: 427864 87880 1910 14 0 414610 0 [pid=16848/tid=16849] ppid=16846 vsize=1711456 CPUtime=1.38 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 36590 0 0 0 121 17 0 0 17 0 13 0 184152939 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1711456 CPUtime=1.37 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 35213 0 0 0 123 14 0 0 16 0 13 0 184152939 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16851/stat : 16851 (java) S 16846 16848 16802 0 -1 64 38 0 0 0 0 0 0 0 16 0 13 0 184152942 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1711456 CPUtime=0.76 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 728 0 0 0 76 0 0 0 15 0 13 0 184152946 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1711456 CPUtime=0.73 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 73 0 0 0 16 0 13 0 184152946 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184154673 1752530944 87880 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.32 Current children cumulated vsize (Kb) 1711456 [startup+40.0227 s] /proc/loadavg: 1.00 0.97 0.91 2/80 16869 /proc/meminfo: memFree=709256/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1711456 CPUtime=42.55 /proc/16848/stat : 16848 (java) R 16846 16848 16802 0 -1 0 111546 0 1 0 4204 51 0 0 25 0 13 0 184152936 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071621576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16848/statm: 427864 89614 1910 14 0 414610 0 [pid=16848/tid=16849] ppid=16846 vsize=1711456 CPUtime=1.61 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 37356 0 0 0 144 17 0 0 17 0 13 0 184152939 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1711456 CPUtime=1.6 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 36513 0 0 0 145 15 0 0 17 0 13 0 184152939 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16851/stat : 16851 (java) S 16846 16848 16802 0 -1 64 45 0 0 0 0 0 0 0 16 0 13 0 184152942 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1711456 CPUtime=0.76 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 728 0 0 0 76 0 0 0 15 0 13 0 184152946 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1711456 CPUtime=0.73 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 73 0 0 0 16 0 13 0 184152946 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184154673 1752530944 89614 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.55 Current children cumulated vsize (Kb) 1711456 [startup+50.0296 s] /proc/loadavg: 1.00 0.97 0.91 2/80 16869 /proc/meminfo: memFree=656520/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1711456 CPUtime=53.07 /proc/16848/stat : 16848 (java) R 16846 16848 16802 0 -1 0 125965 0 1 0 5249 58 0 0 17 0 13 0 184152936 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071621123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16848/statm: 427864 102754 1910 14 0 414610 0 [pid=16848/tid=16849] ppid=16846 vsize=1711456 CPUtime=2.13 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 44320 0 0 0 192 21 0 0 16 0 13 0 184152939 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1711456 CPUtime=2.12 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 43961 0 0 0 194 18 0 0 17 0 13 0 184152939 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16851/stat : 16851 (java) S 16846 16848 16802 0 -1 64 45 0 0 0 0 0 0 0 15 0 13 0 184152942 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1711456 CPUtime=0.76 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 728 0 0 0 76 0 0 0 15 0 13 0 184152946 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1711456 CPUtime=0.73 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 73 0 0 0 16 0 13 0 184152946 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 184154673 1752530944 102754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 53.07 Current children cumulated vsize (Kb) 1711456 [startup+60.0365 s] /proc/loadavg: 1.00 0.97 0.91 2/80 16869 /proc/meminfo: memFree=634888/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1711456 CPUtime=63.28 /proc/16848/stat : 16848 (java) R 16846 16848 16802 0 -1 0 131829 0 1 0 6266 62 0 0 25 0 13 0 184152936 1752530944 108162 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071545106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16848/statm: 427864 108162 1910 14 0 414610 0 [pid=16848/tid=16849] ppid=16846 vsize=1711456 CPUtime=2.34 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 46959 0 0 0 211 23 0 0 17 0 13 0 184152939 1752530944 108162 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1711456 CPUtime=2.32 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 47183 0 0 0 212 20 0 0 16 0 13 0 184152939 1752530944 108162 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16851/stat : 16851 (java) S 16846 16848 16802 0 -1 64 45 0 0 0 0 0 0 0 16 0 13 0 184152942 1752530944 108162 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752530944 108162 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752530944 108162 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752530944 108162 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 73 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752530944 389284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1711456 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752530944 389284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1711456 CPUtime=0.01 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 147 0 0 0 1 0 0 0 16 0 13 0 184154673 1752530944 389284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.26 Current children cumulated vsize (Kb) 1711708 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/80 17064 /proc/meminfo: memFree=16840/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1711708 CPUtime=1798.26 /proc/16848/stat : 16848 (java) S 16846 16848 16802 0 -1 0 454830 0 1 0 179604 222 0 0 17 0 13 0 184152936 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16848/statm: 427927 389317 1912 14 0 414673 0 [pid=16848/tid=16849] ppid=16846 vsize=1711708 CPUtime=16.03 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 209038 0 0 0 1505 98 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1711708 CPUtime=15.99 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 194459 0 0 0 1510 89 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1711708 CPUtime=1141.81 /proc/16848/task/16851/stat : 16851 (java) R 16846 16848 16802 0 -1 64 13260 0 0 0 114169 12 0 0 18 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154468570 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1711708 CPUtime=0.76 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 728 0 0 0 76 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1711708 CPUtime=0.73 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 73 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1711708 CPUtime=0.01 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 148 0 0 0 1 0 0 0 16 0 13 0 184154673 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.26 Current children cumulated vsize (Kb) 1711708 [startup+1783.31 s] /proc/loadavg: 1.00 1.00 0.93 2/80 17064 /proc/meminfo: memFree=16840/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1711708 CPUtime=1799.27 /proc/16848/stat : 16848 (java) S 16846 16848 16802 0 -1 0 454830 0 1 0 179705 222 0 0 17 0 13 0 184152936 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16848/statm: 427927 389317 1912 14 0 414673 0 [pid=16848/tid=16849] ppid=16846 vsize=1711708 CPUtime=16.03 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 209038 0 0 0 1505 98 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1711708 CPUtime=15.99 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 194459 0 0 0 1510 89 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1711708 CPUtime=1142.81 /proc/16848/task/16851/stat : 16851 (java) R 16846 16848 16802 0 -1 64 13260 0 0 0 114269 12 0 0 19 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154934606 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1711708 CPUtime=0.76 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 728 0 0 0 76 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1711708 CPUtime=0.73 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 73 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1711708 CPUtime=0.01 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 148 0 0 0 1 0 0 0 16 0 13 0 184154673 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (Kb) 1711708 [startup+1784.31 s] /proc/loadavg: 1.00 1.00 0.93 2/80 17064 /proc/meminfo: memFree=16840/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1711708 CPUtime=1800.27 /proc/16848/stat : 16848 (java) S 16846 16848 16802 0 -1 0 454830 0 1 0 179805 222 0 0 17 0 13 0 184152936 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16848/statm: 427927 389317 1912 14 0 414673 0 [pid=16848/tid=16849] ppid=16846 vsize=1711708 CPUtime=16.03 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 209038 0 0 0 1505 98 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1711708 CPUtime=15.99 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 194459 0 0 0 1510 89 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1711708 CPUtime=1143.82 /proc/16848/task/16851/stat : 16851 (java) R 16846 16848 16802 0 -1 64 13260 0 0 0 114370 12 0 0 21 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152725160 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1711708 CPUtime=0.76 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 728 0 0 0 76 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1711708 CPUtime=0.73 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 73 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1711708 CPUtime=0.01 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 148 0 0 0 1 0 0 0 16 0 13 0 184154673 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (Kb) 1711708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.32 s] /proc/loadavg: 1.00 1.00 0.93 2/80 17064 /proc/meminfo: memFree=16840/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1711708 CPUtime=1800.28 /proc/16848/stat : 16848 (java) S 16846 16848 16802 0 -1 0 454830 0 1 0 179806 222 0 0 17 0 13 0 184152936 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16848/statm: 427927 389317 1912 14 0 414673 0 [pid=16848/tid=16849] ppid=16846 vsize=1711708 CPUtime=16.03 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 209038 0 0 0 1505 98 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1711708 CPUtime=15.99 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 194459 0 0 0 1510 89 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1711708 CPUtime=1143.82 /proc/16848/task/16851/stat : 16851 (java) R 16846 16848 16802 0 -1 64 13260 0 0 0 114370 12 0 0 21 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154935618 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1711708 CPUtime=0.76 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 728 0 0 0 76 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1711708 CPUtime=0.73 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 73 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1711708 CPUtime=0.01 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 148 0 0 0 1 0 0 0 16 0 13 0 184154673 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (Kb) 1711708 Sending SIGTERM to -16848 Sleeping 2 seconds [startup+1785.32 s] /proc/loadavg: 1.00 1.00 0.93 2/81 17065 /proc/meminfo: memFree=16832/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=1711708 CPUtime=1801.28 /proc/16848/stat : 16848 (java) S 16846 16848 16802 0 -1 0 454830 0 1 0 179906 222 0 0 16 0 13 0 184152936 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16848/statm: 427927 389317 1912 14 0 414673 0 [pid=16848/tid=16849] ppid=16846 vsize=1711708 CPUtime=16.03 /proc/16848/task/16849/stat : 16849 (java) S 16846 16848 16802 0 -1 64 209038 0 0 0 1505 98 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16850] ppid=16846 vsize=1711708 CPUtime=15.99 /proc/16848/task/16850/stat : 16850 (java) S 16846 16848 16802 0 -1 64 194459 0 0 0 1510 89 0 0 16 0 13 0 184152939 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16851] ppid=16846 vsize=1711708 CPUtime=1144.83 /proc/16848/task/16851/stat : 16851 (java) R 16846 16848 16802 0 -1 64 13260 0 0 0 114471 12 0 0 25 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154644898 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16852] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16852/stat : 16852 (java) S 16846 16848 16802 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 184152942 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16853] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16853/stat : 16853 (java) S 16846 16848 16802 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184152943 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16854] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16854/stat : 16854 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16855] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16855/stat : 16855 (java) S 16846 16848 16802 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16856] ppid=16846 vsize=1711708 CPUtime=0.76 /proc/16848/task/16856/stat : 16856 (java) S 16846 16848 16802 0 -1 64 728 0 0 0 76 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16857] ppid=16846 vsize=1711708 CPUtime=0.73 /proc/16848/task/16857/stat : 16857 (java) S 16846 16848 16802 0 -1 64 301 0 0 0 73 0 0 0 16 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16858] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16858/stat : 16858 (java) S 16846 16848 16802 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16848/tid=16859] ppid=16846 vsize=1711708 CPUtime=0 /proc/16848/task/16859/stat : 16859 (java) S 16846 16848 16802 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184152946 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16848/tid=16869] ppid=16846 vsize=1711708 CPUtime=0.01 /proc/16848/task/16869/stat : 16869 (java) S 16846 16848 16802 0 -1 64 148 0 0 0 1 0 0 0 16 0 13 0 184154673 1752788992 389317 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1801.28 Current children cumulated vsize (Kb) 1711708 Sending SIGKILL to -16848 [startup+1786.33 s] !!! unable to read /proc/16848/task filesystem (No such file or directory) !!!/proc/loadavg: 1.00 1.00 0.93 2/69 17065 /proc/meminfo: memFree=57160/2055892 swapFree=4087504/4096564 [pid=16848] ppid=16846 vsize=0 CPUtime=1802.29 /proc/16848/stat : 16848 (java) Z 16846 16848 16802 0 -1 1036 454830 0 1 0 180006 223 0 0 16 0 2 0 184152936 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16848/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.29 Current children cumulated vsize (Kb) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1786.55 CPU time (s): 1802.52 CPU user time (s): 1800.07 CPU system time (s): 2.45763 CPU usage (%): 100.894 Max. virtual memory (cumulated for all children) (Kb): 1711708 The end
Begin job on node82 on Fri Jun 2 17:33:57 UTC 2006 FILE ID= 43884-1149269636 PBS_JOBID= 298967 BENCH NAME= ROOT/tmp/node82/43884-1149269636/instance-43884-1149269636.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node82/43884-1149269636/instance-43884-1149269636.opb 199541663 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-43884-1149269636 -o ROOT/results/node82/solver-43884-1149269636 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node82/43884-1149269636/instance-43884-1149269636.opb 199541663 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 06a8ed91d04dd9c37cb8c92ab4f7d82f RANDOM SEED= 199541663 /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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1060864 kB Buffers: 45888 kB Cached: 870556 kB SwapCached: 2848 kB Active: 136376 kB Inactive: 788884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1060864 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14560 kB Slab: 56140 kB Committed_AS: 269376 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Fri Jun 2 18:03:43 UTC 2006