Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | Wrong UNSAT | 50.4823 | 41.1715 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-20_wcsp.wbo |
MD5SUM | 6c2f2c11e47932282f910f849622cbfd |
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 | 38480 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 2010 |
Total number of constraints | 203297 |
Number of soft constraints | 203197 |
Number of constraints which are clauses | 203197 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 24 |
Top cost | 254962 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 36398479 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 25 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.07 c See www.sat4j.org for details. 0.01/0.07 c version 2.2.0.v20100526 0.01/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.01/0.07 c java.vm.version 11.2-b01 0.01/0.07 c java.vm.vendor Sun Microsystems Inc. 0.01/0.07 c sun.arch.data.model 32 0.01/0.07 c java.version 1.6.0_12 0.01/0.07 c os.name Linux 0.01/0.07 c os.version 2.6.18-164.el5 0.01/0.07 c os.arch i386 0.01/0.07 c Free memory 1393557488 0.01/0.07 c Max memory 1395916800 0.01/0.07 c Total memory 1395916800 0.01/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2701378-1278539535.wbo 0.11/0.10 c reading problem ... 48.93/40.32 c ... done. Wall clock time 40.217s. 48.93/40.32 c #vars 205207 48.93/40.32 c #constraints 203398 48.93/40.32 c constraints type 48.93/40.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 99 48.93/40.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 203296 48.93/40.32 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2 48.93/40.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 50.36/41.13 c starts : 1 50.36/41.13 c conflicts : 157 50.36/41.13 c decisions : 557210 50.36/41.13 c propagations : 570000 50.36/41.13 c inspects : 49095 50.36/41.13 c learnt literals : 10 50.36/41.13 c learnt binary clauses : 2 50.36/41.13 c learnt ternary clauses : 2 50.36/41.13 c learnt clauses : 146 50.36/41.13 c ignored clauses : 0 50.36/41.13 c root simplifications : 0 50.36/41.13 c removed literals (reason simplification) : 181 50.36/41.13 c reason swapping (by a shorter reason) : 0 50.36/41.13 c Calls to reduceDB : 0 50.36/41.13 c number of reductions to clauses (during analyze) : 0 50.36/41.13 c number of learned constraints concerned by reduction : 0 50.36/41.13 c number of learning phase by resolution : 0 50.36/41.13 c number of learning phase by cutting planes : 0 50.36/41.13 c speed (assignments/second) : 701107.0110701107 50.36/41.13 c non guided choices 3647 50.36/41.13 c learnt constraints type 50.36/41.13 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 144 50.36/41.13 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2 50.36/41.13 c constraints type 50.36/41.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 99 50.36/41.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 203296 50.36/41.13 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2 50.36/41.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 50.36/41.13 s UNSATISFIABLE 50.36/41.13 c Total wall clock time (in seconds): 41.032
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-2701378-1278539535/watcher-2701378-1278539535 -o /tmp/evaluation-result-2701378-1278539535/solver-2701378-1278539535 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701378-1278539535.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.91 1.98 1.98 3/196 19251 /proc/meminfo: memFree=29133220/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=13164 CPUtime=0 /proc/19251/stat : 19251 (java) R 19249 19251 17870 0 -1 4194304 788 0 0 0 0 0 0 0 17 0 1 0 22168246 13479936 351 4089446400 134512640 134550932 4289256848 18446744073709551615 11634309 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/19251/statm: 3291 357 142 10 0 1121 0 [startup+0.0341319 s] /proc/loadavg: 1.91 1.98 1.98 3/196 19251 /proc/meminfo: memFree=29133220/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1526332 CPUtime=0.01 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 3712 0 1 0 1 0 0 0 17 0 13 0 22168246 1562963968 3152 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 381583 3153 1033 10 0 378893 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1526332 [startup+0.101137 s] /proc/loadavg: 1.91 1.98 1.98 3/196 19251 /proc/meminfo: memFree=29133220/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1529288 CPUtime=0.11 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 5174 0 1 0 10 1 0 0 17 0 18 0 22168246 1565990912 4610 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 382322 4610 1346 10 0 379624 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529288 [startup+0.303143 s] /proc/loadavg: 1.91 1.98 1.98 3/196 19251 /proc/meminfo: memFree=29133220/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1532936 CPUtime=0.53 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 19654 0 1 0 50 3 0 0 17 0 18 0 22168246 1569726464 18980 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 383234 18988 1403 10 0 380536 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1532936 [startup+0.701016 s] /proc/loadavg: 1.91 1.98 1.98 3/196 19251 /proc/meminfo: memFree=29133220/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1533944 CPUtime=1.26 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 45295 0 1 0 119 7 0 0 17 0 18 0 22168246 1570758656 44283 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 383486 44283 1425 10 0 380788 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 1533944 [startup+1.50095 s] /proc/loadavg: 1.91 1.98 1.98 3/214 19269 /proc/meminfo: memFree=28958884/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1533944 CPUtime=2.11 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 47979 0 1 0 202 9 0 0 17 0 18 0 22168246 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 383486 46857 1425 10 0 380788 0 [pid=19251/tid=19253] ppid=19249 vsize=1533944 CPUtime=1.39 /proc/19251/task/19253/stat : 19253 (java) R 19249 19251 17870 0 -1 4202560 37802 0 1 0 134 5 0 0 19 0 18 0 22168247 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4109628851 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19251/tid=19254] ppid=19249 vsize=1533944 CPUtime=0.01 /proc/19251/task/19254/stat : 19254 (java) S 19249 19251 17870 0 -1 4202560 410 0 0 0 1 0 0 0 15 0 18 0 22168247 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19255] ppid=19249 vsize=1533944 CPUtime=0.02 /proc/19251/task/19255/stat : 19255 (java) S 19249 19251 17870 0 -1 4202560 1236 0 0 0 2 0 0 0 16 0 18 0 22168247 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19256] ppid=19249 vsize=1533944 CPUtime=0.01 /proc/19251/task/19256/stat : 19256 (java) S 19249 19251 17870 0 -1 4202560 911 0 0 0 1 0 0 0 15 0 18 0 22168247 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19257] ppid=19249 vsize=1533944 CPUtime=0.02 /proc/19251/task/19257/stat : 19257 (java) S 19249 19251 17870 0 -1 4202560 979 0 0 0 2 0 0 0 15 0 18 0 22168247 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19258] ppid=19249 vsize=1533944 CPUtime=0.01 /proc/19251/task/19258/stat : 19258 (java) S 19249 19251 17870 0 -1 4202560 511 0 0 0 1 0 0 0 15 0 18 0 22168247 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19259] ppid=19249 vsize=1533944 CPUtime=0.02 /proc/19251/task/19259/stat : 19259 (java) S 19249 19251 17870 0 -1 4202560 1447 0 0 0 2 0 0 0 15 0 18 0 22168247 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19260] ppid=19249 vsize=1533944 CPUtime=0.02 /proc/19251/task/19260/stat : 19260 (java) S 19249 19251 17870 0 -1 4202560 1161 0 0 0 2 0 0 0 15 0 18 0 22168247 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19261] ppid=19249 vsize=1533944 CPUtime=0.01 /proc/19251/task/19261/stat : 19261 (java) S 19249 19251 17870 0 -1 4202560 462 0 0 0 1 0 0 0 15 0 18 0 22168247 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19262] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19262/stat : 19262 (java) S 19249 19251 17870 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 18 0 22168248 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19263] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19263/stat : 19263 (java) S 19249 19251 17870 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22168249 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19264] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19264/stat : 19264 (java) S 19249 19251 17870 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 22168249 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19265] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19265/stat : 19265 (java) S 19249 19251 17870 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 18 0 22168251 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19266] ppid=19249 vsize=1533944 CPUtime=0.22 /proc/19251/task/19266/stat : 19266 (java) S 19249 19251 17870 0 -1 4202560 853 0 0 0 22 0 0 0 15 0 18 0 22168251 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19267] ppid=19249 vsize=1533944 CPUtime=0.27 /proc/19251/task/19267/stat : 19267 (java) S 19249 19251 17870 0 -1 4202560 1123 0 0 0 27 0 0 0 16 0 18 0 22168251 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19268] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19268/stat : 19268 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 22168251 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19269] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19269/stat : 19269 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22168251 1570758656 46857 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 1533944 [startup+3.10067 s] /proc/loadavg: 1.91 1.98 1.98 3/214 19269 /proc/meminfo: memFree=28948716/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1533944 CPUtime=3.8 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 50009 0 1 0 369 11 0 0 17 0 18 0 22168246 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 383486 48739 1425 10 0 380788 0 [pid=19251/tid=19253] ppid=19249 vsize=1533944 CPUtime=2.92 /proc/19251/task/19253/stat : 19253 (java) R 19249 19251 17870 0 -1 4202560 37909 0 1 0 287 5 0 0 21 0 18 0 22168247 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 106834528 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=19251/tid=19254] ppid=19249 vsize=1533944 CPUtime=0.02 /proc/19251/task/19254/stat : 19254 (java) S 19249 19251 17870 0 -1 4202560 573 0 0 0 2 0 0 0 15 0 18 0 22168247 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19255] ppid=19249 vsize=1533944 CPUtime=0.04 /proc/19251/task/19255/stat : 19255 (java) S 19249 19251 17870 0 -1 4202560 1609 0 0 0 4 0 0 0 15 0 18 0 22168247 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19256] ppid=19249 vsize=1533944 CPUtime=0.03 /proc/19251/task/19256/stat : 19256 (java) S 19249 19251 17870 0 -1 4202560 1112 0 0 0 3 0 0 0 15 0 18 0 22168247 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19257] ppid=19249 vsize=1533944 CPUtime=0.03 /proc/19251/task/19257/stat : 19257 (java) S 19249 19251 17870 0 -1 4202560 1138 0 0 0 3 0 0 0 15 0 18 0 22168247 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19258] ppid=19249 vsize=1533944 CPUtime=0.02 /proc/19251/task/19258/stat : 19258 (java) S 19249 19251 17870 0 -1 4202560 730 0 0 0 2 0 0 0 15 0 18 0 22168247 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19259] ppid=19249 vsize=1533944 CPUtime=0.04 /proc/19251/task/19259/stat : 19259 (java) S 19249 19251 17870 0 -1 4202560 1655 0 0 0 4 0 0 0 15 0 18 0 22168247 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19260] ppid=19249 vsize=1533944 CPUtime=0.03 /proc/19251/task/19260/stat : 19260 (java) S 19249 19251 17870 0 -1 4202560 1495 0 0 0 3 0 0 0 15 0 18 0 22168247 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19261] ppid=19249 vsize=1533944 CPUtime=0.03 /proc/19251/task/19261/stat : 19261 (java) S 19249 19251 17870 0 -1 4202560 727 0 0 0 3 0 0 0 16 0 18 0 22168247 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19262] ppid=19249 vsize=1533944 CPUtime=0.01 /proc/19251/task/19262/stat : 19262 (java) S 19249 19251 17870 0 -1 4202560 22 0 0 0 1 0 0 0 15 0 18 0 22168248 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19263] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19263/stat : 19263 (java) S 19249 19251 17870 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22168249 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19264] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19264/stat : 19264 (java) S 19249 19251 17870 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 22168249 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19265] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19265/stat : 19265 (java) S 19249 19251 17870 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 18 0 22168251 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19266] ppid=19249 vsize=1533944 CPUtime=0.22 /proc/19251/task/19266/stat : 19266 (java) S 19249 19251 17870 0 -1 4202560 853 0 0 0 22 0 0 0 15 0 18 0 22168251 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19267] ppid=19249 vsize=1533944 CPUtime=0.27 /proc/19251/task/19267/stat : 19267 (java) S 19249 19251 17870 0 -1 4202560 1123 0 0 0 27 0 0 0 16 0 18 0 22168251 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19268] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19268/stat : 19268 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 22168251 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19269] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19269/stat : 19269 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22168251 1570758656 48739 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 1533944 [startup+6.30102 s] /proc/loadavg: 1.92 1.98 1.98 3/214 19269 /proc/meminfo: memFree=28935332/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1533944 CPUtime=7.25 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 52960 0 1 0 709 16 0 0 17 0 18 0 22168246 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 383486 51529 1425 10 0 380788 0 [pid=19251/tid=19253] ppid=19249 vsize=1533944 CPUtime=5.94 /proc/19251/task/19253/stat : 19253 (java) R 19249 19251 17870 0 -1 4202560 38001 0 1 0 588 6 0 0 25 0 18 0 22168247 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19251/tid=19254] ppid=19249 vsize=1533944 CPUtime=0.07 /proc/19251/task/19254/stat : 19254 (java) S 19249 19251 17870 0 -1 4202560 1075 0 0 0 7 0 0 0 15 0 18 0 22168247 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19255] ppid=19249 vsize=1533944 CPUtime=0.09 /proc/19251/task/19255/stat : 19255 (java) S 19249 19251 17870 0 -1 4202560 1854 0 0 0 9 0 0 0 15 0 18 0 22168247 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19256] ppid=19249 vsize=1533944 CPUtime=0.08 /proc/19251/task/19256/stat : 19256 (java) S 19249 19251 17870 0 -1 4202560 1637 0 0 0 7 1 0 0 15 0 18 0 22168247 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19257] ppid=19249 vsize=1533944 CPUtime=0.09 /proc/19251/task/19257/stat : 19257 (java) S 19249 19251 17870 0 -1 4202560 1368 0 0 0 8 1 0 0 15 0 18 0 22168247 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 2 0 0 0 [pid=19251/tid=19258] ppid=19249 vsize=1533944 CPUtime=0.08 /proc/19251/task/19258/stat : 19258 (java) S 19249 19251 17870 0 -1 4202560 1067 0 0 0 8 0 0 0 16 0 18 0 22168247 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19259] ppid=19249 vsize=1533944 CPUtime=0.08 /proc/19251/task/19259/stat : 19259 (java) S 19249 19251 17870 0 -1 4202560 1899 0 0 0 8 0 0 0 15 0 18 0 22168247 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19260] ppid=19249 vsize=1533944 CPUtime=0.08 /proc/19251/task/19260/stat : 19260 (java) S 19249 19251 17870 0 -1 4202560 2014 0 0 0 8 0 0 0 15 0 18 0 22168247 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19261] ppid=19249 vsize=1533944 CPUtime=0.08 /proc/19251/task/19261/stat : 19261 (java) S 19249 19251 17870 0 -1 4202560 983 0 0 0 8 0 0 0 15 0 18 0 22168247 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19262] ppid=19249 vsize=1533944 CPUtime=0.04 /proc/19251/task/19262/stat : 19262 (java) S 19249 19251 17870 0 -1 4202560 23 0 0 0 2 2 0 0 15 0 18 0 22168248 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19263] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19263/stat : 19263 (java) S 19249 19251 17870 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22168249 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19264] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19264/stat : 19264 (java) S 19249 19251 17870 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 22168249 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19265] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19265/stat : 19265 (java) S 19249 19251 17870 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 18 0 22168251 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19266] ppid=19249 vsize=1533944 CPUtime=0.22 /proc/19251/task/19266/stat : 19266 (java) S 19249 19251 17870 0 -1 4202560 853 0 0 0 22 0 0 0 15 0 18 0 22168251 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19267] ppid=19249 vsize=1533944 CPUtime=0.27 /proc/19251/task/19267/stat : 19267 (java) S 19249 19251 17870 0 -1 4202560 1123 0 0 0 27 0 0 0 16 0 18 0 22168251 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19268] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19268/stat : 19268 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 22168251 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19269] ppid=19249 vsize=1533944 CPUtime=0 /proc/19251/task/19269/stat : 19269 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22168251 1570758656 51529 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 7.25 Current children cumulated vsize (KiB) 1533944 [startup+12.701 s] /proc/loadavg: 1.93 1.98 1.98 3/214 19269 /proc/meminfo: memFree=28919944/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1533944 CPUtime=14.83 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 57012 0 1 0 1436 47 0 0 17 0 18 0 22168246 1570758656 55213 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 383486 55213 1425 10 0 380788 0 [pid=19251/tid=19253] ppid=19249 vsize=1533944 CPUtime=11.88 /proc/19251/task/19253/stat : 19253 (java) R 19249 19251 17870 0 -1 4202560 38182 0 1 0 1182 6 0 0 25 0 18 0 22168247 1570758656 55213 4089446400 134512640 134550932 4289256848 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19251/tid=19254] ppid=19249 vsize=1533944 CPUtime=0.28 /proc/19251/task/19254/stat : 19254 (java) S 19249 19251 17870 0 -1 4202560 1449 0 0 0 24 4 0 0 16 0 18 0 22168247 1570758656 55213 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 2 0 0 0 [pid=19251/tid=19255] ppid=19249 vsize=1533944 CPUtime=0.29 /proc/19251/task/19255/stat : 19255 (java) S 19249 19251 17870 0 -1 4202560 2440 0 0 0 25 4 0 0 15 0 18 0 22168247 1570758656 55213 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 2 0 0 0 [pid=19251/tid=19256] ppid=19249 vsize=1533944 CPUtime=0.26 /proc/19251/task/19256/stat : 19256 (java) S 19249 19251 17870 0 -1 4202560 2236 0 0 0 23 3 0 0 15 0 18 0 22168247 1570758656 55213 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19257] ppid=19249 vsize=1533944 CPUtime=0.32 /proc/19251/task/19257/stat : 19257 (java) S 19249 19251 17870 0 -1 4202560 1995 0 0 0 29 3 0 0 15 0 18 0 22168247 1570758656 55213 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/loadavg: 1.89 1.97 1.98 3/214 19270 /proc/meminfo: memFree=28877664/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1537016 CPUtime=46.17 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 68757 0 1 0 4356 261 0 0 17 0 18 0 22168246 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 384254 66015 1425 10 0 381556 0 [pid=19251/tid=19253] ppid=19249 vsize=1537016 CPUtime=34.51 /proc/19251/task/19253/stat : 19253 (java) R 19249 19251 17870 0 -1 4202560 38872 0 1 0 3444 7 0 0 25 0 18 0 22168247 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=19251/tid=19254] ppid=19249 vsize=1537016 CPUtime=1.33 /proc/19251/task/19254/stat : 19254 (java) S 19249 19251 17870 0 -1 4202560 2580 0 0 0 107 26 0 0 15 0 18 0 22168247 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 2 0 0 0 [pid=19251/tid=19255] ppid=19249 vsize=1537016 CPUtime=1.35 /proc/19251/task/19255/stat : 19255 (java) S 19249 19251 17870 0 -1 4202560 4435 0 0 0 105 30 0 0 15 0 18 0 22168247 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19256] ppid=19249 vsize=1537016 CPUtime=1.36 /proc/19251/task/19256/stat : 19256 (java) S 19249 19251 17870 0 -1 4202560 3762 0 0 0 105 31 0 0 15 0 18 0 22168247 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19257] ppid=19249 vsize=1537016 CPUtime=1.43 /proc/19251/task/19257/stat : 19257 (java) S 19249 19251 17870 0 -1 4202560 3779 0 0 0 112 31 0 0 15 0 18 0 22168247 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19258] ppid=19249 vsize=1537016 CPUtime=1.34 /proc/19251/task/19258/stat : 19258 (java) S 19249 19251 17870 0 -1 4202560 2624 0 0 0 106 28 0 0 15 0 18 0 22168247 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19259] ppid=19249 vsize=1537016 CPUtime=1.37 /proc/19251/task/19259/stat : 19259 (java) S 19249 19251 17870 0 -1 4202560 3568 0 0 0 105 32 0 0 16 0 18 0 22168247 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19260] ppid=19249 vsize=1537016 CPUtime=1.32 /proc/19251/task/19260/stat : 19260 (java) S 19249 19251 17870 0 -1 4202560 3531 0 0 0 105 27 0 0 15 0 18 0 22168247 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 4 0 0 0 [pid=19251/tid=19261] ppid=19249 vsize=1537016 CPUtime=1.29 /proc/19251/task/19261/stat : 19261 (java) S 19249 19251 17870 0 -1 4202560 2535 0 0 0 100 29 0 0 15 0 18 0 22168247 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19262] ppid=19249 vsize=1537016 CPUtime=0.24 /proc/19251/task/19262/stat : 19262 (java) S 19249 19251 17870 0 -1 4202560 30 0 0 0 11 13 0 0 15 0 18 0 22168248 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19263] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19263/stat : 19263 (java) S 19249 19251 17870 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22168249 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19264] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19264/stat : 19264 (java) S 19249 19251 17870 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 22168249 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19265] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19265/stat : 19265 (java) S 19249 19251 17870 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 18 0 22168251 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19266] ppid=19249 vsize=1537016 CPUtime=0.22 /proc/19251/task/19266/stat : 19266 (java) S 19249 19251 17870 0 -1 4202560 853 0 0 0 22 0 0 0 15 0 18 0 22168251 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19267] ppid=19249 vsize=1537016 CPUtime=0.27 /proc/19251/task/19267/stat : 19267 (java) S 19249 19251 17870 0 -1 4202560 1123 0 0 0 27 0 0 0 16 0 18 0 22168251 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19268] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19268/stat : 19268 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 22168251 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19269] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19269/stat : 19269 (java) S 19249 19251 17870 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 22168251 1573904384 66015 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 46.17 Current children cumulated vsize (KiB) 1537016 [startup+39.9011 s] /proc/loadavg: 1.90 1.97 1.98 3/214 19270 /proc/meminfo: memFree=28875308/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1537016 CPUtime=48.2 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 69238 0 1 0 4545 275 0 0 17 0 18 0 22168246 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 384254 66445 1425 10 0 381556 0 [pid=19251/tid=19253] ppid=19249 vsize=1537016 CPUtime=35.89 /proc/19251/task/19253/stat : 19253 (java) R 19249 19251 17870 0 -1 4202560 38934 0 1 0 3582 7 0 0 25 0 18 0 22168247 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4110019668 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=19251/tid=19254] ppid=19249 vsize=1537016 CPUtime=1.4 /proc/19251/task/19254/stat : 19254 (java) S 19249 19251 17870 0 -1 4202560 2617 0 0 0 112 28 0 0 15 0 18 0 22168247 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 2 0 0 0 [pid=19251/tid=19255] ppid=19249 vsize=1537016 CPUtime=1.43 /proc/19251/task/19255/stat : 19255 (java) S 19249 19251 17870 0 -1 4202560 4506 0 0 0 110 33 0 0 15 0 18 0 22168247 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19256] ppid=19249 vsize=1537016 CPUtime=1.43 /proc/19251/task/19256/stat : 19256 (java) S 19249 19251 17870 0 -1 4202560 3796 0 0 0 112 31 0 0 15 0 18 0 22168247 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19257] ppid=19249 vsize=1537016 CPUtime=1.51 /proc/19251/task/19257/stat : 19257 (java) S 19249 19251 17870 0 -1 4202560 3837 0 0 0 119 32 0 0 15 0 18 0 22168247 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19258] ppid=19249 vsize=1537016 CPUtime=1.41 /proc/19251/task/19258/stat : 19258 (java) S 19249 19251 17870 0 -1 4202560 2694 0 0 0 111 30 0 0 15 0 18 0 22168247 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19259] ppid=19249 vsize=1537016 CPUtime=1.46 /proc/19251/task/19259/stat : 19259 (java) S 19249 19251 17870 0 -1 4202560 3614 0 0 0 112 34 0 0 15 0 18 0 22168247 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19260] ppid=19249 vsize=1537016 CPUtime=1.41 /proc/19251/task/19260/stat : 19260 (java) S 19249 19251 17870 0 -1 4202560 3581 0 0 0 112 29 0 0 15 0 18 0 22168247 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 4 0 0 0 [pid=19251/tid=19261] ppid=19249 vsize=1537016 CPUtime=1.37 /proc/19251/task/19261/stat : 19261 (java) S 19249 19251 17870 0 -1 4202560 2588 0 0 0 106 31 0 0 15 0 18 0 22168247 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19262] ppid=19249 vsize=1537016 CPUtime=0.25 /proc/19251/task/19262/stat : 19262 (java) S 19249 19251 17870 0 -1 4202560 30 0 0 0 11 14 0 0 15 0 18 0 22168248 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19263] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19263/stat : 19263 (java) S 19249 19251 17870 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22168249 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19264] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19264/stat : 19264 (java) S 19249 19251 17870 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 22168249 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19265] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19265/stat : 19265 (java) S 19249 19251 17870 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 18 0 22168251 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19266] ppid=19249 vsize=1537016 CPUtime=0.23 /proc/19251/task/19266/stat : 19266 (java) S 19249 19251 17870 0 -1 4202560 853 0 0 0 23 0 0 0 15 0 18 0 22168251 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19267] ppid=19249 vsize=1537016 CPUtime=0.28 /proc/19251/task/19267/stat : 19267 (java) R 19249 19251 17870 0 -1 4202560 1123 0 0 0 28 0 0 0 15 0 18 0 22168251 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 106809925 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19251/tid=19268] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19268/stat : 19268 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 22168251 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19269] ppid=19249 vsize=1537016 CPUtime=0 /proc/19251/task/19269/stat : 19269 (java) S 19249 19251 17870 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 22168251 1573904384 66445 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 48.2 Current children cumulated vsize (KiB) 1537016 [startup+40.707 s] /proc/loadavg: 1.90 1.97 1.98 3/214 19270 /proc/meminfo: memFree=28843316/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1549468 CPUtime=49.77 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 79104 0 1 0 4699 278 0 0 17 0 19 0 22168246 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 387367 74389 1438 10 0 384669 0 [pid=19251/tid=19253] ppid=19249 vsize=1549468 CPUtime=36.67 /proc/19251/task/19253/stat : 19253 (java) R 19249 19251 17870 0 -1 4202560 38953 0 1 0 3660 7 0 0 18 0 19 0 22168247 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4109435973 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=19251/tid=19254] ppid=19249 vsize=1549468 CPUtime=1.42 /proc/19251/task/19254/stat : 19254 (java) S 19249 19251 17870 0 -1 4202560 3408 0 0 0 114 28 0 0 16 0 19 0 22168247 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 2 0 0 0 [pid=19251/tid=19255] ppid=19249 vsize=1549468 CPUtime=1.45 /proc/19251/task/19255/stat : 19255 (java) S 19249 19251 17870 0 -1 4202560 4968 0 0 0 112 33 0 0 15 0 19 0 22168247 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19256] ppid=19249 vsize=1549468 CPUtime=1.46 /proc/19251/task/19256/stat : 19256 (java) S 19249 19251 17870 0 -1 4202560 4625 0 0 0 114 32 0 0 15 0 19 0 22168247 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19257] ppid=19249 vsize=1549468 CPUtime=1.52 /proc/19251/task/19257/stat : 19257 (java) S 19249 19251 17870 0 -1 4202560 4897 0 0 0 120 32 0 0 15 0 19 0 22168247 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19258] ppid=19249 vsize=1549468 CPUtime=1.42 /proc/19251/task/19258/stat : 19258 (java) S 19249 19251 17870 0 -1 4202560 2743 0 0 0 112 30 0 0 15 0 19 0 22168247 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19259] ppid=19249 vsize=1549468 CPUtime=1.48 /proc/19251/task/19259/stat : 19259 (java) S 19249 19251 17870 0 -1 4202560 4427 0 0 0 113 35 0 0 15 0 19 0 22168247 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19260] ppid=19249 vsize=1549468 CPUtime=1.43 /proc/19251/task/19260/stat : 19260 (java) S 19249 19251 17870 0 -1 4202560 4244 0 0 0 114 29 0 0 15 0 19 0 22168247 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 4 0 0 0 [pid=19251/tid=19261] ppid=19249 vsize=1549468 CPUtime=1.39 /proc/19251/task/19261/stat : 19261 (java) S 19249 19251 17870 0 -1 4202560 2857 0 0 0 108 31 0 0 15 0 19 0 22168247 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19262] ppid=19249 vsize=1549468 CPUtime=0.25 /proc/19251/task/19262/stat : 19262 (java) S 19249 19251 17870 0 -1 4202560 30 0 0 0 11 14 0 0 15 0 19 0 22168248 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19263] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19263/stat : 19263 (java) S 19249 19251 17870 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22168249 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19264] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19264/stat : 19264 (java) S 19249 19251 17870 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 22168249 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19265] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19265/stat : 19265 (java) S 19249 19251 17870 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 22168251 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19266] ppid=19249 vsize=1549468 CPUtime=0.41 /proc/19251/task/19266/stat : 19266 (java) R 19249 19251 17870 0 -1 4202560 921 0 0 0 41 0 0 0 15 0 19 0 22168251 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 106811688 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19251/tid=19267] ppid=19249 vsize=1549468 CPUtime=0.73 /proc/19251/task/19267/stat : 19267 (java) S 19249 19251 17870 0 -1 4202560 5962 0 0 0 73 0 0 0 15 0 19 0 22168251 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19268] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19268/stat : 19268 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 22168251 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19269] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19269/stat : 19269 (java) S 19249 19251 17870 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 22168251 1586655232 74389 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 49.77 Current children cumulated vsize (KiB) 1549468 [startup+41.1009 s] /proc/loadavg: 1.90 1.97 1.98 3/214 19270 /proc/meminfo: memFree=28843316/32950928 swapFree=67111528/67111528 [pid=19251] ppid=19249 vsize=1549468 CPUtime=50.36 /proc/19251/stat : 19251 (java) S 19249 19251 17870 0 -1 4202496 79347 0 1 0 4758 278 0 0 17 0 19 0 22168246 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/19251/statm: 387367 74426 1440 10 0 384669 0 [pid=19251/tid=19253] ppid=19249 vsize=1549468 CPUtime=37.06 /proc/19251/task/19253/stat : 19253 (java) R 19249 19251 17870 0 -1 4202560 38959 0 1 0 3699 7 0 0 18 0 19 0 22168247 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4110313765 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=19251/tid=19254] ppid=19249 vsize=1549468 CPUtime=1.42 /proc/19251/task/19254/stat : 19254 (java) S 19249 19251 17870 0 -1 4202560 3408 0 0 0 114 28 0 0 16 0 19 0 22168247 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 2 0 0 0 [pid=19251/tid=19255] ppid=19249 vsize=1549468 CPUtime=1.45 /proc/19251/task/19255/stat : 19255 (java) S 19249 19251 17870 0 -1 4202560 4968 0 0 0 112 33 0 0 15 0 19 0 22168247 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19256] ppid=19249 vsize=1549468 CPUtime=1.46 /proc/19251/task/19256/stat : 19256 (java) S 19249 19251 17870 0 -1 4202560 4625 0 0 0 114 32 0 0 15 0 19 0 22168247 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19257] ppid=19249 vsize=1549468 CPUtime=1.52 /proc/19251/task/19257/stat : 19257 (java) S 19249 19251 17870 0 -1 4202560 4897 0 0 0 120 32 0 0 15 0 19 0 22168247 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19258] ppid=19249 vsize=1549468 CPUtime=1.42 /proc/19251/task/19258/stat : 19258 (java) S 19249 19251 17870 0 -1 4202560 2743 0 0 0 112 30 0 0 15 0 19 0 22168247 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19259] ppid=19249 vsize=1549468 CPUtime=1.48 /proc/19251/task/19259/stat : 19259 (java) S 19249 19251 17870 0 -1 4202560 4427 0 0 0 113 35 0 0 15 0 19 0 22168247 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 [pid=19251/tid=19260] ppid=19249 vsize=1549468 CPUtime=1.43 /proc/19251/task/19260/stat : 19260 (java) S 19249 19251 17870 0 -1 4202560 4244 0 0 0 114 29 0 0 15 0 19 0 22168247 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 4 0 0 0 [pid=19251/tid=19261] ppid=19249 vsize=1549468 CPUtime=1.39 /proc/19251/task/19261/stat : 19261 (java) S 19249 19251 17870 0 -1 4202560 2857 0 0 0 108 31 0 0 15 0 19 0 22168247 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 5 0 0 0 [pid=19251/tid=19262] ppid=19249 vsize=1549468 CPUtime=0.25 /proc/19251/task/19262/stat : 19262 (java) S 19249 19251 17870 0 -1 4202560 30 0 0 0 11 14 0 0 15 0 19 0 22168248 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 0 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19263] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19263/stat : 19263 (java) S 19249 19251 17870 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22168249 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19264] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19264/stat : 19264 (java) S 19249 19251 17870 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 22168249 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19265] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19265/stat : 19265 (java) S 19249 19251 17870 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 22168251 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 1 0 0 0 [pid=19251/tid=19266] ppid=19249 vsize=1549468 CPUtime=0.56 /proc/19251/task/19266/stat : 19266 (java) S 19249 19251 17870 0 -1 4202560 1152 0 0 0 56 0 0 0 15 0 19 0 22168251 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 0 0 0 0 [pid=19251/tid=19267] ppid=19249 vsize=1549468 CPUtime=0.77 /proc/19251/task/19267/stat : 19267 (java) S 19249 19251 17870 0 -1 4202560 5968 0 0 0 77 0 0 0 15 0 19 0 22168251 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19268] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19268/stat : 19268 (java) S 19249 19251 17870 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 22168251 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 3 0 0 0 [pid=19251/tid=19269] ppid=19249 vsize=1549468 CPUtime=0 /proc/19251/task/19269/stat : 19269 (java) S 19249 19251 17870 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 22168251 1586655232 74426 4089446400 134512640 134550932 4289256848 18446744073709551615 4294960144 0 4 0 16800975 18446604470189226048 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.36 Current children cumulated vsize (KiB) 1549468 Child status: 20 Real time (s): 41.1715 CPU time (s): 50.4823 CPU user time (s): 47.6848 CPU system time (s): 2.79757 CPU usage (%): 122.615 Max. virtual memory (cumulated for all children) (KiB): 1549648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.6848 system time used= 2.79757 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79364 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= 33935 involuntary context switches= 996272 runsolver used 0.070989 second user time and 0.173973 second system time The end
Begin job on node112 at 2010-07-07 23:52:15 IDJOB=2701378 IDBENCH=79570 IDSOLVER=1202 FILE ID=node112/2701378-1278539535 PBS_JOBID= 11239253 Free space on /tmp= 73440 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-20_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701378-1278539535/watcher-2701378-1278539535 -o /tmp/evaluation-result-2701378-1278539535/solver-2701378-1278539535 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701378-1278539535.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6c2f2c11e47932282f910f849622cbfd RANDOM SEED=1453980493 node112.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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.820 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.820 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.84 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.820 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29133996 kB Buffers: 137092 kB Cached: 3116424 kB SwapCached: 0 kB Active: 1621508 kB Inactive: 2043316 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29133996 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5784 kB Writeback: 0 kB AnonPages: 411560 kB Mapped: 20288 kB Slab: 86836 kB PageTables: 5936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1639968 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= 73440 MiB End job on node112 at 2010-07-07 23:52:56