Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | ? (TO) | 1800.16 | 1787.22 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb |
MD5SUM | dad6f5146620d8430edee27ea3d7a019 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 8.62369 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 77 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 658426 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 658426 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.06/0.17 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.06/0.17 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.06/0.18 c no version file found!!! 0.06/0.18 c sun.arch.data.model 32 0.06/0.18 c java.version 1.6.0 0.06/0.18 c os.name Linux 0.06/0.18 c os.version 2.6.9-22.EL.rootsmp 0.06/0.18 c os.arch i386 0.06/0.18 c Free memory 1651659224 0.06/0.18 c Max memory 1654456320 0.06/0.18 c Total memory 1654456320 0.06/0.18 c Number of processors 2 0.15/0.24 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.15/0.24 --- Begin Solver configuration --- 0.15/0.24 c Stops conflict analysis at the first Unique Implication Point 0.15/0.24 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.15/0.24 c Learn all clauses as in MiniSAT 0.15/0.24 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.15/0.24 c VSIDS like heuristics from MiniSAT using a heap 0.15/0.24 c No reason simplification 0.15/0.24 c --- End Solver configuration --- 0.15/0.24 c Simplify asserted PB constraints to clauses 0.15/0.24 c solving /tmp/evaluation/362226-1177008562/instance-362226-1177008562.opb 0.15/0.24 c reading problem ... 6.78/5.40 c ... done. Wall clock time 5.163s. 6.78/5.40 c CPU time (experimental) 4.09s. 6.78/5.40 c #vars 155000 6.78/5.40 c #constraints 5300 1800.04/1787.11 c starts : 2 1800.04/1787.11 c conflicts : 136 1800.04/1787.11 c decisions : 703568 1800.04/1787.11 c propagations : 3177914 1800.04/1787.11 c inspects : 6017058 1800.04/1787.11 c learnt literals : 0 1800.04/1787.11 c learnt binary clauses : 0 1800.04/1787.11 c learnt ternary clauses : 0 1800.04/1787.11 c learnt clauses : 135 1800.04/1787.11 c root simplifications : 0 1800.04/1787.11 c removed literals (reason simplification) : 0 1800.04/1787.11 c reason swapping (by a shorter reason) : 0 1800.04/1787.11 c Calls to reduceDB : 0 1800.04/1787.11 c speed (decisions/second) : 395.03899194220804 1800.04/1787.11 c non guided choices 0 1800.04/1787.11 s UNKNOWN 1800.04/1787.11 c Total wall clock time (ms): 1786.873
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-362226-1177008562 -o ROOT/results/node67/solver-362226-1177008562 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362226-1177008562/sat4jPseudoCPClause.jar /tmp/evaluation/362226-1177008562/instance-362226-1177008562.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 11760 /proc/meminfo: memFree=1790560/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=152 CPUtime=0 /proc/11760/stat : 11760 (java) R 11758 11760 11697 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 176845771 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 6889771 0 0 4096 0 0 0 0 17 1 0 0 /proc/11760/statm: 38 26 19 9 0 4 0 [startup+0.105039 s] /proc/loadavg: 0.77 0.93 0.98 2/64 11760 /proc/meminfo: memFree=1790560/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1777708 CPUtime=0.06 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 3758 0 1 0 4 2 0 0 18 0 7 0 176845771 1820372992 3501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 444427 3501 1085 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.201054 s] /proc/loadavg: 0.77 0.93 0.98 2/64 11760 /proc/meminfo: memFree=1790560/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1780432 CPUtime=0.15 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 4508 0 1 0 12 3 0 0 18 0 12 0 176845771 1823162368 4247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 445108 4247 1238 9 0 442719 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 1780432 [startup+0.301514 s] /proc/loadavg: 0.77 0.93 0.98 2/64 11760 /proc/meminfo: memFree=1790560/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1782264 CPUtime=0.27 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 6327 0 1 0 23 4 0 0 18 0 12 0 176845771 1825038336 6066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 445566 6066 1264 9 0 443177 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 1782264 [startup+0.701151 s] /proc/loadavg: 0.77 0.93 0.98 2/64 11760 /proc/meminfo: memFree=1790560/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1783476 CPUtime=0.86 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 9708 0 1 0 81 5 0 0 18 0 12 0 176845771 1826279424 9002 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 445869 9014 1296 9 0 443480 0 Current children cumulated CPU time (s) 0.86 Current children cumulated vsize (KiB) 1783476 [startup+1.50229 s] /proc/loadavg: 0.77 0.93 0.98 2/76 11772 /proc/meminfo: memFree=1721216/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1783484 CPUtime=1.78 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 24327 0 1 0 166 12 0 0 18 0 12 0 176845771 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 445871 23569 1302 9 0 443482 0 [pid=11760/tid=11762] ppid=11758 vsize=1783484 CPUtime=1.21 /proc/11760/task/11762/stat : 11762 (java) R 11758 11760 11697 0 -1 64 22181 0 1 0 111 10 0 0 25 0 12 0 176845772 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109551942 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11763] ppid=11758 vsize=1783484 CPUtime=0 /proc/11760/task/11763/stat : 11763 (java) S 11758 11760 11697 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 176845774 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11764] ppid=11758 vsize=1783484 CPUtime=0 /proc/11760/task/11764/stat : 11764 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 176845774 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11765] ppid=11758 vsize=1783484 CPUtime=0 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 176845779 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1783484 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 176845779 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1783484 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 176845779 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11768] ppid=11758 vsize=1783484 CPUtime=0 /proc/11760/task/11768/stat : 11768 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 176845783 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11769] ppid=11758 vsize=1783484 CPUtime=0.31 /proc/11760/task/11769/stat : 11769 (java) S 11758 11760 11697 0 -1 64 1085 0 0 0 31 0 0 0 16 0 12 0 176845783 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11770] ppid=11758 vsize=1783484 CPUtime=0.22 /proc/11760/task/11770/stat : 11770 (java) S 11758 11760 11697 0 -1 64 344 0 0 0 22 0 0 0 16 0 12 0 176845783 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11771] ppid=11758 vsize=1783484 CPUtime=0 /proc/11760/task/11771/stat : 11771 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 176845783 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11772] ppid=11758 vsize=1783484 CPUtime=0 /proc/11760/task/11772/stat : 11772 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 176845783 1826287616 23569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 1783484 [startup+3.10259 s] /proc/loadavg: 0.77 0.93 0.98 3/76 11772 /proc/meminfo: memFree=1634432/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1784772 CPUtime=3.83 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 49074 0 1 0 361 22 0 0 18 0 12 0 176845771 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 446193 47277 1313 9 0 443804 0 [pid=11760/tid=11762] ppid=11758 vsize=1784772 CPUtime=2.42 /proc/11760/task/11762/stat : 11762 (java) R 11758 11760 11697 0 -1 64 37673 0 1 0 226 16 0 0 25 0 12 0 176845772 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109477348 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11763] ppid=11758 vsize=1784772 CPUtime=0.21 /proc/11760/task/11763/stat : 11763 (java) S 11758 11760 11697 0 -1 64 5193 0 0 0 19 2 0 0 18 0 12 0 176845774 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11764] ppid=11758 vsize=1784772 CPUtime=0.21 /proc/11760/task/11764/stat : 11764 (java) S 11758 11760 11697 0 -1 64 3673 0 0 0 20 1 0 0 16 0 12 0 176845774 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11765] ppid=11758 vsize=1784772 CPUtime=0 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 8 0 0 0 0 0 0 0 15 0 12 0 176845779 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1784772 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 176845779 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1784772 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 176845779 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11768] ppid=11758 vsize=1784772 CPUtime=0 /proc/11760/task/11768/stat : 11768 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 176845783 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11769] ppid=11758 vsize=1784772 CPUtime=0.52 /proc/11760/task/11769/stat : 11769 (java) S 11758 11760 11697 0 -1 64 1212 0 0 0 52 0 0 0 16 0 12 0 176845783 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11770] ppid=11758 vsize=1784772 CPUtime=0.41 /proc/11760/task/11770/stat : 11770 (java) S 11758 11760 11697 0 -1 64 599 0 0 0 41 0 0 0 17 0 12 0 176845783 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11771] ppid=11758 vsize=1784772 CPUtime=0 /proc/11760/task/11771/stat : 11771 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 176845783 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11772] ppid=11758 vsize=1784772 CPUtime=0 /proc/11760/task/11772/stat : 11772 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 176845783 1827606528 47277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 1784772 [startup+6.30218 s] /proc/loadavg: 0.79 0.94 0.98 2/76 11772 /proc/meminfo: memFree=1540936/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1788420 CPUtime=8.32 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 73116 0 2 0 798 34 0 0 18 0 13 0 176845771 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 447105 67241 1334 9 0 444716 0 [pid=11760/tid=11762] ppid=11758 vsize=1788420 CPUtime=4.61 /proc/11760/task/11762/stat : 11762 (java) R 11758 11760 11697 0 -1 64 37713 0 2 0 444 17 0 0 17 0 13 0 176845772 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109670921 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11763] ppid=11758 vsize=1788420 CPUtime=1.11 /proc/11760/task/11763/stat : 11763 (java) S 11758 11760 11697 0 -1 64 16614 0 0 0 103 8 0 0 16 0 13 0 176845774 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11764] ppid=11758 vsize=1788420 CPUtime=1.1 /proc/11760/task/11764/stat : 11764 (java) S 11758 11760 11697 0 -1 64 14903 0 0 0 104 6 0 0 16 0 13 0 176845774 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11765] ppid=11758 vsize=1788420 CPUtime=0 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 176845779 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1788420 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 176845779 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1788420 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176845779 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11768] ppid=11758 vsize=1788420 CPUtime=0 /proc/11760/task/11768/stat : 11768 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 176845783 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11769] ppid=11758 vsize=1788420 CPUtime=0.79 /proc/11760/task/11769/stat : 11769 (java) S 11758 11760 11697 0 -1 64 2031 0 0 0 78 1 0 0 16 0 13 0 176845783 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11770] ppid=11758 vsize=1788420 CPUtime=0.68 /proc/11760/task/11770/stat : 11770 (java) R 11758 11760 11697 0 -1 64 1126 0 0 0 68 0 0 0 16 0 13 0 176845783 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101901625 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11771] ppid=11758 vsize=1788420 CPUtime=0 /proc/11760/task/11771/stat : 11771 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176845783 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11772] ppid=11758 vsize=1788420 CPUtime=0 /proc/11760/task/11772/stat : 11772 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176845783 1831342080 67241 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.32 Current children cumulated vsize (KiB) 1788420 [startup+12.7023 s] /proc/loadavg: 0.81 0.94 0.98 3/77 11773 /proc/meminfo: memFree=1507648/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1788204 CPUtime=15.78 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 80817 0 2 0 1540 38 0 0 18 0 13 0 176845771 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 447051 71561 1334 9 0 444662 0 [pid=11760/tid=11762] ppid=11758 vsize=1788204 CPUtime=10.03 /proc/11760/task/11762/stat : 11762 (java) R 11758 11760 11697 0 -1 64 37739 0 2 0 986 17 0 0 21 0 13 0 176845772 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109610549 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11763] ppid=11758 vsize=1788204 CPUtime=1.92 /proc/11760/task/11763/stat : 11763 (java) S 11758 11760 11697 0 -1 64 19831 0 0 0 182 10 0 0 16 0 13 0 176845774 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11764] ppid=11758 vsize=1788204 CPUtime=1.9 /proc/11760/task/11764/stat : 11764 (java) S 11758 11760 11697 0 -1 64 19105 0 0 0 183 7 0 0 17 0 13 0 176845774 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11765] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11768] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11768/stat : 11768 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 176845783 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11769] ppid=11758 vsize=1788204 CPUtime=1.01 /proc/11760/task/11769/stat : 11769 (java) S 11758 11760 11697 0 -1 64 2273 0 0 0 100 1 0 0 16 0 13 0 176845783 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11770] ppid=11758 vsize=1788204 CPUtime=0.87 /proc/11760/task/11770/stat : 11770 (java) S 11758 11760 11697 0 -1 64 1137 0 0 0 87 0 0 0 16 0 13 0 176845783 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11771] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11771/stat : 11771 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176845783 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11772] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11772/stat : 11772 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176845783 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11773] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11773/stat : 11773 (java) S 11758 11760 11697 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176846395 1831120896 71561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.78 Current children cumulated vsize (KiB) 1788204 [startup+25.5017 s] /proc/loadavg: 0.85 0.94 0.98 2/77 11773 /proc/meminfo: memFree=1512960/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1789572 CPUtime=28.88 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 86459 0 2 0 2846 42 0 0 18 0 13 0 176845771 1832521728 70335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 447393 70335 1334 9 0 445004 0 [pid=11760/tid=11762] ppid=11758 vsize=1789572 CPUtime=22.53 /proc/11760/task/11762/stat : 11762 (java) R 11758 11760 11697 0 -1 64 41863 0 2 0 2234 19 0 0 22 0 13 0 176845772 1832521728 70335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109610486 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11763] ppid=11758 vsize=1789572 CPUtime=2.02 /proc/11760/task/11763/stat : 11763 (java) S 11758 11760 11697 0 -1 64 20165 0 0 0 191 11 0 0 16 0 13 0 176845774 1832521728 70335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11764] ppid=11758 vsize=1789572 CPUtime=2.01 /proc/11760/task/11764/stat : 11764 (java) S 11758 11760 11697 0 -1 64 19538 0 0 0 193 8 0 0 16 0 13 0 176845774 1832521728 70335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11765] ppid=11758 vsize=1789572 CPUtime=0 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 176845779 1832521728 70335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1789572 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 176845779 1832521728 70335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1789572 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176845779 1832521728 70335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=11760/tid=11765] ppid=11758 vsize=1788204 CPUtime=0.44 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 162 0 0 0 28 16 0 0 15 0 13 0 176845779 1831120896 111824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 111824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 111824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11768] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11768/stat : 11768 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 176845783 1831120896 111824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11769] ppid=11758 vsize=1788204 CPUtime=1.36 /proc/11760/task/11769/stat : 11769 (java) S 11758 11760 11697 0 -1 64 2348 0 0 0 135 1 0 0 16 0 13 0 176845783 1831120896 111824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11770] ppid=11758 vsize=1788204 CPUtime=1.25 /proc/11760/task/11770/stat : 11770 (java) S 11758 11760 11697 0 -1 64 1812 0 0 0 125 0 0 0 17 0 13 0 176845783 1831120896 111824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11771] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11771/stat : 11771 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176845783 1831120896 111824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11772] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11772/stat : 11772 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176845783 1831120896 111824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11773] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11773/stat : 11773 (java) S 11758 11760 11697 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176846395 1831120896 111824 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1614.24 Current children cumulated vsize (KiB) 1788204 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/77 11971 /proc/meminfo: memFree=1344328/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1788204 CPUtime=1674.55 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 184787 0 2 0 167217 238 0 0 18 0 13 0 176845771 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 447051 112284 1334 9 0 444662 0 [pid=11760/tid=11762] ppid=11758 vsize=1788204 CPUtime=1641.23 /proc/11760/task/11762/stat : 11762 (java) R 11758 11760 11697 0 -1 64 92165 0 2 0 164068 55 0 0 25 0 13 0 176845772 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109914941 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11763] ppid=11758 vsize=1788204 CPUtime=15.09 /proc/11760/task/11763/stat : 11763 (java) S 11758 11760 11697 0 -1 64 44949 0 0 0 1428 81 0 0 16 0 13 0 176845774 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11764] ppid=11758 vsize=1788204 CPUtime=15.12 /proc/11760/task/11764/stat : 11764 (java) S 11758 11760 11697 0 -1 64 42628 0 0 0 1430 82 0 0 16 0 13 0 176845774 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11765] ppid=11758 vsize=1788204 CPUtime=0.44 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 164 0 0 0 28 16 0 0 15 0 13 0 176845779 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11768] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11768/stat : 11768 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 176845783 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11769] ppid=11758 vsize=1788204 CPUtime=1.36 /proc/11760/task/11769/stat : 11769 (java) S 11758 11760 11697 0 -1 64 2348 0 0 0 135 1 0 0 16 0 13 0 176845783 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11770] ppid=11758 vsize=1788204 CPUtime=1.25 /proc/11760/task/11770/stat : 11770 (java) S 11758 11760 11697 0 -1 64 1812 0 0 0 125 0 0 0 17 0 13 0 176845783 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11771] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11771/stat : 11771 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176845783 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11772] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11772/stat : 11772 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176845783 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11773] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11773/stat : 11773 (java) S 11758 11760 11697 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176846395 1831120896 112284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1674.55 Current children cumulated vsize (KiB) 1788204 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/77 11971 /proc/meminfo: memFree=1339848/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1788204 CPUtime=1734.84 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 187237 0 2 0 173240 244 0 0 18 0 13 0 176845771 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 447051 113392 1334 9 0 444662 0 [pid=11760/tid=11762] ppid=11758 vsize=1788204 CPUtime=1700.56 /proc/11760/task/11762/stat : 11762 (java) R 11758 11760 11697 0 -1 64 93550 0 2 0 170000 56 0 0 25 0 13 0 176845772 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109610744 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11763] ppid=11758 vsize=1788204 CPUtime=15.55 /proc/11760/task/11763/stat : 11763 (java) S 11758 11760 11697 0 -1 64 45499 0 0 0 1472 83 0 0 15 0 13 0 176845774 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11764] ppid=11758 vsize=1788204 CPUtime=15.61 /proc/11760/task/11764/stat : 11764 (java) S 11758 11760 11697 0 -1 64 43137 0 0 0 1476 85 0 0 16 0 13 0 176845774 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11765] ppid=11758 vsize=1788204 CPUtime=0.45 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 170 0 0 0 29 16 0 0 16 0 13 0 176845779 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11768] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11768/stat : 11768 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 176845783 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11769] ppid=11758 vsize=1788204 CPUtime=1.36 /proc/11760/task/11769/stat : 11769 (java) S 11758 11760 11697 0 -1 64 2348 0 0 0 135 1 0 0 16 0 13 0 176845783 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11770] ppid=11758 vsize=1788204 CPUtime=1.25 /proc/11760/task/11770/stat : 11770 (java) S 11758 11760 11697 0 -1 64 1812 0 0 0 125 0 0 0 17 0 13 0 176845783 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11771] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11771/stat : 11771 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176845783 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11772] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11772/stat : 11772 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176845783 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11773] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11773/stat : 11773 (java) S 11758 11760 11697 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176846395 1831120896 113392 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1734.84 Current children cumulated vsize (KiB) 1788204 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/77 11971 /proc/meminfo: memFree=1335048/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1788204 CPUtime=1795.21 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 189691 0 2 0 179270 251 0 0 18 0 13 0 176845771 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 447051 114562 1334 9 0 444662 0 [pid=11760/tid=11762] ppid=11758 vsize=1788204 CPUtime=1759.89 /proc/11760/task/11762/stat : 11762 (java) R 11758 11760 11697 0 -1 64 94563 0 2 0 175933 56 0 0 25 0 13 0 176845772 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109921302 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11763] ppid=11758 vsize=1788204 CPUtime=16.03 /proc/11760/task/11763/stat : 11763 (java) S 11758 11760 11697 0 -1 64 46025 0 0 0 1517 86 0 0 16 0 13 0 176845774 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11764] ppid=11758 vsize=1788204 CPUtime=16.14 /proc/11760/task/11764/stat : 11764 (java) S 11758 11760 11697 0 -1 64 44051 0 0 0 1527 87 0 0 16 0 13 0 176845774 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11765] ppid=11758 vsize=1788204 CPUtime=0.46 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 171 0 0 0 29 17 0 0 15 0 13 0 176845779 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11768] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11768/stat : 11768 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 176845783 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11769] ppid=11758 vsize=1788204 CPUtime=1.36 /proc/11760/task/11769/stat : 11769 (java) S 11758 11760 11697 0 -1 64 2348 0 0 0 135 1 0 0 16 0 13 0 176845783 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11770] ppid=11758 vsize=1788204 CPUtime=1.25 /proc/11760/task/11770/stat : 11770 (java) S 11758 11760 11697 0 -1 64 1812 0 0 0 125 0 0 0 17 0 13 0 176845783 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11771] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11771/stat : 11771 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176845783 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11772] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11772/stat : 11772 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176845783 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11773] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11773/stat : 11773 (java) S 11758 11760 11697 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176846395 1831120896 114562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.21 Current children cumulated vsize (KiB) 1788204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.1 s] /proc/loadavg: 1.00 0.99 0.98 2/77 11971 /proc/meminfo: memFree=1334984/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=1788204 CPUtime=1800.04 /proc/11760/stat : 11760 (java) S 11758 11760 11697 0 -1 0 189714 0 2 0 179753 251 0 0 18 0 13 0 176845771 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 447051 114578 1334 9 0 444662 0 [pid=11760/tid=11762] ppid=11758 vsize=1788204 CPUtime=1764.64 /proc/11760/task/11762/stat : 11762 (java) R 11758 11760 11697 0 -1 64 94585 0 2 0 176408 56 0 0 25 0 13 0 176845772 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109920694 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11763] ppid=11758 vsize=1788204 CPUtime=16.07 /proc/11760/task/11763/stat : 11763 (java) S 11758 11760 11697 0 -1 64 46026 0 0 0 1521 86 0 0 16 0 13 0 176845774 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11764] ppid=11758 vsize=1788204 CPUtime=16.18 /proc/11760/task/11764/stat : 11764 (java) S 11758 11760 11697 0 -1 64 44051 0 0 0 1531 87 0 0 16 0 13 0 176845774 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11765] ppid=11758 vsize=1788204 CPUtime=0.46 /proc/11760/task/11765/stat : 11765 (java) S 11758 11760 11697 0 -1 64 171 0 0 0 29 17 0 0 15 0 13 0 176845779 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11766] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11766/stat : 11766 (java) S 11758 11760 11697 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11767] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11767/stat : 11767 (java) S 11758 11760 11697 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176845779 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11768] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11768/stat : 11768 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 176845783 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11769] ppid=11758 vsize=1788204 CPUtime=1.36 /proc/11760/task/11769/stat : 11769 (java) S 11758 11760 11697 0 -1 64 2348 0 0 0 135 1 0 0 16 0 13 0 176845783 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11770] ppid=11758 vsize=1788204 CPUtime=1.25 /proc/11760/task/11770/stat : 11770 (java) S 11758 11760 11697 0 -1 64 1812 0 0 0 125 0 0 0 17 0 13 0 176845783 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11771] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11771/stat : 11771 (java) S 11758 11760 11697 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176845783 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11760/tid=11772] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11772/stat : 11772 (java) S 11758 11760 11697 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176845783 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11760/tid=11773] ppid=11758 vsize=1788204 CPUtime=0 /proc/11760/task/11773/stat : 11773 (java) S 11758 11760 11697 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176846395 1831120896 114578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1788204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.21 s] /proc/loadavg: 1.00 0.99 0.98 2/77 11971 /proc/meminfo: memFree=1334984/2055920 swapFree=4180708/4192956 [pid=11760] ppid=11758 vsize=0 CPUtime=1800.14 /proc/11760/stat : 11760 (java) Z 11758 11760 11697 0 -1 1036 189734 0 2 0 179757 257 0 0 16 0 2 0 176845771 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11760/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.22 CPU time (s): 1800.16 CPU user time (s): 1797.57 CPU system time (s): 2.58661 CPU usage (%): 100.724 Max. virtual memory (cumulated for all children) (KiB): 1789700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.57 system time used= 2.58661 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 189734 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 67739 involuntary context switches= 33841 runsolver used 2.29065 second user time and 5.20421 second system time The end
Begin job on node67 on Thu Apr 19 18:49:23 UTC 2007 IDJOB= 362226 IDBENCH= 1541 IDSOLVER= 164 FILE ID= node67/362226-1177008562 PBS_JOBID= 4630540 Free space on /tmp= 66446 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362226-1177008562/sat4jPseudoCPClause.jar /tmp/evaluation/362226-1177008562/instance-362226-1177008562.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-362226-1177008562 -o ROOT/results/node67/solver-362226-1177008562 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362226-1177008562/sat4jPseudoCPClause.jar /tmp/evaluation/362226-1177008562/instance-362226-1177008562.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= dad6f5146620d8430edee27ea3d7a019 RANDOM SEED= 18072526 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1791032 kB Buffers: 14504 kB Cached: 198548 kB SwapCached: 5976 kB Active: 50100 kB Inactive: 174468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1791032 kB SwapTotal: 4192956 kB SwapFree: 4180708 kB Dirty: 10328 kB Writeback: 0 kB Mapped: 15188 kB Slab: 26396 kB Committed_AS: 280948 kB PageTables: 1452 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= 66446 MiB End job on node67 on Thu Apr 19 19:19:12 UTC 2007