Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | ? (TO) | 1800.18 | 1778.31 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-gesa2.opb |
MD5SUM | d54c9cafd39211d62b9a499b6053d79b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6757511815433 |
Optimality of the best value was proved | NO |
Number of variables | 19344 |
Total number of constraints | 1824 |
Number of constraints which are clauses | 48 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1776 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 13488 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 180205740755072640 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 418848431931392 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 180205740755072640 |
Number of bits of the biggest sum of numbers | 58 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.9-22.EL.rootsmp 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1651659224 0.08/0.14 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c Simplify asserted PB constraints to clauses 0.20/0.20 c solving /tmp/evaluation/354361-1176706633/instance-354361-1176706633.opb 0.20/0.20 c reading problem ... 2.55/1.74 c ... done. Wall clock time 1.543s. 2.55/1.74 c CPU time (experimental) 1.05s. 2.55/1.74 c #vars 19344 2.55/1.74 c #constraints 1872 1800.07/1778.21 c starts : 2 1800.07/1778.21 c conflicts : 42270 1800.07/1778.21 c decisions : 100653 1800.07/1778.21 c propagations : 374675 1800.07/1778.21 c inspects : 343394475 1800.07/1778.21 c learnt literals : 0 1800.07/1778.21 c learnt binary clauses : 0 1800.07/1778.21 c learnt ternary clauses : 0 1800.07/1778.21 c learnt clauses : 42270 1800.07/1778.21 c root simplifications : 0 1800.07/1778.21 c removed literals (reason simplification) : 0 1800.07/1778.21 c reason swapping (by a shorter reason) : 0 1800.07/1778.21 c Calls to reduceDB : 0 1800.07/1778.21 c speed (decisions/second) : 56.669072614198996 1800.07/1778.21 c non guided choices 0 1800.07/1778.21 s UNKNOWN 1800.07/1778.21 c Total wall clock time (ms): 1778.01
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-354361-1176706633 -o ROOT/results/node63/solver-354361-1176706633 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354361-1176706633/sat4jPseudoCPClause.jar /tmp/evaluation/354361-1176706633/instance-354361-1176706633.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.77 0.93 0.98 2/64 10604 /proc/meminfo: memFree=1845172/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=48 CPUtime=0 /proc/10604/stat : 10604 (java) R 10602 10604 10496 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 146653243 49152 2 18446744073709551615 0 0 4294956994 18446744073709551615 247254805799 0 0 4096 0 0 0 0 17 1 0 0 /proc/10604/statm: 35 6 3 9 0 1 0 [startup+0.0383591 s] /proc/loadavg: 0.77 0.93 0.98 2/64 10604 /proc/meminfo: memFree=1845172/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1776088 CPUtime=0.02 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 3183 0 1 0 1 1 0 0 18 0 4 0 146653243 1818714112 2930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 444022 2930 887 9 0 441658 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1776088 [startup+0.101365 s] /proc/loadavg: 0.77 0.93 0.98 2/64 10604 /proc/meminfo: memFree=1845172/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1780112 CPUtime=0.08 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 3973 0 1 0 6 2 0 0 18 0 12 0 146653243 1822834688 3714 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 445028 3714 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780112 [startup+0.301385 s] /proc/loadavg: 0.77 0.93 0.98 2/64 10604 /proc/meminfo: memFree=1845172/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1782624 CPUtime=0.34 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 5262 0 1 0 31 3 0 0 18 0 12 0 146653243 1825406976 4991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 445656 4991 1267 9 0 443267 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782624 [startup+0.701423 s] /proc/loadavg: 0.77 0.93 0.98 2/64 10604 /proc/meminfo: memFree=1845172/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1783500 CPUtime=0.9 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 7975 0 1 0 87 3 0 0 18 0 12 0 146653243 1826304000 7469 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 445875 7469 1298 9 0 443486 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 1783500 [startup+1.50252 s] /proc/loadavg: 0.77 0.93 0.98 4/76 10616 /proc/meminfo: memFree=1808340/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1794032 CPUtime=2.34 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 20173 0 1 0 226 8 0 0 18 0 12 0 146653243 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 448508 15101 1311 9 0 446119 0 [pid=10604/tid=10606] ppid=10602 vsize=1794032 CPUtime=0.81 /proc/10604/task/10606/stat : 10606 (java) R 10602 10604 10496 0 -1 64 11081 0 1 0 77 4 0 0 18 0 12 0 146653245 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109661174 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10607] ppid=10602 vsize=1794032 CPUtime=0 /proc/10604/task/10607/stat : 10607 (java) S 10602 10604 10496 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 146653246 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10608] ppid=10602 vsize=1794032 CPUtime=0 /proc/10604/task/10608/stat : 10608 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 146653246 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10609] ppid=10602 vsize=1794032 CPUtime=0 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 146653248 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1794032 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 146653249 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10611] ppid=10602 vsize=1794032 CPUtime=0 /proc/10604/task/10611/stat : 10611 (java) S 10602 10604 10496 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 146653249 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10612] ppid=10602 vsize=1794032 CPUtime=0 /proc/10604/task/10612/stat : 10612 (java) S 10602 10604 10496 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 146653253 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10613] ppid=10602 vsize=1794032 CPUtime=0.77 /proc/10604/task/10613/stat : 10613 (java) S 10602 10604 10496 0 -1 64 4144 0 0 0 76 1 0 0 16 0 12 0 146653253 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10614] ppid=10602 vsize=1794032 CPUtime=0.73 /proc/10604/task/10614/stat : 10614 (java) S 10602 10604 10496 0 -1 64 4227 0 0 0 72 1 0 0 16 0 12 0 146653253 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10615] ppid=10602 vsize=1794032 CPUtime=0 /proc/10604/task/10615/stat : 10615 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 146653253 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10616] ppid=10602 vsize=1794032 CPUtime=0 /proc/10604/task/10616/stat : 10616 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 146653253 1837088768 15101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 1794032 [startup+3.10268 s] /proc/loadavg: 0.87 0.95 0.98 4/76 10616 /proc/meminfo: memFree=1759828/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1794704 CPUtime=4.91 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 41945 0 1 0 473 18 0 0 18 0 13 0 146653243 1837776896 34361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 448676 34362 1324 9 0 446287 0 [pid=10604/tid=10606] ppid=10602 vsize=1794704 CPUtime=1.88 /proc/10604/task/10606/stat : 10606 (java) R 10602 10604 10496 0 -1 64 30124 0 1 0 175 13 0 0 23 0 13 0 146653245 1837776896 34363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109830868 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10607] ppid=10602 vsize=1794704 CPUtime=0 /proc/10604/task/10607/stat : 10607 (java) S 10602 10604 10496 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 146653246 1837776896 34365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10608] ppid=10602 vsize=1794704 CPUtime=0 /proc/10604/task/10608/stat : 10608 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 146653246 1837776896 34368 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10609] ppid=10602 vsize=1794704 CPUtime=0 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 146653248 1837776896 34369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1794704 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 146653249 1837776896 34370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10611] ppid=10602 vsize=1794704 CPUtime=0 /proc/10604/task/10611/stat : 10611 (java) S 10602 10604 10496 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 146653249 1837776896 34371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10612] ppid=10602 vsize=1794704 CPUtime=0 /proc/10604/task/10612/stat : 10612 (java) S 10602 10604 10496 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 146653253 1837776896 34372 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10613] ppid=10602 vsize=1794704 CPUtime=1.45 /proc/10604/task/10613/stat : 10613 (java) S 10602 10604 10496 0 -1 64 5177 0 0 0 143 2 0 0 16 0 13 0 146653253 1837776896 34373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10614] ppid=10602 vsize=1794704 CPUtime=1.55 /proc/10604/task/10614/stat : 10614 (java) S 10602 10604 10496 0 -1 64 5921 0 0 0 153 2 0 0 16 0 13 0 146653253 1837776896 34374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10615] ppid=10602 vsize=1794704 CPUtime=0 /proc/10604/task/10615/stat : 10615 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 146653253 1837776896 34376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10616] ppid=10602 vsize=1794704 CPUtime=0 /proc/10604/task/10616/stat : 10616 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146653253 1837776896 34378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.91 Current children cumulated vsize (KiB) 1794704 [startup+6.30202 s] /proc/loadavg: 0.87 0.95 0.98 2/77 10617 /proc/meminfo: memFree=1657868/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1797776 CPUtime=9.06 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 57595 0 1 0 881 25 0 0 18 0 13 0 146653243 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 449444 48586 1334 9 0 447055 0 [pid=10604/tid=10606] ppid=10602 vsize=1797776 CPUtime=4.74 /proc/10604/task/10606/stat : 10606 (java) R 10602 10604 10496 0 -1 64 37742 0 1 0 458 16 0 0 25 0 13 0 146653245 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109870536 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10607] ppid=10602 vsize=1797776 CPUtime=0.16 /proc/10604/task/10607/stat : 10607 (java) S 10602 10604 10496 0 -1 64 3230 0 0 0 15 1 0 0 16 0 13 0 146653246 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10608] ppid=10602 vsize=1797776 CPUtime=0.16 /proc/10604/task/10608/stat : 10608 (java) S 10602 10604 10496 0 -1 64 2692 0 0 0 15 1 0 0 16 0 13 0 146653246 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10609] ppid=10602 vsize=1797776 CPUtime=0 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 146653248 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1797776 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 146653249 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10611] ppid=10602 vsize=1797776 CPUtime=0 /proc/10604/task/10611/stat : 10611 (java) S 10602 10604 10496 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146653249 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10612] ppid=10602 vsize=1797776 CPUtime=0 /proc/10604/task/10612/stat : 10612 (java) S 10602 10604 10496 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 146653253 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10613] ppid=10602 vsize=1797776 CPUtime=2.08 /proc/10604/task/10613/stat : 10613 (java) S 10602 10604 10496 0 -1 64 7259 0 0 0 205 3 0 0 16 0 13 0 146653253 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10614] ppid=10602 vsize=1797776 CPUtime=1.87 /proc/10604/task/10614/stat : 10614 (java) S 10602 10604 10496 0 -1 64 5936 0 0 0 185 2 0 0 16 0 13 0 146653253 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10615] ppid=10602 vsize=1797776 CPUtime=0 /proc/10604/task/10615/stat : 10615 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 146653253 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10616] ppid=10602 vsize=1797776 CPUtime=0 /proc/10604/task/10616/stat : 10616 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146653253 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10617] ppid=10602 vsize=1797776 CPUtime=0 /proc/10604/task/10617/stat : 10617 (java) S 10602 10604 10496 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 146653465 1840922624 48586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 9.06 Current children cumulated vsize (KiB) 1797776 [startup+12.7027 s] /proc/loadavg: 0.89 0.95 0.98 2/77 10617 /proc/meminfo: memFree=1628644/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1796656 CPUtime=15.77 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 67520 0 1 0 1547 30 0 0 18 0 13 0 146653243 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 449164 55926 1334 9 0 446775 0 [pid=10604/tid=10606] ppid=10602 vsize=1796656 CPUtime=10.86 /proc/10604/task/10606/stat : 10606 (java) R 10602 10604 10496 0 -1 64 37748 0 1 0 1070 16 0 0 20 0 13 0 146653245 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109880932 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10607] ppid=10602 vsize=1796656 CPUtime=0.43 /proc/10604/task/10607/stat : 10607 (java) S 10602 10604 10496 0 -1 64 8426 0 0 0 40 3 0 0 16 0 13 0 146653246 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10608] ppid=10602 vsize=1796656 CPUtime=0.43 /proc/10604/task/10608/stat : 10608 (java) S 10602 10604 10496 0 -1 64 7403 0 0 0 39 4 0 0 16 0 13 0 146653246 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10609] ppid=10602 vsize=1796656 CPUtime=0 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 26 0 0 0 0 0 0 0 15 0 13 0 146653248 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1796656 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 146653249 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10611] ppid=10602 vsize=1796656 CPUtime=0 /proc/10604/task/10611/stat : 10611 (java) S 10602 10604 10496 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146653249 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10612] ppid=10602 vsize=1796656 CPUtime=0 /proc/10604/task/10612/stat : 10612 (java) S 10602 10604 10496 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 146653253 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10613] ppid=10602 vsize=1796656 CPUtime=2.08 /proc/10604/task/10613/stat : 10613 (java) S 10602 10604 10496 0 -1 64 7259 0 0 0 205 3 0 0 17 0 13 0 146653253 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10614] ppid=10602 vsize=1796656 CPUtime=1.91 /proc/10604/task/10614/stat : 10614 (java) S 10602 10604 10496 0 -1 64 5936 0 0 0 189 2 0 0 16 0 13 0 146653253 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10615] ppid=10602 vsize=1796656 CPUtime=0 /proc/10604/task/10615/stat : 10615 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 146653253 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10616] ppid=10602 vsize=1796656 CPUtime=0 /proc/10604/task/10616/stat : 10616 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146653253 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10617] ppid=10602 vsize=1796656 CPUtime=0 /proc/10604/task/10617/stat : 10617 (java) S 10602 10604 10496 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 146653465 1839775744 55926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.77 Current children cumulated vsize (KiB) 1796656 [startup+25.5021 s] /proc/loadavg: 0.91 0.95 0.98 2/77 10617 /proc/meminfo: memFree=1615012/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1794608 CPUtime=28.71 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 71989 0 1 0 2839 32 0 0 18 0 13 0 146653243 1837678592 59078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 448652 59078 1334 9 0 446263 0 [pid=10604/tid=10606] ppid=10602 vsize=1794608 CPUtime=23.5 /proc/10604/task/10606/stat : 10606 (java) R 10602 10604 10496 0 -1 64 37757 0 1 0 2334 16 0 0 18 0 13 0 146653245 1837678592 59078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109995306 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10607] ppid=10602 vsize=1794608 CPUtime=0.58 /proc/10604/task/10607/stat : 10607 (java) S 10602 10604 10496 0 -1 64 11129 0 0 0 54 4 0 0 16 0 13 0 146653246 1837678592 59078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10608] ppid=10602 vsize=1794608 CPUtime=0.57 /proc/10604/task/10608/stat : 10608 (java) S 10602 10604 10496 0 -1 64 9160 0 0 0 53 4 0 0 16 0 13 0 146653246 1837678592 59078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10609] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 146653248 1837678592 59078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 59078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=10604/tid=10609] ppid=10602 vsize=1794608 CPUtime=0.14 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 218 0 0 0 7 7 0 0 15 0 13 0 146653248 1837678592 122369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 122369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10611] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10611/stat : 10611 (java) S 10602 10604 10496 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 122369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10612] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10612/stat : 10612 (java) S 10602 10604 10496 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 146653253 1837678592 122369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10613] ppid=10602 vsize=1794608 CPUtime=2.13 /proc/10604/task/10613/stat : 10613 (java) S 10602 10604 10496 0 -1 64 7260 0 0 0 210 3 0 0 16 0 13 0 146653253 1837678592 122369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10614] ppid=10602 vsize=1794608 CPUtime=1.95 /proc/10604/task/10614/stat : 10614 (java) S 10602 10604 10496 0 -1 64 5938 0 0 0 193 2 0 0 16 0 13 0 146653253 1837678592 122369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10615] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10615/stat : 10615 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 146653253 1837678592 122369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10616] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10616/stat : 10616 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146653253 1837678592 122369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10617] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10617/stat : 10617 (java) S 10602 10604 10496 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 146653465 1837678592 122369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1561.21 Current children cumulated vsize (KiB) 1794608 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 10815 /proc/meminfo: memFree=1354276/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1794608 CPUtime=1621.9 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 188887 0 1 0 162097 93 0 0 18 0 13 0 146653243 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 448652 123431 1334 9 0 446263 0 [pid=10604/tid=10606] ppid=10602 vsize=1794608 CPUtime=1582.35 /proc/10604/task/10606/stat : 10606 (java) R 10602 10604 10496 0 -1 64 66718 0 1 0 158204 31 0 0 25 0 13 0 146653245 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109885096 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10607] ppid=10602 vsize=1794608 CPUtime=17.64 /proc/10604/task/10607/stat : 10607 (java) S 10602 10604 10496 0 -1 64 56663 0 0 0 1740 24 0 0 16 0 13 0 146653246 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10608] ppid=10602 vsize=1794608 CPUtime=17.61 /proc/10604/task/10608/stat : 10608 (java) S 10602 10604 10496 0 -1 64 51368 0 0 0 1738 23 0 0 16 0 13 0 146653246 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10609] ppid=10602 vsize=1794608 CPUtime=0.15 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 218 0 0 0 8 7 0 0 16 0 13 0 146653248 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10611] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10611/stat : 10611 (java) S 10602 10604 10496 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10612] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10612/stat : 10612 (java) S 10602 10604 10496 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 146653253 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10613] ppid=10602 vsize=1794608 CPUtime=2.13 /proc/10604/task/10613/stat : 10613 (java) S 10602 10604 10496 0 -1 64 7260 0 0 0 210 3 0 0 16 0 13 0 146653253 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10614] ppid=10602 vsize=1794608 CPUtime=1.95 /proc/10604/task/10614/stat : 10614 (java) S 10602 10604 10496 0 -1 64 5938 0 0 0 193 2 0 0 16 0 13 0 146653253 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10615] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10615/stat : 10615 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 146653253 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10616] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10616/stat : 10616 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146653253 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10617] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10617/stat : 10617 (java) S 10602 10604 10496 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 146653465 1837678592 123431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1621.9 Current children cumulated vsize (KiB) 1794608 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/77 10815 /proc/meminfo: memFree=1349220/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1794608 CPUtime=1682.66 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 190196 0 1 0 168172 94 0 0 18 0 13 0 146653243 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 448652 124684 1334 9 0 446263 0 [pid=10604/tid=10606] ppid=10602 vsize=1794608 CPUtime=1641.54 /proc/10604/task/10606/stat : 10606 (java) R 10602 10604 10496 0 -1 64 66731 0 1 0 164123 31 0 0 25 0 13 0 146653245 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109885096 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10607] ppid=10602 vsize=1794608 CPUtime=18.42 /proc/10604/task/10607/stat : 10607 (java) S 10602 10604 10496 0 -1 64 57391 0 0 0 1818 24 0 0 16 0 13 0 146653246 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10608] ppid=10602 vsize=1794608 CPUtime=18.41 /proc/10604/task/10608/stat : 10608 (java) S 10602 10604 10496 0 -1 64 51936 0 0 0 1817 24 0 0 16 0 13 0 146653246 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10609] ppid=10602 vsize=1794608 CPUtime=0.15 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 218 0 0 0 8 7 0 0 16 0 13 0 146653248 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10611] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10611/stat : 10611 (java) S 10602 10604 10496 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10612] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10612/stat : 10612 (java) S 10602 10604 10496 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 146653253 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10613] ppid=10602 vsize=1794608 CPUtime=2.13 /proc/10604/task/10613/stat : 10613 (java) S 10602 10604 10496 0 -1 64 7260 0 0 0 210 3 0 0 16 0 13 0 146653253 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10614] ppid=10602 vsize=1794608 CPUtime=1.95 /proc/10604/task/10614/stat : 10614 (java) S 10602 10604 10496 0 -1 64 5938 0 0 0 193 2 0 0 16 0 13 0 146653253 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10615] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10615/stat : 10615 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 146653253 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10616] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10616/stat : 10616 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146653253 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10617] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10617/stat : 10617 (java) S 10602 10604 10496 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 146653465 1837678592 124684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1682.66 Current children cumulated vsize (KiB) 1794608 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/77 10815 /proc/meminfo: memFree=1344932/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1794608 CPUtime=1743.43 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 191314 0 1 0 174249 94 0 0 18 0 13 0 146653243 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 448652 125745 1334 9 0 446263 0 [pid=10604/tid=10606] ppid=10602 vsize=1794608 CPUtime=1700.71 /proc/10604/task/10606/stat : 10606 (java) R 10602 10604 10496 0 -1 64 66744 0 1 0 170039 32 0 0 25 0 13 0 146653245 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109885264 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10607] ppid=10602 vsize=1794608 CPUtime=19.22 /proc/10604/task/10607/stat : 10607 (java) S 10602 10604 10496 0 -1 64 57915 0 0 0 1898 24 0 0 17 0 13 0 146653246 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10608] ppid=10602 vsize=1794608 CPUtime=19.21 /proc/10604/task/10608/stat : 10608 (java) S 10602 10604 10496 0 -1 64 52517 0 0 0 1897 24 0 0 16 0 13 0 146653246 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10609] ppid=10602 vsize=1794608 CPUtime=0.15 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 218 0 0 0 8 7 0 0 16 0 13 0 146653248 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10611] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10611/stat : 10611 (java) S 10602 10604 10496 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10612] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10612/stat : 10612 (java) S 10602 10604 10496 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 146653253 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10613] ppid=10602 vsize=1794608 CPUtime=2.13 /proc/10604/task/10613/stat : 10613 (java) S 10602 10604 10496 0 -1 64 7260 0 0 0 210 3 0 0 16 0 13 0 146653253 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10614] ppid=10602 vsize=1794608 CPUtime=1.95 /proc/10604/task/10614/stat : 10614 (java) S 10602 10604 10496 0 -1 64 5938 0 0 0 193 2 0 0 16 0 13 0 146653253 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10615] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10615/stat : 10615 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 146653253 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10616] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10616/stat : 10616 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146653253 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10617] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10617/stat : 10617 (java) S 10602 10604 10496 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 146653465 1837678592 125745 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1743.43 Current children cumulated vsize (KiB) 1794608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.2 s] /proc/loadavg: 1.00 1.00 1.00 2/77 10815 /proc/meminfo: memFree=1340900/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=1794608 CPUtime=1800.07 /proc/10604/stat : 10604 (java) S 10602 10604 10496 0 -1 0 192354 0 1 0 179911 96 0 0 18 0 13 0 146653243 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10604/statm: 448652 126756 1334 9 0 446263 0 [pid=10604/tid=10606] ppid=10602 vsize=1794608 CPUtime=1755.84 /proc/10604/task/10606/stat : 10606 (java) R 10602 10604 10496 0 -1 64 66756 0 1 0 175552 32 0 0 25 0 13 0 146653245 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109592104 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10607] ppid=10602 vsize=1794608 CPUtime=19.96 /proc/10604/task/10607/stat : 10607 (java) S 10602 10604 10496 0 -1 64 58390 0 0 0 1972 24 0 0 16 0 13 0 146653246 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10608] ppid=10602 vsize=1794608 CPUtime=19.96 /proc/10604/task/10608/stat : 10608 (java) S 10602 10604 10496 0 -1 64 53070 0 0 0 1972 24 0 0 16 0 13 0 146653246 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10609] ppid=10602 vsize=1794608 CPUtime=0.15 /proc/10604/task/10609/stat : 10609 (java) S 10602 10604 10496 0 -1 64 218 0 0 0 8 7 0 0 16 0 13 0 146653248 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10610] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10610/stat : 10610 (java) S 10602 10604 10496 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10611] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10611/stat : 10611 (java) S 10602 10604 10496 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146653249 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10612] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10612/stat : 10612 (java) S 10602 10604 10496 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 146653253 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10613] ppid=10602 vsize=1794608 CPUtime=2.13 /proc/10604/task/10613/stat : 10613 (java) S 10602 10604 10496 0 -1 64 7260 0 0 0 210 3 0 0 16 0 13 0 146653253 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10614] ppid=10602 vsize=1794608 CPUtime=1.95 /proc/10604/task/10614/stat : 10614 (java) S 10602 10604 10496 0 -1 64 5938 0 0 0 193 2 0 0 16 0 13 0 146653253 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10615] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10615/stat : 10615 (java) S 10602 10604 10496 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 146653253 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10604/tid=10616] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10616/stat : 10616 (java) S 10602 10604 10496 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146653253 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10604/tid=10617] ppid=10602 vsize=1794608 CPUtime=0 /proc/10604/task/10617/stat : 10617 (java) S 10602 10604 10496 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 146653465 1837678592 126756 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1794608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1778.31 s] /proc/loadavg: 1.00 1.00 1.00 2/77 10815 /proc/meminfo: memFree=1340900/2055920 swapFree=4184464/4192956 [pid=10604] ppid=10602 vsize=0 CPUtime=1800.17 /proc/10604/stat : 10604 (java) Z 10602 10604 10496 0 -1 1036 192375 0 1 0 179914 103 0 0 16 0 2 0 146653243 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10604/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1778.31 CPU time (s): 1800.18 CPU user time (s): 1799.15 CPU system time (s): 1.03884 CPU usage (%): 101.23 Max. virtual memory (cumulated for all children) (KiB): 1798172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.15 system time used= 1.03884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 192375 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= 40953 involuntary context switches= 38481 runsolver used 1.67874 second user time and 4.84926 second system time The end
Begin job on node63 on Mon Apr 16 06:57:13 UTC 2007 IDJOB= 354361 IDBENCH= 2500 IDSOLVER= 164 FILE ID= node63/354361-1176706633 PBS_JOBID= 4560079 Free space on /tmp= 66549 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354361-1176706633/sat4jPseudoCPClause.jar /tmp/evaluation/354361-1176706633/instance-354361-1176706633.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-354361-1176706633 -o ROOT/results/node63/solver-354361-1176706633 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354361-1176706633/sat4jPseudoCPClause.jar /tmp/evaluation/354361-1176706633/instance-354361-1176706633.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= d54c9cafd39211d62b9a499b6053d79b RANDOM SEED= 132391596 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1845644 kB Buffers: 9956 kB Cached: 130208 kB SwapCached: 2296 kB Active: 77684 kB Inactive: 72128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845644 kB SwapTotal: 4192956 kB SwapFree: 4184464 kB Dirty: 4992 kB Writeback: 0 kB Mapped: 16060 kB Slab: 46532 kB Committed_AS: 1915120 kB PageTables: 1460 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= 66549 MiB End job on node63 on Mon Apr 16 07:26:54 UTC 2007