Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | ? (TO) | 1800.21 | 1752.12 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_20.opb |
MD5SUM | 601a73d2c5752739e04dd0126b5500f0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 398 |
Optimality of the best value was proved | NO |
Number of variables | 13478 |
Total number of constraints | 26620 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 26619 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 190 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 445 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 589 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2977 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/355126-1176772267/instance-355126-1176772267.opb 0.20/0.20 c reading problem ... 8.66/6.53 c ... done. Wall clock time 6.332s. 8.66/6.53 c CPU time (experimental) 4.53s. 8.66/6.53 c #vars 13478 8.66/6.53 c #constraints 26619 1800.09/1752.01 c starts : 2 1800.09/1752.01 c conflicts : 47787 1800.09/1752.01 c decisions : 69846 1800.09/1752.01 c propagations : 6722153 1800.09/1752.01 c inspects : 765165805 1800.09/1752.01 c learnt literals : 0 1800.09/1752.01 c learnt binary clauses : 0 1800.09/1752.01 c learnt ternary clauses : 0 1800.09/1752.01 c learnt clauses : 47786 1800.09/1752.01 c root simplifications : 0 1800.09/1752.01 c removed literals (reason simplification) : 0 1800.09/1752.01 c reason swapping (by a shorter reason) : 0 1800.09/1752.01 c Calls to reduceDB : 0 1800.09/1752.01 c speed (decisions/second) : 40.01611048631096 1800.09/1752.01 c non guided choices 13259 1800.09/1752.01 s UNKNOWN 1800.09/1752.01 c Total wall clock time (ms): 1751.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-355126-1176772267 -o ROOT/results/node47/solver-355126-1176772267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355126-1176772267/sat4jPseudoCP.jar /tmp/evaluation/355126-1176772267/instance-355126-1176772267.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27048 /proc/meminfo: memFree=1611088/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1512 CPUtime=0 /proc/27048/stat : 27048 (java) R 27046 27048 26346 0 -1 0 61 0 0 0 0 0 0 0 18 0 1 0 32072038 1548288 45 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 10521229 0 0 4096 0 0 0 0 17 1 0 0 /proc/27048/statm: 379 51 38 9 0 9 0 [startup+0.079485 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27048 /proc/meminfo: memFree=1611088/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1777708 CPUtime=0.05 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 3762 0 1 0 4 1 0 0 18 0 7 0 32072038 1820372992 3505 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 444427 3505 1085 9 0 442063 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1777708 [startup+0.101485 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27048 /proc/meminfo: memFree=1611088/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1780108 CPUtime=0.08 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 3965 0 1 0 6 2 0 0 18 0 12 0 32072038 1822830592 3707 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 445027 3707 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301505 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27048 /proc/meminfo: memFree=1611088/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1782380 CPUtime=0.3 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 5220 0 1 0 27 3 0 0 18 0 12 0 32072038 1825157120 4959 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 445595 4959 1265 9 0 443207 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1782380 [startup+0.701553 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27048 /proc/meminfo: memFree=1611088/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1788192 CPUtime=1.01 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 8451 0 1 0 96 5 0 0 18 0 12 0 32072038 1831108608 7556 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 447048 7557 1303 9 0 444660 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1788192 [startup+1.50163 s] /proc/loadavg: 0.92 0.98 0.99 4/89 27060 /proc/meminfo: memFree=1576752/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1795760 CPUtime=2.39 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 21448 0 1 0 228 11 0 0 18 0 12 0 32072038 1838858240 15770 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 448940 15771 1311 9 0 446552 0 [pid=27048/tid=27050] ppid=27046 vsize=1795760 CPUtime=0.74 /proc/27048/task/27050/stat : 27050 (java) R 27046 27048 26346 0 -1 64 11480 0 1 0 68 6 0 0 25 0 12 0 32072040 1838858240 15772 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109574280 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27051] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27051/stat : 27051 (java) S 27046 27048 26346 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 32072041 1838858240 15773 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27052] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27052/stat : 27052 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 32072041 1838858240 15774 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27053] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 32072043 1838858240 15775 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 32072044 1838858240 15776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 32072044 1838858240 15777 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27056] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27056/stat : 27056 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 32072048 1838858240 15779 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27057] ppid=27046 vsize=1795760 CPUtime=0.79 /proc/27048/task/27057/stat : 27057 (java) S 27046 27048 26346 0 -1 64 3999 0 0 0 78 1 0 0 18 0 12 0 32072048 1838858240 15779 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27058] ppid=27046 vsize=1795760 CPUtime=0.82 /proc/27048/task/27058/stat : 27058 (java) S 27046 27048 26346 0 -1 64 5253 0 0 0 80 2 0 0 18 0 12 0 32072048 1838858240 15780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27059] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27059/stat : 27059 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 32072048 1838858240 15781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27060] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27060/stat : 27060 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 32072048 1838858240 15782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 1795760 [startup+3.1018 s] /proc/loadavg: 0.93 0.98 0.99 2/89 27060 /proc/meminfo: memFree=1487984/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1795760 CPUtime=4.09 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 51803 0 1 0 384 25 0 0 18 0 12 0 32072038 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 448940 46001 1321 9 0 446552 0 [pid=27048/tid=27050] ppid=27046 vsize=1795760 CPUtime=2.25 /proc/27048/task/27050/stat : 27050 (java) R 27046 27048 26346 0 -1 64 37686 0 1 0 207 18 0 0 20 0 12 0 32072040 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109486043 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27051] ppid=27046 vsize=1795760 CPUtime=0.06 /proc/27048/task/27051/stat : 27051 (java) S 27046 27048 26346 0 -1 64 2397 0 0 0 6 0 0 0 17 0 12 0 32072041 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27052] ppid=27046 vsize=1795760 CPUtime=0.06 /proc/27048/task/27052/stat : 27052 (java) S 27046 27048 26346 0 -1 64 1744 0 0 0 6 0 0 0 17 0 12 0 32072041 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27053] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 32072043 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 32072044 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 32072044 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27056] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27056/stat : 27056 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 32072048 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27057] ppid=27046 vsize=1795760 CPUtime=0.82 /proc/27048/task/27057/stat : 27057 (java) S 27046 27048 26346 0 -1 64 3999 0 0 0 81 1 0 0 15 0 12 0 32072048 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27058] ppid=27046 vsize=1795760 CPUtime=0.84 /proc/27048/task/27058/stat : 27058 (java) S 27046 27048 26346 0 -1 64 5254 0 0 0 82 2 0 0 16 0 12 0 32072048 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27059] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27059/stat : 27059 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 32072048 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27060] ppid=27046 vsize=1795760 CPUtime=0 /proc/27048/task/27060/stat : 27060 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 32072048 1838858240 46001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.09 Current children cumulated vsize (KiB) 1795760 [startup+6.30215 s] /proc/loadavg: 0.93 0.98 0.99 2/89 27060 /proc/meminfo: memFree=1372528/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1800888 CPUtime=8.46 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 75091 0 1 0 811 35 0 0 18 0 12 0 32072038 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 450222 65004 1321 9 0 447834 0 [pid=27048/tid=27050] ppid=27046 vsize=1800888 CPUtime=4.29 /proc/27048/task/27050/stat : 27050 (java) R 27046 27048 26346 0 -1 64 37690 0 1 0 410 19 0 0 17 0 12 0 32072040 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109525982 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27051] ppid=27046 vsize=1800888 CPUtime=0.96 /proc/27048/task/27051/stat : 27051 (java) S 27046 27048 26346 0 -1 64 13309 0 0 0 91 5 0 0 16 0 12 0 32072041 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27052] ppid=27046 vsize=1800888 CPUtime=0.94 /proc/27048/task/27052/stat : 27052 (java) S 27046 27048 26346 0 -1 64 13176 0 0 0 89 5 0 0 16 0 12 0 32072041 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27053] ppid=27046 vsize=1800888 CPUtime=0 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 15 0 12 0 32072043 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1800888 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 32072044 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1800888 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 32072044 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27056] ppid=27046 vsize=1800888 CPUtime=0 /proc/27048/task/27056/stat : 27056 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 32072048 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27057] ppid=27046 vsize=1800888 CPUtime=1.11 /proc/27048/task/27057/stat : 27057 (java) S 27046 27048 26346 0 -1 64 4901 0 0 0 110 1 0 0 16 0 12 0 32072048 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27058] ppid=27046 vsize=1800888 CPUtime=1.1 /proc/27048/task/27058/stat : 27058 (java) S 27046 27048 26346 0 -1 64 5289 0 0 0 108 2 0 0 17 0 12 0 32072048 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27059] ppid=27046 vsize=1800888 CPUtime=0 /proc/27048/task/27059/stat : 27059 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 32072048 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27060] ppid=27046 vsize=1800888 CPUtime=0 /proc/27048/task/27060/stat : 27060 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 32072048 1844109312 65004 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.46 Current children cumulated vsize (KiB) 1800888 [startup+12.7029 s] /proc/loadavg: 1.08 1.02 1.00 2/90 27061 /proc/meminfo: memFree=1332328/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1800060 CPUtime=16.77 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 83448 0 1 0 1637 40 0 0 18 0 13 0 32072038 1843261440 72084 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 450015 72086 1334 9 0 447627 0 [pid=27048/tid=27050] ppid=27046 vsize=1800060 CPUtime=9.42 /proc/27048/task/27050/stat : 27050 (java) R 27046 27048 26346 0 -1 64 37746 0 1 0 923 19 0 0 25 0 13 0 32072040 1843261440 72087 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27051] ppid=27046 vsize=1800060 CPUtime=1.84 /proc/27048/task/27051/stat : 27051 (java) R 27046 27048 26346 0 -1 64 17823 0 0 0 177 7 0 0 17 0 13 0 32072041 1843261440 72089 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105369140 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27052] ppid=27046 vsize=1800060 CPUtime=1.84 /proc/27048/task/27052/stat : 27052 (java) R 27046 27048 26346 0 -1 64 16746 0 0 0 177 7 0 0 17 0 13 0 32072041 1843261440 72091 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105369186 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27053] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 32072043 1843261440 72092 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 72094 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 72096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27056] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27056/stat : 27056 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 72098 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27057] ppid=27046 vsize=1800060 CPUtime=1.71 /proc/27048/task/27057/stat : 27057 (java) S 27046 27048 26346 0 -1 64 4939 0 0 0 170 1 0 0 16 0 13 0 32072048 1843261440 72099 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27058] ppid=27046 vsize=1800060 CPUtime=1.89 /proc/27048/task/27058/stat : 27058 (java) S 27046 27048 26346 0 -1 64 5469 0 0 0 187 2 0 0 16 0 13 0 32072048 1843261440 72101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27059] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27059/stat : 27059 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 72102 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27060] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27060/stat : 27060 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 32072048 1843261440 72104 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27061] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27061/stat : 27061 (java) S 27046 27048 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 32072695 1843261440 72106 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 16.77 Current children cumulated vsize (KiB) 1800060 [startup+25.5012 s] /proc/loadavg: 1.07 1.02 1.00 2/90 27061 /proc/meminfo: memFree=1327656/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1800060 CPUtime=30.33 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 84784 0 1 0 2992 41 0 0 18 0 13 0 32072038 1843261440 71809 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 450015 71809 1334 9 0 447627 0 [pid=27048/tid=27050] ppid=27046 vsize=1800060 CPUtime=21.5 /proc/27048/task/27050/stat : 27050 (java) R 27046 27048 26346 0 -1 64 37758 0 1 0 2131 19 0 0 18 0 13 0 32072040 1843261440 71809 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109892129 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27051] ppid=27046 vsize=1800060 CPUtime=2.3 /proc/27048/task/27051/stat : 27051 (java) S 27046 27048 26346 0 -1 64 18378 0 0 0 223 7 0 0 16 0 13 0 32072041 1843261440 71809 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27052] ppid=27046 vsize=1800060 CPUtime=2.3 /proc/27048/task/27052/stat : 27052 (java) S 27046 27048 26346 0 -1 64 17483 0 0 0 223 7 0 0 16 0 13 0 32072041 1843261440 71809 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27053] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 12 0 0 0 0 0 0 0 15 0 13 0 32072043 1843261440 71809 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 71809 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 71809 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=27048/tid=27053] ppid=27046 vsize=1800060 CPUtime=0.17 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 25 0 0 0 10 7 0 0 16 0 13 0 32072043 1843261440 119479 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 119479 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 119479 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27056] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27056/stat : 27056 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 119479 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27057] ppid=27046 vsize=1800060 CPUtime=2.09 /proc/27048/task/27057/stat : 27057 (java) S 27046 27048 26346 0 -1 64 4955 0 0 0 208 1 0 0 16 0 13 0 32072048 1843261440 119479 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27058] ppid=27046 vsize=1800060 CPUtime=2.29 /proc/27048/task/27058/stat : 27058 (java) S 27046 27048 26346 0 -1 64 5486 0 0 0 226 3 0 0 17 0 13 0 32072048 1843261440 119479 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27059] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27059/stat : 27059 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 119479 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27060] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27060/stat : 27060 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 32072048 1843261440 119479 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27061] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27061/stat : 27061 (java) S 27046 27048 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 32072695 1843261440 119479 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1583.6 Current children cumulated vsize (KiB) 1800060 [startup+1602.3 s] /proc/loadavg: 1.07 1.04 1.00 2/90 27061 /proc/meminfo: memFree=1129512/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1800060 CPUtime=1645.5 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 137947 0 1 0 164459 91 0 0 18 0 13 0 32072038 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 450015 121456 1335 9 0 447627 0 [pid=27048/tid=27050] ppid=27046 vsize=1800060 CPUtime=1558.39 /proc/27048/task/27050/stat : 27050 (java) R 27046 27048 26346 0 -1 64 38484 0 1 0 155805 34 0 0 25 0 13 0 32072040 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109990656 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27051] ppid=27046 vsize=1800060 CPUtime=41.24 /proc/27048/task/27051/stat : 27051 (java) S 27046 27048 26346 0 -1 64 44250 0 0 0 4103 21 0 0 16 0 13 0 32072041 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27052] ppid=27046 vsize=1800060 CPUtime=41.24 /proc/27048/task/27052/stat : 27052 (java) S 27046 27048 26346 0 -1 64 44026 0 0 0 4103 21 0 0 16 0 13 0 32072041 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27053] ppid=27046 vsize=1800060 CPUtime=0.18 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 25 0 0 0 11 7 0 0 16 0 13 0 32072043 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27056] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27056/stat : 27056 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27057] ppid=27046 vsize=1800060 CPUtime=2.09 /proc/27048/task/27057/stat : 27057 (java) S 27046 27048 26346 0 -1 64 4955 0 0 0 208 1 0 0 16 0 13 0 32072048 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27058] ppid=27046 vsize=1800060 CPUtime=2.29 /proc/27048/task/27058/stat : 27058 (java) S 27046 27048 26346 0 -1 64 5486 0 0 0 226 3 0 0 17 0 13 0 32072048 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27059] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27059/stat : 27059 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27060] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27060/stat : 27060 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 32072048 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27061] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27061/stat : 27061 (java) S 27046 27048 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 32072695 1843261440 121456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1645.5 Current children cumulated vsize (KiB) 1800060 [startup+1662.3 s] /proc/loadavg: 1.08 1.05 1.00 2/90 27061 /proc/meminfo: memFree=1121576/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1800060 CPUtime=1707.43 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 140048 0 1 0 170650 93 0 0 18 0 13 0 32072038 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 450015 123445 1335 9 0 447627 0 [pid=27048/tid=27050] ppid=27046 vsize=1800060 CPUtime=1616.42 /proc/27048/task/27050/stat : 27050 (java) R 27046 27048 26346 0 -1 64 38511 0 1 0 161607 35 0 0 19 0 13 0 32072040 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109534637 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27051] ppid=27046 vsize=1800060 CPUtime=43.19 /proc/27048/task/27051/stat : 27051 (java) S 27046 27048 26346 0 -1 64 44903 0 0 0 4297 22 0 0 16 0 13 0 32072041 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27052] ppid=27046 vsize=1800060 CPUtime=43.2 /proc/27048/task/27052/stat : 27052 (java) S 27046 27048 26346 0 -1 64 45447 0 0 0 4298 22 0 0 16 0 13 0 32072041 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27053] ppid=27046 vsize=1800060 CPUtime=0.18 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 25 0 0 0 11 7 0 0 15 0 13 0 32072043 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27056] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27056/stat : 27056 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27057] ppid=27046 vsize=1800060 CPUtime=2.09 /proc/27048/task/27057/stat : 27057 (java) S 27046 27048 26346 0 -1 64 4955 0 0 0 208 1 0 0 16 0 13 0 32072048 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27058] ppid=27046 vsize=1800060 CPUtime=2.29 /proc/27048/task/27058/stat : 27058 (java) S 27046 27048 26346 0 -1 64 5486 0 0 0 226 3 0 0 17 0 13 0 32072048 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27059] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27059/stat : 27059 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27060] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27060/stat : 27060 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 32072048 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27061] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27061/stat : 27061 (java) S 27046 27048 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 32072695 1843261440 123445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1707.43 Current children cumulated vsize (KiB) 1800060 [startup+1722.3 s] /proc/loadavg: 1.08 1.05 1.00 2/90 27061 /proc/meminfo: memFree=1114024/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1800060 CPUtime=1769.39 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 141997 0 1 0 176844 95 0 0 18 0 13 0 32072038 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 450015 125328 1335 9 0 447627 0 [pid=27048/tid=27050] ppid=27046 vsize=1800060 CPUtime=1674.41 /proc/27048/task/27050/stat : 27050 (java) R 27046 27048 26346 0 -1 64 38537 0 1 0 167406 35 0 0 25 0 13 0 32072040 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109990656 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27051] ppid=27046 vsize=1800060 CPUtime=45.17 /proc/27048/task/27051/stat : 27051 (java) S 27046 27048 26346 0 -1 64 45731 0 0 0 4494 23 0 0 16 0 13 0 32072041 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27052] ppid=27046 vsize=1800060 CPUtime=45.17 /proc/27048/task/27052/stat : 27052 (java) S 27046 27048 26346 0 -1 64 46542 0 0 0 4495 22 0 0 16 0 13 0 32072041 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27053] ppid=27046 vsize=1800060 CPUtime=0.18 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 25 0 0 0 11 7 0 0 16 0 13 0 32072043 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27056] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27056/stat : 27056 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27057] ppid=27046 vsize=1800060 CPUtime=2.09 /proc/27048/task/27057/stat : 27057 (java) S 27046 27048 26346 0 -1 64 4955 0 0 0 208 1 0 0 16 0 13 0 32072048 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27058] ppid=27046 vsize=1800060 CPUtime=2.29 /proc/27048/task/27058/stat : 27058 (java) S 27046 27048 26346 0 -1 64 5486 0 0 0 226 3 0 0 17 0 13 0 32072048 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27059] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27059/stat : 27059 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27060] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27060/stat : 27060 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 32072048 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27061] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27061/stat : 27061 (java) S 27046 27048 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 32072695 1843261440 125328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1769.39 Current children cumulated vsize (KiB) 1800060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1752 s] /proc/loadavg: 1.04 1.04 1.00 2/90 27061 /proc/meminfo: memFree=1111400/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=1800060 CPUtime=1800.09 /proc/27048/stat : 27048 (java) S 27046 27048 26346 0 -1 0 142682 0 1 0 179913 96 0 0 18 0 13 0 32072038 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 450015 125983 1335 9 0 447627 0 [pid=27048/tid=27050] ppid=27046 vsize=1800060 CPUtime=1703.09 /proc/27048/task/27050/stat : 27050 (java) R 27046 27048 26346 0 -1 64 38550 0 1 0 170274 35 0 0 25 0 13 0 32072040 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109990742 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27051] ppid=27046 vsize=1800060 CPUtime=46.18 /proc/27048/task/27051/stat : 27051 (java) S 27046 27048 26346 0 -1 64 46227 0 0 0 4595 23 0 0 16 0 13 0 32072041 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27052] ppid=27046 vsize=1800060 CPUtime=46.19 /proc/27048/task/27052/stat : 27052 (java) S 27046 27048 26346 0 -1 64 46718 0 0 0 4596 23 0 0 17 0 13 0 32072041 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27053] ppid=27046 vsize=1800060 CPUtime=0.19 /proc/27048/task/27053/stat : 27053 (java) S 27046 27048 26346 0 -1 64 25 0 0 0 12 7 0 0 16 0 13 0 32072043 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27054] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27054/stat : 27054 (java) S 27046 27048 26346 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27055] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27055/stat : 27055 (java) S 27046 27048 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 32072044 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27056] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27056/stat : 27056 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27057] ppid=27046 vsize=1800060 CPUtime=2.09 /proc/27048/task/27057/stat : 27057 (java) S 27046 27048 26346 0 -1 64 4955 0 0 0 208 1 0 0 16 0 13 0 32072048 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27058] ppid=27046 vsize=1800060 CPUtime=2.29 /proc/27048/task/27058/stat : 27058 (java) S 27046 27048 26346 0 -1 64 5486 0 0 0 226 3 0 0 17 0 13 0 32072048 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27059] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27059/stat : 27059 (java) S 27046 27048 26346 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 32072048 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27048/tid=27060] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27060/stat : 27060 (java) S 27046 27048 26346 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 32072048 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27048/tid=27061] ppid=27046 vsize=1800060 CPUtime=0 /proc/27048/task/27061/stat : 27061 (java) S 27046 27048 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 32072695 1843261440 125983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1800060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1752.11 s] /proc/loadavg: 1.04 1.04 1.00 2/90 27061 /proc/meminfo: memFree=1111400/2055920 swapFree=4183744/4192956 [pid=27048] ppid=27046 vsize=0 CPUtime=1800.2 /proc/27048/stat : 27048 (java) Z 27046 27048 26346 0 -1 1036 142702 0 1 0 179917 103 0 0 16 0 2 0 32072038 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27048/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1752.12 CPU time (s): 1800.21 CPU user time (s): 1799.17 CPU system time (s): 1.03984 CPU usage (%): 102.745 Max. virtual memory (cumulated for all children) (KiB): 1801212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.17 system time used= 1.03984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 142702 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42708 involuntary context switches= 46717 runsolver used 1.81472 second user time and 4.68829 second system time The end
Begin job on node47 on Tue Apr 17 01:11:07 UTC 2007 IDJOB= 355126 IDBENCH= 2947 IDSOLVER= 160 FILE ID= node47/355126-1176772267 PBS_JOBID= 4580769 Free space on /tmp= 66553 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355126-1176772267/sat4jPseudoCP.jar /tmp/evaluation/355126-1176772267/instance-355126-1176772267.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-355126-1176772267 -o ROOT/results/node47/solver-355126-1176772267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355126-1176772267/sat4jPseudoCP.jar /tmp/evaluation/355126-1176772267/instance-355126-1176772267.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 601a73d2c5752739e04dd0126b5500f0 RANDOM SEED= 600014702 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.221 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.221 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: 1611560 kB Buffers: 39292 kB Cached: 297256 kB SwapCached: 3792 kB Active: 223932 kB Inactive: 175020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1611560 kB SwapTotal: 4192956 kB SwapFree: 4183744 kB Dirty: 11088 kB Writeback: 0 kB Mapped: 76504 kB Slab: 31004 kB Committed_AS: 2555612 kB PageTables: 1776 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66553 MiB End job on node47 on Tue Apr 17 01:40:21 UTC 2007