Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong UNSAT | 45.1971 | 34.5341 |
Name | /PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq3_wcsp.wbo |
MD5SUM | a37652ece280d7ba5cfd0ed956989365 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 3506826 |
Best CPU time to get the best result obtained on this benchmark | 1800.27 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 90600 |
Total number of constraints | 180900 |
Number of soft constraints | 180300 |
Number of constraints which are clauses | 180300 |
Number of constraints which are cardinality constraints (but not clauses) | 600 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 300 |
Top cost | 156989569 |
Min constraint cost | 1 |
Max constraint cost | 156989569 |
Sum of constraints costs | 14130358978021 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 301 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.06 c See www.sat4j.org for details. 0.04/0.07 c version 2.2.0.v20100531 0.04/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.04/0.07 c java.vm.version 11.2-b01 0.04/0.07 c java.vm.vendor Sun Microsystems Inc. 0.04/0.07 c sun.arch.data.model 32 0.04/0.07 c java.version 1.6.0_12 0.04/0.07 c os.name Linux 0.04/0.07 c os.version 2.6.18-164.el5 0.04/0.07 c os.arch i386 0.04/0.07 c Free memory 1393557488 0.04/0.07 c Max memory 1395916800 0.04/0.07 c Total memory 1395916800 0.04/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c ManyCore solver with 2 solvers running in parallel 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1cb25f1 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@b1c260 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 0.11/0.10 c solving HOME/instance-2700966-1278536463.wbo 0.11/0.10 c reading problem ... 44.05/33.48 c ... done. Wall clock time 33.378s. 44.05/33.48 c #vars 270900 44.05/33.48 c #constraints 271501 44.05/33.48 c constraints type 44.05/33.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 300 44.05/33.48 c org.sat4j.minisat.constraints.card.MinWatchCard => 90300 44.05/33.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 600 44.05/33.48 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 44.05/33.48 c constraints type 44.05/33.48 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 600 44.05/33.48 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 300 44.05/33.48 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 90300 44.05/33.48 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 44.98/33.78 c And the winner is Resolution 45.17/34.48 c starts : 0 45.17/34.48 c conflicts : 0 45.17/34.48 c decisions : 0 45.17/34.48 c propagations : 301 45.17/34.48 c inspects : 301 45.17/34.48 c learnt literals : 0 45.17/34.48 c learnt binary clauses : 0 45.17/34.48 c learnt ternary clauses : 0 45.17/34.48 c learnt clauses : 0 45.17/34.48 c ignored clauses : 0 45.17/34.48 c root simplifications : 0 45.17/34.48 c removed literals (reason simplification) : 0 45.17/34.48 c reason swapping (by a shorter reason) : 0 45.17/34.48 c Calls to reduceDB : 0 45.17/34.48 c number of reductions to clauses (during analyze) : 0 45.17/34.48 c number of learned constraints concerned by reduction : 0 45.17/34.48 c number of learning phase by resolution : 0 45.17/34.48 c number of learning phase by cutting planes : 0 45.17/34.48 c speed (assignments/second) : 300.0997008973081 45.17/34.48 c non guided choices 0 45.17/34.48 c learnt constraints type 45.17/34.48 c constraints type 45.17/34.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 300 45.17/34.48 c org.sat4j.minisat.constraints.card.MinWatchCard => 90300 45.17/34.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 600 45.17/34.48 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 45.17/34.48 c constraints type 45.17/34.48 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 600 45.17/34.48 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 300 45.17/34.48 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 90300 45.17/34.48 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 45.17/34.48 s UNSATISFIABLE 45.17/34.48 c Total wall clock time (in seconds): 34.383
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700966-1278536463/watcher-2700966-1278536463 -o /tmp/evaluation-result-2700966-1278536463/solver-2700966-1278536463 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2700966-1278536463.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.05 2.04 3/182 28151 /proc/meminfo: memFree=29255284/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=13684 CPUtime=0 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 1182 0 0 0 0 0 0 0 24 0 2 0 21859608 14012416 630 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 3421 631 307 10 0 1206 0 [pid=28151/tid=28152] ppid=28149 vsize=13684 CPUtime=0 /proc/28151/task/28152/stat : 28152 (java) S 28149 28151 26971 0 -1 4202560 142 0 0 0 0 0 0 0 25 0 2 0 21859609 14012416 631 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16784584 8383164837621923839 0 0 -1 5 0 0 0 [startup+0.049093 s] /proc/loadavg: 2.21 2.05 2.04 3/182 28151 /proc/meminfo: memFree=29255284/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1528700 CPUtime=0.04 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 4026 0 1 0 3 1 0 0 24 0 18 0 21859608 1565388800 3466 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 382175 3466 1077 10 0 379478 0 [pid=28151/tid=28152] ppid=28149 vsize=1528700 CPUtime=0.03 /proc/28151/task/28152/stat : 28152 (java) R 28149 28151 26971 0 -1 4202560 2943 0 1 0 3 0 0 0 25 0 18 0 21859609 1565388800 3467 4089446400 134512640 134550932 4287558864 18446744073709551615 106835046 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1528700 [startup+0.101094 s] /proc/loadavg: 2.21 2.05 2.04 3/182 28151 /proc/meminfo: memFree=29255284/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1530140 CPUtime=0.11 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 5253 0 1 0 10 1 0 0 24 0 18 0 21859608 1566863360 4691 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 382535 4691 1346 10 0 379838 0 [pid=28151/tid=28152] ppid=28149 vsize=1530140 CPUtime=0.09 /proc/28151/task/28152/stat : 28152 (java) R 28149 28151 26971 0 -1 4202560 3580 0 1 0 8 1 0 0 25 0 18 0 21859609 1566863360 4691 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530140 [startup+0.301047 s] /proc/loadavg: 2.21 2.05 2.04 3/182 28151 /proc/meminfo: memFree=29255284/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1535284 CPUtime=0.58 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 14066 0 1 0 56 2 0 0 24 0 18 0 21859608 1572130816 13199 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 383821 13200 1406 10 0 381124 0 [pid=28151/tid=28152] ppid=28149 vsize=1535284 CPUtime=0.28 /proc/28151/task/28152/stat : 28152 (java) R 28149 28151 26971 0 -1 4202560 10838 0 1 0 27 1 0 0 25 0 18 0 21859609 1572130816 13200 4089446400 134512640 134550932 4287558864 18446744073709551615 4108974964 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 1535284 [startup+0.700978 s] /proc/loadavg: 2.21 2.05 2.04 3/182 28151 /proc/meminfo: memFree=29255284/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1534260 CPUtime=1.52 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 49158 0 1 0 144 8 0 0 24 0 18 0 21859608 1571082240 48041 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 383565 48041 1423 10 0 380868 0 [pid=28151/tid=28152] ppid=28149 vsize=1534260 CPUtime=0.59 /proc/28151/task/28152/stat : 28152 (java) R 28149 28151 26971 0 -1 4202560 32061 0 1 0 55 4 0 0 25 0 18 0 21859609 1571082240 48041 4089446400 134512640 134550932 4287558864 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 1534260 [startup+1.50088 s] /proc/loadavg: 2.21 2.05 2.04 3/200 28169 /proc/meminfo: memFree=29043596/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1537332 CPUtime=2.85 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 56805 0 1 0 272 13 0 0 24 0 18 0 21859608 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 384333 54621 1423 10 0 381636 0 [pid=28151/tid=28152] ppid=28149 vsize=1537332 CPUtime=1.28 /proc/28151/task/28152/stat : 28152 (java) R 28149 28151 26971 0 -1 4202560 32091 0 1 0 124 4 0 0 25 0 18 0 21859609 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=1537332 CPUtime=0.14 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26971 0 -1 4202560 3781 0 0 0 13 1 0 0 15 0 18 0 21859609 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=1537332 CPUtime=0.14 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26971 0 -1 4202560 3994 0 0 0 14 0 0 0 16 0 18 0 21859609 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=1537332 CPUtime=0.12 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26971 0 -1 4202560 1914 0 0 0 12 0 0 0 16 0 18 0 21859609 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=1537332 CPUtime=0.13 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26971 0 -1 4202560 2937 0 0 0 13 0 0 0 15 0 18 0 21859609 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=1537332 CPUtime=0.11 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26971 0 -1 4202560 1737 0 0 0 10 1 0 0 15 0 18 0 21859609 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 2 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=1537332 CPUtime=0.12 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26971 0 -1 4202560 1926 0 0 0 12 0 0 0 15 0 18 0 21859609 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=1537332 CPUtime=0.12 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26971 0 -1 4202560 2791 0 0 0 12 0 0 0 15 0 18 0 21859609 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=1537332 CPUtime=0.05 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26971 0 -1 4202560 661 0 0 0 5 0 0 0 15 0 18 0 21859609 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26971 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 18 0 21859610 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26971 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21859610 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26971 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 21859610 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21859613 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=1537332 CPUtime=0.17 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26971 0 -1 4202560 663 0 0 0 17 0 0 0 16 0 18 0 21859613 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=1537332 CPUtime=0.35 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26971 0 -1 4202560 3234 0 0 0 35 0 0 0 15 0 18 0 21859613 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26971 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 21859613 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21859613 1574227968 54621 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.85 Current children cumulated vsize (KiB) 1537332 [startup+3.10154 s] /proc/loadavg: 2.21 2.05 2.04 3/200 28169 /proc/meminfo: memFree=29037396/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1537332 CPUtime=4.94 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 58782 0 1 0 475 19 0 0 24 0 18 0 21859608 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 384333 56533 1423 10 0 381636 0 [pid=28151/tid=28152] ppid=28149 vsize=1537332 CPUtime=2.76 /proc/28151/task/28152/stat : 28152 (java) R 28149 28151 26971 0 -1 4202560 32134 0 1 0 272 4 0 0 25 0 18 0 21859609 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=1537332 CPUtime=0.2 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26971 0 -1 4202560 3977 0 0 0 19 1 0 0 15 0 18 0 21859609 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=1537332 CPUtime=0.21 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26971 0 -1 4202560 4243 0 0 0 20 1 0 0 15 0 18 0 21859609 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=1537332 CPUtime=0.19 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26971 0 -1 4202560 2259 0 0 0 18 1 0 0 15 0 18 0 21859609 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=1537332 CPUtime=0.19 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26971 0 -1 4202560 3225 0 0 0 18 1 0 0 15 0 18 0 21859609 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=1537332 CPUtime=0.17 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26971 0 -1 4202560 2019 0 0 0 16 1 0 0 15 0 18 0 21859609 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 2 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=1537332 CPUtime=0.17 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26971 0 -1 4202560 2119 0 0 0 17 0 0 0 15 0 18 0 21859609 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=1537332 CPUtime=0.19 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26971 0 -1 4202560 3035 0 0 0 18 1 0 0 15 0 18 0 21859609 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=1537332 CPUtime=0.08 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26971 0 -1 4202560 785 0 0 0 8 0 0 0 15 0 18 0 21859609 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=1537332 CPUtime=0.01 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26971 0 -1 4202560 14 0 0 0 0 1 0 0 15 0 18 0 21859610 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26971 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21859610 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26971 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 21859610 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21859613 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=1537332 CPUtime=0.23 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26971 0 -1 4202560 670 0 0 0 23 0 0 0 16 0 18 0 21859613 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=1537332 CPUtime=0.41 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26971 0 -1 4202560 3240 0 0 0 41 0 0 0 15 0 18 0 21859613 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26971 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 21859613 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=1537332 CPUtime=0 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21859613 1574227968 56533 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.94 Current children cumulated vsize (KiB) 1537332 [startup+6.30092 s] /proc/loadavg: 2.19 2.05 2.04 3/200 28169 /proc/meminfo: memFree=29022540/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1538356 CPUtime=9.01 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 62513 0 1 0 864 37 0 0 24 0 18 0 21859608 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 384589 60119 1423 10 0 381892 0 [pid=28151/tid=28152] ppid=28149 vsize=1538356 CPUtime=5.7 /proc/28151/task/28152/stat : 28152 (java) R 28149 28151 26971 0 -1 4202560 32224 0 1 0 565 5 0 0 19 0 18 0 21859609 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=1538356 CPUtime=0.36 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26971 0 -1 4202560 4657 0 0 0 33 3 0 0 15 0 18 0 21859609 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=1538356 CPUtime=0.35 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26971 0 -1 4202560 4692 0 0 0 32 3 0 0 16 0 18 0 21859609 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=1538356 CPUtime=0.31 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26971 0 -1 4202560 2774 0 0 0 28 3 0 0 15 0 18 0 21859609 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=1538356 CPUtime=0.32 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26971 0 -1 4202560 3604 0 0 0 28 4 0 0 15 0 18 0 21859609 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=1538356 CPUtime=0.31 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26971 0 -1 4202560 2475 0 0 0 28 3 0 0 15 0 18 0 21859609 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=1538356 CPUtime=0.31 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26971 0 -1 4202560 2510 0 0 0 28 3 0 0 15 0 18 0 21859609 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=1538356 CPUtime=0.34 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26971 0 -1 4202560 3454 0 0 0 32 2 0 0 15 0 18 0 21859609 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=1538356 CPUtime=0.21 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26971 0 -1 4202560 1137 0 0 0 19 2 0 0 15 0 18 0 21859609 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 2 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=1538356 CPUtime=0.04 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26971 0 -1 4202560 14 0 0 0 1 3 0 0 15 0 18 0 21859610 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=1538356 CPUtime=0 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26971 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21859610 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=1538356 CPUtime=0 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26971 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 21859610 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=1538356 CPUtime=0 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21859613 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=1538356 CPUtime=0.23 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26971 0 -1 4202560 670 0 0 0 23 0 0 0 16 0 18 0 21859613 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=1538356 CPUtime=0.41 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26971 0 -1 4202560 3240 0 0 0 41 0 0 0 15 0 18 0 21859613 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=1538356 CPUtime=0 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26971 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 21859613 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=1538356 CPUtime=0 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21859613 1575276544 60119 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 9.01 Current children cumulated vsize (KiB) 1538356 [startup+12.7008 s] /proc/loadavg: 2.17 2.05 2.04 3/200 28169 /proc/meminfo: memFree=28994292/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1539380 CPUtime=17.18 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 71746 0 1 0 1627 91 0 0 24 0 18 0 21859608 1576325120 69123 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 384845 69123 1423 10 0 382148 0 ################ # More data... # ################ /proc/loadavg: 2.12 2.05 2.04 3/200 28169 /proc/meminfo: memFree=28919804/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1539380 CPUtime=41.71 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 83603 0 1 0 3880 291 0 0 24 0 18 0 21859608 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 384845 80298 1423 10 0 382148 0 [pid=28151/tid=28152] ppid=28149 vsize=1539380 CPUtime=27.23 /proc/28151/task/28152/stat : 28152 (java) R 28149 28151 26971 0 -1 4202560 32888 0 1 0 2717 6 0 0 25 0 18 0 21859609 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=1539380 CPUtime=1.72 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26971 0 -1 4202560 7047 0 0 0 143 29 0 0 15 0 18 0 21859609 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 2 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=1539380 CPUtime=1.72 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26971 0 -1 4202560 7801 0 0 0 132 40 0 0 15 0 18 0 21859609 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=1539380 CPUtime=1.67 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26971 0 -1 4202560 5606 0 0 0 127 40 0 0 15 0 18 0 21859609 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=1539380 CPUtime=1.7 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26971 0 -1 4202560 6417 0 0 0 134 36 0 0 15 0 18 0 21859609 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=1539380 CPUtime=1.72 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26971 0 -1 4202560 5207 0 0 0 141 31 0 0 15 0 18 0 21859609 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=1539380 CPUtime=1.74 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26971 0 -1 4202560 4661 0 0 0 146 28 0 0 15 0 18 0 21859609 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=1539380 CPUtime=1.68 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26971 0 -1 4202560 5572 0 0 0 135 33 0 0 15 0 18 0 21859609 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=1539380 CPUtime=1.59 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26971 0 -1 4202560 3418 0 0 0 129 30 0 0 15 0 18 0 21859609 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=1539380 CPUtime=0.18 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26971 0 -1 4202560 14 0 0 0 6 12 0 0 15 0 18 0 21859610 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=1539380 CPUtime=0 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26971 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21859610 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=1539380 CPUtime=0 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26971 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 21859610 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=1539380 CPUtime=0 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21859613 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=1539380 CPUtime=0.23 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26971 0 -1 4202560 670 0 0 0 23 0 0 0 16 0 18 0 21859613 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=1539380 CPUtime=0.41 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26971 0 -1 4202560 3240 0 0 0 41 0 0 0 15 0 18 0 21859613 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=1539380 CPUtime=0 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26971 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 21859613 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=1539380 CPUtime=0 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21859613 1576325120 80298 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 41.71 Current children cumulated vsize (KiB) 1539380 [startup+33.501 s] /proc/loadavg: 2.12 2.05 2.04 4/200 28169 /proc/meminfo: memFree=28909636/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1553260 CPUtime=44.21 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 90801 0 1 0 4120 301 0 0 24 0 20 0 21859608 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 388315 84857 1423 10 0 385618 0 [pid=28151/tid=28152] ppid=28149 vsize=1553260 CPUtime=28.65 /proc/28151/task/28152/stat : 28152 (java) S 28149 28151 26971 0 -1 4202560 32936 0 1 0 2859 6 0 0 25 0 20 0 21859609 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=1553260 CPUtime=1.77 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26971 0 -1 4202560 7146 0 0 0 147 30 0 0 16 0 20 0 21859609 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 2 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=1553260 CPUtime=1.78 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26971 0 -1 4202560 7923 0 0 0 137 41 0 0 16 0 20 0 21859609 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=1553260 CPUtime=1.72 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26971 0 -1 4202560 5723 0 0 0 131 41 0 0 16 0 20 0 21859609 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=1553260 CPUtime=1.75 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26971 0 -1 4202560 6449 0 0 0 137 38 0 0 15 0 20 0 21859609 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=1553260 CPUtime=1.77 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26971 0 -1 4202560 5314 0 0 0 145 32 0 0 16 0 20 0 21859609 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=1553260 CPUtime=1.8 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26971 0 -1 4202560 5105 0 0 0 151 29 0 0 16 0 20 0 21859609 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=1553260 CPUtime=1.73 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26971 0 -1 4202560 5646 0 0 0 139 34 0 0 16 0 20 0 21859609 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=1553260 CPUtime=1.63 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26971 0 -1 4202560 3721 0 0 0 132 31 0 0 16 0 20 0 21859609 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=1553260 CPUtime=0.18 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26971 0 -1 4202560 14 0 0 0 6 12 0 0 15 0 20 0 21859610 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26971 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 20 0 21859610 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26971 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 20 0 21859610 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 21859613 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=1553260 CPUtime=0.78 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26971 0 -1 4202560 6506 0 0 0 77 1 0 0 15 0 20 0 21859613 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=1553260 CPUtime=0.49 /proc/28151/task/28167/stat : 28167 (java) R 28149 28151 26971 0 -1 4202560 3246 0 0 0 49 0 0 0 16 0 20 0 21859613 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 103109584 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26971 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 21859613 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 21859613 1590538240 84857 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 44.21 Current children cumulated vsize (KiB) 1553260 [startup+34.3009 s] /proc/loadavg: 2.12 2.05 2.04 2/200 28171 /proc/meminfo: memFree=28863252/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1553260 CPUtime=45.17 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 100131 0 1 0 4214 303 0 0 24 0 18 0 21859608 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 388315 93818 1437 10 0 385618 0 [pid=28151/tid=28152] ppid=28149 vsize=1553260 CPUtime=28.65 /proc/28151/task/28152/stat : 28152 (java) S 28149 28151 26971 0 -1 4202560 32936 0 1 0 2859 6 0 0 25 0 18 0 21859609 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=1553260 CPUtime=1.81 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26971 0 -1 4202560 8002 0 0 0 151 30 0 0 16 0 18 0 21859609 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 2 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=1553260 CPUtime=1.79 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26971 0 -1 4202560 8150 0 0 0 138 41 0 0 15 0 18 0 21859609 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=1553260 CPUtime=1.76 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26971 0 -1 4202560 7449 0 0 0 135 41 0 0 15 0 18 0 21859609 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=1553260 CPUtime=1.79 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26971 0 -1 4202560 7391 0 0 0 141 38 0 0 15 0 18 0 21859609 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=1553260 CPUtime=1.8 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26971 0 -1 4202560 6401 0 0 0 148 32 0 0 15 0 18 0 21859609 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=1553260 CPUtime=1.81 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26971 0 -1 4202560 5117 0 0 0 152 29 0 0 15 0 18 0 21859609 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=1553260 CPUtime=1.76 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26971 0 -1 4202560 6847 0 0 0 141 35 0 0 15 0 18 0 21859609 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=1553260 CPUtime=1.67 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26971 0 -1 4202560 6917 0 0 0 136 31 0 0 15 0 18 0 21859609 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=1553260 CPUtime=0.18 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26971 0 -1 4202560 14 0 0 0 6 12 0 0 15 0 18 0 21859610 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26971 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21859610 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26971 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 21859610 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21859613 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=1553260 CPUtime=0.92 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26971 0 -1 4202560 6544 0 0 0 91 1 0 0 15 0 18 0 21859613 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=1553260 CPUtime=0.61 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26971 0 -1 4202560 3275 0 0 0 61 0 0 0 16 0 18 0 21859613 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26971 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 21859613 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21859613 1590538240 93818 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 45.17 Current children cumulated vsize (KiB) 1553260 [startup+34.5008 s] /proc/loadavg: 2.12 2.05 2.04 2/200 28171 /proc/meminfo: memFree=28863252/32951124 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1553260 CPUtime=45.17 /proc/28151/stat : 28151 (java) S 28149 28151 26971 0 -1 4202496 100139 0 1 0 4214 303 0 0 24 0 18 0 21859608 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/28151/statm: 388315 93823 1437 10 0 385618 0 [pid=28151/tid=28152] ppid=28149 vsize=1553260 CPUtime=28.65 /proc/28151/task/28152/stat : 28152 (java) S 28149 28151 26971 0 -1 4202560 32941 0 1 0 2859 6 0 0 18 0 18 0 21859609 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=1553260 CPUtime=1.81 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26971 0 -1 4202560 8002 0 0 0 151 30 0 0 16 0 18 0 21859609 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 2 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=1553260 CPUtime=1.79 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26971 0 -1 4202560 8150 0 0 0 138 41 0 0 15 0 18 0 21859609 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=1553260 CPUtime=1.76 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26971 0 -1 4202560 7449 0 0 0 135 41 0 0 15 0 18 0 21859609 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=1553260 CPUtime=1.79 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26971 0 -1 4202560 7391 0 0 0 141 38 0 0 15 0 18 0 21859609 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 7 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=1553260 CPUtime=1.8 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26971 0 -1 4202560 6401 0 0 0 148 32 0 0 15 0 18 0 21859609 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=1553260 CPUtime=1.81 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26971 0 -1 4202560 5117 0 0 0 152 29 0 0 15 0 18 0 21859609 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=1553260 CPUtime=1.76 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26971 0 -1 4202560 6847 0 0 0 141 35 0 0 15 0 18 0 21859609 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=1553260 CPUtime=1.67 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26971 0 -1 4202560 6917 0 0 0 136 31 0 0 15 0 18 0 21859609 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=1553260 CPUtime=0.18 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26971 0 -1 4202560 14 0 0 0 6 12 0 0 15 0 18 0 21859610 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 0 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26971 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21859610 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26971 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 21859610 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26971 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21859613 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 1 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=1553260 CPUtime=0.92 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26971 0 -1 4202560 6544 0 0 0 91 1 0 0 15 0 18 0 21859613 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 4 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=1553260 CPUtime=0.61 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26971 0 -1 4202560 3275 0 0 0 61 0 0 0 16 0 18 0 21859613 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26971 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 21859613 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 3 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=1553260 CPUtime=0 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26971 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 21859613 1590538240 93823 4089446400 134512640 134550932 4287558864 18446744073709551615 4294960144 0 4 0 16800975 18446604467749452800 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 45.17 Current children cumulated vsize (KiB) 1553260 Child status: 20 Real time (s): 34.5341 CPU time (s): 45.1971 CPU user time (s): 42.1486 CPU system time (s): 3.04854 CPU usage (%): 130.877 Max. virtual memory (cumulated for all children) (KiB): 1554652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.1486 system time used= 3.04854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100139 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= 32821 involuntary context switches= 1392453 runsolver used 0.053991 second user time and 0.150977 second system time The end
Begin job on node134 at 2010-07-07 23:01:03 IDJOB=2700966 IDBENCH=79501 IDSOLVER=1207 FILE ID=node134/2700966-1278536463 PBS_JOBID= 11239210 Free space on /tmp= 73708 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-capmq3_wcsp.wbo COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700966-1278536463/watcher-2700966-1278536463 -o /tmp/evaluation-result-2700966-1278536463/solver-2700966-1278536463 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2700966-1278536463.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a37652ece280d7ba5cfd0ed956989365 RANDOM SEED=210761828 node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29255432 kB Buffers: 146952 kB Cached: 2480544 kB SwapCached: 0 kB Active: 2163656 kB Inactive: 1384204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29255432 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6940 kB Writeback: 0 kB AnonPages: 920444 kB Mapped: 15972 kB Slab: 82376 kB PageTables: 6744 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1143788 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73704 MiB End job on node134 at 2010-07-07 23:01:38