Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | UNSAT | 58.984 | 30.5653 |
Name | /PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-3_wcsp.wbo |
MD5SUM | 376764ac4c5c3f094ec1a2d2f7cbae71 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | |
Best cost obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 26850 |
Total number of constraints | 1527009 |
Number of soft constraints | 1524324 |
Number of constraints which are clauses | 1524324 |
Number of constraints which are cardinality constraints (but not clauses) | 2685 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10 |
Top cost | 1259 |
Min constraint cost | 1 |
Max constraint cost | 1259 |
Sum of constraints costs | 1904880840 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 11 |
Number of bits of the biggest sum of numbers | 4 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.06 c See www.sat4j.org for details. 0.02/0.06 c version 2.2.0.v20100526 0.02/0.06 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.06 c java.vm.name Java HotSpot(TM) Server VM 0.02/0.06 c java.vm.version 11.2-b01 0.02/0.06 c java.vm.vendor Sun Microsystems Inc. 0.02/0.06 c sun.arch.data.model 32 0.02/0.06 c java.version 1.6.0_12 0.02/0.06 c os.name Linux 0.02/0.06 c os.version 2.6.18-164.el5 0.02/0.06 c os.arch i386 0.02/0.06 c Free memory 1393557488 0.02/0.06 c Max memory 1395916800 0.02/0.06 c Total memory 1395916800 0.02/0.06 c Number of processors 8 0.02/0.09 c Pseudo Boolean Optimization 0.02/0.09 c --- Begin Solver configuration --- 0.02/0.09 c Stops conflict analysis at the first Unique Implication Point 0.02/0.09 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.02/0.09 c Learn all clauses as in MiniSAT 0.02/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.02/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.02/0.09 c Expensive reason simplification 0.02/0.09 c Armin Biere (Picosat) restarts strategy 0.02/0.09 c Glucose learned constraints deletion strategy 0.02/0.09 c timeout=2147483s 0.02/0.09 c DB Simplification allowed=false 0.02/0.09 c --- End Solver configuration --- 0.02/0.09 c solving HOME/instance-2701732-1278541348.wbo 0.02/0.09 c reading problem ... 54.24/26.55 c ... done. Wall clock time 26.458s. 54.24/26.55 c #vars 1551174 54.24/26.55 c #constraints 3042439 54.24/26.55 c constraints type 54.24/26.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2685 54.24/26.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 18429 54.24/26.55 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1497001 58.79/30.49 c starts : 0 58.79/30.49 c conflicts : 0 58.79/30.49 c decisions : 0 58.79/30.49 c propagations : 1528914 58.79/30.49 c inspects : 188918 58.79/30.49 c learnt literals : 0 58.79/30.49 c learnt binary clauses : 0 58.79/30.49 c learnt ternary clauses : 0 58.79/30.49 c learnt clauses : 0 58.79/30.49 c ignored clauses : 0 58.79/30.49 c root simplifications : 0 58.79/30.49 c removed literals (reason simplification) : 0 58.79/30.49 c reason swapping (by a shorter reason) : 0 58.79/30.49 c Calls to reduceDB : 0 58.79/30.49 c number of reductions to clauses (during analyze) : 0 58.79/30.49 c number of learned constraints concerned by reduction : 0 58.79/30.49 c number of learning phase by resolution : 0 58.79/30.49 c number of learning phase by cutting planes : 0 58.79/30.49 c speed (assignments/second) : 388542.3125794155 58.79/30.49 c non guided choices 0 58.79/30.49 c learnt constraints type 58.79/30.49 c constraints type 58.79/30.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2685 58.79/30.49 c org.sat4j.minisat.constraints.card.MinWatchCard => 18429 58.79/30.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1497001 58.79/30.49 s UNSATISFIABLE 58.79/30.49 c Total wall clock time (in seconds): 30.399
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-2701732-1278541348/watcher-2701732-1278541348 -o /tmp/evaluation-result-2701732-1278541348/solver-2701732-1278541348 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701732-1278541348.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.08 2.15 2.08 3/195 21273 /proc/meminfo: memFree=28032476/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=13684 CPUtime=0 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 1184 0 0 0 0 0 0 0 22 0 2 0 22348448 14012416 631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 3421 631 307 10 0 1206 0 [pid=21273/tid=21274] ppid=21271 vsize=13684 CPUtime=0 /proc/21273/task/21274/stat : 21274 (java) R 21271 21273 19054 0 -1 4202560 145 0 0 0 0 0 0 0 24 0 2 0 22348448 14012416 634 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16784584 0 0 0 -1 7 0 0 0 [startup+0.0332451 s] /proc/loadavg: 2.08 2.15 2.08 3/195 21273 /proc/meminfo: memFree=28032476/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1526332 CPUtime=0.02 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 3778 0 1 0 2 0 0 0 22 0 13 0 22348448 1562963968 3219 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16784585 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 381583 3220 1038 10 0 378893 0 [pid=21273/tid=21274] ppid=21271 vsize=1526332 CPUtime=0.02 /proc/21273/task/21274/stat : 21274 (java) R 21271 21273 19054 0 -1 4202560 2713 0 1 0 2 0 0 0 25 0 13 0 22348448 1562963968 3220 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800971 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1526332 [startup+0.10023 s] /proc/loadavg: 2.08 2.15 2.08 3/195 21273 /proc/meminfo: memFree=28032476/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1530620 CPUtime=0.11 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 5232 0 1 0 10 1 0 0 22 0 18 0 22348448 1567354880 4669 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 382655 4669 1348 10 0 379957 0 [pid=21273/tid=21274] ppid=21271 vsize=1530620 CPUtime=0.09 /proc/21273/task/21274/stat : 21274 (java) R 21271 21273 19054 0 -1 4202560 3573 0 1 0 8 1 0 0 25 0 18 0 22348448 1567354880 4669 4089446400 134512640 134550932 4290002720 18446744073709551615 4108630206 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530620 [startup+0.300203 s] /proc/loadavg: 2.08 2.15 2.08 3/195 21273 /proc/meminfo: memFree=28032476/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1532656 CPUtime=0.5 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 34790 0 1 0 46 4 0 0 22 0 18 0 22348448 1569439744 34100 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 383164 34103 1406 10 0 380466 0 [pid=21273/tid=21274] ppid=21271 vsize=1532656 CPUtime=0.28 /proc/21273/task/21274/stat : 21274 (java) R 21271 21273 19054 0 -1 4202560 31878 0 1 0 25 3 0 0 25 0 18 0 22348448 1569439744 34106 4089446400 134512640 134550932 4290002720 18446744073709551615 106834528 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 1532656 [startup+0.701177 s] /proc/loadavg: 2.08 2.15 2.08 3/195 21273 /proc/meminfo: memFree=28032476/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1533680 CPUtime=1.34 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 44295 0 1 0 129 5 0 0 22 0 18 0 22348448 1570488320 43445 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 383420 43445 1423 10 0 380722 0 [pid=21273/tid=21274] ppid=21271 vsize=1533680 CPUtime=0.65 /proc/21273/task/21274/stat : 21274 (java) R 21271 21273 19054 0 -1 4202560 35600 0 1 0 61 4 0 0 25 0 18 0 22348448 1570488320 43445 4089446400 134512640 134550932 4290002720 18446744073709551615 106834528 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 1533680 [startup+1.50098 s] /proc/loadavg: 2.07 2.15 2.08 3/213 21291 /proc/meminfo: memFree=27839584/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1533680 CPUtime=2.73 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 57450 0 1 0 264 9 0 0 22 0 18 0 22348448 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 383420 55282 1424 10 0 380722 0 [pid=21273/tid=21274] ppid=21271 vsize=1533680 CPUtime=1.33 /proc/21273/task/21274/stat : 21274 (java) R 21271 21273 19054 0 -1 4202560 35616 0 1 0 129 4 0 0 25 0 18 0 22348448 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4108936808 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=21273/tid=21276] ppid=21271 vsize=1533680 CPUtime=0.09 /proc/21273/task/21276/stat : 21276 (java) S 21271 21273 19054 0 -1 4202560 2535 0 0 0 9 0 0 0 16 0 18 0 22348449 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21277] ppid=21271 vsize=1533680 CPUtime=0.08 /proc/21273/task/21277/stat : 21277 (java) S 21271 21273 19054 0 -1 4202560 2114 0 0 0 8 0 0 0 16 0 18 0 22348449 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21278] ppid=21271 vsize=1533680 CPUtime=0.08 /proc/21273/task/21278/stat : 21278 (java) S 21271 21273 19054 0 -1 4202560 1843 0 0 0 8 0 0 0 16 0 18 0 22348449 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21279] ppid=21271 vsize=1533680 CPUtime=0.1 /proc/21273/task/21279/stat : 21279 (java) S 21271 21273 19054 0 -1 4202560 2829 0 0 0 10 0 0 0 16 0 18 0 22348449 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 4 0 0 0 [pid=21273/tid=21280] ppid=21271 vsize=1533680 CPUtime=0.03 /proc/21273/task/21280/stat : 21280 (java) S 21271 21273 19054 0 -1 4202560 1153 0 0 0 3 0 0 0 15 0 18 0 22348449 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21281] ppid=21271 vsize=1533680 CPUtime=0.1 /proc/21273/task/21281/stat : 21281 (java) S 21271 21273 19054 0 -1 4202560 2758 0 0 0 10 0 0 0 15 0 18 0 22348449 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 2 0 0 0 [pid=21273/tid=21282] ppid=21271 vsize=1533680 CPUtime=0.11 /proc/21273/task/21282/stat : 21282 (java) S 21271 21273 19054 0 -1 4202560 3540 0 0 0 11 0 0 0 16 0 18 0 22348449 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21283] ppid=21271 vsize=1533680 CPUtime=0.1 /proc/21273/task/21283/stat : 21283 (java) S 21271 21273 19054 0 -1 4202560 2192 0 0 0 10 0 0 0 16 0 18 0 22348449 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21284] ppid=21271 vsize=1533680 CPUtime=0 /proc/21273/task/21284/stat : 21284 (java) S 21271 21273 19054 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 22348450 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21285] ppid=21271 vsize=1533680 CPUtime=0 /proc/21273/task/21285/stat : 21285 (java) S 21271 21273 19054 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 18 0 22348450 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21286] ppid=21271 vsize=1533680 CPUtime=0 /proc/21273/task/21286/stat : 21286 (java) S 21271 21273 19054 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 22348450 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21287] ppid=21271 vsize=1533680 CPUtime=0 /proc/21273/task/21287/stat : 21287 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21288] ppid=21271 vsize=1533680 CPUtime=0.31 /proc/21273/task/21288/stat : 21288 (java) S 21271 21273 19054 0 -1 4202560 984 0 0 0 31 0 0 0 24 0 18 0 22348452 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21289] ppid=21271 vsize=1533680 CPUtime=0.3 /proc/21273/task/21289/stat : 21289 (java) S 21271 21273 19054 0 -1 4202560 800 0 0 0 30 0 0 0 23 0 18 0 22348452 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21290] ppid=21271 vsize=1533680 CPUtime=0 /proc/21273/task/21290/stat : 21290 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21291] ppid=21271 vsize=1533680 CPUtime=0 /proc/21273/task/21291/stat : 21291 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22348452 1570488320 55282 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.73 Current children cumulated vsize (KiB) 1533680 [startup+3.1007 s] /proc/loadavg: 2.07 2.15 2.08 3/213 21291 /proc/meminfo: memFree=27778948/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1533820 CPUtime=5.57 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 78212 0 1 0 542 15 0 0 22 0 18 0 22348448 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 383455 74656 1424 10 0 380757 0 [pid=21273/tid=21274] ppid=21271 vsize=1533820 CPUtime=2.69 /proc/21273/task/21274/stat : 21274 (java) R 21271 21273 19054 0 -1 4202560 35644 0 1 0 265 4 0 0 25 0 18 0 22348448 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4109098199 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=21273/tid=21276] ppid=21271 vsize=1533820 CPUtime=0.25 /proc/21273/task/21276/stat : 21276 (java) S 21271 21273 19054 0 -1 4202560 4688 0 0 0 24 1 0 0 16 0 18 0 22348449 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21277] ppid=21271 vsize=1533820 CPUtime=0.25 /proc/21273/task/21277/stat : 21277 (java) S 21271 21273 19054 0 -1 4202560 4833 0 0 0 25 0 0 0 16 0 18 0 22348449 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21278] ppid=21271 vsize=1533820 CPUtime=0.27 /proc/21273/task/21278/stat : 21278 (java) S 21271 21273 19054 0 -1 4202560 4874 0 0 0 26 1 0 0 15 0 18 0 22348449 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21279] ppid=21271 vsize=1533820 CPUtime=0.29 /proc/21273/task/21279/stat : 21279 (java) S 21271 21273 19054 0 -1 4202560 5340 0 0 0 29 0 0 0 16 0 18 0 22348449 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21280] ppid=21271 vsize=1533820 CPUtime=0.2 /proc/21273/task/21280/stat : 21280 (java) S 21271 21273 19054 0 -1 4202560 3437 0 0 0 20 0 0 0 16 0 18 0 22348449 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21281] ppid=21271 vsize=1533820 CPUtime=0.3 /proc/21273/task/21281/stat : 21281 (java) S 21271 21273 19054 0 -1 4202560 5361 0 0 0 29 1 0 0 16 0 18 0 22348449 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21282] ppid=21271 vsize=1533820 CPUtime=0.32 /proc/21273/task/21282/stat : 21282 (java) S 21271 21273 19054 0 -1 4202560 6473 0 0 0 31 1 0 0 16 0 18 0 22348449 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 2 0 0 0 [pid=21273/tid=21283] ppid=21271 vsize=1533820 CPUtime=0.29 /proc/21273/task/21283/stat : 21283 (java) S 21271 21273 19054 0 -1 4202560 4692 0 0 0 28 1 0 0 16 0 18 0 22348449 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21284] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21284/stat : 21284 (java) S 21271 21273 19054 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 22348450 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21285] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21285/stat : 21285 (java) S 21271 21273 19054 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 18 0 22348450 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21286] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21286/stat : 21286 (java) S 21271 21273 19054 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 22348450 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21287] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21287/stat : 21287 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21288] ppid=21271 vsize=1533820 CPUtime=0.31 /proc/21273/task/21288/stat : 21288 (java) S 21271 21273 19054 0 -1 4202560 984 0 0 0 31 0 0 0 18 0 18 0 22348452 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21289] ppid=21271 vsize=1533820 CPUtime=0.3 /proc/21273/task/21289/stat : 21289 (java) S 21271 21273 19054 0 -1 4202560 800 0 0 0 30 0 0 0 18 0 18 0 22348452 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21290] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21290/stat : 21290 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21291] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21291/stat : 21291 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22348452 1570631680 74656 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.57 Current children cumulated vsize (KiB) 1533820 [startup+6.30121 s] /proc/loadavg: 2.07 2.15 2.08 3/213 21291 /proc/meminfo: memFree=27643296/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1533820 CPUtime=11.24 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 115229 0 1 0 1093 31 0 0 22 0 18 0 22348448 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 383455 108631 1424 10 0 380757 0 [pid=21273/tid=21274] ppid=21271 vsize=1533820 CPUtime=5.38 /proc/21273/task/21274/stat : 21274 (java) R 21271 21273 19054 0 -1 4202560 35712 0 1 0 534 4 0 0 25 0 18 0 22348448 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=21273/tid=21276] ppid=21271 vsize=1533820 CPUtime=0.6 /proc/21273/task/21276/stat : 21276 (java) S 21271 21273 19054 0 -1 4202560 8352 0 0 0 57 3 0 0 16 0 18 0 22348449 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21277] ppid=21271 vsize=1533820 CPUtime=0.64 /proc/21273/task/21277/stat : 21277 (java) S 21271 21273 19054 0 -1 4202560 9221 0 0 0 62 2 0 0 16 0 18 0 22348449 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 2 0 0 0 [pid=21273/tid=21278] ppid=21271 vsize=1533820 CPUtime=0.63 /proc/21273/task/21278/stat : 21278 (java) S 21271 21273 19054 0 -1 4202560 9932 0 0 0 61 2 0 0 16 0 18 0 22348449 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21279] ppid=21271 vsize=1533820 CPUtime=0.68 /proc/21273/task/21279/stat : 21279 (java) S 21271 21273 19054 0 -1 4202560 10357 0 0 0 66 2 0 0 16 0 18 0 22348449 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21280] ppid=21271 vsize=1533820 CPUtime=0.59 /proc/21273/task/21280/stat : 21280 (java) S 21271 21273 19054 0 -1 4202560 9036 0 0 0 57 2 0 0 16 0 18 0 22348449 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 4 0 0 0 [pid=21273/tid=21281] ppid=21271 vsize=1533820 CPUtime=0.69 /proc/21273/task/21281/stat : 21281 (java) S 21271 21273 19054 0 -1 4202560 9623 0 0 0 67 2 0 0 16 0 18 0 22348449 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21282] ppid=21271 vsize=1533820 CPUtime=0.64 /proc/21273/task/21282/stat : 21282 (java) S 21271 21273 19054 0 -1 4202560 10835 0 0 0 61 3 0 0 16 0 18 0 22348449 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21283] ppid=21271 vsize=1533820 CPUtime=0.65 /proc/21273/task/21283/stat : 21283 (java) S 21271 21273 19054 0 -1 4202560 9291 0 0 0 62 3 0 0 15 0 18 0 22348449 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21284] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21284/stat : 21284 (java) S 21271 21273 19054 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 22348450 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21285] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21285/stat : 21285 (java) S 21271 21273 19054 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 18 0 22348450 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21286] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21286/stat : 21286 (java) S 21271 21273 19054 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 22348450 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21287] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21287/stat : 21287 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21288] ppid=21271 vsize=1533820 CPUtime=0.31 /proc/21273/task/21288/stat : 21288 (java) S 21271 21273 19054 0 -1 4202560 984 0 0 0 31 0 0 0 18 0 18 0 22348452 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21289] ppid=21271 vsize=1533820 CPUtime=0.3 /proc/21273/task/21289/stat : 21289 (java) S 21271 21273 19054 0 -1 4202560 800 0 0 0 30 0 0 0 18 0 18 0 22348452 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21290] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21290/stat : 21290 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21291] ppid=21271 vsize=1533820 CPUtime=0 /proc/21273/task/21291/stat : 21291 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22348452 1570631680 108631 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 11.24 Current children cumulated vsize (KiB) 1533820 [startup+12.701 s] /proc/loadavg: 2.06 2.14 2.08 3/213 21291 /proc/meminfo: memFree=27436924/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1536136 CPUtime=23.1 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 173299 0 1 0 2216 94 0 0 22 0 18 0 22348448 1573003264 162466 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 384034 162466 1424 10 0 381336 0 ################ # More data... # ################ /proc/loadavg: 2.52 2.25 2.11 3/213 21292 /proc/meminfo: memFree=26611508/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1562116 CPUtime=56.85 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 392544 0 1 0 5496 189 0 0 22 0 18 0 22348448 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 390529 356500 1438 10 0 387831 0 [pid=21273/tid=21274] ppid=21271 vsize=1562116 CPUtime=17.38 /proc/21273/task/21274/stat : 21274 (java) S 21271 21273 19054 0 -1 4202560 35951 0 1 0 1731 7 0 0 17 0 18 0 22348448 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21276] ppid=21271 vsize=1562116 CPUtime=4.11 /proc/21273/task/21276/stat : 21276 (java) S 21271 21273 19054 0 -1 4202560 33478 0 0 0 393 18 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21277] ppid=21271 vsize=1562116 CPUtime=4.34 /proc/21273/task/21277/stat : 21277 (java) S 21271 21273 19054 0 -1 4202560 44888 0 0 0 411 23 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 4 0 0 0 [pid=21273/tid=21278] ppid=21271 vsize=1562116 CPUtime=4.13 /proc/21273/task/21278/stat : 21278 (java) S 21271 21273 19054 0 -1 4202560 42407 0 0 0 390 23 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 4 0 0 0 [pid=21273/tid=21279] ppid=21271 vsize=1562116 CPUtime=3.91 /proc/21273/task/21279/stat : 21279 (java) S 21271 21273 19054 0 -1 4202560 38348 0 0 0 369 22 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21280] ppid=21271 vsize=1562116 CPUtime=4.13 /proc/21273/task/21280/stat : 21280 (java) S 21271 21273 19054 0 -1 4202560 42104 0 0 0 392 21 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21281] ppid=21271 vsize=1562116 CPUtime=4.23 /proc/21273/task/21281/stat : 21281 (java) S 21271 21273 19054 0 -1 4202560 44889 0 0 0 401 22 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21282] ppid=21271 vsize=1562116 CPUtime=4.37 /proc/21273/task/21282/stat : 21282 (java) S 21271 21273 19054 0 -1 4202560 50304 0 0 0 415 22 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 2 0 0 0 [pid=21273/tid=21283] ppid=21271 vsize=1562116 CPUtime=3.94 /proc/21273/task/21283/stat : 21283 (java) S 21271 21273 19054 0 -1 4202560 40777 0 0 0 371 23 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21284] ppid=21271 vsize=1562116 CPUtime=5.19 /proc/21273/task/21284/stat : 21284 (java) R 21271 21273 19054 0 -1 4202560 15748 0 0 0 516 3 0 0 17 0 18 0 22348450 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 106836671 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=21273/tid=21285] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21285/stat : 21285 (java) S 21271 21273 19054 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 18 0 22348450 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21286] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21286/stat : 21286 (java) S 21271 21273 19054 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 22348450 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21287] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21287/stat : 21287 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21288] ppid=21271 vsize=1562116 CPUtime=0.46 /proc/21273/task/21288/stat : 21288 (java) S 21271 21273 19054 0 -1 4202560 1244 0 0 0 46 0 0 0 15 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21289] ppid=21271 vsize=1562116 CPUtime=0.55 /proc/21273/task/21289/stat : 21289 (java) S 21271 21273 19054 0 -1 4202560 1342 0 0 0 55 0 0 0 15 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21290] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21290/stat : 21290 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21291] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21291/stat : 21291 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 56.85 Current children cumulated vsize (KiB) 1562116 [startup+29.501 s] /proc/loadavg: 2.52 2.25 2.11 3/213 21292 /proc/meminfo: memFree=26611508/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1562116 CPUtime=57.65 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 392544 0 1 0 5576 189 0 0 22 0 18 0 22348448 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 390529 356500 1438 10 0 387831 0 [pid=21273/tid=21274] ppid=21271 vsize=1562116 CPUtime=17.38 /proc/21273/task/21274/stat : 21274 (java) S 21271 21273 19054 0 -1 4202560 35951 0 1 0 1731 7 0 0 17 0 18 0 22348448 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21276] ppid=21271 vsize=1562116 CPUtime=4.11 /proc/21273/task/21276/stat : 21276 (java) S 21271 21273 19054 0 -1 4202560 33478 0 0 0 393 18 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21277] ppid=21271 vsize=1562116 CPUtime=4.34 /proc/21273/task/21277/stat : 21277 (java) S 21271 21273 19054 0 -1 4202560 44888 0 0 0 411 23 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 4 0 0 0 [pid=21273/tid=21278] ppid=21271 vsize=1562116 CPUtime=4.13 /proc/21273/task/21278/stat : 21278 (java) S 21271 21273 19054 0 -1 4202560 42407 0 0 0 390 23 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 4 0 0 0 [pid=21273/tid=21279] ppid=21271 vsize=1562116 CPUtime=3.91 /proc/21273/task/21279/stat : 21279 (java) S 21271 21273 19054 0 -1 4202560 38348 0 0 0 369 22 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21280] ppid=21271 vsize=1562116 CPUtime=4.13 /proc/21273/task/21280/stat : 21280 (java) S 21271 21273 19054 0 -1 4202560 42104 0 0 0 392 21 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21281] ppid=21271 vsize=1562116 CPUtime=4.23 /proc/21273/task/21281/stat : 21281 (java) S 21271 21273 19054 0 -1 4202560 44889 0 0 0 401 22 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21282] ppid=21271 vsize=1562116 CPUtime=4.37 /proc/21273/task/21282/stat : 21282 (java) S 21271 21273 19054 0 -1 4202560 50304 0 0 0 415 22 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 2 0 0 0 [pid=21273/tid=21283] ppid=21271 vsize=1562116 CPUtime=3.94 /proc/21273/task/21283/stat : 21283 (java) S 21271 21273 19054 0 -1 4202560 40777 0 0 0 371 23 0 0 15 0 18 0 22348449 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21284] ppid=21271 vsize=1562116 CPUtime=5.99 /proc/21273/task/21284/stat : 21284 (java) R 21271 21273 19054 0 -1 4202560 15748 0 0 0 596 3 0 0 18 0 18 0 22348450 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 105886112 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=21273/tid=21285] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21285/stat : 21285 (java) S 21271 21273 19054 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 18 0 22348450 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21286] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21286/stat : 21286 (java) S 21271 21273 19054 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 22348450 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21287] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21287/stat : 21287 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21288] ppid=21271 vsize=1562116 CPUtime=0.46 /proc/21273/task/21288/stat : 21288 (java) S 21271 21273 19054 0 -1 4202560 1244 0 0 0 46 0 0 0 15 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21289] ppid=21271 vsize=1562116 CPUtime=0.55 /proc/21273/task/21289/stat : 21289 (java) S 21271 21273 19054 0 -1 4202560 1342 0 0 0 55 0 0 0 15 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21290] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21290/stat : 21290 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21291] ppid=21271 vsize=1562116 CPUtime=0 /proc/21273/task/21291/stat : 21291 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22348452 1599606784 356500 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 57.65 Current children cumulated vsize (KiB) 1562116 [startup+30.3008 s] /proc/loadavg: 2.52 2.25 2.11 3/213 21292 /proc/meminfo: memFree=26610640/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1546112 CPUtime=58.6 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 392557 0 1 0 5668 192 0 0 22 0 18 0 22348448 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 386528 352501 1439 10 0 383830 0 [pid=21273/tid=21274] ppid=21271 vsize=1546112 CPUtime=17.96 /proc/21273/task/21274/stat : 21274 (java) R 21271 21273 19054 0 -1 4202560 35963 0 1 0 1789 7 0 0 16 0 18 0 22348448 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4109018867 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=21273/tid=21276] ppid=21271 vsize=1546112 CPUtime=4.13 /proc/21273/task/21276/stat : 21276 (java) S 21271 21273 19054 0 -1 4202560 33478 0 0 0 395 18 0 0 16 0 18 0 22348449 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21277] ppid=21271 vsize=1546112 CPUtime=4.35 /proc/21273/task/21277/stat : 21277 (java) S 21271 21273 19054 0 -1 4202560 44888 0 0 0 412 23 0 0 15 0 18 0 22348449 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21278] ppid=21271 vsize=1546112 CPUtime=4.15 /proc/21273/task/21278/stat : 21278 (java) S 21271 21273 19054 0 -1 4202560 42407 0 0 0 391 24 0 0 15 0 18 0 22348449 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21279] ppid=21271 vsize=1546112 CPUtime=3.93 /proc/21273/task/21279/stat : 21279 (java) S 21271 21273 19054 0 -1 4202560 38348 0 0 0 371 22 0 0 15 0 18 0 22348449 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21280] ppid=21271 vsize=1546112 CPUtime=4.15 /proc/21273/task/21280/stat : 21280 (java) S 21271 21273 19054 0 -1 4202560 42104 0 0 0 394 21 0 0 15 0 18 0 22348449 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21281] ppid=21271 vsize=1546112 CPUtime=4.26 /proc/21273/task/21281/stat : 21281 (java) S 21271 21273 19054 0 -1 4202560 44889 0 0 0 403 23 0 0 16 0 18 0 22348449 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21282] ppid=21271 vsize=1546112 CPUtime=4.39 /proc/21273/task/21282/stat : 21282 (java) S 21271 21273 19054 0 -1 4202560 50304 0 0 0 417 22 0 0 15 0 18 0 22348449 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 6 0 0 0 [pid=21273/tid=21283] ppid=21271 vsize=1546112 CPUtime=3.95 /proc/21273/task/21283/stat : 21283 (java) S 21271 21273 19054 0 -1 4202560 40777 0 0 0 372 23 0 0 15 0 18 0 22348449 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 4 0 0 0 [pid=21273/tid=21284] ppid=21271 vsize=1546112 CPUtime=6.16 /proc/21273/task/21284/stat : 21284 (java) S 21271 21273 19054 0 -1 4202560 15748 0 0 0 613 3 0 0 15 0 18 0 22348450 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21285] ppid=21271 vsize=1546112 CPUtime=0 /proc/21273/task/21285/stat : 21285 (java) S 21271 21273 19054 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 18 0 22348450 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21286] ppid=21271 vsize=1546112 CPUtime=0 /proc/21273/task/21286/stat : 21286 (java) S 21271 21273 19054 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 22348450 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21287] ppid=21271 vsize=1546112 CPUtime=0 /proc/21273/task/21287/stat : 21287 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21288] ppid=21271 vsize=1546112 CPUtime=0.47 /proc/21273/task/21288/stat : 21288 (java) S 21271 21273 19054 0 -1 4202560 1244 0 0 0 47 0 0 0 15 0 18 0 22348452 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21289] ppid=21271 vsize=1546112 CPUtime=0.58 /proc/21273/task/21289/stat : 21289 (java) S 21271 21273 19054 0 -1 4202560 1343 0 0 0 58 0 0 0 15 0 18 0 22348452 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21290] ppid=21271 vsize=1546112 CPUtime=0 /proc/21273/task/21290/stat : 21290 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21291] ppid=21271 vsize=1546112 CPUtime=0 /proc/21273/task/21291/stat : 21291 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22348452 1583218688 352501 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 58.6 Current children cumulated vsize (KiB) 1546112 [startup+30.5008 s] /proc/loadavg: 2.52 2.25 2.11 3/213 21292 /proc/meminfo: memFree=26610640/32950928 swapFree=67111528/67111528 [pid=21273] ppid=21271 vsize=1546436 CPUtime=58.92 /proc/21273/stat : 21273 (java) S 21271 21273 19054 0 -1 4202496 392580 0 1 0 5700 192 0 0 22 0 18 0 22348448 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21273/statm: 386609 352523 1440 10 0 383911 0 [pid=21273/tid=21274] ppid=21271 vsize=1546436 CPUtime=18.15 /proc/21273/task/21274/stat : 21274 (java) S 21271 21273 19054 0 -1 4202560 35971 0 1 0 1808 7 0 0 17 0 18 0 22348448 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21276] ppid=21271 vsize=1546436 CPUtime=4.13 /proc/21273/task/21276/stat : 21276 (java) S 21271 21273 19054 0 -1 4202560 33478 0 0 0 395 18 0 0 15 0 18 0 22348449 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21277] ppid=21271 vsize=1546436 CPUtime=4.36 /proc/21273/task/21277/stat : 21277 (java) S 21271 21273 19054 0 -1 4202560 44888 0 0 0 413 23 0 0 16 0 18 0 22348449 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21278] ppid=21271 vsize=1546436 CPUtime=4.16 /proc/21273/task/21278/stat : 21278 (java) S 21271 21273 19054 0 -1 4202560 42407 0 0 0 392 24 0 0 16 0 18 0 22348449 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21279] ppid=21271 vsize=1546436 CPUtime=3.93 /proc/21273/task/21279/stat : 21279 (java) S 21271 21273 19054 0 -1 4202560 38348 0 0 0 371 22 0 0 15 0 18 0 22348449 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0 [pid=21273/tid=21280] ppid=21271 vsize=1546436 CPUtime=4.16 /proc/21273/task/21280/stat : 21280 (java) S 21271 21273 19054 0 -1 4202560 42104 0 0 0 395 21 0 0 16 0 18 0 22348449 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21281] ppid=21271 vsize=1546436 CPUtime=4.27 /proc/21273/task/21281/stat : 21281 (java) S 21271 21273 19054 0 -1 4202560 44889 0 0 0 404 23 0 0 16 0 18 0 22348449 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21282] ppid=21271 vsize=1546436 CPUtime=4.4 /proc/21273/task/21282/stat : 21282 (java) S 21271 21273 19054 0 -1 4202560 50304 0 0 0 418 22 0 0 16 0 18 0 22348449 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 6 0 0 0 [pid=21273/tid=21283] ppid=21271 vsize=1546436 CPUtime=3.96 /proc/21273/task/21283/stat : 21283 (java) S 21271 21273 19054 0 -1 4202560 40777 0 0 0 373 23 0 0 15 0 18 0 22348449 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 4 0 0 0 [pid=21273/tid=21284] ppid=21271 vsize=1546436 CPUtime=6.16 /proc/21273/task/21284/stat : 21284 (java) S 21271 21273 19054 0 -1 4202560 15748 0 0 0 613 3 0 0 15 0 18 0 22348450 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 0 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 [pid=21273/tid=21285] ppid=21271 vsize=1546436 CPUtime=0 /proc/21273/task/21285/stat : 21285 (java) S 21271 21273 19054 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 18 0 22348450 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21286] ppid=21271 vsize=1546436 CPUtime=0 /proc/21273/task/21286/stat : 21286 (java) S 21271 21273 19054 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 22348450 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21287] ppid=21271 vsize=1546436 CPUtime=0 /proc/21273/task/21287/stat : 21287 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0 [pid=21273/tid=21288] ppid=21271 vsize=1546436 CPUtime=0.49 /proc/21273/task/21288/stat : 21288 (java) S 21271 21273 19054 0 -1 4202560 1247 0 0 0 49 0 0 0 15 0 18 0 22348452 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21289] ppid=21271 vsize=1546436 CPUtime=0.64 /proc/21273/task/21289/stat : 21289 (java) S 21271 21273 19054 0 -1 4202560 1349 0 0 0 64 0 0 0 15 0 18 0 22348452 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 0 0 0 0 [pid=21273/tid=21290] ppid=21271 vsize=1546436 CPUtime=0 /proc/21273/task/21290/stat : 21290 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22348452 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0 [pid=21273/tid=21291] ppid=21271 vsize=1546436 CPUtime=0 /proc/21273/task/21291/stat : 21291 (java) S 21271 21273 19054 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22348452 1583550464 352523 4089446400 134512640 134550932 4290002720 18446744073709551615 4294960144 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 58.92 Current children cumulated vsize (KiB) 1546436 Child status: 20 Real time (s): 30.5653 CPU time (s): 58.984 CPU user time (s): 57.0073 CPU system time (s): 1.9767 CPU usage (%): 192.977 Max. virtual memory (cumulated for all children) (KiB): 1562116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 57.0073 system time used= 1.9767 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 392584 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= 14469 involuntary context switches= 635626 runsolver used 0.05999 second user time and 0.12598 second system time The end
Begin job on node122 at 2010-07-08 00:22:29 IDJOB=2701732 IDBENCH=79628 IDSOLVER=1202 FILE ID=node122/2701732-1278541348 PBS_JOBID= 11239233 Free space on /tmp= 73092 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/pedigree/normalized-sheep4r-4-3_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701732-1278541348/watcher-2701732-1278541348 -o /tmp/evaluation-result-2701732-1278541348/solver-2701732-1278541348 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701732-1278541348.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 376764ac4c5c3f094ec1a2d2f7cbae71 RANDOM SEED=1803936576 node122.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.839 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.67 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.839 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.16 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.839 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.839 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.81 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.839 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.76 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.839 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.67 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.839 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.839 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28033004 kB Buffers: 148112 kB Cached: 3122112 kB SwapCached: 0 kB Active: 2820756 kB Inactive: 1930448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28033004 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 186724 kB Writeback: 0 kB AnonPages: 1481272 kB Mapped: 20504 kB Slab: 98668 kB PageTables: 8356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1656060 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= 73092 MiB End job on node122 at 2010-07-08 00:23:00