Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | ? (TO) | 1800.28 | 1697.59 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo |
MD5SUM | 6f58e736787ec730241fe31cbfb7f2ba |
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 | 327 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1089 |
Total number of constraints | 53185 |
Number of soft constraints | 53152 |
Number of constraints which are clauses | 53152 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 33 |
Top cost | 976 |
Min constraint cost | 1 |
Max constraint cost | 976 |
Sum of constraints costs | 37740146 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 34 |
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.04/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.06 c See www.sat4j.org for details. 0.04/0.07 c version 2.2.0.v20100526 0.04/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.04/0.07 c java.vm.version 11.2-b01 0.04/0.07 c java.vm.vendor Sun Microsystems Inc. 0.04/0.07 c sun.arch.data.model 32 0.04/0.07 c java.version 1.6.0_12 0.04/0.07 c os.name Linux 0.04/0.07 c os.version 2.6.18-164.el5 0.04/0.07 c os.arch i386 0.04/0.07 c Free memory 1393557488 0.04/0.07 c Max memory 1395916800 0.04/0.07 c Total memory 1395916800 0.04/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c 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@1c1ea29 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 c solving HOME/instance-2700629-1278536004.wbo 0.11/0.10 c reading problem ... 1.25/0.77 c ... done. Wall clock time 0.67s. 1.25/0.77 c #vars 54241 1.25/0.77 c #constraints 82985 1.25/0.77 c constraints type 1.25/0.77 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 33 1.25/0.77 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 53185 1.25/0.77 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 13.53/10.90 c cleaning 0 clauses out of 5000 with flag 0/5000 57.67/53.64 c cleaning 0 clauses out of 11004 with flag 0/11004 182.55/173.96 c cleaning 0 clauses out of 18001 with flag 0/18001 462.31/440.60 c cleaning 0 clauses out of 26000 with flag 0/26000 1081.75/1025.11 c cleaning 0 clauses out of 35004 with flag 0/35004 1800.07/1697.51 c starts : 63 1800.07/1697.51 c conflicts : 41211 1800.07/1697.51 c decisions : 670402 1800.07/1697.51 c propagations : 3853453 1800.07/1697.51 c inspects : 2139697463 1800.07/1697.51 c learnt literals : 0 1800.07/1697.51 c learnt binary clauses : 0 1800.07/1697.51 c learnt ternary clauses : 0 1800.07/1697.51 c learnt clauses : 41211 1800.07/1697.51 c ignored clauses : 0 1800.07/1697.51 c root simplifications : 0 1800.07/1697.51 c removed literals (reason simplification) : 0 1800.07/1697.51 c reason swapping (by a shorter reason) : 0 1800.07/1697.51 c Calls to reduceDB : 5 1800.07/1697.51 c number of reductions to clauses (during analyze) : 0 1800.07/1697.51 c number of learned constraints concerned by reduction : 0 1800.07/1697.51 c number of learning phase by resolution : 0 1800.07/1697.51 c number of learning phase by cutting planes : 0 1800.07/1697.51 c speed (assignments/second) : 2271.0895351208374 1800.07/1697.51 c non guided choices 9337 1800.07/1697.54 c learnt constraints type 1800.07/1697.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 41211 1800.07/1697.54 c constraints type 1800.07/1697.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 33 1800.07/1697.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 53185 1800.07/1697.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.07/1697.54 s UNKNOWN 1800.07/1697.55 c Total wall clock time (in seconds): 1697.448
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-2700629-1278536004/watcher-2700629-1278536004 -o /tmp/evaluation-result-2700629-1278536004/solver-2700629-1278536004 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2700629-1278536004.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.04 2.00 1.78 3/176 18707 /proc/meminfo: memFree=29079772/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=13164 CPUtime=0 /proc/18707/stat : 18707 (java) R 18705 18707 17427 0 -1 4194304 724 0 0 0 0 0 0 0 20 0 1 0 21814101 13479936 319 4089446400 134512640 134550932 4289267280 18446744073709551615 8300165 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/18707/statm: 3291 328 142 10 0 1121 0 [startup+0.0623959 s] /proc/loadavg: 2.04 2.00 1.78 3/176 18707 /proc/meminfo: memFree=29079772/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1528572 CPUtime=0.04 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 4174 0 1 0 4 0 0 0 20 0 18 0 21814101 1565257728 3614 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 382143 3614 1082 10 0 379445 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1528572 [startup+0.100384 s] /proc/loadavg: 2.04 2.00 1.78 3/176 18707 /proc/meminfo: memFree=29079772/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1529856 CPUtime=0.11 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 5207 0 1 0 10 1 0 0 20 0 18 0 21814101 1566572544 4645 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 382464 4645 1347 10 0 379766 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529856 [startup+0.300352 s] /proc/loadavg: 2.04 2.00 1.78 3/176 18707 /proc/meminfo: memFree=29079772/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1531528 CPUtime=0.53 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 7815 0 1 0 52 1 0 0 20 0 18 0 21814101 1568284672 7009 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 382882 7010 1403 10 0 380184 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1531528 [startup+0.700285 s] /proc/loadavg: 2.04 2.00 1.78 3/176 18707 /proc/meminfo: memFree=29079772/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1532196 CPUtime=1.25 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 34591 0 1 0 120 5 0 0 20 0 18 0 21814101 1568968704 33376 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 383049 33376 1417 10 0 380351 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 1532196 [startup+1.50115 s] /proc/loadavg: 2.04 2.00 1.78 4/195 18726 /proc/meminfo: memFree=28929004/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1534396 CPUtime=2.7 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 41625 0 1 0 262 8 0 0 20 0 19 0 21814101 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 383599 39471 1442 10 0 380901 0 [pid=18707/tid=18709] ppid=18705 vsize=1534396 CPUtime=1.23 /proc/18707/task/18709/stat : 18709 (java) S 18705 18707 17427 0 -1 4202560 32087 0 1 0 118 5 0 0 19 0 19 0 21814102 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18710] ppid=18705 vsize=1534396 CPUtime=0.01 /proc/18707/task/18710/stat : 18710 (java) S 18705 18707 17427 0 -1 4202560 1169 0 0 0 1 0 0 0 16 0 19 0 21814102 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18711] ppid=18705 vsize=1534396 CPUtime=0.01 /proc/18707/task/18711/stat : 18711 (java) S 18705 18707 17427 0 -1 4202560 1020 0 0 0 1 0 0 0 16 0 19 0 21814102 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 5 0 0 0 [pid=18707/tid=18712] ppid=18705 vsize=1534396 CPUtime=0.01 /proc/18707/task/18712/stat : 18712 (java) S 18705 18707 17427 0 -1 4202560 1073 0 0 0 1 0 0 0 16 0 19 0 21814102 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18713] ppid=18705 vsize=1534396 CPUtime=0.01 /proc/18707/task/18713/stat : 18713 (java) S 18705 18707 17427 0 -1 4202560 888 0 0 0 1 0 0 0 16 0 19 0 21814102 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18714] ppid=18705 vsize=1534396 CPUtime=0.01 /proc/18707/task/18714/stat : 18714 (java) S 18705 18707 17427 0 -1 4202560 755 0 0 0 1 0 0 0 16 0 19 0 21814102 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18715] ppid=18705 vsize=1534396 CPUtime=0 /proc/18707/task/18715/stat : 18715 (java) S 18705 18707 17427 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 19 0 21814102 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 6 0 0 0 [pid=18707/tid=18716] ppid=18705 vsize=1534396 CPUtime=0 /proc/18707/task/18716/stat : 18716 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21814102 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18717] ppid=18705 vsize=1534396 CPUtime=0 /proc/18707/task/18717/stat : 18717 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21814102 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18718] ppid=18705 vsize=1534396 CPUtime=0.03 /proc/18707/task/18718/stat : 18718 (java) R 18705 18707 17427 0 -1 4202560 9 0 0 0 3 0 0 0 15 0 19 0 21814103 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 105849512 0 0 0 16800975 0 0 0 -1 2 0 0 0 [pid=18707/tid=18719] ppid=18705 vsize=1534396 CPUtime=0 /proc/18707/task/18719/stat : 18719 (java) S 18705 18707 17427 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 19 0 21814103 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18720] ppid=18705 vsize=1534396 CPUtime=0 /proc/18707/task/18720/stat : 18720 (java) S 18705 18707 17427 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21814103 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18721] ppid=18705 vsize=1534396 CPUtime=0 /proc/18707/task/18721/stat : 18721 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18722] ppid=18705 vsize=1534396 CPUtime=0.7 /proc/18707/task/18722/stat : 18722 (java) S 18705 18707 17427 0 -1 4202560 1528 0 0 0 70 0 0 0 15 0 19 0 21814106 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18723] ppid=18705 vsize=1534396 CPUtime=0.6 /proc/18707/task/18723/stat : 18723 (java) S 18705 18707 17427 0 -1 4202560 1861 0 0 0 60 0 0 0 15 0 19 0 21814106 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18724] ppid=18705 vsize=1534396 CPUtime=0 /proc/18707/task/18724/stat : 18724 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18725] ppid=18705 vsize=1534396 CPUtime=0 /proc/18707/task/18725/stat : 18725 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21814106 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18726] ppid=18705 vsize=1534396 CPUtime=0 /proc/18707/task/18726/stat : 18726 (java) S 18705 18707 17427 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 21814200 1571221504 39471 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 1534396 [startup+3.10088 s] /proc/loadavg: 2.04 2.00 1.78 4/195 18726 /proc/meminfo: memFree=28904328/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1544504 CPUtime=5.43 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 59912 0 1 0 531 12 0 0 20 0 19 0 21814101 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 386126 53031 1446 10 0 383428 0 [pid=18707/tid=18709] ppid=18705 vsize=1544504 CPUtime=2.58 /proc/18707/task/18709/stat : 18709 (java) R 18705 18707 17427 0 -1 4202560 32100 0 1 0 252 6 0 0 17 0 19 0 21814102 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4109606455 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18707/tid=18710] ppid=18705 vsize=1544504 CPUtime=0.08 /proc/18707/task/18710/stat : 18710 (java) S 18705 18707 17427 0 -1 4202560 2357 0 0 0 8 0 0 0 15 0 19 0 21814102 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 5 0 0 0 [pid=18707/tid=18711] ppid=18705 vsize=1544504 CPUtime=0.1 /proc/18707/task/18711/stat : 18711 (java) S 18705 18707 17427 0 -1 4202560 3895 0 0 0 10 0 0 0 15 0 19 0 21814102 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18712] ppid=18705 vsize=1544504 CPUtime=0.07 /proc/18707/task/18712/stat : 18712 (java) S 18705 18707 17427 0 -1 4202560 1956 0 0 0 7 0 0 0 15 0 19 0 21814102 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18713] ppid=18705 vsize=1544504 CPUtime=0.07 /proc/18707/task/18713/stat : 18713 (java) S 18705 18707 17427 0 -1 4202560 2478 0 0 0 7 0 0 0 15 0 19 0 21814102 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18714] ppid=18705 vsize=1544504 CPUtime=0.04 /proc/18707/task/18714/stat : 18714 (java) S 18705 18707 17427 0 -1 4202560 887 0 0 0 4 0 0 0 15 0 19 0 21814102 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18715] ppid=18705 vsize=1544504 CPUtime=0.07 /proc/18707/task/18715/stat : 18715 (java) S 18705 18707 17427 0 -1 4202560 916 0 0 0 7 0 0 0 16 0 19 0 21814102 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 6 0 0 0 [pid=18707/tid=18716] ppid=18705 vsize=1544504 CPUtime=0.04 /proc/18707/task/18716/stat : 18716 (java) S 18705 18707 17427 0 -1 4202560 995 0 0 0 4 0 0 0 15 0 19 0 21814102 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18717] ppid=18705 vsize=1544504 CPUtime=0.07 /proc/18707/task/18717/stat : 18717 (java) S 18705 18707 17427 0 -1 4202560 2777 0 0 0 7 0 0 0 15 0 19 0 21814102 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18718] ppid=18705 vsize=1544504 CPUtime=0.09 /proc/18707/task/18718/stat : 18718 (java) S 18705 18707 17427 0 -1 4202560 10 0 0 0 8 1 0 0 15 0 19 0 21814103 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18719] ppid=18705 vsize=1544504 CPUtime=0 /proc/18707/task/18719/stat : 18719 (java) S 18705 18707 17427 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 19 0 21814103 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18720] ppid=18705 vsize=1544504 CPUtime=0 /proc/18707/task/18720/stat : 18720 (java) S 18705 18707 17427 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21814103 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18721] ppid=18705 vsize=1544504 CPUtime=0 /proc/18707/task/18721/stat : 18721 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18722] ppid=18705 vsize=1544504 CPUtime=1.09 /proc/18707/task/18722/stat : 18722 (java) S 18705 18707 17427 0 -1 4202560 3968 0 0 0 108 1 0 0 16 0 19 0 21814106 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18723] ppid=18705 vsize=1544504 CPUtime=1.04 /proc/18707/task/18723/stat : 18723 (java) S 18705 18707 17427 0 -1 4202560 6506 0 0 0 104 0 0 0 16 0 19 0 21814106 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18724] ppid=18705 vsize=1544504 CPUtime=0 /proc/18707/task/18724/stat : 18724 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18725] ppid=18705 vsize=1544504 CPUtime=0 /proc/18707/task/18725/stat : 18725 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21814106 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18726] ppid=18705 vsize=1544504 CPUtime=0 /proc/18707/task/18726/stat : 18726 (java) S 18705 18707 17427 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 21814200 1581572096 53031 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.43 Current children cumulated vsize (KiB) 1544504 [startup+6.30134 s] /proc/loadavg: 2.67 2.13 1.82 3/195 18726 /proc/meminfo: memFree=28871728/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1539892 CPUtime=8.77 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 61519 0 1 0 863 14 0 0 20 0 19 0 21814101 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 384973 53314 1446 10 0 382275 0 [pid=18707/tid=18709] ppid=18705 vsize=1539892 CPUtime=5.74 /proc/18707/task/18709/stat : 18709 (java) R 18705 18707 17427 0 -1 4202560 32120 0 1 0 568 6 0 0 23 0 19 0 21814102 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4109899531 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18707/tid=18710] ppid=18705 vsize=1539892 CPUtime=0.1 /proc/18707/task/18710/stat : 18710 (java) S 18705 18707 17427 0 -1 4202560 2555 0 0 0 10 0 0 0 15 0 19 0 21814102 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 5 0 0 0 [pid=18707/tid=18711] ppid=18705 vsize=1539892 CPUtime=0.12 /proc/18707/task/18711/stat : 18711 (java) S 18705 18707 17427 0 -1 4202560 4074 0 0 0 12 0 0 0 15 0 19 0 21814102 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18712] ppid=18705 vsize=1539892 CPUtime=0.08 /proc/18707/task/18712/stat : 18712 (java) S 18705 18707 17427 0 -1 4202560 2138 0 0 0 8 0 0 0 15 0 19 0 21814102 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18713] ppid=18705 vsize=1539892 CPUtime=0.08 /proc/18707/task/18713/stat : 18713 (java) S 18705 18707 17427 0 -1 4202560 2614 0 0 0 8 0 0 0 15 0 19 0 21814102 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 6 0 0 0 [pid=18707/tid=18714] ppid=18705 vsize=1539892 CPUtime=0.06 /proc/18707/task/18714/stat : 18714 (java) S 18705 18707 17427 0 -1 4202560 1116 0 0 0 6 0 0 0 15 0 19 0 21814102 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18715] ppid=18705 vsize=1539892 CPUtime=0.08 /proc/18707/task/18715/stat : 18715 (java) S 18705 18707 17427 0 -1 4202560 1097 0 0 0 8 0 0 0 15 0 19 0 21814102 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 6 0 0 0 [pid=18707/tid=18716] ppid=18705 vsize=1539892 CPUtime=0.06 /proc/18707/task/18716/stat : 18716 (java) S 18705 18707 17427 0 -1 4202560 1241 0 0 0 6 0 0 0 15 0 19 0 21814102 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18717] ppid=18705 vsize=1539892 CPUtime=0.08 /proc/18707/task/18717/stat : 18717 (java) S 18705 18707 17427 0 -1 4202560 3013 0 0 0 8 0 0 0 15 0 19 0 21814102 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18718] ppid=18705 vsize=1539892 CPUtime=0.09 /proc/18707/task/18718/stat : 18718 (java) S 18705 18707 17427 0 -1 4202560 10 0 0 0 8 1 0 0 15 0 19 0 21814103 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18719] ppid=18705 vsize=1539892 CPUtime=0 /proc/18707/task/18719/stat : 18719 (java) S 18705 18707 17427 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 19 0 21814103 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18720] ppid=18705 vsize=1539892 CPUtime=0 /proc/18707/task/18720/stat : 18720 (java) S 18705 18707 17427 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21814103 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18721] ppid=18705 vsize=1539892 CPUtime=0 /proc/18707/task/18721/stat : 18721 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18722] ppid=18705 vsize=1539892 CPUtime=1.1 /proc/18707/task/18722/stat : 18722 (java) S 18705 18707 17427 0 -1 4202560 3968 0 0 0 109 1 0 0 15 0 19 0 21814106 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18723] ppid=18705 vsize=1539892 CPUtime=1.04 /proc/18707/task/18723/stat : 18723 (java) S 18705 18707 17427 0 -1 4202560 6506 0 0 0 104 0 0 0 16 0 19 0 21814106 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18724] ppid=18705 vsize=1539892 CPUtime=0 /proc/18707/task/18724/stat : 18724 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18725] ppid=18705 vsize=1539892 CPUtime=0 /proc/18707/task/18725/stat : 18725 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21814106 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18726] ppid=18705 vsize=1539892 CPUtime=0 /proc/18707/task/18726/stat : 18726 (java) S 18705 18707 17427 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 21814200 1576849408 53314 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.77 Current children cumulated vsize (KiB) 1539892 [startup+12.7013 s] /proc/loadavg: 2.62 2.13 1.82 3/195 18726 /proc/meminfo: memFree=28864288/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1540556 CPUtime=15.48 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 63635 0 1 0 1531 17 0 0 20 0 19 0 21814101 1577529344 55287 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 385139 55287 1452 10 0 382441 0 [pid=18707/tid=18709] ppid=18705 vsize=1540556 CPUtime=11.99 /proc/18707/task/18709/stat : 18709 (java) R 18705 18707 17427 0 -1 4202560 32142 0 1 0 1193 6 0 0 25 0 19 0 21814102 1577529344 55287 4089446400 134512640 134550932 4289267280 18446744073709551615 4109903241 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=18707/tid=18710] ppid=18705 vsize=1540556 CPUtime=0.13 /proc/18707/task/18710/stat : 18710 (java) S 18705 18707 17427 0 -1 4202560 2751 0 0 0 12 1 0 0 15 0 19 0 21814102 1577529344 55287 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 5 0 0 0 ################ # More data... # ################ [pid=18707/tid=18715] ppid=18705 vsize=1541580 CPUtime=13.9 /proc/18707/task/18715/stat : 18715 (java) S 18705 18707 17427 0 -1 4202560 7941 0 0 0 1237 153 0 0 16 0 19 0 21814102 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18716] ppid=18705 vsize=1541580 CPUtime=14.32 /proc/18707/task/18716/stat : 18716 (java) S 18705 18707 17427 0 -1 4202560 8075 0 0 0 1255 177 0 0 16 0 19 0 21814102 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18717] ppid=18705 vsize=1541580 CPUtime=13.5 /proc/18707/task/18717/stat : 18717 (java) S 18705 18707 17427 0 -1 4202560 9610 0 0 0 1199 151 0 0 16 0 19 0 21814102 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 5 0 0 0 [pid=18707/tid=18718] ppid=18705 vsize=1541580 CPUtime=1.88 /proc/18707/task/18718/stat : 18718 (java) S 18705 18707 17427 0 -1 4202560 1606 0 0 0 138 50 0 0 15 0 19 0 21814103 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446604451648079680 0 0 -1 6 0 0 0 [pid=18707/tid=18719] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18719/stat : 18719 (java) S 18705 18707 17427 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 19 0 21814103 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18720] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18720/stat : 18720 (java) S 18705 18707 17427 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21814103 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18721] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18721/stat : 18721 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18722] ppid=18705 vsize=1541580 CPUtime=1.3 /proc/18707/task/18722/stat : 18722 (java) S 18705 18707 17427 0 -1 4202560 4127 0 0 0 129 1 0 0 15 0 19 0 21814106 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18723] ppid=18705 vsize=1541580 CPUtime=1.05 /proc/18707/task/18723/stat : 18723 (java) S 18705 18707 17427 0 -1 4202560 6510 0 0 0 105 0 0 0 16 0 19 0 21814106 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18724] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18724/stat : 18724 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18725] ppid=18705 vsize=1541580 CPUtime=0.03 /proc/18707/task/18725/stat : 18725 (java) S 18705 18707 17427 0 -1 4202560 89 0 0 0 1 2 0 0 15 0 19 0 21814106 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18726] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18726/stat : 18726 (java) S 18705 18707 17427 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 21814200 1578577920 105833 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1698.34 Current children cumulated vsize (KiB) 1541580 [startup+1662.3 s] /proc/loadavg: 2.03 2.08 2.02 3/195 18974 /proc/meminfo: memFree=29234128/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1541580 CPUtime=1762.44 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 121784 0 1 0 174776 1468 0 0 20 0 19 0 21814101 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 385395 107945 1452 10 0 382697 0 [pid=18707/tid=18709] ppid=18705 vsize=1541580 CPUtime=1640.01 /proc/18707/task/18709/stat : 18709 (java) R 18705 18707 17427 0 -1 4202560 34593 0 1 0 163986 15 0 0 25 0 19 0 21814102 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4109882623 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18707/tid=18710] ppid=18705 vsize=1541580 CPUtime=14.81 /proc/18707/task/18710/stat : 18710 (java) S 18705 18707 17427 0 -1 4202560 9214 0 0 0 1309 172 0 0 16 0 19 0 21814102 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18711] ppid=18705 vsize=1541580 CPUtime=14.85 /proc/18707/task/18711/stat : 18711 (java) S 18705 18707 17427 0 -1 4202560 11215 0 0 0 1305 180 0 0 16 0 19 0 21814102 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18712] ppid=18705 vsize=1541580 CPUtime=14.95 /proc/18707/task/18712/stat : 18712 (java) S 18705 18707 17427 0 -1 4202560 9226 0 0 0 1329 166 0 0 16 0 19 0 21814102 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 6 0 0 0 [pid=18707/tid=18713] ppid=18705 vsize=1541580 CPUtime=14.96 /proc/18707/task/18713/stat : 18713 (java) S 18705 18707 17427 0 -1 4202560 9666 0 0 0 1308 188 0 0 16 0 19 0 21814102 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 5 0 0 0 [pid=18707/tid=18714] ppid=18705 vsize=1541580 CPUtime=14.92 /proc/18707/task/18714/stat : 18714 (java) S 18705 18707 17427 0 -1 4202560 8135 0 0 0 1311 181 0 0 16 0 19 0 21814102 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18715] ppid=18705 vsize=1541580 CPUtime=14.53 /proc/18707/task/18715/stat : 18715 (java) S 18705 18707 17427 0 -1 4202560 8200 0 0 0 1291 162 0 0 16 0 19 0 21814102 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18716] ppid=18705 vsize=1541580 CPUtime=14.98 /proc/18707/task/18716/stat : 18716 (java) S 18705 18707 17427 0 -1 4202560 8328 0 0 0 1315 183 0 0 15 0 19 0 21814102 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 5 0 0 0 [pid=18707/tid=18717] ppid=18705 vsize=1541580 CPUtime=14.04 /proc/18707/task/18717/stat : 18717 (java) S 18705 18707 17427 0 -1 4202560 9801 0 0 0 1245 159 0 0 16 0 19 0 21814102 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18718] ppid=18705 vsize=1541580 CPUtime=1.9 /proc/18707/task/18718/stat : 18718 (java) S 18705 18707 17427 0 -1 4202560 1610 0 0 0 139 51 0 0 15 0 19 0 21814103 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18719] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18719/stat : 18719 (java) S 18705 18707 17427 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 19 0 21814103 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18720] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18720/stat : 18720 (java) S 18705 18707 17427 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21814103 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18721] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18721/stat : 18721 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18722] ppid=18705 vsize=1541580 CPUtime=1.3 /proc/18707/task/18722/stat : 18722 (java) S 18705 18707 17427 0 -1 4202560 4127 0 0 0 129 1 0 0 15 0 19 0 21814106 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18723] ppid=18705 vsize=1541580 CPUtime=1.05 /proc/18707/task/18723/stat : 18723 (java) S 18705 18707 17427 0 -1 4202560 6510 0 0 0 105 0 0 0 16 0 19 0 21814106 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18724] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18724/stat : 18724 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18725] ppid=18705 vsize=1541580 CPUtime=0.04 /proc/18707/task/18725/stat : 18725 (java) S 18705 18707 17427 0 -1 4202560 93 0 0 0 1 3 0 0 15 0 19 0 21814106 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18726] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18726/stat : 18726 (java) S 18705 18707 17427 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 21814200 1578577920 107945 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1762.44 Current children cumulated vsize (KiB) 1541580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1697.5 s] /proc/loadavg: 2.02 2.07 2.01 3/195 18975 /proc/meminfo: memFree=29223192/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1541580 CPUtime=1800.07 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 123086 0 1 0 178505 1502 0 0 20 0 19 0 21814101 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 385395 109195 1452 10 0 382697 0 [pid=18707/tid=18709] ppid=18705 vsize=1541580 CPUtime=1674.72 /proc/18707/task/18709/stat : 18709 (java) R 18705 18707 17427 0 -1 4202560 34633 0 1 0 167457 15 0 0 25 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4109904340 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18707/tid=18710] ppid=18705 vsize=1541580 CPUtime=15.16 /proc/18707/task/18710/stat : 18710 (java) S 18705 18707 17427 0 -1 4202560 9332 0 0 0 1340 176 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 5 0 0 0 [pid=18707/tid=18711] ppid=18705 vsize=1541580 CPUtime=15.21 /proc/18707/task/18711/stat : 18711 (java) S 18705 18707 17427 0 -1 4202560 11391 0 0 0 1336 185 0 0 15 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18712] ppid=18705 vsize=1541580 CPUtime=15.33 /proc/18707/task/18712/stat : 18712 (java) S 18705 18707 17427 0 -1 4202560 9378 0 0 0 1362 171 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18713] ppid=18705 vsize=1541580 CPUtime=15.27 /proc/18707/task/18713/stat : 18713 (java) S 18705 18707 17427 0 -1 4202560 9818 0 0 0 1335 192 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18714] ppid=18705 vsize=1541580 CPUtime=15.32 /proc/18707/task/18714/stat : 18714 (java) S 18705 18707 17427 0 -1 4202560 8304 0 0 0 1347 185 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18715] ppid=18705 vsize=1541580 CPUtime=14.94 /proc/18707/task/18715/stat : 18715 (java) S 18705 18707 17427 0 -1 4202560 8394 0 0 0 1328 166 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 6 0 0 0 [pid=18707/tid=18716] ppid=18705 vsize=1541580 CPUtime=15.34 /proc/18707/task/18716/stat : 18716 (java) S 18705 18707 17427 0 -1 4202560 8472 0 0 0 1347 187 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18717] ppid=18705 vsize=1541580 CPUtime=14.37 /proc/18707/task/18717/stat : 18717 (java) S 18705 18707 17427 0 -1 4202560 9954 0 0 0 1274 163 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18718] ppid=18705 vsize=1541580 CPUtime=1.91 /proc/18707/task/18718/stat : 18718 (java) S 18705 18707 17427 0 -1 4202560 1612 0 0 0 139 52 0 0 15 0 19 0 21814103 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18719] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18719/stat : 18719 (java) S 18705 18707 17427 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 19 0 21814103 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18720] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18720/stat : 18720 (java) S 18705 18707 17427 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21814103 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18721] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18721/stat : 18721 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18722] ppid=18705 vsize=1541580 CPUtime=1.3 /proc/18707/task/18722/stat : 18722 (java) S 18705 18707 17427 0 -1 4202560 4127 0 0 0 129 1 0 0 15 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18723] ppid=18705 vsize=1541580 CPUtime=1.05 /proc/18707/task/18723/stat : 18723 (java) S 18705 18707 17427 0 -1 4202560 6510 0 0 0 105 0 0 0 16 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18724] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18724/stat : 18724 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18725] ppid=18705 vsize=1541580 CPUtime=0.04 /proc/18707/task/18725/stat : 18725 (java) S 18705 18707 17427 0 -1 4202560 95 0 0 0 1 3 0 0 15 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18726] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18726/stat : 18726 (java) S 18705 18707 17427 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 21814200 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1541580 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1697.5 s] /proc/loadavg: 2.02 2.07 2.01 3/195 18975 /proc/meminfo: memFree=29223192/32951132 swapFree=67111528/67111528 [pid=18707] ppid=18705 vsize=1541580 CPUtime=1800.07 /proc/18707/stat : 18707 (java) S 18705 18707 17427 0 -1 4202496 123086 0 1 0 178505 1502 0 0 20 0 19 0 21814101 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18707/statm: 385395 109195 1452 10 0 382697 0 [pid=18707/tid=18709] ppid=18705 vsize=1541580 CPUtime=1674.72 /proc/18707/task/18709/stat : 18709 (java) R 18705 18707 17427 0 -1 4202560 34633 0 1 0 167457 15 0 0 25 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4109904340 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18707/tid=18710] ppid=18705 vsize=1541580 CPUtime=15.16 /proc/18707/task/18710/stat : 18710 (java) S 18705 18707 17427 0 -1 4202560 9332 0 0 0 1340 176 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 5 0 0 0 [pid=18707/tid=18711] ppid=18705 vsize=1541580 CPUtime=15.21 /proc/18707/task/18711/stat : 18711 (java) S 18705 18707 17427 0 -1 4202560 11391 0 0 0 1336 185 0 0 15 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18712] ppid=18705 vsize=1541580 CPUtime=15.33 /proc/18707/task/18712/stat : 18712 (java) S 18705 18707 17427 0 -1 4202560 9378 0 0 0 1362 171 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18713] ppid=18705 vsize=1541580 CPUtime=15.27 /proc/18707/task/18713/stat : 18713 (java) S 18705 18707 17427 0 -1 4202560 9818 0 0 0 1335 192 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18714] ppid=18705 vsize=1541580 CPUtime=15.32 /proc/18707/task/18714/stat : 18714 (java) S 18705 18707 17427 0 -1 4202560 8304 0 0 0 1347 185 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18715] ppid=18705 vsize=1541580 CPUtime=14.94 /proc/18707/task/18715/stat : 18715 (java) S 18705 18707 17427 0 -1 4202560 8394 0 0 0 1328 166 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 6 0 0 0 [pid=18707/tid=18716] ppid=18705 vsize=1541580 CPUtime=15.34 /proc/18707/task/18716/stat : 18716 (java) S 18705 18707 17427 0 -1 4202560 8472 0 0 0 1347 187 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18717] ppid=18705 vsize=1541580 CPUtime=14.37 /proc/18707/task/18717/stat : 18717 (java) S 18705 18707 17427 0 -1 4202560 9954 0 0 0 1274 163 0 0 16 0 19 0 21814102 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18718] ppid=18705 vsize=1541580 CPUtime=1.91 /proc/18707/task/18718/stat : 18718 (java) S 18705 18707 17427 0 -1 4202560 1612 0 0 0 139 52 0 0 15 0 19 0 21814103 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 0 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 [pid=18707/tid=18719] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18719/stat : 18719 (java) S 18705 18707 17427 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 19 0 21814103 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 1 0 0 0 [pid=18707/tid=18720] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18720/stat : 18720 (java) S 18705 18707 17427 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21814103 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 3 0 0 0 [pid=18707/tid=18721] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18721/stat : 18721 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18722] ppid=18705 vsize=1541580 CPUtime=1.3 /proc/18707/task/18722/stat : 18722 (java) S 18705 18707 17427 0 -1 4202560 4127 0 0 0 129 1 0 0 15 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18723] ppid=18705 vsize=1541580 CPUtime=1.05 /proc/18707/task/18723/stat : 18723 (java) S 18705 18707 17427 0 -1 4202560 6510 0 0 0 105 0 0 0 16 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 7 0 0 0 [pid=18707/tid=18724] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18724/stat : 18724 (java) S 18705 18707 17427 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 4 0 0 0 [pid=18707/tid=18725] ppid=18705 vsize=1541580 CPUtime=0.04 /proc/18707/task/18725/stat : 18725 (java) S 18705 18707 17427 0 -1 4202560 95 0 0 0 1 3 0 0 15 0 19 0 21814106 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 2 0 0 0 [pid=18707/tid=18726] ppid=18705 vsize=1541580 CPUtime=0 /proc/18707/task/18726/stat : 18726 (java) S 18705 18707 17427 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 21814200 1578577920 109195 4089446400 134512640 134550932 4289267280 18446744073709551615 4294960144 0 4 0 16800975 18446604451648079680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1541580 Child status: 143 Real time (s): 1697.59 CPU time (s): 1800.28 CPU user time (s): 1785.22 CPU system time (s): 15.0607 CPU usage (%): 106.049 Max. virtual memory (cumulated for all children) (KiB): 1546596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.22 system time used= 15.0607 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123217 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= 108026 involuntary context switches= 3777812 runsolver used 3.11952 second user time and 6.29604 second system time The end
Begin job on node129 at 2010-07-07 22:53:24 IDJOB=2700629 IDBENCH=79445 IDSOLVER=1203 FILE ID=node129/2700629-1278536004 PBS_JOBID= 11239219 Free space on /tmp= 73784 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/academics/normalized-slangford-3-11_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700629-1278536004/watcher-2700629-1278536004 -o /tmp/evaluation-result-2700629-1278536004/solver-2700629-1278536004 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2700629-1278536004.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6f58e736787ec730241fe31cbfb7f2ba RANDOM SEED=1440094120 node129.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.836 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.836 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.836 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.836 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.75 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.836 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 : 5311.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.75 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29080052 kB Buffers: 139768 kB Cached: 2885464 kB SwapCached: 0 kB Active: 1864556 kB Inactive: 1865604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29080052 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1964 kB Writeback: 0 kB AnonPages: 705560 kB Mapped: 17600 kB Slab: 75924 kB PageTables: 6500 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 876652 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73788 MiB End job on node129 at 2010-07-07 23:21:43