Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong UNSAT | 55.9385 | 40.3853 |
Name | /PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capb_wcsp.wbo |
MD5SUM | b88bd1871aa01efcb3899341ac23775f |
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 | 23081200 |
Best CPU time to get the best result obtained on this benchmark | 1800.34 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 100200 |
Total number of constraints | 201200 |
Number of soft constraints | 200100 |
Number of constraints which are clauses | 200100 |
Number of constraints which are cardinality constraints (but not clauses) | 1100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 100 |
Top cost | 132622180 |
Min constraint cost | 1 |
Max constraint cost | 132622180 |
Sum of constraints costs | 13265314501093 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 101 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100531 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/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-2701062-1278537455.wbo 0.11/0.10 c reading problem ... 54.85/39.32 c ... done. Wall clock time 39.22s. 54.85/39.32 c #vars 300300 54.85/39.32 c #constraints 302301 54.85/39.32 c constraints type 54.85/39.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1000 54.85/39.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 101000 54.85/39.32 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200 54.85/39.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 54.85/39.32 c constraints type 54.85/39.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200 54.85/39.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1000 54.85/39.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 101000 54.85/39.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 55.87/39.62 c And the winner is Resolution 55.91/40.32 c starts : 0 55.91/40.32 c conflicts : 0 55.91/40.32 c decisions : 0 55.91/40.32 c propagations : 101 55.91/40.32 c inspects : 101 55.91/40.32 c learnt literals : 0 55.91/40.32 c learnt binary clauses : 0 55.91/40.32 c learnt ternary clauses : 0 55.91/40.32 c learnt clauses : 0 55.91/40.32 c ignored clauses : 0 55.91/40.32 c root simplifications : 0 55.91/40.32 c removed literals (reason simplification) : 0 55.91/40.32 c reason swapping (by a shorter reason) : 0 55.91/40.32 c Calls to reduceDB : 0 55.91/40.32 c number of reductions to clauses (during analyze) : 0 55.91/40.32 c number of learned constraints concerned by reduction : 0 55.91/40.32 c number of learning phase by resolution : 0 55.91/40.32 c number of learning phase by cutting planes : 0 55.91/40.33 c speed (assignments/second) : 100.79840319361277 55.91/40.33 c non guided choices 0 55.91/40.33 c learnt constraints type 55.91/40.33 c constraints type 55.91/40.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1000 55.91/40.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 101000 55.91/40.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200 55.91/40.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 55.91/40.33 c constraints type 55.91/40.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200 55.91/40.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1000 55.91/40.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 101000 55.91/40.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 55.91/40.33 s UNSATISFIABLE 55.91/40.33 c Total wall clock time (in seconds): 40.225
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-2701062-1278537455/watcher-2701062-1278537455 -o /tmp/evaluation-result-2701062-1278537455/solver-2701062-1278537455 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701062-1278537455.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.00 2.01 1.97 3/196 19227 /proc/meminfo: memFree=28936220/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=13164 CPUtime=0 /proc/19227/stat : 19227 (java) R 19225 19227 17937 0 -1 4194304 862 0 0 0 0 0 0 0 17 0 1 0 21959048 13479936 390 4089446400 134512640 134550932 4291646736 18446744073709551615 6592133 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19227/statm: 3291 396 144 10 0 1121 0 [startup+0.0818161 s] /proc/loadavg: 2.00 2.01 1.97 3/196 19227 /proc/meminfo: memFree=28936220/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1530468 CPUtime=0.07 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 4891 0 1 0 6 1 0 0 17 0 18 0 21959048 1567199232 4330 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 382652 4336 1324 10 0 379955 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1530468 [startup+0.100807 s] /proc/loadavg: 2.00 2.01 1.97 3/196 19227 /proc/meminfo: memFree=28936220/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1530912 CPUtime=0.11 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 5230 0 1 0 10 1 0 0 17 0 18 0 21959048 1567653888 4668 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 382728 4668 1346 10 0 380031 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530912 [startup+0.300774 s] /proc/loadavg: 2.00 2.01 1.97 3/196 19227 /proc/meminfo: memFree=28936220/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1534560 CPUtime=0.58 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 23025 0 1 0 55 3 0 0 17 0 18 0 21959048 1571389440 22142 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 383640 22145 1406 10 0 380943 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 1534560 [startup+0.704834 s] /proc/loadavg: 2.00 2.01 1.97 3/196 19227 /proc/meminfo: memFree=28936220/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1534068 CPUtime=1.47 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 48522 0 1 0 140 7 0 0 17 0 18 0 21959048 1570885632 47460 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 383517 47460 1417 10 0 380820 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 1534068 [startup+1.50159 s] /proc/loadavg: 2.00 2.01 1.97 4/214 19245 /proc/meminfo: memFree=28720008/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1538960 CPUtime=3.33 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 59237 0 1 0 321 12 0 0 17 0 18 0 21959048 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 384740 56835 1423 10 0 382043 0 [pid=19227/tid=19229] ppid=19225 vsize=1538960 CPUtime=1.2 /proc/19227/task/19229/stat : 19229 (java) R 19225 19227 17937 0 -1 4202560 32077 0 1 0 116 4 0 0 16 0 18 0 21959049 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=19227/tid=19230] ppid=19225 vsize=1538960 CPUtime=0.2 /proc/19227/task/19230/stat : 19230 (java) S 19225 19227 17937 0 -1 4202560 2770 0 0 0 20 0 0 0 15 0 18 0 21959049 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 6 0 0 0 [pid=19227/tid=19231] ppid=19225 vsize=1538960 CPUtime=0.19 /proc/19227/task/19231/stat : 19231 (java) S 19225 19227 17937 0 -1 4202560 2199 0 0 0 19 0 0 0 15 0 18 0 21959049 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19232] ppid=19225 vsize=1538960 CPUtime=0.17 /proc/19227/task/19232/stat : 19232 (java) S 19225 19227 17937 0 -1 4202560 1984 0 0 0 17 0 0 0 15 0 18 0 21959049 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 2 0 0 0 [pid=19227/tid=19233] ppid=19225 vsize=1538960 CPUtime=0.22 /proc/19227/task/19233/stat : 19233 (java) S 19225 19227 17937 0 -1 4202560 3251 0 0 0 22 0 0 0 16 0 18 0 21959049 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19234] ppid=19225 vsize=1538960 CPUtime=0.2 /proc/19227/task/19234/stat : 19234 (java) S 19225 19227 17937 0 -1 4202560 2337 0 0 0 20 0 0 0 15 0 18 0 21959049 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19235] ppid=19225 vsize=1538960 CPUtime=0.16 /proc/19227/task/19235/stat : 19235 (java) S 19225 19227 17937 0 -1 4202560 3835 0 0 0 15 1 0 0 16 0 18 0 21959049 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19236] ppid=19225 vsize=1538960 CPUtime=0.15 /proc/19227/task/19236/stat : 19236 (java) S 19225 19227 17937 0 -1 4202560 2909 0 0 0 15 0 0 0 15 0 18 0 21959049 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19237] ppid=19225 vsize=1538960 CPUtime=0.19 /proc/19227/task/19237/stat : 19237 (java) S 19225 19227 17937 0 -1 4202560 2885 0 0 0 18 1 0 0 16 0 18 0 21959049 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 [pid=19227/tid=19238] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19238/stat : 19238 (java) S 19225 19227 17937 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 18 0 21959050 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19239] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19239/stat : 19239 (java) S 19225 19227 17937 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 18 0 21959050 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19240] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19240/stat : 19240 (java) S 19225 19227 17937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 21959050 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19241] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19241/stat : 19241 (java) S 19225 19227 17937 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 21959053 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19242] ppid=19225 vsize=1538960 CPUtime=0.22 /proc/19227/task/19242/stat : 19242 (java) S 19225 19227 17937 0 -1 4202560 998 0 0 0 22 0 0 0 16 0 18 0 21959053 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19243] ppid=19225 vsize=1538960 CPUtime=0.33 /proc/19227/task/19243/stat : 19243 (java) S 19225 19227 17937 0 -1 4202560 2909 0 0 0 33 0 0 0 15 0 18 0 21959053 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19244] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19244/stat : 19244 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21959053 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19245] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19245/stat : 19245 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21959053 1575895040 56835 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.33 Current children cumulated vsize (KiB) 1538960 [startup+3.10131 s] /proc/loadavg: 2.00 2.01 1.97 3/214 19245 /proc/meminfo: memFree=28710956/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1538960 CPUtime=5.42 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 61190 0 1 0 526 16 0 0 17 0 18 0 21959048 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 384740 58687 1423 10 0 382043 0 [pid=19227/tid=19229] ppid=19225 vsize=1538960 CPUtime=2.68 /proc/19227/task/19229/stat : 19229 (java) R 19225 19227 17937 0 -1 4202560 32122 0 1 0 264 4 0 0 16 0 18 0 21959049 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=19227/tid=19230] ppid=19225 vsize=1538960 CPUtime=0.27 /proc/19227/task/19230/stat : 19230 (java) S 19225 19227 17937 0 -1 4202560 3087 0 0 0 26 1 0 0 15 0 18 0 21959049 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19231] ppid=19225 vsize=1538960 CPUtime=0.26 /proc/19227/task/19231/stat : 19231 (java) S 19225 19227 17937 0 -1 4202560 2465 0 0 0 26 0 0 0 15 0 18 0 21959049 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 6 0 0 0 [pid=19227/tid=19232] ppid=19225 vsize=1538960 CPUtime=0.24 /proc/19227/task/19232/stat : 19232 (java) S 19225 19227 17937 0 -1 4202560 2242 0 0 0 23 1 0 0 15 0 18 0 21959049 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 2 0 0 0 [pid=19227/tid=19233] ppid=19225 vsize=1538960 CPUtime=0.27 /proc/19227/task/19233/stat : 19233 (java) S 19225 19227 17937 0 -1 4202560 3445 0 0 0 27 0 0 0 15 0 18 0 21959049 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19234] ppid=19225 vsize=1538960 CPUtime=0.25 /proc/19227/task/19234/stat : 19234 (java) S 19225 19227 17937 0 -1 4202560 2503 0 0 0 25 0 0 0 15 0 18 0 21959049 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19235] ppid=19225 vsize=1538960 CPUtime=0.21 /proc/19227/task/19235/stat : 19235 (java) S 19225 19227 17937 0 -1 4202560 4055 0 0 0 20 1 0 0 15 0 18 0 21959049 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19236] ppid=19225 vsize=1538960 CPUtime=0.21 /proc/19227/task/19236/stat : 19236 (java) S 19225 19227 17937 0 -1 4202560 3115 0 0 0 20 1 0 0 15 0 18 0 21959049 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19237] ppid=19225 vsize=1538960 CPUtime=0.24 /proc/19227/task/19237/stat : 19237 (java) S 19225 19227 17937 0 -1 4202560 3155 0 0 0 23 1 0 0 15 0 18 0 21959049 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 [pid=19227/tid=19238] ppid=19225 vsize=1538960 CPUtime=0.01 /proc/19227/task/19238/stat : 19238 (java) S 19225 19227 17937 0 -1 4202560 21 0 0 0 1 0 0 0 16 0 18 0 21959050 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19239] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19239/stat : 19239 (java) S 19225 19227 17937 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 18 0 21959050 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19240] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19240/stat : 19240 (java) S 19225 19227 17937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 21959050 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19241] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19241/stat : 19241 (java) S 19225 19227 17937 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 21959053 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19242] ppid=19225 vsize=1538960 CPUtime=0.27 /proc/19227/task/19242/stat : 19242 (java) S 19225 19227 17937 0 -1 4202560 1004 0 0 0 27 0 0 0 15 0 18 0 21959053 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19243] ppid=19225 vsize=1538960 CPUtime=0.38 /proc/19227/task/19243/stat : 19243 (java) S 19225 19227 17937 0 -1 4202560 2914 0 0 0 38 0 0 0 15 0 18 0 21959053 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19244] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19244/stat : 19244 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21959053 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19245] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19245/stat : 19245 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21959053 1575895040 58687 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 5.42 Current children cumulated vsize (KiB) 1538960 [startup+6.30078 s] /proc/loadavg: 2.08 2.03 1.98 3/214 19245 /proc/meminfo: memFree=28696708/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1538960 CPUtime=9.38 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 64604 0 1 0 912 26 0 0 17 0 18 0 21959048 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 384740 61918 1423 10 0 382043 0 [pid=19227/tid=19229] ppid=19225 vsize=1538960 CPUtime=5.61 /proc/19227/task/19229/stat : 19229 (java) R 19225 19227 17937 0 -1 4202560 32212 0 1 0 557 4 0 0 18 0 18 0 21959049 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=19227/tid=19230] ppid=19225 vsize=1538960 CPUtime=0.39 /proc/19227/task/19230/stat : 19230 (java) S 19225 19227 17937 0 -1 4202560 3375 0 0 0 38 1 0 0 15 0 18 0 21959049 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19231] ppid=19225 vsize=1538960 CPUtime=0.37 /proc/19227/task/19231/stat : 19231 (java) S 19225 19227 17937 0 -1 4202560 2828 0 0 0 36 1 0 0 15 0 18 0 21959049 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 6 0 0 0 [pid=19227/tid=19232] ppid=19225 vsize=1538960 CPUtime=0.34 /proc/19227/task/19232/stat : 19232 (java) S 19225 19227 17937 0 -1 4202560 2560 0 0 0 33 1 0 0 15 0 18 0 21959049 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 2 0 0 0 [pid=19227/tid=19233] ppid=19225 vsize=1538960 CPUtime=0.41 /proc/19227/task/19233/stat : 19233 (java) S 19225 19227 17937 0 -1 4202560 3943 0 0 0 40 1 0 0 15 0 18 0 21959049 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19234] ppid=19225 vsize=1538960 CPUtime=0.38 /proc/19227/task/19234/stat : 19234 (java) S 19225 19227 17937 0 -1 4202560 3003 0 0 0 37 1 0 0 15 0 18 0 21959049 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19235] ppid=19225 vsize=1538960 CPUtime=0.34 /proc/19227/task/19235/stat : 19235 (java) S 19225 19227 17937 0 -1 4202560 4417 0 0 0 32 2 0 0 15 0 18 0 21959049 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19236] ppid=19225 vsize=1538960 CPUtime=0.33 /proc/19227/task/19236/stat : 19236 (java) S 19225 19227 17937 0 -1 4202560 3555 0 0 0 31 2 0 0 15 0 18 0 21959049 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 2 0 0 0 [pid=19227/tid=19237] ppid=19225 vsize=1538960 CPUtime=0.38 /proc/19227/task/19237/stat : 19237 (java) R 19225 19227 17937 0 -1 4202560 3710 0 0 0 35 3 0 0 15 0 18 0 21959049 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=19227/tid=19238] ppid=19225 vsize=1538960 CPUtime=0.05 /proc/19227/task/19238/stat : 19238 (java) S 19225 19227 17937 0 -1 4202560 21 0 0 0 2 3 0 0 16 0 18 0 21959050 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19239] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19239/stat : 19239 (java) S 19225 19227 17937 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 18 0 21959050 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19240] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19240/stat : 19240 (java) S 19225 19227 17937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 21959050 1575895040 61918 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19241] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19241/stat : 19241 (java) S 19225 19227 17937 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 21959053 1575895040 61919 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19242] ppid=19225 vsize=1538960 CPUtime=0.27 /proc/19227/task/19242/stat : 19242 (java) S 19225 19227 17937 0 -1 4202560 1004 0 0 0 27 0 0 0 15 0 18 0 21959053 1575895040 61920 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19243] ppid=19225 vsize=1538960 CPUtime=0.38 /proc/19227/task/19243/stat : 19243 (java) S 19225 19227 17937 0 -1 4202560 2914 0 0 0 38 0 0 0 15 0 18 0 21959053 1575895040 61920 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19244] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19244/stat : 19244 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21959053 1575895040 61920 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19245] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19245/stat : 19245 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21959053 1575895040 61920 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 9.38 Current children cumulated vsize (KiB) 1538960 [startup+12.7014 s] /proc/loadavg: 2.07 2.03 1.98 3/214 19245 /proc/meminfo: memFree=28675396/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1538960 CPUtime=17.51 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 70115 0 1 0 1690 61 0 0 17 0 18 0 21959048 1575895040 67115 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 384740 67116 1423 10 0 382043 0 [pid=19227/tid=19229] ppid=19225 vsize=1538960 CPUtime=11.4 /proc/19227/task/19229/stat : 19229 (java) S 19225 19227 17937 0 -1 4202560 32390 0 1 0 1135 5 0 0 22 0 18 0 21959049 1575895040 67116 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19230] ppid=19225 vsize=1538960 CPUtime=0.69 /proc/19227/task/19230/stat : 19230 (java) S 19225 19227 17937 0 -1 4202560 4035 0 0 0 64 5 0 0 15 0 18 0 21959049 1575895040 67116 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 2 0 0 0 [pid=19227/tid=19231] ppid=19225 vsize=1538960 CPUtime=0.66 /proc/19227/task/19231/stat : 19231 (java) S 19225 19227 17937 0 -1 4202560 3446 0 0 0 61 5 0 0 15 0 18 0 21959049 1575895040 67116 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 6 0 0 0 [pid=19227/tid=19232] ppid=19225 vsize=1538960 CPUtime=0.61 /proc/19227/task/19232/stat : 19232 (java) R 19225 19227 17937 0 -1 4202560 3200 0 0 0 56 5 0 0 15 0 18 0 21959049 1575895040 67116 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19227/tid=19233] ppid=19225 vsize=1538960 CPUtime=0.72 /proc/19227/task/19233/stat : 19233 (java) S 19225 19227 17937 0 -1 4202560 4550 0 0 0 67 5 0 0 15 0 18 0 21959049 1575895040 67116 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 ################ # More data... # ################ /proc/loadavg: 2.05 2.03 1.98 3/214 19246 /proc/meminfo: memFree=28598544/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1538960 CPUtime=53.41 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 91668 0 1 0 5122 219 0 0 17 0 18 0 21959048 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 384740 87518 1423 10 0 382043 0 [pid=19227/tid=19229] ppid=19225 vsize=1538960 CPUtime=33.76 /proc/19227/task/19229/stat : 19229 (java) R 19225 19227 17937 0 -1 4202560 33086 0 1 0 3369 7 0 0 25 0 18 0 21959049 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19227/tid=19230] ppid=19225 vsize=1538960 CPUtime=2.43 /proc/19227/task/19230/stat : 19230 (java) S 19225 19227 17937 0 -1 4202560 7062 0 0 0 221 22 0 0 15 0 18 0 21959049 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 6 0 0 0 [pid=19227/tid=19231] ppid=19225 vsize=1538960 CPUtime=2.39 /proc/19227/task/19231/stat : 19231 (java) S 19225 19227 17937 0 -1 4202560 6198 0 0 0 213 26 0 0 15 0 18 0 21959049 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19232] ppid=19225 vsize=1538960 CPUtime=2.29 /proc/19227/task/19232/stat : 19232 (java) S 19225 19227 17937 0 -1 4202560 6604 0 0 0 207 22 0 0 15 0 18 0 21959049 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 2 0 0 0 [pid=19227/tid=19233] ppid=19225 vsize=1538960 CPUtime=2.35 /proc/19227/task/19233/stat : 19233 (java) S 19225 19227 17937 0 -1 4202560 6551 0 0 0 210 25 0 0 15 0 18 0 21959049 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19234] ppid=19225 vsize=1538960 CPUtime=2.31 /proc/19227/task/19234/stat : 19234 (java) S 19225 19227 17937 0 -1 4202560 6360 0 0 0 206 25 0 0 15 0 18 0 21959049 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 6 0 0 0 [pid=19227/tid=19235] ppid=19225 vsize=1538960 CPUtime=2.29 /proc/19227/task/19235/stat : 19235 (java) S 19225 19227 17937 0 -1 4202560 6780 0 0 0 204 25 0 0 15 0 18 0 21959049 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 [pid=19227/tid=19236] ppid=19225 vsize=1538960 CPUtime=2.23 /proc/19227/task/19236/stat : 19236 (java) S 19225 19227 17937 0 -1 4202560 6674 0 0 0 201 22 0 0 15 0 18 0 21959049 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19237] ppid=19225 vsize=1538960 CPUtime=2.35 /proc/19227/task/19237/stat : 19237 (java) S 19225 19227 17937 0 -1 4202560 7340 0 0 0 211 24 0 0 15 0 18 0 21959049 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19238] ppid=19225 vsize=1538960 CPUtime=0.22 /proc/19227/task/19238/stat : 19238 (java) S 19225 19227 17937 0 -1 4202560 32 0 0 0 8 14 0 0 15 0 18 0 21959050 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19239] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19239/stat : 19239 (java) S 19225 19227 17937 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 18 0 21959050 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19240] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19240/stat : 19240 (java) S 19225 19227 17937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 21959050 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19241] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19241/stat : 19241 (java) S 19225 19227 17937 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 21959053 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19242] ppid=19225 vsize=1538960 CPUtime=0.27 /proc/19227/task/19242/stat : 19242 (java) S 19225 19227 17937 0 -1 4202560 1004 0 0 0 27 0 0 0 15 0 18 0 21959053 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19243] ppid=19225 vsize=1538960 CPUtime=0.38 /proc/19227/task/19243/stat : 19243 (java) S 19225 19227 17937 0 -1 4202560 2914 0 0 0 38 0 0 0 15 0 18 0 21959053 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19244] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19244/stat : 19244 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21959053 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19245] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19245/stat : 19245 (java) S 19225 19227 17937 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 21959053 1575895040 87518 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 53.41 Current children cumulated vsize (KiB) 1538960 [startup+39.1013 s] /proc/loadavg: 2.04 2.03 1.98 4/214 19246 /proc/meminfo: memFree=28591848/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1538960 CPUtime=54.64 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 97577 0 1 0 5242 222 0 0 17 0 18 0 21959048 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 384740 93165 1423 10 0 382043 0 [pid=19227/tid=19229] ppid=19225 vsize=1538960 CPUtime=34.48 /proc/19227/task/19229/stat : 19229 (java) R 19225 19227 17937 0 -1 4202560 33116 0 1 0 3441 7 0 0 25 0 18 0 21959049 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4109950439 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19227/tid=19230] ppid=19225 vsize=1538960 CPUtime=2.47 /proc/19227/task/19230/stat : 19230 (java) S 19225 19227 17937 0 -1 4202560 7166 0 0 0 224 23 0 0 16 0 18 0 21959049 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 6 0 0 0 [pid=19227/tid=19231] ppid=19225 vsize=1538960 CPUtime=2.45 /proc/19227/task/19231/stat : 19231 (java) S 19225 19227 17937 0 -1 4202560 7663 0 0 0 218 27 0 0 16 0 18 0 21959049 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19232] ppid=19225 vsize=1538960 CPUtime=2.34 /proc/19227/task/19232/stat : 19232 (java) S 19225 19227 17937 0 -1 4202560 7765 0 0 0 212 22 0 0 16 0 18 0 21959049 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 2 0 0 0 [pid=19227/tid=19233] ppid=19225 vsize=1538960 CPUtime=2.39 /proc/19227/task/19233/stat : 19233 (java) S 19225 19227 17937 0 -1 4202560 7357 0 0 0 214 25 0 0 16 0 18 0 21959049 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 [pid=19227/tid=19234] ppid=19225 vsize=1538960 CPUtime=2.36 /proc/19227/task/19234/stat : 19234 (java) S 19225 19227 17937 0 -1 4202560 6859 0 0 0 211 25 0 0 16 0 18 0 21959049 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19235] ppid=19225 vsize=1538960 CPUtime=2.36 /proc/19227/task/19235/stat : 19235 (java) S 19225 19227 17937 0 -1 4202560 7943 0 0 0 210 26 0 0 16 0 18 0 21959049 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19236] ppid=19225 vsize=1538960 CPUtime=2.26 /proc/19227/task/19236/stat : 19236 (java) S 19225 19227 17937 0 -1 4202560 6787 0 0 0 203 23 0 0 16 0 18 0 21959049 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 [pid=19227/tid=19237] ppid=19225 vsize=1538960 CPUtime=2.4 /proc/19227/task/19237/stat : 19237 (java) S 19225 19227 17937 0 -1 4202560 7894 0 0 0 215 25 0 0 16 0 18 0 21959049 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19238] ppid=19225 vsize=1538960 CPUtime=0.22 /proc/19227/task/19238/stat : 19238 (java) S 19225 19227 17937 0 -1 4202560 32 0 0 0 8 14 0 0 15 0 18 0 21959050 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19239] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19239/stat : 19239 (java) S 19225 19227 17937 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 18 0 21959050 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19240] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19240/stat : 19240 (java) S 19225 19227 17937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 21959050 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19241] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19241/stat : 19241 (java) S 19225 19227 17937 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 21959053 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19242] ppid=19225 vsize=1538960 CPUtime=0.3 /proc/19227/task/19242/stat : 19242 (java) S 19225 19227 17937 0 -1 4202560 1006 0 0 0 30 0 0 0 15 0 18 0 21959053 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19243] ppid=19225 vsize=1538960 CPUtime=0.5 /proc/19227/task/19243/stat : 19243 (java) S 19225 19227 17937 0 -1 4202560 2926 0 0 0 50 0 0 0 15 0 18 0 21959053 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19244] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19244/stat : 19244 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21959053 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19245] ppid=19225 vsize=1538960 CPUtime=0 /proc/19227/task/19245/stat : 19245 (java) S 19225 19227 17937 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 21959053 1575895040 93165 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 54.64 Current children cumulated vsize (KiB) 1538960 [startup+39.9011 s] /proc/loadavg: 2.04 2.03 1.98 5/216 19248 /proc/meminfo: memFree=28569356/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1539608 CPUtime=55.91 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 104768 0 1 0 5367 224 0 0 17 0 18 0 21959048 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 384902 100321 1437 10 0 382205 0 [pid=19227/tid=19229] ppid=19225 vsize=1539608 CPUtime=34.71 /proc/19227/task/19229/stat : 19229 (java) S 19225 19227 17937 0 -1 4202560 33120 0 1 0 3464 7 0 0 25 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19230] ppid=19225 vsize=1539608 CPUtime=2.5 /proc/19227/task/19230/stat : 19230 (java) S 19225 19227 17937 0 -1 4202560 9087 0 0 0 227 23 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 6 0 0 0 [pid=19227/tid=19231] ppid=19225 vsize=1539608 CPUtime=2.48 /proc/19227/task/19231/stat : 19231 (java) S 19225 19227 17937 0 -1 4202560 9442 0 0 0 221 27 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19232] ppid=19225 vsize=1539608 CPUtime=2.39 /proc/19227/task/19232/stat : 19232 (java) S 19225 19227 17937 0 -1 4202560 9013 0 0 0 217 22 0 0 16 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 2 0 0 0 [pid=19227/tid=19233] ppid=19225 vsize=1539608 CPUtime=2.42 /proc/19227/task/19233/stat : 19233 (java) S 19225 19227 17937 0 -1 4202560 9229 0 0 0 216 26 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 [pid=19227/tid=19234] ppid=19225 vsize=1539608 CPUtime=2.38 /proc/19227/task/19234/stat : 19234 (java) S 19225 19227 17937 0 -1 4202560 6952 0 0 0 213 25 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19235] ppid=19225 vsize=1539608 CPUtime=2.39 /proc/19227/task/19235/stat : 19235 (java) S 19225 19227 17937 0 -1 4202560 8000 0 0 0 213 26 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19236] ppid=19225 vsize=1539608 CPUtime=2.28 /proc/19227/task/19236/stat : 19236 (java) S 19225 19227 17937 0 -1 4202560 6813 0 0 0 205 23 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 [pid=19227/tid=19237] ppid=19225 vsize=1539608 CPUtime=2.43 /proc/19227/task/19237/stat : 19237 (java) S 19225 19227 17937 0 -1 4202560 8004 0 0 0 218 25 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19238] ppid=19225 vsize=1539608 CPUtime=0.22 /proc/19227/task/19238/stat : 19238 (java) S 19225 19227 17937 0 -1 4202560 32 0 0 0 8 14 0 0 15 0 18 0 21959050 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19239] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19239/stat : 19239 (java) S 19225 19227 17937 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 18 0 21959050 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19240] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19240/stat : 19240 (java) S 19225 19227 17937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 21959050 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19241] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19241/stat : 19241 (java) S 19225 19227 17937 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19242] ppid=19225 vsize=1539608 CPUtime=0.43 /proc/19227/task/19242/stat : 19242 (java) S 19225 19227 17937 0 -1 4202560 1044 0 0 0 43 0 0 0 16 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19243] ppid=19225 vsize=1539608 CPUtime=0.66 /proc/19227/task/19243/stat : 19243 (java) S 19225 19227 17937 0 -1 4202560 2947 0 0 0 66 0 0 0 15 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19244] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19244/stat : 19244 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19245] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19245/stat : 19245 (java) S 19225 19227 17937 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 55.91 Current children cumulated vsize (KiB) 1539608 [startup+40.3011 s] /proc/loadavg: 2.04 2.03 1.98 5/216 19248 /proc/meminfo: memFree=28569356/32951124 swapFree=67111528/67111528 [pid=19227] ppid=19225 vsize=1539608 CPUtime=55.91 /proc/19227/stat : 19227 (java) S 19225 19227 17937 0 -1 4202496 104768 0 1 0 5367 224 0 0 17 0 18 0 21959048 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/19227/statm: 384902 100321 1437 10 0 382205 0 [pid=19227/tid=19229] ppid=19225 vsize=1539608 CPUtime=34.71 /proc/19227/task/19229/stat : 19229 (java) S 19225 19227 17937 0 -1 4202560 33120 0 1 0 3464 7 0 0 25 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19230] ppid=19225 vsize=1539608 CPUtime=2.5 /proc/19227/task/19230/stat : 19230 (java) S 19225 19227 17937 0 -1 4202560 9087 0 0 0 227 23 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 6 0 0 0 [pid=19227/tid=19231] ppid=19225 vsize=1539608 CPUtime=2.48 /proc/19227/task/19231/stat : 19231 (java) S 19225 19227 17937 0 -1 4202560 9442 0 0 0 221 27 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19232] ppid=19225 vsize=1539608 CPUtime=2.39 /proc/19227/task/19232/stat : 19232 (java) S 19225 19227 17937 0 -1 4202560 9013 0 0 0 217 22 0 0 16 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 2 0 0 0 [pid=19227/tid=19233] ppid=19225 vsize=1539608 CPUtime=2.42 /proc/19227/task/19233/stat : 19233 (java) S 19225 19227 17937 0 -1 4202560 9229 0 0 0 216 26 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 [pid=19227/tid=19234] ppid=19225 vsize=1539608 CPUtime=2.38 /proc/19227/task/19234/stat : 19234 (java) S 19225 19227 17937 0 -1 4202560 6952 0 0 0 213 25 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19235] ppid=19225 vsize=1539608 CPUtime=2.39 /proc/19227/task/19235/stat : 19235 (java) S 19225 19227 17937 0 -1 4202560 8000 0 0 0 213 26 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19236] ppid=19225 vsize=1539608 CPUtime=2.28 /proc/19227/task/19236/stat : 19236 (java) S 19225 19227 17937 0 -1 4202560 6813 0 0 0 205 23 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 7 0 0 0 [pid=19227/tid=19237] ppid=19225 vsize=1539608 CPUtime=2.43 /proc/19227/task/19237/stat : 19237 (java) S 19225 19227 17937 0 -1 4202560 8004 0 0 0 218 25 0 0 15 0 18 0 21959049 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19238] ppid=19225 vsize=1539608 CPUtime=0.22 /proc/19227/task/19238/stat : 19238 (java) S 19225 19227 17937 0 -1 4202560 32 0 0 0 8 14 0 0 15 0 18 0 21959050 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 0 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19239] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19239/stat : 19239 (java) S 19225 19227 17937 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 18 0 21959050 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19240] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19240/stat : 19240 (java) S 19225 19227 17937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 21959050 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19241] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19241/stat : 19241 (java) S 19225 19227 17937 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 1 0 0 0 [pid=19227/tid=19242] ppid=19225 vsize=1539608 CPUtime=0.43 /proc/19227/task/19242/stat : 19242 (java) S 19225 19227 17937 0 -1 4202560 1044 0 0 0 43 0 0 0 16 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 0 0 0 0 [pid=19227/tid=19243] ppid=19225 vsize=1539608 CPUtime=0.66 /proc/19227/task/19243/stat : 19243 (java) S 19225 19227 17937 0 -1 4202560 2947 0 0 0 66 0 0 0 15 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 5 0 0 0 [pid=19227/tid=19244] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19244/stat : 19244 (java) S 19225 19227 17937 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 3 0 0 0 [pid=19227/tid=19245] ppid=19225 vsize=1539608 CPUtime=0 /proc/19227/task/19245/stat : 19245 (java) S 19225 19227 17937 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 21959053 1576558592 100321 4089446400 134512640 134550932 4291646736 18446744073709551615 4294960144 0 4 0 16800975 18446604471135065344 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 55.91 Current children cumulated vsize (KiB) 1539608 Child status: 20 Real time (s): 40.3853 CPU time (s): 55.9385 CPU user time (s): 53.6788 CPU system time (s): 2.25966 CPU usage (%): 138.512 Max. virtual memory (cumulated for all children) (KiB): 1539816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.6788 system time used= 2.25966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104775 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= 34229 involuntary context switches= 612987 runsolver used 0.065989 second user time and 0.165974 second system time The end
Begin job on node118 at 2010-07-07 23:17:35 IDJOB=2701062 IDBENCH=79517 IDSOLVER=1207 FILE ID=node118/2701062-1278537455 PBS_JOBID= 11239241 Free space on /tmp= 73552 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-capb_wcsp.wbo COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701062-1278537455/watcher-2701062-1278537455 -o /tmp/evaluation-result-2701062-1278537455/solver-2701062-1278537455 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701062-1278537455.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b88bd1871aa01efcb3899341ac23775f RANDOM SEED=1754216396 node118.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.818 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.63 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.818 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.818 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.75 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.818 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.818 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.72 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.818 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.818 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.76 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.818 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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28936616 kB Buffers: 139972 kB Cached: 3571052 kB SwapCached: 0 kB Active: 1313264 kB Inactive: 2551772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28936616 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6884 kB Writeback: 0 kB AnonPages: 153836 kB Mapped: 20484 kB Slab: 85304 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1651176 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73552 MiB End job on node118 at 2010-07-07 23:18:16