Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | OPT | 3 | 88.5535 | 87.0505 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb |
MD5SUM | 29d9c644cbc560d09c0ca2d5a8d36791 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.517921 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.24/0.21 c Pseudo Boolean Optimization 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.21 c Expensive reason simplification 0.24/0.21 c Armin Biere (Picosat) restarts strategy 0.24/0.21 c Glucose learned constraints deletion strategy 0.24/0.21 c timeout=2147483s 0.24/0.21 c DB Simplification allowed=false 0.24/0.21 c --- End Solver configuration --- 0.24/0.21 c solving HOME/instance-2658326-1276647396.opb 0.24/0.21 c reading problem ... 0.38/0.39 c ... done. Wall clock time 0.187s. 0.38/0.39 c #vars 528 0.38/0.39 c #constraints 787 0.38/0.39 c constraints type 0.38/0.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 384 0.38/0.39 c org.sat4j.pb.constraints.pb.MaxWatchPb => 403 2.54/1.80 c cleaning 2501 clauses out of 5001 with flag 5001/5001 3.73/2.93 c cleaning 4246 clauses out of 8500 with flag 11001/11001 5.03/4.22 c cleaning 5621 clauses out of 11254 with flag 18001/18001 6.34/5.55 c cleaning 6812 clauses out of 13633 with flag 26001/26001 8.39/7.46 c cleaning 7910 clauses out of 15820 with flag 35000/35000 10.84/9.52 c cleaning 8949 clauses out of 17909 with flag 45000/45000 13.64/12.30 c cleaning 9479 clauses out of 18961 with flag 55001/55001 16.35/15.06 c cleaning 9737 clauses out of 19482 with flag 65001/65001 17.76/16.43 c cleaning 9867 clauses out of 19745 with flag 75001/75001 19.37/18.02 c cleaning 9936 clauses out of 19878 with flag 85001/85001 21.86/20.50 c cleaning 9967 clauses out of 19942 with flag 95001/95001 24.38/23.02 c cleaning 9984 clauses out of 19974 with flag 105000/105000 24.98/23.63 c SATISFIABLE 24.98/23.63 c OPTIMIZING... 24.98/23.63 c Got one! Elapsed wall clock time (in seconds):23.427 24.98/23.63 o 145 25.68/24.39 c cleaning 9985 clauses out of 19990 with flag 115000/115000 27.20/25.86 c cleaning 10000 clauses out of 20005 with flag 125000/125000 29.90/28.59 c cleaning 9999 clauses out of 20006 with flag 135001/135001 31.32/29.94 c Got one! Elapsed wall clock time (in seconds):29.737 31.32/29.94 o 41 31.92/30.56 c cleaning 9997 clauses out of 20005 with flag 145000/145000 33.31/31.94 c cleaning 9986 clauses out of 20008 with flag 155000/155000 34.73/33.40 c cleaning 10008 clauses out of 20022 with flag 165000/165000 35.62/34.21 c Got one! Elapsed wall clock time (in seconds):34.005 35.62/34.21 o 33 36.82/35.42 c cleaning 10001 clauses out of 20014 with flag 175000/175000 38.22/36.89 c cleaning 9994 clauses out of 20014 with flag 185001/185001 39.93/38.53 c cleaning 10005 clauses out of 20020 with flag 195001/195001 42.44/41.04 c cleaning 10005 clauses out of 20017 with flag 205003/205003 44.24/42.82 c cleaning 9995 clauses out of 20009 with flag 215000/215000 45.75/44.34 c cleaning 10001 clauses out of 20015 with flag 225001/225001 47.54/46.16 c cleaning 10000 clauses out of 20014 with flag 235001/235001 49.85/48.49 c cleaning 10003 clauses out of 20013 with flag 245000/245000 51.75/50.30 c cleaning 9996 clauses out of 20011 with flag 255001/255001 52.36/50.91 c Got one! Elapsed wall clock time (in seconds):50.705 52.36/50.91 o 17 52.96/51.58 c cleaning 9988 clauses out of 20015 with flag 265001/265001 54.67/53.23 c cleaning 9993 clauses out of 20026 with flag 275000/275000 56.27/54.80 c cleaning 9996 clauses out of 20033 with flag 285000/285000 57.98/56.51 c cleaning 10017 clauses out of 20039 with flag 295002/295002 58.67/57.20 c Got one! Elapsed wall clock time (in seconds):56.993 58.67/57.20 o 7 59.57/58.12 c cleaning 10000 clauses out of 20020 with flag 305000/305000 60.37/58.92 c Got one! Elapsed wall clock time (in seconds):58.71 60.37/58.92 o 3 61.18/59.74 c cleaning 9995 clauses out of 20020 with flag 315001/315001 63.17/61.76 c cleaning 10005 clauses out of 20025 with flag 325001/325001 65.18/63.71 c cleaning 10002 clauses out of 20020 with flag 335001/335001 67.18/65.70 c cleaning 10005 clauses out of 20017 with flag 345000/345000 69.39/67.91 c cleaning 10005 clauses out of 20013 with flag 355001/355001 71.20/69.79 c cleaning 9991 clauses out of 20008 with flag 365001/365001 72.99/71.50 c cleaning 10004 clauses out of 20016 with flag 375000/375000 75.00/73.59 c cleaning 10002 clauses out of 20013 with flag 385001/385001 77.00/75.54 c cleaning 9999 clauses out of 20009 with flag 395001/395001 79.10/77.62 c cleaning 10001 clauses out of 20010 with flag 405001/405001 81.50/80.00 c cleaning 10000 clauses out of 20009 with flag 415001/415001 83.61/82.17 c cleaning 10001 clauses out of 20008 with flag 425000/425000 85.71/84.23 c cleaning 10002 clauses out of 20007 with flag 435000/435000 87.73/86.27 c cleaning 10002 clauses out of 20004 with flag 445000/445000 88.42/86.98 c starts : 142 88.42/86.98 c conflicts : 448706 88.42/86.98 c decisions : 464326 88.42/86.98 c propagations : 9042011 88.42/86.98 c inspects : 258226146 88.42/86.98 c learnt literals : 16 88.42/86.98 c learnt binary clauses : 78 88.42/86.98 c learnt ternary clauses : 267 88.42/86.98 c learnt clauses : 448689 88.42/86.98 c ignored clauses : 0 88.42/86.98 c root simplifications : 0 88.42/86.98 c removed literals (reason simplification) : 14829402 88.42/86.98 c reason swapping (by a shorter reason) : 0 88.42/86.98 c Calls to reduceDB : 46 88.42/86.98 c number of reductions to clauses (during analyze) : 0 88.42/86.98 c number of learned constraints concerned by reduction : 0 88.42/86.98 c number of learning phase by resolution : 0 88.42/86.98 c number of learning phase by cutting planes : 0 88.42/86.98 c speed (assignments/second) : 322226.9698157585 88.42/86.98 c non guided choices 4105 88.42/86.98 c learnt constraints type 88.42/86.98 c constraints type 88.42/86.98 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 384 88.42/86.98 c org.sat4j.pb.constraints.pb.MaxWatchPb => 403 88.42/86.98 s OPTIMUM FOUND 88.42/86.98 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 x31 x32 x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 x47 -x48 x49 x50 -x51 x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 88.42/86.98 c objective function=3 88.42/86.98 c Total wall clock time (in seconds): 86.773
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658326-1276647396/watcher-2658326-1276647396 -o /tmp/evaluation-result-2658326-1276647396/solver-2658326-1276647396 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658326-1276647396.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 1.55 1.21 3/105 14623 /proc/meminfo: memFree=1834560/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=248 CPUtime=0 /proc/14623/stat : 14623 (java6) R 14621 14623 13972 0 -1 4194304 108 0 0 0 0 0 0 0 18 0 1 0 6032793 253952 28 1992294400 134512640 134550932 4289485136 18446744073709551615 10461662 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14623/statm: 62 28 21 10 0 23 0 [startup+0.010991 s] /proc/loadavg: 2.07 1.55 1.21 3/105 14623 /proc/meminfo: memFree=1834560/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1832 CPUtime=0 /proc/14623/stat : 14623 (java6) S 14621 14623 13972 0 -1 4194304 253 0 0 0 0 0 0 0 18 0 1 0 6032793 1875968 156 1992294400 134512640 134550932 4289485136 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699330238 0 0 17 0 0 0 0 /proc/14623/statm: 458 156 119 10 0 63 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1832 [startup+0.103993 s] /proc/loadavg: 2.07 1.55 1.21 3/105 14623 /proc/meminfo: memFree=1834560/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1524184 CPUtime=0.08 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 3969 0 1 0 6 2 0 0 18 0 12 0 6032793 1560764416 3409 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 381046 3410 1078 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524184 [startup+0.301093 s] /proc/loadavg: 2.07 1.55 1.21 3/105 14623 /proc/meminfo: memFree=1834560/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1526804 CPUtime=0.38 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 5432 0 1 0 35 3 0 0 18 0 12 0 6032793 1563447296 4870 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 381701 4870 1363 10 0 379003 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 1526804 [startup+0.907808 s] /proc/loadavg: 2.07 1.55 1.21 3/105 14623 /proc/meminfo: memFree=1834560/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530096 CPUtime=1.53 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 7254 0 1 0 149 4 0 0 18 0 13 0 6032793 1566818304 6614 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382524 6615 1421 10 0 379826 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 1530096 [startup+1.51216 s] /proc/loadavg: 2.07 1.55 1.21 4/118 14636 /proc/meminfo: memFree=1799056/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530096 CPUtime=2.21 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 11580 0 1 0 215 6 0 0 18 0 13 0 6032793 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382524 10939 1421 10 0 379826 0 [pid=14623/tid=14625] ppid=14621 vsize=1530096 CPUtime=1.26 /proc/14623/task/14625/stat : 14625 (java) R 14621 14623 13972 0 -1 4202560 8913 0 1 0 121 5 0 0 25 0 13 0 6032795 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4109107007 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 13 0 6032796 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 6032796 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14628/stat : 14628 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 6032798 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14629] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14629/stat : 14629 (java) S 14621 14623 13972 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 6032798 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14630] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14630/stat : 14630 (java) S 14621 14623 13972 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 13 0 6032798 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14631] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14631/stat : 14631 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14632] ppid=14621 vsize=1530096 CPUtime=0.3 /proc/14623/task/14632/stat : 14632 (java) S 14621 14623 13972 0 -1 4202560 546 0 0 0 30 0 0 0 21 0 13 0 6032802 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14633] ppid=14621 vsize=1530096 CPUtime=0.62 /proc/14623/task/14633/stat : 14633 (java) S 14621 14623 13972 0 -1 4202560 1053 0 0 0 62 0 0 0 15 0 13 0 6032802 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14634] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14634/stat : 14634 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14635] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 6032802 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1566818304 10939 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.21 Current children cumulated vsize (KiB) 1530096 [startup+3.10136 s] /proc/loadavg: 1.99 1.54 1.21 2/118 14636 /proc/meminfo: memFree=1789508/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530096 CPUtime=3.93 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 15422 0 1 0 386 7 0 0 18 0 13 0 6032793 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382524 14777 1440 10 0 379826 0 [pid=14623/tid=14625] ppid=14621 vsize=1530096 CPUtime=2.79 /proc/14623/task/14625/stat : 14625 (java) R 14621 14623 13972 0 -1 4202560 11484 0 1 0 273 6 0 0 25 0 13 0 6032795 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4109136063 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 244 0 0 0 0 0 0 0 18 0 13 0 6032796 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 425 0 0 0 0 0 0 0 18 0 13 0 6032796 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1530096 CPUtime=0.04 /proc/14623/task/14628/stat : 14628 (java) S 14621 14623 13972 0 -1 4202560 584 0 0 0 4 0 0 0 15 0 13 0 6032798 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14629] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14629/stat : 14629 (java) S 14621 14623 13972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 6032798 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14630] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14630/stat : 14630 (java) S 14621 14623 13972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 6032798 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14631] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14631/stat : 14631 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14632] ppid=14621 vsize=1530096 CPUtime=0.38 /proc/14623/task/14632/stat : 14632 (java) S 14621 14623 13972 0 -1 4202560 556 0 0 0 38 0 0 0 15 0 13 0 6032802 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14633] ppid=14621 vsize=1530096 CPUtime=0.68 /proc/14623/task/14633/stat : 14633 (java) S 14621 14623 13972 0 -1 4202560 1063 0 0 0 68 0 0 0 15 0 13 0 6032802 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14634] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14634/stat : 14634 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14635] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 6032802 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1566818304 14777 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 1530096 [startup+6.30175 s] /proc/loadavg: 1.99 1.54 1.21 2/118 14636 /proc/meminfo: memFree=1768428/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530096 CPUtime=7.19 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 18343 0 1 0 710 9 0 0 18 0 13 0 6032793 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382524 17695 1440 10 0 379826 0 [pid=14623/tid=14625] ppid=14621 vsize=1530096 CPUtime=5.91 /proc/14623/task/14625/stat : 14625 (java) R 14621 14623 13972 0 -1 4202560 13924 0 1 0 584 7 0 0 25 0 13 0 6032795 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4109090221 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 358 0 0 0 0 0 0 0 16 0 13 0 6032796 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1530096 CPUtime=0.01 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 565 0 0 0 1 0 0 0 15 0 13 0 6032796 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1530096 CPUtime=0.09 /proc/14623/task/14628/stat : 14628 (java) S 14621 14623 13972 0 -1 4202560 803 0 0 0 9 0 0 0 15 0 13 0 6032798 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14629] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14629/stat : 14629 (java) S 14621 14623 13972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 6032798 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14630] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14630/stat : 14630 (java) S 14621 14623 13972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 6032798 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14631] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14631/stat : 14631 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14632] ppid=14621 vsize=1530096 CPUtime=0.44 /proc/14623/task/14632/stat : 14632 (java) S 14621 14623 13972 0 -1 4202560 564 0 0 0 44 0 0 0 15 0 13 0 6032802 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14633] ppid=14621 vsize=1530096 CPUtime=0.68 /proc/14623/task/14633/stat : 14633 (java) S 14621 14623 13972 0 -1 4202560 1063 0 0 0 68 0 0 0 15 0 13 0 6032802 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14634] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14634/stat : 14634 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14635] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 6032802 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1530096 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1566818304 17695 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 1530096 [startup+12.7015 s] /proc/loadavg: 1.91 1.54 1.21 2/118 14636 /proc/meminfo: memFree=1739296/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1537232 CPUtime=14.05 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 26662 0 1 0 1393 12 0 0 18 0 13 0 6032793 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 384308 24931 1440 10 0 381610 0 [pid=14623/tid=14625] ppid=14621 vsize=1537232 CPUtime=12.13 /proc/14623/task/14625/stat : 14625 (java) R 14621 14623 13972 0 -1 4202560 18669 0 1 0 1205 8 0 0 25 0 13 0 6032795 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4109054740 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1537232 CPUtime=0.02 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 370 0 0 0 2 0 0 0 15 0 13 0 6032796 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1537232 CPUtime=0.03 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 694 0 0 0 3 0 0 0 15 0 13 0 6032796 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1537232 CPUtime=0.18 /proc/14623/task/14628/stat : 14628 (java) S 14621 14623 13972 0 -1 4202560 1429 0 0 0 18 0 0 0 16 0 13 0 6032798 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14629] ppid=14621 vsize=1537232 CPUtime=0 /proc/14623/task/14629/stat : 14629 (java) S 14621 14623 13972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 6032798 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14630] ppid=14621 vsize=1537232 CPUtime=0 /proc/14623/task/14630/stat : 14630 (java) S 14621 14623 13972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 6032798 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14631] ppid=14621 vsize=1537232 CPUtime=0 /proc/14623/task/14631/stat : 14631 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14632] ppid=14621 vsize=1537232 CPUtime=0.92 /proc/14623/task/14632/stat : 14632 (java) S 14621 14623 13972 0 -1 4202560 3368 0 0 0 91 1 0 0 15 0 13 0 6032802 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14633] ppid=14621 vsize=1537232 CPUtime=0.71 /proc/14623/task/14633/stat : 14633 (java) S 14621 14623 13972 0 -1 4202560 1066 0 0 0 71 0 0 0 15 0 13 0 6032802 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14634] ppid=14621 vsize=1537232 CPUtime=0 /proc/14623/task/14634/stat : 14634 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14635] ppid=14621 vsize=1537232 CPUtime=0 /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 6032802 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1537232 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1574125568 24931 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.05 Current children cumulated vsize (KiB) 1537232 [startup+25.5021 s] /proc/loadavg: 1.77 1.52 1.21 2/118 14636 /proc/meminfo: memFree=1717968/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530512 CPUtime=26.9 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 33606 0 1 0 2674 16 0 0 18 0 13 0 6032793 1567244288 30282 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382628 30282 1440 10 0 379930 0 [pid=14623/tid=14625] ppid=14621 vsize=1530512 CPUtime=24.68 /proc/14623/task/14625/stat : 14625 (java) R 14621 14623 13972 0 -1 4202560 25391 0 1 0 2456 12 0 0 25 0 13 0 6032795 1567244288 30282 1992294400 134512640 134550932 4292012976 18446744073709551615 4109136267 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1530512 CPUtime=0.05 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 412 0 0 0 5 0 0 0 15 0 13 0 6032796 1567244288 30282 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1530512 CPUtime=0.06 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 732 0 0 0 6 0 0 0 16 0 13 0 6032796 1567244288 30282 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1530512 CPUtime=0.37 ################ # More data... # ################ /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 6032802 1567244288 33232 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1567244288 33232 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 85.02 Current children cumulated vsize (KiB) 1530512 [startup+85.1094 s] /proc/loadavg: 1.28 1.42 1.19 3/118 14638 /proc/meminfo: memFree=1705568/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530512 CPUtime=86.63 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 36608 0 1 0 8644 19 0 0 18 0 13 0 6032793 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382628 33238 1440 10 0 379930 0 [pid=14623/tid=14625] ppid=14621 vsize=1530512 CPUtime=82.99 /proc/14623/task/14625/stat : 14625 (java) R 14621 14623 13972 0 -1 4202560 27159 0 1 0 8286 13 0 0 25 0 13 0 6032795 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4109160150 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1530512 CPUtime=0.25 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 469 0 0 0 24 1 0 0 15 0 13 0 6032796 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1530512 CPUtime=0.22 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 775 0 0 0 22 0 0 0 15 0 13 0 6032796 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1530512 CPUtime=1.42 /proc/14623/task/14628/stat : 14628 (java) S 14621 14623 13972 0 -1 4202560 2698 0 0 0 141 1 0 0 16 0 13 0 6032798 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14629] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14629/stat : 14629 (java) S 14621 14623 13972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 6032798 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14630] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14630/stat : 14630 (java) S 14621 14623 13972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 6032798 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14631] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14631/stat : 14631 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14632] ppid=14621 vsize=1530512 CPUtime=0.99 /proc/14623/task/14632/stat : 14632 (java) S 14621 14623 13972 0 -1 4202560 3370 0 0 0 98 1 0 0 15 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14633] ppid=14621 vsize=1530512 CPUtime=0.71 /proc/14623/task/14633/stat : 14633 (java) S 14621 14623 13972 0 -1 4202560 1066 0 0 0 71 0 0 0 15 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14634] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14634/stat : 14634 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14635] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 86.63 Current children cumulated vsize (KiB) 1530512 [startup+85.9025 s] /proc/loadavg: 1.28 1.42 1.19 3/118 14638 /proc/meminfo: memFree=1705568/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530512 CPUtime=87.42 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 36608 0 1 0 8723 19 0 0 18 0 13 0 6032793 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382628 33238 1440 10 0 379930 0 [pid=14623/tid=14625] ppid=14621 vsize=1530512 CPUtime=83.78 /proc/14623/task/14625/stat : 14625 (java) R 14621 14623 13972 0 -1 4202560 27159 0 1 0 8365 13 0 0 25 0 13 0 6032795 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4109106980 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1530512 CPUtime=0.25 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 469 0 0 0 24 1 0 0 15 0 13 0 6032796 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1530512 CPUtime=0.22 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 775 0 0 0 22 0 0 0 15 0 13 0 6032796 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1530512 CPUtime=1.42 /proc/14623/task/14628/stat : 14628 (java) S 14621 14623 13972 0 -1 4202560 2698 0 0 0 141 1 0 0 15 0 13 0 6032798 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14629] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14629/stat : 14629 (java) S 14621 14623 13972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 6032798 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14630] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14630/stat : 14630 (java) S 14621 14623 13972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 6032798 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14631] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14631/stat : 14631 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14632] ppid=14621 vsize=1530512 CPUtime=0.99 /proc/14623/task/14632/stat : 14632 (java) S 14621 14623 13972 0 -1 4202560 3370 0 0 0 98 1 0 0 15 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14633] ppid=14621 vsize=1530512 CPUtime=0.71 /proc/14623/task/14633/stat : 14633 (java) S 14621 14623 13972 0 -1 4202560 1066 0 0 0 71 0 0 0 15 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14634] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14634/stat : 14634 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14635] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 6032802 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1567244288 33238 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 87.42 Current children cumulated vsize (KiB) 1530512 [startup+86.7026 s] /proc/loadavg: 1.28 1.42 1.19 2/118 14638 /proc/meminfo: memFree=1705568/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530512 CPUtime=88.22 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 36636 0 1 0 8803 19 0 0 18 0 13 0 6032793 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382628 33265 1440 10 0 379930 0 [pid=14623/tid=14625] ppid=14621 vsize=1530512 CPUtime=84.54 /proc/14623/task/14625/stat : 14625 (java) R 14621 14623 13972 0 -1 4202560 27160 0 1 0 8441 13 0 0 25 0 13 0 6032795 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4109069233 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1530512 CPUtime=0.25 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 469 0 0 0 24 1 0 0 15 0 13 0 6032796 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1530512 CPUtime=0.22 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 775 0 0 0 22 0 0 0 15 0 13 0 6032796 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1530512 CPUtime=1.45 /proc/14623/task/14628/stat : 14628 (java) S 14621 14623 13972 0 -1 4202560 2725 0 0 0 144 1 0 0 16 0 13 0 6032798 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14629] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14629/stat : 14629 (java) S 14621 14623 13972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 6032798 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14630] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14630/stat : 14630 (java) S 14621 14623 13972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 6032798 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14631] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14631/stat : 14631 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14632] ppid=14621 vsize=1530512 CPUtime=0.99 /proc/14623/task/14632/stat : 14632 (java) S 14621 14623 13972 0 -1 4202560 3370 0 0 0 98 1 0 0 15 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14633] ppid=14621 vsize=1530512 CPUtime=0.71 /proc/14623/task/14633/stat : 14633 (java) S 14621 14623 13972 0 -1 4202560 1066 0 0 0 71 0 0 0 15 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14634] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14634/stat : 14634 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14635] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 88.22 Current children cumulated vsize (KiB) 1530512 [startup+86.9026 s] /proc/loadavg: 1.28 1.42 1.19 2/118 14638 /proc/meminfo: memFree=1705568/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530512 CPUtime=88.42 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 36636 0 1 0 8823 19 0 0 18 0 13 0 6032793 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382628 33265 1440 10 0 379930 0 [pid=14623/tid=14625] ppid=14621 vsize=1530512 CPUtime=84.74 /proc/14623/task/14625/stat : 14625 (java) R 14621 14623 13972 0 -1 4202560 27160 0 1 0 8461 13 0 0 25 0 13 0 6032795 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4109089923 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1530512 CPUtime=0.25 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 469 0 0 0 24 1 0 0 15 0 13 0 6032796 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1530512 CPUtime=0.22 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 775 0 0 0 22 0 0 0 15 0 13 0 6032796 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1530512 CPUtime=1.45 /proc/14623/task/14628/stat : 14628 (java) S 14621 14623 13972 0 -1 4202560 2725 0 0 0 144 1 0 0 16 0 13 0 6032798 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14629] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14629/stat : 14629 (java) S 14621 14623 13972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 6032798 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14630] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14630/stat : 14630 (java) S 14621 14623 13972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 6032798 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14631] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14631/stat : 14631 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14632] ppid=14621 vsize=1530512 CPUtime=0.99 /proc/14623/task/14632/stat : 14632 (java) S 14621 14623 13972 0 -1 4202560 3370 0 0 0 98 1 0 0 15 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14633] ppid=14621 vsize=1530512 CPUtime=0.71 /proc/14623/task/14633/stat : 14633 (java) S 14621 14623 13972 0 -1 4202560 1066 0 0 0 71 0 0 0 15 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14634] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14634/stat : 14634 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14635] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 6032802 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1530512 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1567244288 33265 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 88.42 Current children cumulated vsize (KiB) 1530512 [startup+87.0026 s] /proc/loadavg: 1.28 1.42 1.19 2/118 14638 /proc/meminfo: memFree=1705568/2059040 swapFree=4164956/4192956 [pid=14623] ppid=14621 vsize=1530836 CPUtime=88.52 /proc/14623/stat : 14623 (java) S 14621 14623 13972 0 -1 4202496 36648 0 1 0 8833 19 0 0 18 0 13 0 6032793 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14623/statm: 382709 33277 1441 10 0 380011 0 [pid=14623/tid=14625] ppid=14621 vsize=1530836 CPUtime=84.82 /proc/14623/task/14625/stat : 14625 (java) S 14621 14623 13972 0 -1 4202560 27165 0 1 0 8469 13 0 0 25 0 13 0 6032795 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14626] ppid=14621 vsize=1530836 CPUtime=0.25 /proc/14623/task/14626/stat : 14626 (java) S 14621 14623 13972 0 -1 4202560 469 0 0 0 24 1 0 0 15 0 13 0 6032796 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14627] ppid=14621 vsize=1530836 CPUtime=0.22 /proc/14623/task/14627/stat : 14627 (java) S 14621 14623 13972 0 -1 4202560 775 0 0 0 22 0 0 0 15 0 13 0 6032796 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14628] ppid=14621 vsize=1530836 CPUtime=1.45 /proc/14623/task/14628/stat : 14628 (java) S 14621 14623 13972 0 -1 4202560 2725 0 0 0 144 1 0 0 16 0 13 0 6032798 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 0 0 16800975 18446604437827684416 0 0 -1 1 0 0 0 [pid=14623/tid=14629] ppid=14621 vsize=1530836 CPUtime=0 /proc/14623/task/14629/stat : 14629 (java) S 14621 14623 13972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 6032798 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14630] ppid=14621 vsize=1530836 CPUtime=0 /proc/14623/task/14630/stat : 14630 (java) S 14621 14623 13972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 6032798 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14631] ppid=14621 vsize=1530836 CPUtime=0 /proc/14623/task/14631/stat : 14631 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14632] ppid=14621 vsize=1530836 CPUtime=0.99 /proc/14623/task/14632/stat : 14632 (java) S 14621 14623 13972 0 -1 4202560 3370 0 0 0 98 1 0 0 15 0 13 0 6032802 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14633] ppid=14621 vsize=1530836 CPUtime=0.73 /proc/14623/task/14633/stat : 14633 (java) R 14621 14623 13972 0 -1 4202560 1066 0 0 0 73 0 0 0 15 0 13 0 6032802 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 105708459 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14623/tid=14634] ppid=14621 vsize=1530836 CPUtime=0 /proc/14623/task/14634/stat : 14634 (java) S 14621 14623 13972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 6032802 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14635] ppid=14621 vsize=1530836 CPUtime=0 /proc/14623/task/14635/stat : 14635 (java) S 14621 14623 13972 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 6032802 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 [pid=14623/tid=14636] ppid=14621 vsize=1530836 CPUtime=0 /proc/14623/task/14636/stat : 14636 (java) S 14621 14623 13972 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 6032833 1567576064 33277 1992294400 134512640 134550932 4292012976 18446744073709551615 4294960144 0 4 0 16800975 18446604437827684416 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 88.52 Current children cumulated vsize (KiB) 1530836 Child status: 30 Real time (s): 87.0505 CPU time (s): 88.5535 CPU user time (s): 88.3456 CPU system time (s): 0.207968 CPU usage (%): 101.727 Max. virtual memory (cumulated for all children) (KiB): 1538224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 88.3456 system time used= 0.207968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36651 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= 2492 involuntary context switches= 1794 runsolver used 0.170974 second user time and 0.489925 second system time The end
Begin job on node080 at 2010-06-16 02:16:36 IDJOB=2658326 IDBENCH=47940 IDSOLVER=1164 FILE ID=node080/2658326-1276647396 PBS_JOBID= 11172407 Free space on /tmp= 62592 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658326-1276647396/watcher-2658326-1276647396 -o /tmp/evaluation-result-2658326-1276647396/solver-2658326-1276647396 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658326-1276647396.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 29d9c644cbc560d09c0ca2d5a8d36791 RANDOM SEED=97656794 node080.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1834832 kB Buffers: 22732 kB Cached: 92308 kB SwapCached: 1540 kB Active: 82960 kB Inactive: 65752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1834832 kB SwapTotal: 4192956 kB SwapFree: 4164956 kB Dirty: 300 kB Writeback: 0 kB AnonPages: 32188 kB Mapped: 14364 kB Slab: 53700 kB PageTables: 3912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182572 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62592 MiB End job on node080 at 2010-06-16 02:18:04