Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sat4jPseudoCP 2007-03-23 | ? (TO) | 1800.14 | 1784.34 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ sabharwal/sat-strips-gripper-12t23.sat05-1144.reshuffled-07.opb |
MD5SUM | db19a6eaaa50350c64e3ab2bdda81ef3 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 60.3718 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 4940 |
Total number of constraints | 93221 |
Number of constraints which are clauses | 93221 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 19 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 45 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.17 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.17 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.18 c no version file found!!! 0.09/0.18 c sun.arch.data.model 32 0.09/0.18 c java.version 1.6.0 0.09/0.18 c os.name Linux 0.09/0.18 c os.version 2.6.9-22.EL.rootsmp 0.09/0.18 c os.arch i386 0.09/0.18 c Free memory 1651659224 0.09/0.18 c Max memory 1654456320 0.09/0.18 c Total memory 1654456320 0.09/0.18 c Number of processors 2 0.17/0.23 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.17/0.23 --- Begin Solver configuration --- 0.17/0.23 c Stops conflict analysis at the first Unique Implication Point 0.17/0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.17/0.23 c Learn all clauses as in MiniSAT 0.17/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.17/0.23 c VSIDS like heuristics from MiniSAT using a heap 0.17/0.23 c No reason simplification 0.17/0.23 c --- End Solver configuration --- 0.17/0.23 c solving /tmp/evaluation/420381-1177423039/instance-420381-1177423039.opb 0.17/0.23 c reading problem ... 3.14/2.64 c ... done. Wall clock time 2.412s. 3.14/2.64 c CPU time (experimental) 2.1s. 3.14/2.64 c #vars 4940 3.14/2.64 c #constraints 93071 1800.01/1784.22 c starts : 2 1800.01/1784.22 c conflicts : 192728 1800.01/1784.22 c decisions : 297466 1800.01/1784.22 c propagations : 52847747 1800.01/1784.22 c inspects : 949641731 1800.01/1784.22 c learnt literals : 0 1800.01/1784.22 c learnt binary clauses : 742 1800.01/1784.22 c learnt ternary clauses : 883 1800.01/1784.22 c learnt clauses : 192728 1800.01/1784.22 c root simplifications : 0 1800.01/1784.22 c removed literals (reason simplification) : 0 1800.01/1784.22 c reason swapping (by a shorter reason) : 0 1800.01/1784.22 c Calls to reduceDB : 0 1800.01/1784.22 c speed (decisions/second) : 166.9692101650125 1800.01/1784.22 c non guided choices 33 1800.01/1784.22 s UNKNOWN 1800.01/1784.22 c Total wall clock time (ms): 1783.986
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-420381-1177423039 -o ROOT/results/node68/solver-420381-1177423039 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/420381-1177423039/sat4jPseudoCP.jar /tmp/evaluation/420381-1177423039/instance-420381-1177423039.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/64 9740 /proc/meminfo: memFree=1768880/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=152 CPUtime=0 /proc/9740/stat : 9740 (java) R 9738 9740 8214 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 218293420 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10515236 0 0 4096 0 0 0 0 17 1 0 0 /proc/9740/statm: 38 26 19 9 0 4 0 [startup+0.037649 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9740 /proc/meminfo: memFree=1768880/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1776088 CPUtime=0.02 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 3189 0 1 0 1 1 0 0 18 0 4 0 218293420 1818714112 2938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 444022 2938 887 9 0 441658 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1776088 [startup+0.102656 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9740 /proc/meminfo: memFree=1768880/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1780108 CPUtime=0.09 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 3981 0 1 0 6 3 0 0 18 0 12 0 218293420 1822830592 3724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 445027 3724 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.301672 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9740 /proc/meminfo: memFree=1768880/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1781436 CPUtime=0.28 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 5095 0 1 0 24 4 0 0 18 0 12 0 218293420 1824190464 4835 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 445359 4835 1263 9 0 442971 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1781436 [startup+0.70171 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9740 /proc/meminfo: memFree=1768880/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1782420 CPUtime=0.83 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 6697 0 1 0 78 5 0 0 18 0 12 0 218293420 1825198080 6202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 445605 6202 1298 9 0 443217 0 Current children cumulated CPU time (s) 0.83 Current children cumulated vsize (KiB) 1782420 [startup+1.50278 s] /proc/loadavg: 0.92 0.98 0.99 3/76 9752 /proc/meminfo: memFree=1742288/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1785228 CPUtime=1.98 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 17441 0 1 0 188 10 0 0 18 0 12 0 218293420 1828073472 15876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 446307 15877 1301 9 0 443919 0 [pid=9740/tid=9742] ppid=9738 vsize=1785228 CPUtime=1.02 /proc/9740/task/9742/stat : 9742 (java) R 9738 9740 8214 0 -1 64 13957 0 1 0 94 8 0 0 19 0 12 0 218293421 1828073472 15878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109567829 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9743] ppid=9738 vsize=1785228 CPUtime=0 /proc/9740/task/9743/stat : 9743 (java) S 9738 9740 8214 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 218293422 1828073472 15879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9744] ppid=9738 vsize=1785228 CPUtime=0 /proc/9740/task/9744/stat : 9744 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 218293422 1828073472 15880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9745] ppid=9738 vsize=1785228 CPUtime=0 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 218293425 1828073472 15881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1785228 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 218293425 1828073472 15882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9747] ppid=9738 vsize=1785228 CPUtime=0 /proc/9740/task/9747/stat : 9747 (java) S 9738 9740 8214 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 218293425 1828073472 15883 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9748] ppid=9738 vsize=1785228 CPUtime=0 /proc/9740/task/9748/stat : 9748 (java) S 9738 9740 8214 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 218293429 1828073472 15884 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9749] ppid=9738 vsize=1785228 CPUtime=0.46 /proc/9740/task/9749/stat : 9749 (java) S 9738 9740 8214 0 -1 64 1348 0 0 0 46 0 0 0 16 0 12 0 218293429 1828073472 15885 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9750] ppid=9738 vsize=1785228 CPUtime=0.47 /proc/9740/task/9750/stat : 9750 (java) S 9738 9740 8214 0 -1 64 1419 0 0 0 47 0 0 0 16 0 12 0 218293429 1828073472 15886 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9751] ppid=9738 vsize=1785228 CPUtime=0 /proc/9740/task/9751/stat : 9751 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 218293429 1828073472 15887 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9752] ppid=9738 vsize=1785228 CPUtime=0 /proc/9740/task/9752/stat : 9752 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 218293429 1828073472 15888 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 1785228 [startup+3.10193 s] /proc/loadavg: 0.92 0.98 0.99 2/76 9752 /proc/meminfo: memFree=1645840/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1786028 CPUtime=3.94 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 43533 0 1 0 371 23 0 0 18 0 13 0 218293420 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 446507 41449 1321 9 0 444119 0 [pid=9740/tid=9742] ppid=9738 vsize=1786028 CPUtime=2.34 /proc/9740/task/9742/stat : 9742 (java) R 9738 9740 8214 0 -1 64 37709 0 1 0 214 20 0 0 18 0 13 0 218293421 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9743] ppid=9738 vsize=1786028 CPUtime=0.05 /proc/9740/task/9743/stat : 9743 (java) S 9738 9740 8214 0 -1 64 834 0 0 0 5 0 0 0 16 0 13 0 218293422 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9744] ppid=9738 vsize=1786028 CPUtime=0.05 /proc/9740/task/9744/stat : 9744 (java) S 9738 9740 8214 0 -1 64 936 0 0 0 5 0 0 0 17 0 13 0 218293422 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9745] ppid=9738 vsize=1786028 CPUtime=0 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 218293425 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1786028 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 218293425 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9747] ppid=9738 vsize=1786028 CPUtime=0 /proc/9740/task/9747/stat : 9747 (java) S 9738 9740 8214 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 218293425 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9748] ppid=9738 vsize=1786028 CPUtime=0 /proc/9740/task/9748/stat : 9748 (java) S 9738 9740 8214 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 218293429 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9749] ppid=9738 vsize=1786028 CPUtime=0.75 /proc/9740/task/9749/stat : 9749 (java) R 9738 9740 8214 0 -1 64 1798 0 0 0 74 1 0 0 17 0 13 0 218293429 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104724326 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9750] ppid=9738 vsize=1786028 CPUtime=0.7 /proc/9740/task/9750/stat : 9750 (java) R 9738 9740 8214 0 -1 64 1528 0 0 0 70 0 0 0 16 0 13 0 218293429 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102673049 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9751] ppid=9738 vsize=1786028 CPUtime=0 /proc/9740/task/9751/stat : 9751 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 218293429 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9752] ppid=9738 vsize=1786028 CPUtime=0 /proc/9740/task/9752/stat : 9752 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 218293429 1828892672 41449 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 1786028 [startup+6.30221 s] /proc/loadavg: 1.09 1.02 1.01 2/77 9753 /proc/meminfo: memFree=1593224/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1791948 CPUtime=7.88 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 48577 0 1 0 762 26 0 0 18 0 13 0 218293420 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 447987 45104 1325 9 0 445599 0 [pid=9740/tid=9742] ppid=9738 vsize=1791948 CPUtime=5.34 /proc/9740/task/9742/stat : 9742 (java) R 9738 9740 8214 0 -1 64 37717 0 1 0 513 21 0 0 17 0 13 0 218293421 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109802083 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9743] ppid=9738 vsize=1791948 CPUtime=0.17 /proc/9740/task/9743/stat : 9743 (java) S 9738 9740 8214 0 -1 64 1947 0 0 0 17 0 0 0 16 0 13 0 218293422 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9744] ppid=9738 vsize=1791948 CPUtime=0.18 /proc/9740/task/9744/stat : 9744 (java) S 9738 9740 8214 0 -1 64 2251 0 0 0 17 1 0 0 16 0 13 0 218293422 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9745] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9747] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9747/stat : 9747 (java) S 9738 9740 8214 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9748] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9748/stat : 9748 (java) S 9738 9740 8214 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 218293429 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9749] ppid=9738 vsize=1791948 CPUtime=1.01 /proc/9740/task/9749/stat : 9749 (java) S 9738 9740 8214 0 -1 64 2101 0 0 0 100 1 0 0 16 0 13 0 218293429 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9750] ppid=9738 vsize=1791948 CPUtime=1.14 /proc/9740/task/9750/stat : 9750 (java) S 9738 9740 8214 0 -1 64 3824 0 0 0 113 1 0 0 15 0 13 0 218293429 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9751] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9751/stat : 9751 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 218293429 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9752] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9752/stat : 9752 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 218293429 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9753] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9753/stat : 9753 (java) S 9738 9740 8214 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 218293686 1834954752 45104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.88 Current children cumulated vsize (KiB) 1791948 [startup+12.7018 s] /proc/loadavg: 1.08 1.02 1.00 2/77 9753 /proc/meminfo: memFree=1575832/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1791948 CPUtime=14.46 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 55166 0 1 0 1417 29 0 0 18 0 13 0 218293420 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 447987 49331 1332 9 0 445599 0 [pid=9740/tid=9742] ppid=9738 vsize=1791948 CPUtime=11.56 /proc/9740/task/9742/stat : 9742 (java) R 9738 9740 8214 0 -1 64 39093 0 1 0 1135 21 0 0 25 0 13 0 218293421 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109797377 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9743] ppid=9738 vsize=1791948 CPUtime=0.32 /proc/9740/task/9743/stat : 9743 (java) S 9738 9740 8214 0 -1 64 4527 0 0 0 31 1 0 0 16 0 13 0 218293422 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9744] ppid=9738 vsize=1791948 CPUtime=0.32 /proc/9740/task/9744/stat : 9744 (java) S 9738 9740 8214 0 -1 64 4860 0 0 0 30 2 0 0 16 0 13 0 218293422 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9745] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9747] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9747/stat : 9747 (java) S 9738 9740 8214 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9748] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9748/stat : 9748 (java) S 9738 9740 8214 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 218293429 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9749] ppid=9738 vsize=1791948 CPUtime=1.02 /proc/9740/task/9749/stat : 9749 (java) S 9738 9740 8214 0 -1 64 2101 0 0 0 101 1 0 0 16 0 13 0 218293429 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9750] ppid=9738 vsize=1791948 CPUtime=1.19 /proc/9740/task/9750/stat : 9750 (java) S 9738 9740 8214 0 -1 64 3831 0 0 0 118 1 0 0 17 0 13 0 218293429 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9751] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9751/stat : 9751 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 218293429 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9752] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9752/stat : 9752 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 218293429 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9753] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9753/stat : 9753 (java) S 9738 9740 8214 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 218293686 1834954752 49331 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.46 Current children cumulated vsize (KiB) 1791948 [startup+25.503 s] /proc/loadavg: 1.06 1.01 1.00 2/77 9753 /proc/meminfo: memFree=1603096/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1791948 CPUtime=27.31 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 55950 0 1 0 2701 30 0 0 18 0 13 0 218293420 1834954752 42491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 447987 42491 1333 9 0 445599 0 [pid=9740/tid=9742] ppid=9738 vsize=1791948 CPUtime=24.31 /proc/9740/task/9742/stat : 9742 (java) R 9738 9740 8214 0 -1 64 39108 0 1 0 2410 21 0 0 25 0 13 0 218293421 1834954752 42491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109797682 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9743] ppid=9738 vsize=1791948 CPUtime=0.35 /proc/9740/task/9743/stat : 9743 (java) S 9738 9740 8214 0 -1 64 5010 0 0 0 34 1 0 0 16 0 13 0 218293422 1834954752 42491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9744] ppid=9738 vsize=1791948 CPUtime=0.35 /proc/9740/task/9744/stat : 9744 (java) S 9738 9740 8214 0 -1 64 5145 0 0 0 33 2 0 0 17 0 13 0 218293422 1834954752 42491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9745] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 33 0 0 0 0 0 0 0 17 0 13 0 218293425 1834954752 42491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 42491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=9740/tid=9745] ppid=9738 vsize=1791948 CPUtime=0.67 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 219 0 0 0 40 27 0 0 16 0 13 0 218293425 1834954752 88375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 88375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9747] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9747/stat : 9747 (java) S 9738 9740 8214 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 88375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9748] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9748/stat : 9748 (java) S 9738 9740 8214 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 218293429 1834954752 88375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9749] ppid=9738 vsize=1791948 CPUtime=1.04 /proc/9740/task/9749/stat : 9749 (java) S 9738 9740 8214 0 -1 64 2102 0 0 0 103 1 0 0 17 0 13 0 218293429 1834954752 88375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9750] ppid=9738 vsize=1791948 CPUtime=1.21 /proc/9740/task/9750/stat : 9750 (java) S 9738 9740 8214 0 -1 64 3831 0 0 0 120 1 0 0 16 0 13 0 218293429 1834954752 88375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9751] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9751/stat : 9751 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 218293429 1834954752 88375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9752] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9752/stat : 9752 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 218293429 1834954752 88375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9753] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9753/stat : 9753 (java) S 9738 9740 8214 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 218293686 1834954752 88375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1616.57 Current children cumulated vsize (KiB) 1791948 [startup+1662.3 s] /proc/loadavg: 1.03 1.03 1.00 2/77 9951 /proc/meminfo: memFree=1401112/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1791948 CPUtime=1677.05 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 151265 0 1 0 167558 147 0 0 18 0 13 0 218293420 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 447987 92825 1333 9 0 445599 0 [pid=9740/tid=9742] ppid=9738 vsize=1791948 CPUtime=1645.26 /proc/9740/task/9742/stat : 9742 (java) R 9738 9740 8214 0 -1 64 82174 0 1 0 164469 57 0 0 25 0 13 0 218293421 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109853170 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9743] ppid=9738 vsize=1791948 CPUtime=14.42 /proc/9740/task/9743/stat : 9743 (java) S 9738 9740 8214 0 -1 64 31599 0 0 0 1414 28 0 0 16 0 13 0 218293422 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9744] ppid=9738 vsize=1791948 CPUtime=14.36 /proc/9740/task/9744/stat : 9744 (java) S 9738 9740 8214 0 -1 64 30616 0 0 0 1408 28 0 0 16 0 13 0 218293422 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9745] ppid=9738 vsize=1791948 CPUtime=0.69 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 222 0 0 0 41 28 0 0 16 0 13 0 218293425 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9747] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9747/stat : 9747 (java) S 9738 9740 8214 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9748] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9748/stat : 9748 (java) S 9738 9740 8214 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 218293429 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9749] ppid=9738 vsize=1791948 CPUtime=1.04 /proc/9740/task/9749/stat : 9749 (java) S 9738 9740 8214 0 -1 64 2102 0 0 0 103 1 0 0 17 0 13 0 218293429 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9750] ppid=9738 vsize=1791948 CPUtime=1.21 /proc/9740/task/9750/stat : 9750 (java) S 9738 9740 8214 0 -1 64 3831 0 0 0 120 1 0 0 16 0 13 0 218293429 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9751] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9751/stat : 9751 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 218293429 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9752] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9752/stat : 9752 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 218293429 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9753] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9753/stat : 9753 (java) S 9738 9740 8214 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 218293686 1834954752 92825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1677.05 Current children cumulated vsize (KiB) 1791948 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 1.00 2/77 9951 /proc/meminfo: memFree=1393048/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1791948 CPUtime=1737.59 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 154321 0 1 0 173610 149 0 0 18 0 13 0 218293420 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 447987 94813 1333 9 0 445599 0 [pid=9740/tid=9742] ppid=9738 vsize=1791948 CPUtime=1704.65 /proc/9740/task/9742/stat : 9742 (java) R 9738 9740 8214 0 -1 64 83792 0 1 0 170407 58 0 0 25 0 13 0 218293421 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109853500 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9743] ppid=9738 vsize=1791948 CPUtime=14.98 /proc/9740/task/9743/stat : 9743 (java) S 9738 9740 8214 0 -1 64 32066 0 0 0 1470 28 0 0 16 0 13 0 218293422 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9744] ppid=9738 vsize=1791948 CPUtime=14.93 /proc/9740/task/9744/stat : 9744 (java) S 9738 9740 8214 0 -1 64 31584 0 0 0 1464 29 0 0 16 0 13 0 218293422 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9745] ppid=9738 vsize=1791948 CPUtime=0.71 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 225 0 0 0 42 29 0 0 16 0 13 0 218293425 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9747] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9747/stat : 9747 (java) S 9738 9740 8214 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9748] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9748/stat : 9748 (java) S 9738 9740 8214 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 218293429 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9749] ppid=9738 vsize=1791948 CPUtime=1.04 /proc/9740/task/9749/stat : 9749 (java) S 9738 9740 8214 0 -1 64 2102 0 0 0 103 1 0 0 17 0 13 0 218293429 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9750] ppid=9738 vsize=1791948 CPUtime=1.21 /proc/9740/task/9750/stat : 9750 (java) S 9738 9740 8214 0 -1 64 3831 0 0 0 120 1 0 0 16 0 13 0 218293429 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9751] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9751/stat : 9751 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 218293429 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9752] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9752/stat : 9752 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 218293429 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9753] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9753/stat : 9753 (java) S 9738 9740 8214 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 218293686 1834954752 94813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1737.59 Current children cumulated vsize (KiB) 1791948 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/77 9951 /proc/meminfo: memFree=1390232/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1791948 CPUtime=1798.09 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 155972 0 1 0 179658 151 0 0 18 0 13 0 218293420 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 447987 95493 1333 9 0 445599 0 [pid=9740/tid=9742] ppid=9738 vsize=1791948 CPUtime=1764.04 /proc/9740/task/9742/stat : 9742 (java) R 9738 9740 8214 0 -1 64 83853 0 1 0 176346 58 0 0 25 0 13 0 218293421 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109829334 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9743] ppid=9738 vsize=1791948 CPUtime=15.53 /proc/9740/task/9743/stat : 9743 (java) S 9738 9740 8214 0 -1 64 32551 0 0 0 1524 29 0 0 16 0 13 0 218293422 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9744] ppid=9738 vsize=1791948 CPUtime=15.48 /proc/9740/task/9744/stat : 9744 (java) S 9738 9740 8214 0 -1 64 32689 0 0 0 1518 30 0 0 16 0 13 0 218293422 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9745] ppid=9738 vsize=1791948 CPUtime=0.72 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 225 0 0 0 43 29 0 0 16 0 13 0 218293425 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9747] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9747/stat : 9747 (java) S 9738 9740 8214 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9748] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9748/stat : 9748 (java) S 9738 9740 8214 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 218293429 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9749] ppid=9738 vsize=1791948 CPUtime=1.04 /proc/9740/task/9749/stat : 9749 (java) S 9738 9740 8214 0 -1 64 2102 0 0 0 103 1 0 0 17 0 13 0 218293429 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9750] ppid=9738 vsize=1791948 CPUtime=1.21 /proc/9740/task/9750/stat : 9750 (java) S 9738 9740 8214 0 -1 64 3831 0 0 0 120 1 0 0 16 0 13 0 218293429 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9751] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9751/stat : 9751 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 218293429 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9752] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9752/stat : 9752 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 218293429 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9753] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9753/stat : 9753 (java) S 9738 9740 8214 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 218293686 1834954752 95493 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.09 Current children cumulated vsize (KiB) 1791948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.21 s] /proc/loadavg: 1.00 1.02 1.00 2/77 9951 /proc/meminfo: memFree=1390232/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=1791948 CPUtime=1800.01 /proc/9740/stat : 9740 (java) S 9738 9740 8214 0 -1 0 156004 0 1 0 179850 151 0 0 18 0 13 0 218293420 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 447987 95522 1333 9 0 445599 0 [pid=9740/tid=9742] ppid=9738 vsize=1791948 CPUtime=1765.92 /proc/9740/task/9742/stat : 9742 (java) R 9738 9740 8214 0 -1 64 83855 0 1 0 176534 58 0 0 24 0 13 0 218293421 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109828977 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9743] ppid=9738 vsize=1791948 CPUtime=15.55 /proc/9740/task/9743/stat : 9743 (java) S 9738 9740 8214 0 -1 64 32568 0 0 0 1526 29 0 0 16 0 13 0 218293422 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9744] ppid=9738 vsize=1791948 CPUtime=15.5 /proc/9740/task/9744/stat : 9744 (java) S 9738 9740 8214 0 -1 64 32702 0 0 0 1520 30 0 0 16 0 13 0 218293422 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9745] ppid=9738 vsize=1791948 CPUtime=0.72 /proc/9740/task/9745/stat : 9745 (java) S 9738 9740 8214 0 -1 64 225 0 0 0 43 29 0 0 16 0 13 0 218293425 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9746] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9746/stat : 9746 (java) S 9738 9740 8214 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9747] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9747/stat : 9747 (java) S 9738 9740 8214 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 218293425 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9748] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9748/stat : 9748 (java) S 9738 9740 8214 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 218293429 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9749] ppid=9738 vsize=1791948 CPUtime=1.04 /proc/9740/task/9749/stat : 9749 (java) S 9738 9740 8214 0 -1 64 2102 0 0 0 103 1 0 0 17 0 13 0 218293429 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9750] ppid=9738 vsize=1791948 CPUtime=1.21 /proc/9740/task/9750/stat : 9750 (java) S 9738 9740 8214 0 -1 64 3831 0 0 0 120 1 0 0 16 0 13 0 218293429 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9740/tid=9751] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9751/stat : 9751 (java) S 9738 9740 8214 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 218293429 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9752] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9752/stat : 9752 (java) S 9738 9740 8214 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 218293429 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9740/tid=9753] ppid=9738 vsize=1791948 CPUtime=0 /proc/9740/task/9753/stat : 9753 (java) S 9738 9740 8214 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 218293686 1834954752 95522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1791948 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1784.31 s] /proc/loadavg: 1.00 1.02 1.00 2/77 9951 /proc/meminfo: memFree=1390232/2055920 swapFree=4183916/4192956 [pid=9740] ppid=9738 vsize=0 CPUtime=1800.11 /proc/9740/stat : 9740 (java) Z 9738 9740 8214 0 -1 1036 156025 0 1 0 179856 155 0 0 15 0 2 0 218293420 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9740/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1784.34 CPU time (s): 1800.14 CPU user time (s): 1798.57 CPU system time (s): 1.57476 CPU usage (%): 100.886 Max. virtual memory (cumulated for all children) (KiB): 1792720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.57 system time used= 1.57476 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156025 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= 66365 involuntary context switches= 34745 runsolver used 1.77673 second user time and 4.82527 second system time The end
Begin job on node68 on Tue Apr 24 13:57:19 UTC 2007 IDJOB= 420381 IDBENCH= 47841 IDSOLVER= 160 FILE ID= node68/420381-1177423039 PBS_JOBID= 4675643 Free space on /tmp= 66439 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/sabharwal/sat-strips-gripper-12t23.sat05-1144.reshuffled-07.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/420381-1177423039/sat4jPseudoCP.jar /tmp/evaluation/420381-1177423039/instance-420381-1177423039.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-420381-1177423039 -o ROOT/results/node68/solver-420381-1177423039 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/420381-1177423039/sat4jPseudoCP.jar /tmp/evaluation/420381-1177423039/instance-420381-1177423039.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= db19a6eaaa50350c64e3ab2bdda81ef3 RANDOM SEED= 1980605 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1769352 kB Buffers: 29648 kB Cached: 187160 kB SwapCached: 3172 kB Active: 75276 kB Inactive: 154740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1769352 kB SwapTotal: 4192956 kB SwapFree: 4183916 kB Dirty: 5868 kB Writeback: 0 kB Mapped: 19096 kB Slab: 42556 kB Committed_AS: 2873652 kB PageTables: 1388 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= 66439 MiB End job on node68 on Tue Apr 24 14:27:05 UTC 2007