Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong UNSAT | 81.1257 | 58.8752 |
Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1_wcsp.wbo |
MD5SUM | 2761e2185b4635bfb360739bf2448c3f |
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 | 4988 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 616 |
Total number of constraints | 241978 |
Number of soft constraints | 241964 |
Number of constraints which are clauses | 241964 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 44 |
Top cost | 48694 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 34489736 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 45 |
Number of bits of the biggest sum of numbers | 6 |
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.05/0.06 c version 2.2.0.v20100531 0.05/0.06 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.06 c java.vm.name Java HotSpot(TM) Server VM 0.05/0.06 c java.vm.version 11.2-b01 0.05/0.06 c java.vm.vendor Sun Microsystems Inc. 0.05/0.06 c sun.arch.data.model 32 0.05/0.06 c java.version 1.6.0_12 0.05/0.06 c os.name Linux 0.05/0.06 c os.version 2.6.18-164.el5 0.05/0.06 c os.arch i386 0.05/0.06 c Free memory 1393557488 0.05/0.06 c Max memory 1395916800 0.05/0.06 c Total memory 1395916800 0.05/0.06 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-2701248-1278538273.wbo 0.11/0.10 c reading problem ... 77.96/57.82 c ... done. Wall clock time 57.723s. 77.96/57.82 c #vars 242580 77.96/57.82 c #constraints 241993 77.96/57.82 c constraints type 77.96/57.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14 77.96/57.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 241978 77.96/57.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 77.96/57.82 c constraints type 77.96/57.82 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14 77.96/57.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 241978 77.96/57.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 80.78/58.73 c And the winner is Resolution 81.09/58.82 c starts : 3 81.09/58.82 c conflicts : 440 81.09/58.82 c decisions : 245897 81.09/58.82 c propagations : 317076 81.09/58.82 c inspects : 499075 81.09/58.82 c learnt literals : 9 81.09/58.83 c learnt binary clauses : 3 81.09/58.83 c learnt ternary clauses : 3 81.09/58.83 c learnt clauses : 430 81.09/58.83 c ignored clauses : 0 81.09/58.83 c root simplifications : 0 81.09/58.83 c removed literals (reason simplification) : 1489 81.09/58.83 c reason swapping (by a shorter reason) : 0 81.09/58.83 c Calls to reduceDB : 0 81.09/58.83 c number of reductions to clauses (during analyze) : 0 81.09/58.83 c number of learned constraints concerned by reduction : 0 81.09/58.83 c number of learning phase by resolution : 0 81.09/58.83 c number of learning phase by cutting planes : 0 81.09/58.83 c speed (assignments/second) : 315812.74900398403 81.09/58.83 c non guided choices 544 81.09/58.83 c learnt constraints type 81.09/58.83 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 427 81.09/58.83 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3 81.09/58.83 c constraints type 81.09/58.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14 81.09/58.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 241978 81.09/58.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 81.09/58.83 c constraints type 81.09/58.83 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14 81.09/58.83 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 241978 81.09/58.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 81.09/58.83 s UNSATISFIABLE 81.09/58.83 c Total wall clock time (in seconds): 58.73
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-2701248-1278538273/watcher-2701248-1278538273 -o /tmp/evaluation-result-2701248-1278538273/solver-2701248-1278538273 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701248-1278538273.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.02 2.14 2.02 3/178 18711 /proc/meminfo: memFree=29318168/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=13736 CPUtime=0 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 1164 0 0 0 0 0 0 0 18 0 2 0 22041124 14065664 619 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 3434 623 299 10 0 1206 0 [pid=18711/tid=18712] ppid=18709 vsize=13684 CPUtime=0 /proc/18711/task/18712/stat : 18712 (java) S 18709 18711 17281 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 2 0 22041125 14012416 631 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16784584 14434471666866192383 0 0 -1 5 0 0 0 [startup+0.0663401 s] /proc/loadavg: 2.02 2.14 2.02 3/178 18711 /proc/meminfo: memFree=29318168/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1528568 CPUtime=0.05 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 4293 0 1 0 4 1 0 0 18 0 18 0 22041124 1565253632 3733 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 382142 3733 1090 10 0 379445 0 [pid=18711/tid=18712] ppid=18709 vsize=1528568 CPUtime=0.05 /proc/18711/task/18712/stat : 18712 (java) R 18709 18711 17281 0 -1 4202560 3210 0 1 0 4 1 0 0 25 0 18 0 22041125 1565253632 3733 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1528568 [startup+0.100331 s] /proc/loadavg: 2.02 2.14 2.02 3/178 18711 /proc/meminfo: memFree=29318168/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1529884 CPUtime=0.11 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 5283 0 1 0 10 1 0 0 18 0 18 0 22041124 1566601216 4721 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 382471 4721 1350 10 0 379774 0 [pid=18711/tid=18712] ppid=18709 vsize=1529884 CPUtime=0.08 /proc/18711/task/18712/stat : 18712 (java) R 18709 18711 17281 0 -1 4202560 3601 0 1 0 7 1 0 0 25 0 18 0 22041125 1566601216 4721 4089446400 134512640 134550932 4294171424 18446744073709551615 106834528 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529884 [startup+0.300301 s] /proc/loadavg: 2.02 2.14 2.02 3/178 18711 /proc/meminfo: memFree=29318168/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1532028 CPUtime=0.54 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 14470 0 1 0 51 3 0 0 18 0 18 0 22041124 1568796672 13769 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 383007 13775 1410 10 0 380310 0 [pid=18711/tid=18712] ppid=18709 vsize=1532028 CPUtime=0.28 /proc/18711/task/18712/stat : 18712 (java) R 18709 18711 17281 0 -1 4202560 12026 0 1 0 26 2 0 0 18 0 18 0 22041125 1568796672 13776 4089446400 134512640 134550932 4294171424 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 1532028 [startup+0.700291 s] /proc/loadavg: 2.02 2.14 2.02 3/178 18711 /proc/meminfo: memFree=29318168/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1549776 CPUtime=1.74 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 49934 0 1 0 166 8 0 0 18 0 18 0 22041124 1586970624 47139 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 387444 47139 1425 10 0 384747 0 [pid=18711/tid=18712] ppid=18709 vsize=1549776 CPUtime=0.64 /proc/18711/task/18712/stat : 18712 (java) R 18709 18711 17281 0 -1 4202560 35114 0 1 0 58 6 0 0 18 0 18 0 22041125 1586970624 47139 4089446400 134512640 134550932 4294171424 18446744073709551615 4109479119 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.74 Current children cumulated vsize (KiB) 1549776 [startup+1.50109 s] /proc/loadavg: 2.02 2.14 2.02 3/196 18729 /proc/meminfo: memFree=29123364/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1549776 CPUtime=2.8 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 55564 0 1 0 271 9 0 0 18 0 18 0 22041124 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 387444 52532 1425 10 0 384747 0 [pid=18711/tid=18712] ppid=18709 vsize=1549776 CPUtime=1.39 /proc/18711/task/18712/stat : 18712 (java) R 18709 18711 17281 0 -1 4202560 35751 0 1 0 133 6 0 0 18 0 18 0 22041125 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 106834540 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=18711/tid=18714] ppid=18709 vsize=1549776 CPUtime=0.04 /proc/18711/task/18714/stat : 18714 (java) S 18709 18711 17281 0 -1 4202560 1462 0 0 0 4 0 0 0 16 0 18 0 22041125 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18715] ppid=18709 vsize=1549776 CPUtime=0.03 /proc/18711/task/18715/stat : 18715 (java) S 18709 18711 17281 0 -1 4202560 908 0 0 0 3 0 0 0 16 0 18 0 22041125 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18716] ppid=18709 vsize=1549776 CPUtime=0.04 /proc/18711/task/18716/stat : 18716 (java) S 18709 18711 17281 0 -1 4202560 1032 0 0 0 4 0 0 0 16 0 18 0 22041125 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 4 0 0 0 [pid=18711/tid=18717] ppid=18709 vsize=1549776 CPUtime=0.04 /proc/18711/task/18717/stat : 18717 (java) S 18709 18711 17281 0 -1 4202560 1082 0 0 0 4 0 0 0 16 0 18 0 22041125 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18718] ppid=18709 vsize=1549776 CPUtime=0.04 /proc/18711/task/18718/stat : 18718 (java) S 18709 18711 17281 0 -1 4202560 1591 0 0 0 4 0 0 0 15 0 18 0 22041125 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18719] ppid=18709 vsize=1549776 CPUtime=0.06 /proc/18711/task/18719/stat : 18719 (java) S 18709 18711 17281 0 -1 4202560 2198 0 0 0 6 0 0 0 16 0 18 0 22041125 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18720] ppid=18709 vsize=1549776 CPUtime=0.04 /proc/18711/task/18720/stat : 18720 (java) S 18709 18711 17281 0 -1 4202560 1106 0 0 0 4 0 0 0 16 0 18 0 22041125 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18721] ppid=18709 vsize=1549776 CPUtime=0.05 /proc/18711/task/18721/stat : 18721 (java) S 18709 18711 17281 0 -1 4202560 1630 0 0 0 5 0 0 0 16 0 18 0 22041125 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18722] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18722/stat : 18722 (java) S 18709 18711 17281 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 22041126 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18723] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18723/stat : 18723 (java) S 18709 18711 17281 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 18 0 22041126 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18724] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18724/stat : 18724 (java) S 18709 18711 17281 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 22041127 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18725] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18725/stat : 18725 (java) S 18709 18711 17281 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 22041129 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18726] ppid=18709 vsize=1549776 CPUtime=0.49 /proc/18711/task/18726/stat : 18726 (java) S 18709 18711 17281 0 -1 4202560 4836 0 0 0 49 0 0 0 18 0 18 0 22041129 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18727] ppid=18709 vsize=1549776 CPUtime=0.49 /proc/18711/task/18727/stat : 18727 (java) S 18709 18711 17281 0 -1 4202560 2881 0 0 0 49 0 0 0 18 0 18 0 22041129 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18728] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18728/stat : 18728 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22041129 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18729] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18729/stat : 18729 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22041129 1586970624 52532 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.8 Current children cumulated vsize (KiB) 1549776 [startup+3.10081 s] /proc/loadavg: 2.02 2.14 2.02 3/196 18729 /proc/meminfo: memFree=29104268/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1549776 CPUtime=4.72 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 59972 0 1 0 459 13 0 0 18 0 18 0 22041124 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 387444 56797 1425 10 0 384747 0 [pid=18711/tid=18712] ppid=18709 vsize=1549776 CPUtime=2.9 /proc/18711/task/18712/stat : 18712 (java) R 18709 18711 17281 0 -1 4202560 35835 0 1 0 284 6 0 0 20 0 18 0 22041125 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 106834540 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=18711/tid=18714] ppid=18709 vsize=1549776 CPUtime=0.09 /proc/18711/task/18714/stat : 18714 (java) S 18709 18711 17281 0 -1 4202560 2141 0 0 0 9 0 0 0 16 0 18 0 22041125 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18715] ppid=18709 vsize=1549776 CPUtime=0.08 /proc/18711/task/18715/stat : 18715 (java) S 18709 18711 17281 0 -1 4202560 1559 0 0 0 8 0 0 0 16 0 18 0 22041125 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18716] ppid=18709 vsize=1549776 CPUtime=0.08 /proc/18711/task/18716/stat : 18716 (java) S 18709 18711 17281 0 -1 4202560 1597 0 0 0 8 0 0 0 16 0 18 0 22041125 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 4 0 0 0 [pid=18711/tid=18717] ppid=18709 vsize=1549776 CPUtime=0.09 /proc/18711/task/18717/stat : 18717 (java) S 18709 18711 17281 0 -1 4202560 1618 0 0 0 9 0 0 0 16 0 18 0 22041125 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18718] ppid=18709 vsize=1549776 CPUtime=0.08 /proc/18711/task/18718/stat : 18718 (java) S 18709 18711 17281 0 -1 4202560 1910 0 0 0 8 0 0 0 15 0 18 0 22041125 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18719] ppid=18709 vsize=1549776 CPUtime=0.11 /proc/18711/task/18719/stat : 18719 (java) S 18709 18711 17281 0 -1 4202560 2627 0 0 0 11 0 0 0 16 0 18 0 22041125 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18720] ppid=18709 vsize=1549776 CPUtime=0.09 /proc/18711/task/18720/stat : 18720 (java) S 18709 18711 17281 0 -1 4202560 1581 0 0 0 9 0 0 0 16 0 18 0 22041125 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18721] ppid=18709 vsize=1549776 CPUtime=0.1 /proc/18711/task/18721/stat : 18721 (java) S 18709 18711 17281 0 -1 4202560 2300 0 0 0 10 0 0 0 16 0 18 0 22041125 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18722] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18722/stat : 18722 (java) S 18709 18711 17281 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 22041126 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18723] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18723/stat : 18723 (java) S 18709 18711 17281 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 18 0 22041126 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18724] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18724/stat : 18724 (java) S 18709 18711 17281 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 22041127 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18725] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18725/stat : 18725 (java) S 18709 18711 17281 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 22041129 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18726] ppid=18709 vsize=1549776 CPUtime=0.49 /proc/18711/task/18726/stat : 18726 (java) S 18709 18711 17281 0 -1 4202560 4836 0 0 0 49 0 0 0 18 0 18 0 22041129 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18727] ppid=18709 vsize=1549776 CPUtime=0.49 /proc/18711/task/18727/stat : 18727 (java) S 18709 18711 17281 0 -1 4202560 2881 0 0 0 49 0 0 0 18 0 18 0 22041129 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18728] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18728/stat : 18728 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22041129 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18729] ppid=18709 vsize=1549776 CPUtime=0 /proc/18711/task/18729/stat : 18729 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22041129 1586970624 56797 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.72 Current children cumulated vsize (KiB) 1549776 [startup+6.30124 s] /proc/loadavg: 2.01 2.13 2.02 3/196 18729 /proc/meminfo: memFree=29089924/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1545644 CPUtime=8.54 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 65757 0 1 0 833 21 0 0 18 0 18 0 22041124 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 386411 61140 1425 10 0 383714 0 [pid=18711/tid=18712] ppid=18709 vsize=1545644 CPUtime=5.93 /proc/18711/task/18712/stat : 18712 (java) R 18709 18711 17281 0 -1 4202560 35927 0 1 0 587 6 0 0 25 0 18 0 22041125 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=18711/tid=18714] ppid=18709 vsize=1545644 CPUtime=0.18 /proc/18711/task/18714/stat : 18714 (java) S 18709 18711 17281 0 -1 4202560 2590 0 0 0 17 1 0 0 15 0 18 0 22041125 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18715] ppid=18709 vsize=1545644 CPUtime=0.18 /proc/18711/task/18715/stat : 18715 (java) S 18709 18711 17281 0 -1 4202560 2359 0 0 0 17 1 0 0 16 0 18 0 22041125 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18716] ppid=18709 vsize=1545644 CPUtime=0.19 /proc/18711/task/18716/stat : 18716 (java) S 18709 18711 17281 0 -1 4202560 2538 0 0 0 18 1 0 0 15 0 18 0 22041125 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 4 0 0 0 [pid=18711/tid=18717] ppid=18709 vsize=1545644 CPUtime=0.2 /proc/18711/task/18717/stat : 18717 (java) S 18709 18711 17281 0 -1 4202560 2561 0 0 0 19 1 0 0 15 0 18 0 22041125 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18718] ppid=18709 vsize=1545644 CPUtime=0.18 /proc/18711/task/18718/stat : 18718 (java) S 18709 18711 17281 0 -1 4202560 2708 0 0 0 17 1 0 0 15 0 18 0 22041125 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18719] ppid=18709 vsize=1545644 CPUtime=0.19 /proc/18711/task/18719/stat : 18719 (java) S 18709 18711 17281 0 -1 4202560 3381 0 0 0 18 1 0 0 16 0 18 0 22041125 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18720] ppid=18709 vsize=1545644 CPUtime=0.2 /proc/18711/task/18720/stat : 18720 (java) S 18709 18711 17281 0 -1 4202560 2136 0 0 0 18 2 0 0 15 0 18 0 22041125 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18721] ppid=18709 vsize=1545644 CPUtime=0.19 /proc/18711/task/18721/stat : 18721 (java) S 18709 18711 17281 0 -1 4202560 2752 0 0 0 18 1 0 0 15 0 18 0 22041125 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18722] ppid=18709 vsize=1545644 CPUtime=0.02 /proc/18711/task/18722/stat : 18722 (java) S 18709 18711 17281 0 -1 4202560 27 0 0 0 1 1 0 0 15 0 18 0 22041126 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18723] ppid=18709 vsize=1545644 CPUtime=0 /proc/18711/task/18723/stat : 18723 (java) S 18709 18711 17281 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 18 0 22041126 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18724] ppid=18709 vsize=1545644 CPUtime=0 /proc/18711/task/18724/stat : 18724 (java) S 18709 18711 17281 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 22041127 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18725] ppid=18709 vsize=1545644 CPUtime=0 /proc/18711/task/18725/stat : 18725 (java) S 18709 18711 17281 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 22041129 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18726] ppid=18709 vsize=1545644 CPUtime=0.49 /proc/18711/task/18726/stat : 18726 (java) S 18709 18711 17281 0 -1 4202560 4836 0 0 0 49 0 0 0 18 0 18 0 22041129 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18727] ppid=18709 vsize=1545644 CPUtime=0.49 /proc/18711/task/18727/stat : 18727 (java) S 18709 18711 17281 0 -1 4202560 2881 0 0 0 49 0 0 0 18 0 18 0 22041129 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18728] ppid=18709 vsize=1545644 CPUtime=0 /proc/18711/task/18728/stat : 18728 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22041129 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18729] ppid=18709 vsize=1545644 CPUtime=0 /proc/18711/task/18729/stat : 18729 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22041129 1582739456 61140 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 8.54 Current children cumulated vsize (KiB) 1545644 [startup+12.7011 s] /proc/loadavg: 2.01 2.13 2.02 3/196 18729 /proc/meminfo: memFree=29058816/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1545644 CPUtime=16.7 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 71748 0 1 0 1573 97 0 0 18 0 18 0 22041124 1582739456 66825 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 386411 66825 1425 10 0 383714 0 ################ # More data... # ################ /proc/18711/task/18714/stat : 18714 (java) S 18709 18711 17281 0 -1 4202560 6564 0 0 0 261 66 0 0 16 0 18 0 22041125 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18715] ppid=18709 vsize=1546668 CPUtime=3.34 /proc/18711/task/18715/stat : 18715 (java) S 18709 18711 17281 0 -1 4202560 7217 0 0 0 263 71 0 0 16 0 18 0 22041125 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18716] ppid=18709 vsize=1546668 CPUtime=3.39 /proc/18711/task/18716/stat : 18716 (java) S 18709 18711 17281 0 -1 4202560 5815 0 0 0 275 64 0 0 16 0 18 0 22041125 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18717] ppid=18709 vsize=1546668 CPUtime=3.3 /proc/18711/task/18717/stat : 18717 (java) S 18709 18711 17281 0 -1 4202560 6613 0 0 0 261 69 0 0 16 0 18 0 22041125 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18718] ppid=18709 vsize=1546668 CPUtime=3.4 /proc/18711/task/18718/stat : 18718 (java) S 18709 18711 17281 0 -1 4202560 6678 0 0 0 281 59 0 0 16 0 18 0 22041125 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18719] ppid=18709 vsize=1546668 CPUtime=3.33 /proc/18711/task/18719/stat : 18719 (java) S 18709 18711 17281 0 -1 4202560 7955 0 0 0 264 69 0 0 16 0 18 0 22041125 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18720] ppid=18709 vsize=1546668 CPUtime=3.38 /proc/18711/task/18720/stat : 18720 (java) S 18709 18711 17281 0 -1 4202560 6082 0 0 0 274 64 0 0 16 0 18 0 22041125 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 4 0 0 0 [pid=18711/tid=18721] ppid=18709 vsize=1546668 CPUtime=3.34 /proc/18711/task/18721/stat : 18721 (java) S 18709 18711 17281 0 -1 4202560 6998 0 0 0 280 54 0 0 15 0 18 0 22041125 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18722] ppid=18709 vsize=1546668 CPUtime=0.14 /proc/18711/task/18722/stat : 18722 (java) S 18709 18711 17281 0 -1 4202560 39 0 0 0 6 8 0 0 15 0 18 0 22041126 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18723] ppid=18709 vsize=1546668 CPUtime=0 /proc/18711/task/18723/stat : 18723 (java) S 18709 18711 17281 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 18 0 22041126 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18724] ppid=18709 vsize=1546668 CPUtime=0 /proc/18711/task/18724/stat : 18724 (java) S 18709 18711 17281 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 22041127 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18725] ppid=18709 vsize=1546668 CPUtime=0 /proc/18711/task/18725/stat : 18725 (java) S 18709 18711 17281 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 22041129 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18726] ppid=18709 vsize=1546668 CPUtime=0.57 /proc/18711/task/18726/stat : 18726 (java) S 18709 18711 17281 0 -1 4202560 4840 0 0 0 57 0 0 0 17 0 18 0 22041129 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18727] ppid=18709 vsize=1546668 CPUtime=0.51 /proc/18711/task/18727/stat : 18727 (java) S 18709 18711 17281 0 -1 4202560 2884 0 0 0 51 0 0 0 17 0 18 0 22041129 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18728] ppid=18709 vsize=1546668 CPUtime=0 /proc/18711/task/18728/stat : 18728 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22041129 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18729] ppid=18709 vsize=1546668 CPUtime=0 /proc/18711/task/18729/stat : 18729 (java) S 18709 18711 17281 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 22041129 1583788032 93385 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 77.64 Current children cumulated vsize (KiB) 1546668 [startup+58.3091 s] /proc/loadavg: 2.50 2.24 2.06 4/198 18731 /proc/meminfo: memFree=28911884/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1549248 CPUtime=79.48 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 114205 0 1 0 7407 541 0 0 18 0 22 0 22041124 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 387312 107126 1439 10 0 384615 0 [pid=18711/tid=18712] ppid=18709 vsize=1549248 CPUtime=49.88 /proc/18711/task/18712/stat : 18712 (java) S 18709 18711 17281 0 -1 4202560 37299 0 1 0 4979 9 0 0 18 0 22 0 22041125 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18714] ppid=18709 vsize=1549248 CPUtime=3.31 /proc/18711/task/18714/stat : 18714 (java) S 18709 18711 17281 0 -1 4202560 8098 0 0 0 265 66 0 0 15 0 22 0 22041125 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18715] ppid=18709 vsize=1549248 CPUtime=3.4 /proc/18711/task/18715/stat : 18715 (java) S 18709 18711 17281 0 -1 4202560 7856 0 0 0 269 71 0 0 15 0 22 0 22041125 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18716] ppid=18709 vsize=1549248 CPUtime=3.42 /proc/18711/task/18716/stat : 18716 (java) S 18709 18711 17281 0 -1 4202560 6303 0 0 0 278 64 0 0 15 0 22 0 22041125 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18717] ppid=18709 vsize=1549248 CPUtime=3.33 /proc/18711/task/18717/stat : 18717 (java) S 18709 18711 17281 0 -1 4202560 7665 0 0 0 264 69 0 0 15 0 22 0 22041125 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18718] ppid=18709 vsize=1549248 CPUtime=3.47 /proc/18711/task/18718/stat : 18718 (java) S 18709 18711 17281 0 -1 4202560 9645 0 0 0 288 59 0 0 15 0 22 0 22041125 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18719] ppid=18709 vsize=1549248 CPUtime=3.37 /proc/18711/task/18719/stat : 18719 (java) S 18709 18711 17281 0 -1 4202560 11085 0 0 0 268 69 0 0 15 0 22 0 22041125 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18720] ppid=18709 vsize=1549248 CPUtime=3.42 /proc/18711/task/18720/stat : 18720 (java) S 18709 18711 17281 0 -1 4202560 8307 0 0 0 277 65 0 0 15 0 22 0 22041125 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 4 0 0 0 [pid=18711/tid=18721] ppid=18709 vsize=1549248 CPUtime=3.37 /proc/18711/task/18721/stat : 18721 (java) S 18709 18711 17281 0 -1 4202560 9019 0 0 0 283 54 0 0 15 0 22 0 22041125 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18722] ppid=18709 vsize=1549248 CPUtime=0.14 /proc/18711/task/18722/stat : 18722 (java) S 18709 18711 17281 0 -1 4202560 39 0 0 0 6 8 0 0 15 0 22 0 22041126 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18723] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18723/stat : 18723 (java) S 18709 18711 17281 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 22 0 22041126 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18724] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18724/stat : 18724 (java) S 18709 18711 17281 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 22041127 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18725] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18725/stat : 18725 (java) S 18709 18711 17281 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 22041129 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18726] ppid=18709 vsize=1549248 CPUtime=0.74 /proc/18711/task/18726/stat : 18726 (java) R 18709 18711 17281 0 -1 4202560 4872 0 0 0 74 0 0 0 15 0 22 0 22041129 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 103335617 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18711/tid=18727] ppid=18709 vsize=1549248 CPUtime=0.71 /proc/18711/task/18727/stat : 18727 (java) S 18709 18711 17281 0 -1 4202560 2906 0 0 0 71 0 0 0 15 0 22 0 22041129 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18728] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18728/stat : 18728 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 22 0 22041129 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18729] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18729/stat : 18729 (java) S 18709 18711 17281 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 22041129 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 2 0 0 0 [pid=18711/tid=18730] ppid=18709 vsize=1549248 CPUtime=0.4 /proc/18711/task/18730/stat : 18730 (java) R 18709 18711 17281 0 -1 4202560 21 0 0 0 40 0 0 0 19 0 22 0 22046907 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4110001265 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=18711/tid=18731] ppid=18709 vsize=1549248 CPUtime=0.39 /proc/18711/task/18731/stat : 18731 (java) R 18709 18711 17281 0 -1 4202560 18 0 0 0 39 0 0 0 20 0 22 0 22046907 1586429952 107126 4089446400 134512640 134550932 4294171424 18446744073709551615 4109078628 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 79.48 Current children cumulated vsize (KiB) 1549248 [startup+58.7011 s] /proc/loadavg: 2.50 2.24 2.06 4/198 18731 /proc/meminfo: memFree=28911884/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1549248 CPUtime=80.78 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 114400 0 1 0 7536 542 0 0 18 0 22 0 22041124 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 387312 107313 1443 10 0 384615 0 [pid=18711/tid=18712] ppid=18709 vsize=1549248 CPUtime=49.88 /proc/18711/task/18712/stat : 18712 (java) S 18709 18711 17281 0 -1 4202560 37299 0 1 0 4979 9 0 0 18 0 22 0 22041125 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18714] ppid=18709 vsize=1549248 CPUtime=3.32 /proc/18711/task/18714/stat : 18714 (java) S 18709 18711 17281 0 -1 4202560 8118 0 0 0 266 66 0 0 15 0 22 0 22041125 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18715] ppid=18709 vsize=1549248 CPUtime=3.4 /proc/18711/task/18715/stat : 18715 (java) S 18709 18711 17281 0 -1 4202560 7857 0 0 0 269 71 0 0 15 0 22 0 22041125 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18716] ppid=18709 vsize=1549248 CPUtime=3.43 /proc/18711/task/18716/stat : 18716 (java) S 18709 18711 17281 0 -1 4202560 6338 0 0 0 279 64 0 0 15 0 22 0 22041125 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18717] ppid=18709 vsize=1549248 CPUtime=3.33 /proc/18711/task/18717/stat : 18717 (java) S 18709 18711 17281 0 -1 4202560 7665 0 0 0 264 69 0 0 15 0 22 0 22041125 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18718] ppid=18709 vsize=1549248 CPUtime=3.47 /proc/18711/task/18718/stat : 18718 (java) S 18709 18711 17281 0 -1 4202560 9664 0 0 0 288 59 0 0 15 0 22 0 22041125 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18719] ppid=18709 vsize=1549248 CPUtime=3.37 /proc/18711/task/18719/stat : 18719 (java) S 18709 18711 17281 0 -1 4202560 11085 0 0 0 268 69 0 0 15 0 22 0 22041125 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18720] ppid=18709 vsize=1549248 CPUtime=3.43 /proc/18711/task/18720/stat : 18720 (java) S 18709 18711 17281 0 -1 4202560 8314 0 0 0 278 65 0 0 15 0 22 0 22041125 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 4 0 0 0 [pid=18711/tid=18721] ppid=18709 vsize=1549248 CPUtime=3.37 /proc/18711/task/18721/stat : 18721 (java) S 18709 18711 17281 0 -1 4202560 9053 0 0 0 283 54 0 0 15 0 22 0 22041125 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18722] ppid=18709 vsize=1549248 CPUtime=0.15 /proc/18711/task/18722/stat : 18722 (java) S 18709 18711 17281 0 -1 4202560 39 0 0 0 7 8 0 0 15 0 22 0 22041126 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18723] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18723/stat : 18723 (java) S 18709 18711 17281 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 22 0 22041126 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18724] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18724/stat : 18724 (java) S 18709 18711 17281 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 22041127 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18725] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18725/stat : 18725 (java) S 18709 18711 17281 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 22041129 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18726] ppid=18709 vsize=1549248 CPUtime=0.98 /proc/18711/task/18726/stat : 18726 (java) R 18709 18711 17281 0 -1 4202560 4902 0 0 0 98 0 0 0 15 0 22 0 22041129 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 105578244 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18711/tid=18727] ppid=18709 vsize=1549248 CPUtime=0.96 /proc/18711/task/18727/stat : 18727 (java) R 18709 18711 17281 0 -1 4202560 2935 0 0 0 96 0 0 0 15 0 22 0 22041129 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 105597658 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=18711/tid=18728] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18728/stat : 18728 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 22 0 22041129 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18729] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18729/stat : 18729 (java) S 18709 18711 17281 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 22041129 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18730] ppid=18709 vsize=1549248 CPUtime=0.77 /proc/18711/task/18730/stat : 18730 (java) R 18709 18711 17281 0 -1 4202560 26 0 0 0 77 0 0 0 19 0 22 0 22046907 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4110101168 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=18711/tid=18731] ppid=18709 vsize=1549248 CPUtime=0.77 /proc/18711/task/18731/stat : 18731 (java) R 18709 18711 17281 0 -1 4202560 33 0 0 0 77 0 0 0 20 0 22 0 22046907 1586429952 107313 4089446400 134512640 134550932 4294171424 18446744073709551615 4110139190 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 80.78 Current children cumulated vsize (KiB) 1549248 [startup+58.801 s] /proc/loadavg: 2.50 2.24 2.06 4/198 18731 /proc/meminfo: memFree=28911884/32950928 swapFree=67111528/67111528 [pid=18711] ppid=18709 vsize=1549248 CPUtime=81.09 /proc/18711/stat : 18711 (java) S 18709 18711 17281 0 -1 4202496 114553 0 1 0 7567 542 0 0 18 0 20 0 22041124 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18711/statm: 387312 107464 1444 10 0 384615 0 [pid=18711/tid=18712] ppid=18709 vsize=1549248 CPUtime=49.88 /proc/18711/task/18712/stat : 18712 (java) S 18709 18711 17281 0 -1 4202560 37299 0 1 0 4979 9 0 0 18 0 20 0 22041125 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18714] ppid=18709 vsize=1549248 CPUtime=3.32 /proc/18711/task/18714/stat : 18714 (java) S 18709 18711 17281 0 -1 4202560 8118 0 0 0 266 66 0 0 15 0 20 0 22041125 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 7 0 0 0 [pid=18711/tid=18715] ppid=18709 vsize=1549248 CPUtime=3.4 /proc/18711/task/18715/stat : 18715 (java) S 18709 18711 17281 0 -1 4202560 7857 0 0 0 269 71 0 0 15 0 20 0 22041125 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18716] ppid=18709 vsize=1549248 CPUtime=3.43 /proc/18711/task/18716/stat : 18716 (java) S 18709 18711 17281 0 -1 4202560 6338 0 0 0 279 64 0 0 15 0 20 0 22041125 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18717] ppid=18709 vsize=1549248 CPUtime=3.33 /proc/18711/task/18717/stat : 18717 (java) S 18709 18711 17281 0 -1 4202560 7665 0 0 0 264 69 0 0 15 0 20 0 22041125 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18718] ppid=18709 vsize=1549248 CPUtime=3.47 /proc/18711/task/18718/stat : 18718 (java) S 18709 18711 17281 0 -1 4202560 9664 0 0 0 288 59 0 0 15 0 20 0 22041125 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18719] ppid=18709 vsize=1549248 CPUtime=3.37 /proc/18711/task/18719/stat : 18719 (java) S 18709 18711 17281 0 -1 4202560 11085 0 0 0 268 69 0 0 15 0 20 0 22041125 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18720] ppid=18709 vsize=1549248 CPUtime=3.43 /proc/18711/task/18720/stat : 18720 (java) S 18709 18711 17281 0 -1 4202560 8314 0 0 0 278 65 0 0 15 0 20 0 22041125 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 4 0 0 0 [pid=18711/tid=18721] ppid=18709 vsize=1549248 CPUtime=3.37 /proc/18711/task/18721/stat : 18721 (java) S 18709 18711 17281 0 -1 4202560 9053 0 0 0 283 54 0 0 15 0 20 0 22041125 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 [pid=18711/tid=18722] ppid=18709 vsize=1549248 CPUtime=0.15 /proc/18711/task/18722/stat : 18722 (java) S 18709 18711 17281 0 -1 4202560 39 0 0 0 7 8 0 0 15 0 20 0 22041126 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 0 0 16800975 18446604469158382464 0 0 -1 5 0 0 0 [pid=18711/tid=18723] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18723/stat : 18723 (java) S 18709 18711 17281 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 20 0 22041126 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18724] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18724/stat : 18724 (java) S 18709 18711 17281 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 20 0 22041127 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18725] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18725/stat : 18725 (java) S 18709 18711 17281 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 22041129 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 1 0 0 0 [pid=18711/tid=18726] ppid=18709 vsize=1549248 CPUtime=1.08 /proc/18711/task/18726/stat : 18726 (java) R 18709 18711 17281 0 -1 4202560 4915 0 0 0 108 0 0 0 15 0 20 0 22041129 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 103153754 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18711/tid=18727] ppid=18709 vsize=1549248 CPUtime=1.06 /proc/18711/task/18727/stat : 18727 (java) S 18709 18711 17281 0 -1 4202560 3069 0 0 0 106 0 0 0 16 0 20 0 22041129 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18728] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18728/stat : 18728 (java) S 18709 18711 17281 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 22041129 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 3 0 0 0 [pid=18711/tid=18729] ppid=18709 vsize=1549248 CPUtime=0 /proc/18711/task/18729/stat : 18729 (java) S 18709 18711 17281 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 20 0 22041129 1586429952 107464 4089446400 134512640 134550932 4294171424 18446744073709551615 4294960144 0 4 0 16800975 18446604469158382464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 81.09 Current children cumulated vsize (KiB) 1549248 Child status: 20 Real time (s): 58.8752 CPU time (s): 81.1257 CPU user time (s): 75.6815 CPU system time (s): 5.44417 CPU usage (%): 137.792 Max. virtual memory (cumulated for all children) (KiB): 1549776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 75.6815 system time used= 5.44417 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114571 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= 56230 involuntary context switches= 2681969 runsolver used 0.098984 second user time and 0.241963 second system time The end
Begin job on node125 at 2010-07-07 23:31:13 IDJOB=2701248 IDBENCH=79548 IDSOLVER=1207 FILE ID=node125/2701248-1278538273 PBS_JOBID= 11239228 Free space on /tmp= 73532 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub1_wcsp.wbo COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701248-1278538273/watcher-2701248-1278538273 -o /tmp/evaluation-result-2701248-1278538273/solver-2701248-1278538273 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701248-1278538273.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2761e2185b4635bfb360739bf2448c3f RANDOM SEED=976449006 node125.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.823 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.64 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.823 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.83 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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.74 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.823 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.82 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.823 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.74 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.823 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.82 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.823 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.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29318820 kB Buffers: 118652 kB Cached: 3240592 kB SwapCached: 0 kB Active: 945216 kB Inactive: 2542416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29318820 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6912 kB Writeback: 0 kB AnonPages: 128076 kB Mapped: 15396 kB Slab: 79644 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 270292 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= 73532 MiB End job on node125 at 2010-07-07 23:32:12