Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.21 | 1784.93 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb |
MD5SUM | 06abf2507bf67e08d71dcaed3569abdd |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 60075 |
Total number of constraints | 2257 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2257 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 941 |
Number of terms in the objective function | 8142 |
Biggest coefficient in the objective function | 10478 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 531689 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531689 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.12/0.20 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.12/0.20 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.12/0.20 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.12/0.21 c no version file found!!! 0.12/0.21 c sun.arch.data.model 32 0.12/0.21 c java.version 1.6.0 0.12/0.21 c os.name Linux 0.12/0.21 c os.version 2.6.9-22.EL.rootsmp 0.12/0.21 c os.arch i386 0.12/0.21 c Free memory 1651659224 0.12/0.21 c Max memory 1654456320 0.12/0.21 c Total memory 1654456320 0.12/0.21 c Number of processors 2 0.12/0.27 --- Begin Solver configuration --- 0.12/0.27 c Stops conflict analysis at the first Unique Implication Point 0.12/0.27 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.12/0.27 c Learn all clauses as in MiniSAT 0.12/0.27 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.27 c VSIDS like heuristics from MiniSAT using a heap 0.12/0.27 c No reason simplification 0.12/0.27 c --- End Solver configuration --- 0.12/0.27 c solving /tmp/evaluation/348679-1176591937/instance-348679-1176591937.opb 0.12/0.27 c reading problem ... 5.01/3.61 c ... done. Wall clock time 3.338s. 5.01/3.61 c CPU time (experimental) 2.6s. 5.01/3.61 c #vars 60075 5.01/3.61 c #constraints 2737 1800.07/1784.81 c starts : 21 1800.07/1784.81 c conflicts : 745099 1800.07/1784.81 c decisions : 912488 1800.07/1784.81 c propagations : 78919797 1800.07/1784.81 c inspects : 1297782374 1800.07/1784.81 c learnt literals : 0 1800.07/1784.81 c learnt binary clauses : 0 1800.07/1784.81 c learnt ternary clauses : 1 1800.07/1784.81 c learnt clauses : 745099 1800.07/1784.81 c root simplifications : 0 1800.07/1784.81 c removed literals (reason simplification) : 0 1800.07/1784.81 c reason swapping (by a shorter reason) : 0 1800.07/1784.81 c Calls to reduceDB : 0 1800.07/1784.81 c speed (decisions/second) : 512.3504759166843 1800.07/1784.81 c non guided choices 104783 1800.07/1784.81 s UNKNOWN 1800.07/1784.81 c Total wall clock time (ms): 1784.544
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node73/watcher-348679-1176591937 -o ROOT/results/node73/solver-348679-1176591937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/348679-1176591937/sat4jPseudoResolution.jar /tmp/evaluation/348679-1176591937/instance-348679-1176591937.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.91 0.95 0.98 2/65 12143 /proc/meminfo: memFree=1687984/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1512 CPUtime=0 /proc/12143/stat : 12143 (java) R 12141 12143 11150 0 -1 0 61 0 0 0 0 0 0 0 18 0 1 0 107108625 1548288 44 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7711373 0 0 4096 0 0 0 0 17 1 0 0 /proc/12143/statm: 378 49 37 9 0 8 0 [startup+0.017902 s] /proc/loadavg: 0.91 0.95 0.98 2/65 12143 /proc/meminfo: memFree=1687984/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=12700 CPUtime=0 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 884 0 1 0 0 0 0 0 18 0 2 0 107108625 13004800 640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 3212 656 328 9 0 1243 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12700 [startup+0.102916 s] /proc/loadavg: 0.91 0.95 0.98 2/65 12143 /proc/meminfo: memFree=1687984/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1776088 CPUtime=0.02 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 3167 0 1 0 1 1 0 0 18 0 4 0 107108625 1818714112 2914 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 444022 2914 887 9 0 441658 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1776088 [startup+0.301938 s] /proc/loadavg: 0.91 0.95 0.98 2/65 12143 /proc/meminfo: memFree=1687984/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1782044 CPUtime=0.23 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 5446 0 1 0 19 4 0 0 18 0 12 0 107108625 1824813056 5184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 445511 5184 1246 9 0 443123 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 1782044 [startup+0.702984 s] /proc/loadavg: 0.91 0.95 0.98 2/65 12143 /proc/meminfo: memFree=1687984/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1785132 CPUtime=0.85 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 8095 0 1 0 80 5 0 0 18 0 12 0 107108625 1827975168 7365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 446283 7365 1294 9 0 443895 0 Current children cumulated CPU time (s) 0.85 Current children cumulated vsize (KiB) 1785132 [startup+1.50208 s] /proc/loadavg: 0.91 0.95 0.98 4/77 12155 /proc/meminfo: memFree=1655120/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1792536 CPUtime=2.31 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 21554 0 1 0 219 12 0 0 18 0 12 0 107108625 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 448134 17405 1314 9 0 445746 0 [pid=12143/tid=12145] ppid=12141 vsize=1792536 CPUtime=0.93 /proc/12143/task/12145/stat : 12145 (java) R 12141 12143 11150 0 -1 64 13898 0 1 0 85 8 0 0 19 0 12 0 107108627 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109147564 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12146] ppid=12141 vsize=1792536 CPUtime=0 /proc/12143/task/12146/stat : 12146 (java) S 12141 12143 11150 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 107108628 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12147] ppid=12141 vsize=1792536 CPUtime=0 /proc/12143/task/12147/stat : 12147 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 107108628 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12148] ppid=12141 vsize=1792536 CPUtime=0 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 107108637 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1792536 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 107108638 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12150] ppid=12141 vsize=1792536 CPUtime=0 /proc/12143/task/12150/stat : 12150 (java) S 12141 12143 11150 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 107108638 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12151] ppid=12141 vsize=1792536 CPUtime=0 /proc/12143/task/12151/stat : 12151 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 107108641 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12152] ppid=12141 vsize=1792536 CPUtime=0.56 /proc/12143/task/12152/stat : 12152 (java) S 12141 12143 11150 0 -1 64 3112 0 0 0 55 1 0 0 16 0 12 0 107108641 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12153] ppid=12141 vsize=1792536 CPUtime=0.79 /proc/12143/task/12153/stat : 12153 (java) R 12141 12143 11150 0 -1 64 3821 0 0 0 78 1 0 0 18 0 12 0 107108642 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336912 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12154] ppid=12141 vsize=1792536 CPUtime=0 /proc/12143/task/12154/stat : 12154 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 107108642 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12155] ppid=12141 vsize=1792536 CPUtime=0 /proc/12143/task/12155/stat : 12155 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 107108642 1835556864 17405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 1792536 [startup+3.10126 s] /proc/loadavg: 0.91 0.95 0.98 2/77 12155 /proc/meminfo: memFree=1553168/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1792380 CPUtime=4.23 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 52935 0 1 0 398 25 0 0 18 0 12 0 107108625 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 448095 47516 1324 9 0 445707 0 [pid=12143/tid=12145] ppid=12141 vsize=1792380 CPUtime=2.38 /proc/12143/task/12145/stat : 12145 (java) R 12141 12143 11150 0 -1 64 37675 0 1 0 221 17 0 0 23 0 12 0 107108627 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109344053 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12146] ppid=12141 vsize=1792380 CPUtime=0.11 /proc/12143/task/12146/stat : 12146 (java) S 12141 12143 11150 0 -1 64 3657 0 0 0 10 1 0 0 17 0 12 0 107108628 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12147] ppid=12141 vsize=1792380 CPUtime=0.1 /proc/12143/task/12147/stat : 12147 (java) S 12141 12143 11150 0 -1 64 2928 0 0 0 9 1 0 0 16 0 12 0 107108628 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12148] ppid=12141 vsize=1792380 CPUtime=0 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 107108637 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1792380 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 107108638 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12150] ppid=12141 vsize=1792380 CPUtime=0 /proc/12143/task/12150/stat : 12150 (java) S 12141 12143 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 107108638 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12151] ppid=12141 vsize=1792380 CPUtime=0 /proc/12143/task/12151/stat : 12151 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 107108641 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12152] ppid=12141 vsize=1792380 CPUtime=0.62 /proc/12143/task/12152/stat : 12152 (java) S 12141 12143 11150 0 -1 64 3306 0 0 0 61 1 0 0 16 0 12 0 107108641 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12153] ppid=12141 vsize=1792380 CPUtime=0.96 /proc/12143/task/12153/stat : 12153 (java) S 12141 12143 11150 0 -1 64 4642 0 0 0 94 2 0 0 16 0 12 0 107108642 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12154] ppid=12141 vsize=1792380 CPUtime=0 /proc/12143/task/12154/stat : 12154 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 107108642 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12155] ppid=12141 vsize=1792380 CPUtime=0 /proc/12143/task/12155/stat : 12155 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 107108642 1835397120 47516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.23 Current children cumulated vsize (KiB) 1792380 [startup+6.30263 s] /proc/loadavg: 1.08 0.99 0.99 2/78 12156 /proc/meminfo: memFree=1460104/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1793176 CPUtime=8.34 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 65669 0 1 0 803 31 0 0 18 0 13 0 107108625 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 448294 57969 1333 9 0 445906 0 [pid=12143/tid=12145] ppid=12141 vsize=1793176 CPUtime=5.13 /proc/12143/task/12145/stat : 12145 (java) R 12141 12143 11150 0 -1 64 37712 0 1 0 496 17 0 0 25 0 13 0 107108627 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109922459 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12146] ppid=12141 vsize=1793176 CPUtime=0.4 /proc/12143/task/12146/stat : 12146 (java) S 12141 12143 11150 0 -1 64 9679 0 0 0 36 4 0 0 18 0 13 0 107108628 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12147] ppid=12141 vsize=1793176 CPUtime=0.4 /proc/12143/task/12147/stat : 12147 (java) S 12141 12143 11150 0 -1 64 8285 0 0 0 36 4 0 0 16 0 13 0 107108628 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12148] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 107108637 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12150] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12150/stat : 12150 (java) S 12141 12143 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12151] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12151/stat : 12151 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 107108641 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12152] ppid=12141 vsize=1793176 CPUtime=0.98 /proc/12143/task/12152/stat : 12152 (java) S 12141 12143 11150 0 -1 64 3845 0 0 0 96 2 0 0 16 0 13 0 107108641 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12153] ppid=12141 vsize=1793176 CPUtime=1.38 /proc/12143/task/12153/stat : 12153 (java) S 12141 12143 11150 0 -1 64 5416 0 0 0 136 2 0 0 16 0 13 0 107108642 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12154] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12154/stat : 12154 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 107108642 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12155] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12155/stat : 12155 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 107108642 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12156] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12156/stat : 12156 (java) S 12141 12143 11150 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 107109027 1836212224 57969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.34 Current children cumulated vsize (KiB) 1793176 [startup+12.7014 s] /proc/loadavg: 1.07 0.99 0.99 2/78 12156 /proc/meminfo: memFree=1457352/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1793176 CPUtime=15.09 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 66506 0 1 0 1477 32 0 0 18 0 13 0 107108625 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 448294 58718 1333 9 0 445906 0 [pid=12143/tid=12145] ppid=12141 vsize=1793176 CPUtime=11.18 /proc/12143/task/12145/stat : 12145 (java) R 12141 12143 11150 0 -1 64 37714 0 1 0 1101 17 0 0 25 0 13 0 107108627 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109891092 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12146] ppid=12141 vsize=1793176 CPUtime=0.74 /proc/12143/task/12146/stat : 12146 (java) S 12141 12143 11150 0 -1 64 9934 0 0 0 70 4 0 0 18 0 13 0 107108628 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12147] ppid=12141 vsize=1793176 CPUtime=0.74 /proc/12143/task/12147/stat : 12147 (java) S 12141 12143 11150 0 -1 64 8865 0 0 0 70 4 0 0 16 0 13 0 107108628 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12148] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 107108637 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12150] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12150/stat : 12150 (java) S 12141 12143 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12151] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12151/stat : 12151 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 107108641 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12152] ppid=12141 vsize=1793176 CPUtime=0.99 /proc/12143/task/12152/stat : 12152 (java) S 12141 12143 11150 0 -1 64 3845 0 0 0 97 2 0 0 16 0 13 0 107108641 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12153] ppid=12141 vsize=1793176 CPUtime=1.38 /proc/12143/task/12153/stat : 12153 (java) S 12141 12143 11150 0 -1 64 5416 0 0 0 136 2 0 0 16 0 13 0 107108642 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12154] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12154/stat : 12154 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 107108642 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12155] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12155/stat : 12155 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 107108642 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12156] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12156/stat : 12156 (java) S 12141 12143 11150 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 107109027 1836212224 58718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.09 Current children cumulated vsize (KiB) 1793176 [startup+25.5029 s] /proc/loadavg: 1.06 0.99 0.99 2/78 12156 /proc/meminfo: memFree=1433992/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1793176 CPUtime=28.4 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 73815 0 1 0 2804 36 0 0 18 0 13 0 107108625 1836212224 64601 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 448294 64601 1333 9 0 445906 0 [pid=12143/tid=12145] ppid=12141 vsize=1793176 CPUtime=23.45 /proc/12143/task/12145/stat : 12145 (java) R 12141 12143 11150 0 -1 64 37719 0 1 0 2328 17 0 0 25 0 13 0 107108627 1836212224 64601 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109630612 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12146] ppid=12141 vsize=1793176 CPUtime=1.26 /proc/12143/task/12146/stat : 12146 (java) S 12141 12143 11150 0 -1 64 13409 0 0 0 120 6 0 0 16 0 13 0 107108628 1836212224 64601 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12147] ppid=12141 vsize=1793176 CPUtime=1.26 /proc/12143/task/12147/stat : 12147 (java) S 12141 12143 11150 0 -1 64 12694 0 0 0 120 6 0 0 16 0 13 0 107108628 1836212224 64601 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12148] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 107108637 1836212224 64601 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 64601 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=12143/tid=12148] ppid=12141 vsize=1793176 CPUtime=0.31 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 196 0 0 0 14 17 0 0 16 0 13 0 107108637 1836212224 128475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 128475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12150] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12150/stat : 12150 (java) S 12141 12143 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 128475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12151] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12151/stat : 12151 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 107108641 1836212224 128475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12152] ppid=12141 vsize=1793176 CPUtime=1.03 /proc/12143/task/12152/stat : 12152 (java) S 12141 12143 11150 0 -1 64 3845 0 0 0 101 2 0 0 16 0 13 0 107108641 1836212224 128475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12153] ppid=12141 vsize=1793176 CPUtime=1.4 /proc/12143/task/12153/stat : 12153 (java) S 12141 12143 11150 0 -1 64 5417 0 0 0 138 2 0 0 16 0 13 0 107108642 1836212224 128475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12154] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12154/stat : 12154 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 107108642 1836212224 128475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12155] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12155/stat : 12155 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 107108642 1836212224 128475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12156] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12156/stat : 12156 (java) S 12141 12143 11150 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 107109027 1836212224 128475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1616.2 Current children cumulated vsize (KiB) 1793176 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12156 /proc/meminfo: memFree=1161288/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1793176 CPUtime=1676.66 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 242604 0 1 0 167507 159 0 0 18 0 13 0 107108625 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 448294 132468 1333 9 0 445906 0 [pid=12143/tid=12145] ppid=12141 vsize=1793176 CPUtime=1645.35 /proc/12143/task/12145/stat : 12145 (java) R 12141 12143 11150 0 -1 64 95380 0 1 0 164489 46 0 0 25 0 13 0 107108627 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109890815 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12146] ppid=12141 vsize=1793176 CPUtime=14.11 /proc/12143/task/12146/stat : 12146 (java) S 12141 12143 11150 0 -1 64 64457 0 0 0 1366 45 0 0 17 0 13 0 107108628 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12147] ppid=12141 vsize=1793176 CPUtime=14.39 /proc/12143/task/12147/stat : 12147 (java) S 12141 12143 11150 0 -1 64 72574 0 0 0 1395 44 0 0 16 0 13 0 107108628 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12148] ppid=12141 vsize=1793176 CPUtime=0.31 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 207 0 0 0 14 17 0 0 16 0 13 0 107108637 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12150] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12150/stat : 12150 (java) S 12141 12143 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12151] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12151/stat : 12151 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 107108641 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12152] ppid=12141 vsize=1793176 CPUtime=1.03 /proc/12143/task/12152/stat : 12152 (java) S 12141 12143 11150 0 -1 64 3845 0 0 0 101 2 0 0 16 0 13 0 107108641 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12153] ppid=12141 vsize=1793176 CPUtime=1.4 /proc/12143/task/12153/stat : 12153 (java) S 12141 12143 11150 0 -1 64 5417 0 0 0 138 2 0 0 16 0 13 0 107108642 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12154] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12154/stat : 12154 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 107108642 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12155] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12155/stat : 12155 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 107108642 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12156] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12156/stat : 12156 (java) S 12141 12143 11150 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 107109027 1836212224 132468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1676.66 Current children cumulated vsize (KiB) 1793176 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12156 /proc/meminfo: memFree=1147656/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1793176 CPUtime=1737.1 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 246726 0 1 0 173548 162 0 0 18 0 13 0 107108625 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 448294 135826 1333 9 0 445906 0 [pid=12143/tid=12145] ppid=12141 vsize=1793176 CPUtime=1704.75 /proc/12143/task/12145/stat : 12145 (java) R 12141 12143 11150 0 -1 64 97291 0 1 0 170429 46 0 0 25 0 13 0 107108627 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109871915 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12146] ppid=12141 vsize=1793176 CPUtime=14.63 /proc/12143/task/12146/stat : 12146 (java) S 12141 12143 11150 0 -1 64 65573 0 0 0 1417 46 0 0 16 0 13 0 107108628 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12147] ppid=12141 vsize=1793176 CPUtime=14.9 /proc/12143/task/12147/stat : 12147 (java) S 12141 12143 11150 0 -1 64 73668 0 0 0 1445 45 0 0 16 0 13 0 107108628 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12148] ppid=12141 vsize=1793176 CPUtime=0.32 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 208 0 0 0 15 17 0 0 16 0 13 0 107108637 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12150] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12150/stat : 12150 (java) S 12141 12143 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12151] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12151/stat : 12151 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 107108641 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12152] ppid=12141 vsize=1793176 CPUtime=1.03 /proc/12143/task/12152/stat : 12152 (java) S 12141 12143 11150 0 -1 64 3845 0 0 0 101 2 0 0 16 0 13 0 107108641 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12153] ppid=12141 vsize=1793176 CPUtime=1.4 /proc/12143/task/12153/stat : 12153 (java) S 12141 12143 11150 0 -1 64 5417 0 0 0 138 2 0 0 16 0 13 0 107108642 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12154] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12154/stat : 12154 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 107108642 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12155] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12155/stat : 12155 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 107108642 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12156] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12156/stat : 12156 (java) S 12141 12143 11150 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 107109027 1836212224 135826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1737.1 Current children cumulated vsize (KiB) 1793176 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12156 /proc/meminfo: memFree=1145608/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1793176 CPUtime=1797.55 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 248199 0 1 0 179591 164 0 0 18 0 13 0 107108625 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 448294 136317 1333 9 0 445906 0 [pid=12143/tid=12145] ppid=12141 vsize=1793176 CPUtime=1764.14 /proc/12143/task/12145/stat : 12145 (java) R 12141 12143 11150 0 -1 64 97314 0 1 0 176368 46 0 0 25 0 13 0 107108627 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109890658 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12146] ppid=12141 vsize=1793176 CPUtime=15.13 /proc/12143/task/12146/stat : 12146 (java) S 12141 12143 11150 0 -1 64 66315 0 0 0 1466 47 0 0 16 0 13 0 107108628 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12147] ppid=12141 vsize=1793176 CPUtime=15.44 /proc/12143/task/12147/stat : 12147 (java) S 12141 12143 11150 0 -1 64 74363 0 0 0 1498 46 0 0 16 0 13 0 107108628 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12148] ppid=12141 vsize=1793176 CPUtime=0.33 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 221 0 0 0 15 18 0 0 16 0 13 0 107108637 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12150] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12150/stat : 12150 (java) S 12141 12143 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12151] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12151/stat : 12151 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 107108641 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12152] ppid=12141 vsize=1793176 CPUtime=1.03 /proc/12143/task/12152/stat : 12152 (java) S 12141 12143 11150 0 -1 64 3845 0 0 0 101 2 0 0 16 0 13 0 107108641 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12153] ppid=12141 vsize=1793176 CPUtime=1.4 /proc/12143/task/12153/stat : 12153 (java) S 12141 12143 11150 0 -1 64 5417 0 0 0 138 2 0 0 16 0 13 0 107108642 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12154] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12154/stat : 12154 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 107108642 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12155] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12155/stat : 12155 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 107108642 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12156] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12156/stat : 12156 (java) S 12141 12143 11150 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 107109027 1836212224 136317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 1793176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12156 /proc/meminfo: memFree=1145416/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=1793176 CPUtime=1800.07 /proc/12143/stat : 12143 (java) S 12141 12143 11150 0 -1 0 248256 0 1 0 179843 164 0 0 18 0 13 0 107108625 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12143/statm: 448294 136373 1333 9 0 445906 0 [pid=12143/tid=12145] ppid=12141 vsize=1793176 CPUtime=1766.62 /proc/12143/task/12145/stat : 12145 (java) R 12141 12143 11150 0 -1 64 97315 0 1 0 176616 46 0 0 21 0 13 0 107108627 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109966817 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12146] ppid=12141 vsize=1793176 CPUtime=15.15 /proc/12143/task/12146/stat : 12146 (java) S 12141 12143 11150 0 -1 64 66371 0 0 0 1468 47 0 0 16 0 13 0 107108628 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12147] ppid=12141 vsize=1793176 CPUtime=15.46 /proc/12143/task/12147/stat : 12147 (java) S 12141 12143 11150 0 -1 64 74363 0 0 0 1500 46 0 0 16 0 13 0 107108628 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12148] ppid=12141 vsize=1793176 CPUtime=0.33 /proc/12143/task/12148/stat : 12148 (java) S 12141 12143 11150 0 -1 64 221 0 0 0 15 18 0 0 16 0 13 0 107108637 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12149] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12149/stat : 12149 (java) S 12141 12143 11150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12150] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12150/stat : 12150 (java) S 12141 12143 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107108638 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12143/tid=12151] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12151/stat : 12151 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 107108641 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12152] ppid=12141 vsize=1793176 CPUtime=1.03 /proc/12143/task/12152/stat : 12152 (java) S 12141 12143 11150 0 -1 64 3845 0 0 0 101 2 0 0 16 0 13 0 107108641 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12153] ppid=12141 vsize=1793176 CPUtime=1.4 /proc/12143/task/12153/stat : 12153 (java) S 12141 12143 11150 0 -1 64 5417 0 0 0 138 2 0 0 16 0 13 0 107108642 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12154] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12154/stat : 12154 (java) S 12141 12143 11150 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 107108642 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12155] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12155/stat : 12155 (java) S 12141 12143 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 107108642 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12143/tid=12156] ppid=12141 vsize=1793176 CPUtime=0 /proc/12143/task/12156/stat : 12156 (java) S 12141 12143 11150 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 107109027 1836212224 136373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1793176 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1784.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12156 /proc/meminfo: memFree=1145416/2055920 swapFree=4184012/4192956 [pid=12143] ppid=12141 vsize=0 CPUtime=1800.18 /proc/12143/stat : 12143 (java) Z 12141 12143 11150 0 -1 1036 248276 0 1 0 179847 171 0 0 16 0 2 0 107108625 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12143/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1784.93 CPU time (s): 1800.21 CPU user time (s): 1798.48 CPU system time (s): 1.73474 CPU usage (%): 100.856 Max. virtual memory (cumulated for all children) (KiB): 1793808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.48 system time used= 1.73474 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 248276 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= 46754 involuntary context switches= 31139 runsolver used 2.38264 second user time and 5.59815 second system time The end
Begin job on node73 on Sat Apr 14 23:05:38 UTC 2007 IDJOB= 348679 IDBENCH= 1711 IDSOLVER= 159 FILE ID= node73/348679-1176591937 PBS_JOBID= 4556965 Free space on /tmp= 66558 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/348679-1176591937/sat4jPseudoResolution.jar /tmp/evaluation/348679-1176591937/instance-348679-1176591937.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-348679-1176591937 -o ROOT/results/node73/solver-348679-1176591937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/348679-1176591937/sat4jPseudoResolution.jar /tmp/evaluation/348679-1176591937/instance-348679-1176591937.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 06abf2507bf67e08d71dcaed3569abdd RANDOM SEED= 635955231 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node73.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.214 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.214 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: 1688392 kB Buffers: 28300 kB Cached: 225680 kB SwapCached: 2720 kB Active: 91444 kB Inactive: 187488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1688392 kB SwapTotal: 4192956 kB SwapFree: 4184012 kB Dirty: 6552 kB Writeback: 0 kB Mapped: 16300 kB Slab: 74668 kB Committed_AS: 867400 kB PageTables: 1412 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= 66558 MiB End job on node73 on Sat Apr 14 23:35:24 UTC 2007