Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong UNSAT | 84.1502 | 62.5472 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-18_wcsp.wbo |
MD5SUM | 2582e52fbf68981b5c6eeba11c628b49 |
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 | 55687 |
Best CPU time to get the best result obtained on this benchmark | 1800.24 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 2210 |
Total number of constraints | 246592 |
Number of soft constraints | 246492 |
Number of constraints which are clauses | 246492 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 26 |
Top cost | 255184 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 44859114 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 27 |
Number of bits of the biggest sum of numbers | 5 |
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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 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@18385e3 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@cf40f5 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-2701416-1278539934.wbo 0.11/0.10 c reading problem ... 80.53/60.48 c ... done. Wall clock time 60.383s. 80.53/60.48 c #vars 248702 80.53/60.48 c #constraints 246693 80.53/60.48 c constraints type 80.53/60.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 80.53/60.48 c org.sat4j.minisat.constraints.card.MinWatchCard => 246592 80.53/60.48 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 80.53/60.48 c constraints type 80.53/60.48 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100 80.53/60.48 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 246592 80.53/60.48 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 84.05/61.63 c And the winner is CuttingPlanes 84.11/62.49 c starts : 2 84.11/62.49 c conflicts : 252 84.11/62.49 c decisions : 251854 84.11/62.49 c propagations : 289411 84.11/62.49 c inspects : 173202 84.11/62.49 c learnt literals : 0 84.11/62.49 c learnt binary clauses : 0 84.11/62.49 c learnt ternary clauses : 0 84.11/62.49 c learnt clauses : 251 84.11/62.49 c ignored clauses : 0 84.11/62.49 c root simplifications : 0 84.11/62.49 c removed literals (reason simplification) : 0 84.11/62.49 c reason swapping (by a shorter reason) : 0 84.11/62.49 c Calls to reduceDB : 0 84.11/62.49 c number of reductions to clauses (during analyze) : 0 84.11/62.49 c number of learned constraints concerned by reduction : 0 84.11/62.49 c number of learning phase by resolution : 0 84.11/62.49 c number of learning phase by cutting planes : 0 84.11/62.49 c speed (assignments/second) : 144416.66666666666 84.11/62.49 c non guided choices 4638 84.11/62.49 c learnt constraints type 84.11/62.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 251 84.11/62.49 c constraints type 84.11/62.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 84.11/62.49 c org.sat4j.minisat.constraints.card.MinWatchCard => 246592 84.11/62.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 84.11/62.49 c constraints type 84.11/62.49 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100 84.11/62.49 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 246592 84.11/62.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 84.11/62.49 s UNSATISFIABLE 84.11/62.49 c Total wall clock time (in seconds): 62.391
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-2701416-1278539934/watcher-2701416-1278539934 -o /tmp/evaluation-result-2701416-1278539934/solver-2701416-1278539934 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701416-1278539934.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: 1.92 1.98 1.95 3/178 19756 /proc/meminfo: memFree=28513176/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=13436 CPUtime=0 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 1057 0 0 0 0 0 0 0 25 0 2 0 22206796 13758464 539 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 3359 539 231 10 0 1202 0 [pid=19756/tid=19757] ppid=19754 vsize=13436 CPUtime=0 /proc/19756/task/19757/stat : 19757 (java) R 19754 19756 16719 0 -1 4202560 29 0 0 0 0 0 0 0 25 0 2 0 22206796 13758464 552 4089446400 134512640 134550932 4289630816 18446744073709551615 11375188 0 0 4096 0 0 0 0 -1 1 0 0 0 [startup+0.092442 s] /proc/loadavg: 1.92 1.98 1.95 3/178 19756 /proc/meminfo: memFree=28513176/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1529908 CPUtime=0.1 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 5178 0 1 0 9 1 0 0 25 0 18 0 22206796 1566625792 4614 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 382477 4614 1346 10 0 379780 0 [pid=19756/tid=19757] ppid=19754 vsize=1529908 CPUtime=0.08 /proc/19756/task/19757/stat : 19757 (java) R 19754 19756 16719 0 -1 4202560 3499 0 1 0 7 1 0 0 25 0 18 0 22206796 1566625792 4614 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1529908 [startup+0.100438 s] /proc/loadavg: 1.92 1.98 1.95 3/178 19756 /proc/meminfo: memFree=28513176/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1529908 CPUtime=0.11 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 5249 0 1 0 10 1 0 0 25 0 18 0 22206796 1566625792 4685 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 382477 4685 1346 10 0 379780 0 [pid=19756/tid=19757] ppid=19754 vsize=1529908 CPUtime=0.08 /proc/19756/task/19757/stat : 19757 (java) R 19754 19756 16719 0 -1 4202560 3571 0 1 0 7 1 0 0 25 0 18 0 22206796 1566625792 4686 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529908 [startup+0.300437 s] /proc/loadavg: 1.92 1.98 1.95 3/178 19756 /proc/meminfo: memFree=28513176/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1532720 CPUtime=0.57 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 19041 0 1 0 55 2 0 0 25 0 18 0 22206796 1569505280 18265 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 383180 18273 1414 10 0 380483 0 [pid=19756/tid=19757] ppid=19754 vsize=1532720 CPUtime=0.28 /proc/19756/task/19757/stat : 19757 (java) R 19754 19756 16719 0 -1 4202560 16282 0 1 0 26 2 0 0 25 0 18 0 22206796 1569505280 18273 4089446400 134512640 134550932 4289630816 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 1532720 [startup+0.700343 s] /proc/loadavg: 1.92 1.98 1.95 3/178 19756 /proc/meminfo: memFree=28513176/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1541384 CPUtime=1.5 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 47854 0 1 0 144 6 0 0 25 0 18 0 22206796 1578377216 46039 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 385346 46039 1425 10 0 382649 0 [pid=19756/tid=19757] ppid=19754 vsize=1541384 CPUtime=0.64 /proc/19756/task/19757/stat : 19757 (java) R 19754 19756 16719 0 -1 4202560 35211 0 1 0 59 5 0 0 25 0 18 0 22206796 1578377216 46039 4089446400 134512640 134550932 4289630816 18446744073709551615 4109178447 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 1541384 [startup+1.5012 s] /proc/loadavg: 1.92 1.98 1.95 3/196 19774 /proc/meminfo: memFree=28326668/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1541384 CPUtime=2.48 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 52504 0 1 0 241 7 0 0 25 0 18 0 22206796 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 385346 50483 1425 10 0 382649 0 [pid=19756/tid=19757] ppid=19754 vsize=1541384 CPUtime=1.39 /proc/19756/task/19757/stat : 19757 (java) R 19754 19756 16719 0 -1 4202560 35976 0 1 0 134 5 0 0 25 0 18 0 22206796 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4109157339 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=19756/tid=19759] ppid=19754 vsize=1541384 CPUtime=0.05 /proc/19756/task/19759/stat : 19759 (java) S 19754 19756 16719 0 -1 4202560 1786 0 0 0 5 0 0 0 15 0 18 0 22206797 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19760] ppid=19754 vsize=1541384 CPUtime=0.04 /proc/19756/task/19760/stat : 19760 (java) S 19754 19756 16719 0 -1 4202560 1301 0 0 0 4 0 0 0 15 0 18 0 22206797 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19761] ppid=19754 vsize=1541384 CPUtime=0.04 /proc/19756/task/19761/stat : 19761 (java) S 19754 19756 16719 0 -1 4202560 810 0 0 0 4 0 0 0 15 0 18 0 22206797 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 5 0 0 0 [pid=19756/tid=19762] ppid=19754 vsize=1541384 CPUtime=0.04 /proc/19756/task/19762/stat : 19762 (java) S 19754 19756 16719 0 -1 4202560 1287 0 0 0 4 0 0 0 15 0 18 0 22206797 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 [pid=19756/tid=19763] ppid=19754 vsize=1541384 CPUtime=0.06 /proc/19756/task/19763/stat : 19763 (java) S 19754 19756 16719 0 -1 4202560 1573 0 0 0 6 0 0 0 15 0 18 0 22206797 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 3 0 0 0 [pid=19756/tid=19764] ppid=19754 vsize=1541384 CPUtime=0.03 /proc/19756/task/19764/stat : 19764 (java) S 19754 19756 16719 0 -1 4202560 1055 0 0 0 3 0 0 0 15 0 18 0 22206797 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19765] ppid=19754 vsize=1541384 CPUtime=0.05 /proc/19756/task/19765/stat : 19765 (java) S 19754 19756 16719 0 -1 4202560 1215 0 0 0 5 0 0 0 15 0 18 0 22206797 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 1 0 0 0 [pid=19756/tid=19766] ppid=19754 vsize=1541384 CPUtime=0.06 /proc/19756/task/19766/stat : 19766 (java) S 19754 19756 16719 0 -1 4202560 1859 0 0 0 6 0 0 0 15 0 18 0 22206797 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19767] ppid=19754 vsize=1541384 CPUtime=0 /proc/19756/task/19767/stat : 19767 (java) S 19754 19756 16719 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 18 0 22206798 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19768] ppid=19754 vsize=1541384 CPUtime=0 /proc/19756/task/19768/stat : 19768 (java) S 19754 19756 16719 0 -1 4202560 12 0 0 0 0 0 0 0 22 0 18 0 22206798 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19769] ppid=19754 vsize=1541384 CPUtime=0 /proc/19756/task/19769/stat : 19769 (java) S 19754 19756 16719 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 22206798 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19770] ppid=19754 vsize=1541384 CPUtime=0 /proc/19756/task/19770/stat : 19770 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22206800 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19771] ppid=19754 vsize=1541384 CPUtime=0.3 /proc/19756/task/19771/stat : 19771 (java) S 19754 19756 16719 0 -1 4202560 1537 0 0 0 30 0 0 0 24 0 18 0 22206800 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19772] ppid=19754 vsize=1541384 CPUtime=0.35 /proc/19756/task/19772/stat : 19772 (java) S 19754 19756 16719 0 -1 4202560 3013 0 0 0 35 0 0 0 25 0 18 0 22206800 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19773] ppid=19754 vsize=1541384 CPUtime=0 /proc/19756/task/19773/stat : 19773 (java) S 19754 19756 16719 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22206800 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19774] ppid=19754 vsize=1541384 CPUtime=0 /proc/19756/task/19774/stat : 19774 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22206800 1578377216 50483 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.48 Current children cumulated vsize (KiB) 1541384 [startup+3.10092 s] /proc/loadavg: 1.92 1.98 1.95 3/196 19774 /proc/meminfo: memFree=28308688/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1542408 CPUtime=4.45 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 56688 0 1 0 435 10 0 0 25 0 18 0 22206796 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 385602 54504 1425 10 0 382905 0 [pid=19756/tid=19757] ppid=19754 vsize=1542408 CPUtime=2.9 /proc/19756/task/19757/stat : 19757 (java) R 19754 19756 16719 0 -1 4202560 36021 0 1 0 285 5 0 0 25 0 18 0 22206796 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 106834540 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=19756/tid=19759] ppid=19754 vsize=1542408 CPUtime=0.11 /proc/19756/task/19759/stat : 19759 (java) S 19754 19756 16719 0 -1 4202560 2455 0 0 0 10 1 0 0 15 0 18 0 22206797 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19760] ppid=19754 vsize=1542408 CPUtime=0.07 /proc/19756/task/19760/stat : 19760 (java) S 19754 19756 16719 0 -1 4202560 1763 0 0 0 7 0 0 0 16 0 18 0 22206797 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 [pid=19756/tid=19761] ppid=19754 vsize=1542408 CPUtime=0.1 /proc/19756/task/19761/stat : 19761 (java) S 19754 19756 16719 0 -1 4202560 1487 0 0 0 10 0 0 0 16 0 18 0 22206797 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 5 0 0 0 [pid=19756/tid=19762] ppid=19754 vsize=1542408 CPUtime=0.08 /proc/19756/task/19762/stat : 19762 (java) S 19754 19756 16719 0 -1 4202560 1802 0 0 0 8 0 0 0 15 0 18 0 22206797 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19763] ppid=19754 vsize=1542408 CPUtime=0.12 /proc/19756/task/19763/stat : 19763 (java) S 19754 19756 16719 0 -1 4202560 2010 0 0 0 12 0 0 0 16 0 18 0 22206797 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 3 0 0 0 [pid=19756/tid=19764] ppid=19754 vsize=1542408 CPUtime=0.08 /proc/19756/task/19764/stat : 19764 (java) S 19754 19756 16719 0 -1 4202560 1431 0 0 0 8 0 0 0 15 0 18 0 22206797 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19765] ppid=19754 vsize=1542408 CPUtime=0.11 /proc/19756/task/19765/stat : 19765 (java) S 19754 19756 16719 0 -1 4202560 1761 0 0 0 11 0 0 0 16 0 18 0 22206797 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 1 0 0 0 [pid=19756/tid=19766] ppid=19754 vsize=1542408 CPUtime=0.11 /proc/19756/task/19766/stat : 19766 (java) S 19754 19756 16719 0 -1 4202560 2316 0 0 0 11 0 0 0 16 0 18 0 22206797 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19767] ppid=19754 vsize=1542408 CPUtime=0 /proc/19756/task/19767/stat : 19767 (java) S 19754 19756 16719 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 18 0 22206798 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19768] ppid=19754 vsize=1542408 CPUtime=0 /proc/19756/task/19768/stat : 19768 (java) S 19754 19756 16719 0 -1 4202560 12 0 0 0 0 0 0 0 22 0 18 0 22206798 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19769] ppid=19754 vsize=1542408 CPUtime=0 /proc/19756/task/19769/stat : 19769 (java) S 19754 19756 16719 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 22206798 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19770] ppid=19754 vsize=1542408 CPUtime=0 /proc/19756/task/19770/stat : 19770 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22206800 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19771] ppid=19754 vsize=1542408 CPUtime=0.3 /proc/19756/task/19771/stat : 19771 (java) S 19754 19756 16719 0 -1 4202560 1537 0 0 0 30 0 0 0 24 0 18 0 22206800 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19772] ppid=19754 vsize=1542408 CPUtime=0.35 /proc/19756/task/19772/stat : 19772 (java) S 19754 19756 16719 0 -1 4202560 3013 0 0 0 35 0 0 0 25 0 18 0 22206800 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19773] ppid=19754 vsize=1542408 CPUtime=0 /proc/19756/task/19773/stat : 19773 (java) S 19754 19756 16719 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22206800 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19774] ppid=19754 vsize=1542408 CPUtime=0 /proc/19756/task/19774/stat : 19774 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22206800 1579425792 54504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.45 Current children cumulated vsize (KiB) 1542408 [startup+6.30135 s] /proc/loadavg: 1.93 1.98 1.95 3/196 19774 /proc/meminfo: memFree=28284912/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1539680 CPUtime=8.39 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 62169 0 1 0 818 21 0 0 25 0 18 0 22206796 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 384920 59100 1425 10 0 382223 0 [pid=19756/tid=19757] ppid=19754 vsize=1539680 CPUtime=5.92 /proc/19756/task/19757/stat : 19757 (java) R 19754 19756 16719 0 -1 4202560 36113 0 1 0 587 5 0 0 25 0 18 0 22206796 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19756/tid=19759] ppid=19754 vsize=1539680 CPUtime=0.22 /proc/19756/task/19759/stat : 19759 (java) S 19754 19756 16719 0 -1 4202560 3165 0 0 0 20 2 0 0 15 0 18 0 22206797 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 [pid=19756/tid=19760] ppid=19754 vsize=1539680 CPUtime=0.18 /proc/19756/task/19760/stat : 19760 (java) S 19754 19756 16719 0 -1 4202560 2445 0 0 0 17 1 0 0 16 0 18 0 22206797 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19761] ppid=19754 vsize=1539680 CPUtime=0.23 /proc/19756/task/19761/stat : 19761 (java) S 19754 19756 16719 0 -1 4202560 2286 0 0 0 21 2 0 0 16 0 18 0 22206797 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 5 0 0 0 [pid=19756/tid=19762] ppid=19754 vsize=1539680 CPUtime=0.18 /proc/19756/task/19762/stat : 19762 (java) S 19754 19756 16719 0 -1 4202560 2496 0 0 0 17 1 0 0 16 0 18 0 22206797 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19763] ppid=19754 vsize=1539680 CPUtime=0.22 /proc/19756/task/19763/stat : 19763 (java) S 19754 19756 16719 0 -1 4202560 2540 0 0 0 21 1 0 0 15 0 18 0 22206797 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 3 0 0 0 [pid=19756/tid=19764] ppid=19754 vsize=1539680 CPUtime=0.19 /proc/19756/task/19764/stat : 19764 (java) S 19754 19756 16719 0 -1 4202560 1912 0 0 0 18 1 0 0 16 0 18 0 22206797 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19765] ppid=19754 vsize=1539680 CPUtime=0.24 /proc/19756/task/19765/stat : 19765 (java) S 19754 19756 16719 0 -1 4202560 2593 0 0 0 23 1 0 0 16 0 18 0 22206797 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 1 0 0 0 [pid=19756/tid=19766] ppid=19754 vsize=1539680 CPUtime=0.22 /proc/19756/task/19766/stat : 19766 (java) S 19754 19756 16719 0 -1 4202560 2977 0 0 0 22 0 0 0 16 0 18 0 22206797 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 [pid=19756/tid=19767] ppid=19754 vsize=1539680 CPUtime=0.01 /proc/19756/task/19767/stat : 19767 (java) S 19754 19756 16719 0 -1 4202560 28 0 0 0 1 0 0 0 15 0 18 0 22206798 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19768] ppid=19754 vsize=1539680 CPUtime=0 /proc/19756/task/19768/stat : 19768 (java) S 19754 19756 16719 0 -1 4202560 12 0 0 0 0 0 0 0 22 0 18 0 22206798 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19769] ppid=19754 vsize=1539680 CPUtime=0 /proc/19756/task/19769/stat : 19769 (java) S 19754 19756 16719 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 22206798 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19770] ppid=19754 vsize=1539680 CPUtime=0 /proc/19756/task/19770/stat : 19770 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22206800 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19771] ppid=19754 vsize=1539680 CPUtime=0.3 /proc/19756/task/19771/stat : 19771 (java) S 19754 19756 16719 0 -1 4202560 1537 0 0 0 30 0 0 0 24 0 18 0 22206800 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19772] ppid=19754 vsize=1539680 CPUtime=0.35 /proc/19756/task/19772/stat : 19772 (java) S 19754 19756 16719 0 -1 4202560 3013 0 0 0 35 0 0 0 25 0 18 0 22206800 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19773] ppid=19754 vsize=1539680 CPUtime=0 /proc/19756/task/19773/stat : 19773 (java) S 19754 19756 16719 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22206800 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19774] ppid=19754 vsize=1539680 CPUtime=0 /proc/19756/task/19774/stat : 19774 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22206800 1576632320 59100 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 8.39 Current children cumulated vsize (KiB) 1539680 [startup+12.7022 s] /proc/loadavg: 1.93 1.98 1.95 3/196 19774 /proc/meminfo: memFree=28259976/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1539680 CPUtime=16.52 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 68479 0 1 0 1599 53 0 0 25 0 18 0 22206796 1576632320 65113 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 384920 65113 1425 10 0 382223 0 ################ # More data... # ################ /proc/19756/task/19763/stat : 19763 (java) R 19754 19756 16719 0 -1 4202560 7590 0 0 0 304 57 0 0 15 0 20 0 22206797 1577955328 100470 4089446400 134512640 134550932 4289630816 18446744073709551615 103111965 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19756/tid=19764] ppid=19754 vsize=1540972 CPUtime=3.41 /proc/19756/task/19764/stat : 19764 (java) R 19754 19756 16719 0 -1 4202560 7739 0 0 0 282 59 0 0 16 0 20 0 22206797 1577955328 100475 4089446400 134512640 134550932 4289630816 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19756/tid=19765] ppid=19754 vsize=1540972 CPUtime=3.42 /proc/19756/task/19765/stat : 19765 (java) R 19754 19756 16719 0 -1 4202560 8145 0 0 0 281 61 0 0 16 0 20 0 22206797 1577955328 100478 4089446400 134512640 134550932 4289630816 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19756/tid=19766] ppid=19754 vsize=1540972 CPUtime=3.38 /proc/19756/task/19766/stat : 19766 (java) R 19754 19756 16719 0 -1 4202560 9950 0 0 0 277 61 0 0 16 0 20 0 22206797 1577955328 100482 4089446400 134512640 134550932 4289630816 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=19756/tid=19767] ppid=19754 vsize=1540972 CPUtime=0.14 /proc/19756/task/19767/stat : 19767 (java) S 19754 19756 16719 0 -1 4202560 42 0 0 0 7 7 0 0 15 0 20 0 22206798 1577955328 100488 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19768] ppid=19754 vsize=1540972 CPUtime=0 /proc/19756/task/19768/stat : 19768 (java) S 19754 19756 16719 0 -1 4202560 12 0 0 0 0 0 0 0 22 0 20 0 22206798 1577955328 100493 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19769] ppid=19754 vsize=1540972 CPUtime=0 /proc/19756/task/19769/stat : 19769 (java) S 19754 19756 16719 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 20 0 22206798 1577955328 100496 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19770] ppid=19754 vsize=1540972 CPUtime=0 /proc/19756/task/19770/stat : 19770 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 22206800 1577955328 100500 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19771] ppid=19754 vsize=1540972 CPUtime=0.54 /proc/19756/task/19771/stat : 19771 (java) S 19754 19756 16719 0 -1 4202560 1584 0 0 0 54 0 0 0 15 0 20 0 22206800 1577955328 100504 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19772] ppid=19754 vsize=1540972 CPUtime=0.49 /proc/19756/task/19772/stat : 19772 (java) S 19754 19756 16719 0 -1 4202560 3031 0 0 0 49 0 0 0 15 0 20 0 22206800 1577955328 100510 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19773] ppid=19754 vsize=1540972 CPUtime=0 /proc/19756/task/19773/stat : 19773 (java) S 19754 19756 16719 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 22206800 1577955328 100514 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19774] ppid=19754 vsize=1540972 CPUtime=0 /proc/19756/task/19774/stat : 19774 (java) S 19754 19756 16719 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 20 0 22206800 1577955328 100518 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 81.4 Current children cumulated vsize (KiB) 1540972 [startup+61.5016 s] /proc/loadavg: 2.31 2.06 1.98 6/200 19780 /proc/meminfo: memFree=28081232/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1546740 CPUtime=83.76 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 115446 0 1 0 7875 501 0 0 25 0 22 0 22206796 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 386685 108201 1441 10 0 383988 0 [pid=19756/tid=19757] ppid=19754 vsize=1546740 CPUtime=52.35 /proc/19756/task/19757/stat : 19757 (java) S 19754 19756 16719 0 -1 4202560 37560 0 1 0 5227 8 0 0 15 0 22 0 22206796 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19759] ppid=19754 vsize=1546740 CPUtime=3.39 /proc/19756/task/19759/stat : 19759 (java) S 19754 19756 16719 0 -1 4202560 8146 0 0 0 278 61 0 0 15 0 22 0 22206797 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19760] ppid=19754 vsize=1546740 CPUtime=3.46 /proc/19756/task/19760/stat : 19760 (java) S 19754 19756 16719 0 -1 4202560 8435 0 0 0 289 57 0 0 15 0 22 0 22206797 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 5 0 0 0 [pid=19756/tid=19761] ppid=19754 vsize=1546740 CPUtime=3.46 /proc/19756/task/19761/stat : 19761 (java) S 19754 19756 16719 0 -1 4202560 6761 0 0 0 284 62 0 0 15 0 22 0 22206797 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 1 0 0 0 [pid=19756/tid=19762] ppid=19754 vsize=1546740 CPUtime=3.36 /proc/19756/task/19762/stat : 19762 (java) S 19754 19756 16719 0 -1 4202560 8701 0 0 0 276 60 0 0 15 0 22 0 22206797 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 3 0 0 0 [pid=19756/tid=19763] ppid=19754 vsize=1546740 CPUtime=3.66 /proc/19756/task/19763/stat : 19763 (java) S 19754 19756 16719 0 -1 4202560 8445 0 0 0 309 57 0 0 15 0 22 0 22206797 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19764] ppid=19754 vsize=1546740 CPUtime=3.43 /proc/19756/task/19764/stat : 19764 (java) S 19754 19756 16719 0 -1 4202560 7867 0 0 0 283 60 0 0 15 0 22 0 22206797 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 3 0 0 0 [pid=19756/tid=19765] ppid=19754 vsize=1546740 CPUtime=3.47 /proc/19756/task/19765/stat : 19765 (java) S 19754 19756 16719 0 -1 4202560 10925 0 0 0 285 62 0 0 15 0 22 0 22206797 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19766] ppid=19754 vsize=1546740 CPUtime=3.42 /proc/19756/task/19766/stat : 19766 (java) S 19754 19756 16719 0 -1 4202560 10559 0 0 0 280 62 0 0 15 0 22 0 22206797 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 5 0 0 0 [pid=19756/tid=19767] ppid=19754 vsize=1546740 CPUtime=0.14 /proc/19756/task/19767/stat : 19767 (java) S 19754 19756 16719 0 -1 4202560 42 0 0 0 7 7 0 0 15 0 22 0 22206798 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19768] ppid=19754 vsize=1546740 CPUtime=0 /proc/19756/task/19768/stat : 19768 (java) S 19754 19756 16719 0 -1 4202560 12 0 0 0 0 0 0 0 22 0 22 0 22206798 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19769] ppid=19754 vsize=1546740 CPUtime=0 /proc/19756/task/19769/stat : 19769 (java) S 19754 19756 16719 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 22206798 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19770] ppid=19754 vsize=1546740 CPUtime=0 /proc/19756/task/19770/stat : 19770 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 22206800 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19771] ppid=19754 vsize=1546740 CPUtime=0.84 /proc/19756/task/19771/stat : 19771 (java) R 19754 19756 16719 0 -1 4202560 3230 0 0 0 84 0 0 0 16 0 22 0 22206800 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 104163930 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=19756/tid=19772] ppid=19754 vsize=1546740 CPUtime=0.83 /proc/19756/task/19772/stat : 19772 (java) R 19754 19756 16719 0 -1 4202560 3641 0 0 0 83 0 0 0 16 0 22 0 22206800 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 103151184 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19756/tid=19773] ppid=19754 vsize=1546740 CPUtime=0 /proc/19756/task/19773/stat : 19773 (java) S 19754 19756 16719 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 22 0 22206800 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19774] ppid=19754 vsize=1546740 CPUtime=0 /proc/19756/task/19774/stat : 19774 (java) S 19754 19756 16719 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 22206800 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19777] ppid=19754 vsize=1546740 CPUtime=0.91 /proc/19756/task/19777/stat : 19777 (java) R 19754 19756 16719 0 -1 4202560 28 0 0 0 91 0 0 0 18 0 22 0 22212844 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4109637245 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=19756/tid=19778] ppid=19754 vsize=1546740 CPUtime=0.91 /proc/19756/task/19778/stat : 19778 (java) R 19754 19756 16719 0 -1 4202560 29 0 0 0 91 0 0 0 19 0 22 0 22212844 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4108756800 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=19756/tid=19779] ppid=19754 vsize=1546740 CPUtime=0 /proc/19756/task/19779/stat : 19779 (java) S 19754 19756 16719 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 22 0 22212888 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 [pid=19756/tid=19780] ppid=19754 vsize=1546740 CPUtime=0 /proc/19756/task/19780/stat : 19780 (java) S 19754 19756 16719 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 22 0 22212888 1583861760 108201 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 83.76 Current children cumulated vsize (KiB) 1546740 [startup+62.3014 s] /proc/loadavg: 2.31 2.06 1.98 6/200 19780 /proc/meminfo: memFree=28081232/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1545716 CPUtime=84.11 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 115662 0 1 0 7910 501 0 0 25 0 20 0 22206796 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 386429 108056 1442 10 0 383732 0 [pid=19756/tid=19757] ppid=19754 vsize=1545716 CPUtime=52.35 /proc/19756/task/19757/stat : 19757 (java) S 19754 19756 16719 0 -1 4202560 37560 0 1 0 5227 8 0 0 15 0 20 0 22206796 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19759] ppid=19754 vsize=1545716 CPUtime=3.4 /proc/19756/task/19759/stat : 19759 (java) S 19754 19756 16719 0 -1 4202560 8154 0 0 0 279 61 0 0 15 0 20 0 22206797 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19760] ppid=19754 vsize=1545716 CPUtime=3.46 /proc/19756/task/19760/stat : 19760 (java) S 19754 19756 16719 0 -1 4202560 8441 0 0 0 289 57 0 0 16 0 20 0 22206797 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 5 0 0 0 [pid=19756/tid=19761] ppid=19754 vsize=1545716 CPUtime=3.46 /proc/19756/task/19761/stat : 19761 (java) S 19754 19756 16719 0 -1 4202560 6765 0 0 0 284 62 0 0 15 0 20 0 22206797 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 1 0 0 0 [pid=19756/tid=19762] ppid=19754 vsize=1545716 CPUtime=3.37 /proc/19756/task/19762/stat : 19762 (java) S 19754 19756 16719 0 -1 4202560 8708 0 0 0 277 60 0 0 15 0 20 0 22206797 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 3 0 0 0 [pid=19756/tid=19763] ppid=19754 vsize=1545716 CPUtime=3.66 /proc/19756/task/19763/stat : 19763 (java) S 19754 19756 16719 0 -1 4202560 8446 0 0 0 309 57 0 0 15 0 20 0 22206797 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19764] ppid=19754 vsize=1545716 CPUtime=3.43 /proc/19756/task/19764/stat : 19764 (java) S 19754 19756 16719 0 -1 4202560 7868 0 0 0 283 60 0 0 15 0 20 0 22206797 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 3 0 0 0 [pid=19756/tid=19765] ppid=19754 vsize=1545716 CPUtime=3.47 /proc/19756/task/19765/stat : 19765 (java) S 19754 19756 16719 0 -1 4202560 10929 0 0 0 285 62 0 0 15 0 20 0 22206797 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19766] ppid=19754 vsize=1545716 CPUtime=3.42 /proc/19756/task/19766/stat : 19766 (java) S 19754 19756 16719 0 -1 4202560 10560 0 0 0 280 62 0 0 15 0 20 0 22206797 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 5 0 0 0 [pid=19756/tid=19767] ppid=19754 vsize=1545716 CPUtime=0.14 /proc/19756/task/19767/stat : 19767 (java) S 19754 19756 16719 0 -1 4202560 42 0 0 0 7 7 0 0 15 0 20 0 22206798 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19768] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19768/stat : 19768 (java) S 19754 19756 16719 0 -1 4202560 12 0 0 0 0 0 0 0 22 0 20 0 22206798 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19769] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19769/stat : 19769 (java) S 19754 19756 16719 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 20 0 22206798 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19770] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19770/stat : 19770 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 22206800 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19771] ppid=19754 vsize=1545716 CPUtime=0.87 /proc/19756/task/19771/stat : 19771 (java) S 19754 19756 16719 0 -1 4202560 3406 0 0 0 87 0 0 0 15 0 20 0 22206800 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 [pid=19756/tid=19772] ppid=19754 vsize=1545716 CPUtime=0.88 /proc/19756/task/19772/stat : 19772 (java) S 19754 19756 16719 0 -1 4202560 3644 0 0 0 88 0 0 0 15 0 20 0 22206800 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19773] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19773/stat : 19773 (java) S 19754 19756 16719 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 22206800 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19774] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19774/stat : 19774 (java) S 19754 19756 16719 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 20 0 22206800 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19779] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19779/stat : 19779 (java) S 19754 19756 16719 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 20 0 22212888 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 [pid=19756/tid=19780] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19780/stat : 19780 (java) S 19754 19756 16719 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 22212888 1582813184 108056 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 84.11 Current children cumulated vsize (KiB) 1545716 [startup+62.5014 s] /proc/loadavg: 2.31 2.06 1.98 6/200 19780 /proc/meminfo: memFree=28081232/32950928 swapFree=4192956/4192956 [pid=19756] ppid=19754 vsize=1545716 CPUtime=84.11 /proc/19756/stat : 19756 (java) S 19754 19756 16719 0 -1 4202496 115667 0 1 0 7910 501 0 0 25 0 20 0 22206796 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/19756/statm: 386429 107909 1442 10 0 383732 0 [pid=19756/tid=19757] ppid=19754 vsize=1545716 CPUtime=52.35 /proc/19756/task/19757/stat : 19757 (java) S 19754 19756 16719 0 -1 4202560 37564 0 1 0 5227 8 0 0 15 0 20 0 22206796 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19759] ppid=19754 vsize=1545716 CPUtime=3.4 /proc/19756/task/19759/stat : 19759 (java) S 19754 19756 16719 0 -1 4202560 8154 0 0 0 279 61 0 0 15 0 20 0 22206797 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19760] ppid=19754 vsize=1545716 CPUtime=3.46 /proc/19756/task/19760/stat : 19760 (java) S 19754 19756 16719 0 -1 4202560 8441 0 0 0 289 57 0 0 16 0 20 0 22206797 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 5 0 0 0 [pid=19756/tid=19761] ppid=19754 vsize=1545716 CPUtime=3.46 /proc/19756/task/19761/stat : 19761 (java) S 19754 19756 16719 0 -1 4202560 6765 0 0 0 284 62 0 0 15 0 20 0 22206797 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 1 0 0 0 [pid=19756/tid=19762] ppid=19754 vsize=1545716 CPUtime=3.37 /proc/19756/task/19762/stat : 19762 (java) S 19754 19756 16719 0 -1 4202560 8708 0 0 0 277 60 0 0 15 0 20 0 22206797 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 3 0 0 0 [pid=19756/tid=19763] ppid=19754 vsize=1545716 CPUtime=3.66 /proc/19756/task/19763/stat : 19763 (java) S 19754 19756 16719 0 -1 4202560 8446 0 0 0 309 57 0 0 15 0 20 0 22206797 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19764] ppid=19754 vsize=1545716 CPUtime=3.43 /proc/19756/task/19764/stat : 19764 (java) S 19754 19756 16719 0 -1 4202560 7868 0 0 0 283 60 0 0 15 0 20 0 22206797 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 3 0 0 0 [pid=19756/tid=19765] ppid=19754 vsize=1545716 CPUtime=3.47 /proc/19756/task/19765/stat : 19765 (java) S 19754 19756 16719 0 -1 4202560 10929 0 0 0 285 62 0 0 15 0 20 0 22206797 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19766] ppid=19754 vsize=1545716 CPUtime=3.42 /proc/19756/task/19766/stat : 19766 (java) S 19754 19756 16719 0 -1 4202560 10560 0 0 0 280 62 0 0 15 0 20 0 22206797 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 5 0 0 0 [pid=19756/tid=19767] ppid=19754 vsize=1545716 CPUtime=0.14 /proc/19756/task/19767/stat : 19767 (java) S 19754 19756 16719 0 -1 4202560 42 0 0 0 7 7 0 0 15 0 20 0 22206798 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 0 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19768] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19768/stat : 19768 (java) S 19754 19756 16719 0 -1 4202560 12 0 0 0 0 0 0 0 22 0 20 0 22206798 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19769] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19769/stat : 19769 (java) S 19754 19756 16719 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 20 0 22206798 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19770] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19770/stat : 19770 (java) S 19754 19756 16719 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 22206800 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19771] ppid=19754 vsize=1545716 CPUtime=0.87 /proc/19756/task/19771/stat : 19771 (java) S 19754 19756 16719 0 -1 4202560 3406 0 0 0 87 0 0 0 15 0 20 0 22206800 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 [pid=19756/tid=19772] ppid=19754 vsize=1545716 CPUtime=0.88 /proc/19756/task/19772/stat : 19772 (java) S 19754 19756 16719 0 -1 4202560 3644 0 0 0 88 0 0 0 15 0 20 0 22206800 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 0 0 0 0 [pid=19756/tid=19773] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19773/stat : 19773 (java) S 19754 19756 16719 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 22206800 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 4 0 0 0 [pid=19756/tid=19774] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19774/stat : 19774 (java) S 19754 19756 16719 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 20 0 22206800 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 [pid=19756/tid=19779] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19779/stat : 19779 (java) S 19754 19756 16719 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 20 0 22212888 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 2 0 0 0 [pid=19756/tid=19780] ppid=19754 vsize=1545716 CPUtime=0 /proc/19756/task/19780/stat : 19780 (java) S 19754 19756 16719 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 22212888 1582813184 107909 4089446400 134512640 134550932 4289630816 18446744073709551615 4294960144 0 4 0 16800975 18446604453950420800 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 84.11 Current children cumulated vsize (KiB) 1545716 Child status: 20 Real time (s): 62.5472 CPU time (s): 84.1502 CPU user time (s): 79.11 CPU system time (s): 5.04023 CPU usage (%): 134.539 Max. virtual memory (cumulated for all children) (KiB): 1546740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 79.11 system time used= 5.04023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 115668 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= 58451 involuntary context switches= 2533662 runsolver used 0.117982 second user time and 0.246962 second system time The end
Begin job on node124 at 2010-07-07 23:58:54 IDJOB=2701416 IDBENCH=79576 IDSOLVER=1207 FILE ID=node124/2701416-1278539934 PBS_JOBID= 11239230 Free space on /tmp= 130188 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-18_wcsp.wbo COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701416-1278539934/watcher-2701416-1278539934 -o /tmp/evaluation-result-2701416-1278539934/solver-2701416-1278539934 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701416-1278539934.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2582e52fbf68981b5c6eeba11c628b49 RANDOM SEED=654055195 node124.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.846 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.69 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.846 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 : 5226.14 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.846 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.846 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.82 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.846 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.75 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.846 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.82 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.846 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.846 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28513580 kB Buffers: 141060 kB Cached: 2527124 kB SwapCached: 0 kB Active: 2588088 kB Inactive: 1736468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28513580 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7456 kB Writeback: 0 kB AnonPages: 1656136 kB Mapped: 15460 kB Slab: 77920 kB PageTables: 7596 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 1892788 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130188 MiB End job on node124 at 2010-07-07 23:59:56