Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong Opt. | 69.4594 | 51.3702 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo |
MD5SUM | 14512bd829ee0bf054bc16c7157cd521 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 29 |
Best CPU time to get the best result obtained on this benchmark | 0.130979 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 64 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 3426 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3425 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1247 |
Number of bits of the biggest sum of numbers | 11 |
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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.06 c See www.sat4j.org for details. 0.01/0.07 c version 2.2.0.v20100531 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 ManyCore solver with 2 solvers running in parallel 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@18385e3 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@cf40f5 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 0.11/0.10 c solving HOME/instance-2694686-1277898370.wbo 0.11/0.10 c reading problem ... 0.11/0.16 c ... done. Wall clock time 0.06s. 0.11/0.16 c #vars 233 0.11/0.16 c #constraints 101 0.11/0.16 c constraints type 0.11/0.16 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26 0.11/0.16 c org.sat4j.minisat.constraints.card.MinWatchCard => 74 0.11/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 0.11/0.16 c constraints type 0.11/0.16 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 26 0.11/0.16 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 74 0.11/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 0.35/0.28 c And the winner is Resolution 0.91/1.16 c SATISFIABLE 0.91/1.16 c OPTIMIZING... 0.91/1.16 c Got one! Elapsed wall clock time (in seconds):1.064 0.91/1.16 o 391 1.04/1.21 c And the winner is Resolution 1.41/2.16 c Got one! Elapsed wall clock time (in seconds):2.066 1.41/2.16 o 299 1.50/2.26 c And the winner is Resolution 1.84/3.17 c Got one! Elapsed wall clock time (in seconds):3.07 1.84/3.17 o 267 1.96/3.25 c And the winner is Resolution 2.28/4.17 c Got one! Elapsed wall clock time (in seconds):4.074 2.28/4.17 o 259 2.34/4.22 c cleaning 2499 clauses out of 5000 with flag 5000/5000 2.34/4.30 c And the winner is Resolution 2.68/5.18 c Got one! Elapsed wall clock time (in seconds):5.077 2.68/5.18 o 202 2.93/5.36 c cleaning 4247 clauses out of 8501 with flag 11000/11000 3.18/5.43 c And the winner is Resolution 3.25/6.18 c Got one! Elapsed wall clock time (in seconds):6.081 3.25/6.18 o 200 3.72/6.43 c cleaning 5622 clauses out of 11254 with flag 18000/18000 3.72/6.47 c And the winner is Resolution 3.84/7.18 c Got one! Elapsed wall clock time (in seconds):7.084 3.84/7.18 o 197 4.47/7.55 c cleaning 6814 clauses out of 13633 with flag 26001/26001 4.68/7.67 c And the winner is Resolution 4.82/8.19 c Got one! Elapsed wall clock time (in seconds):8.089 4.82/8.19 o 144 5.25/8.49 c cleaning 7906 clauses out of 15822 with flag 35004/35004 5.66/8.67 c And the winner is Resolution 5.82/9.19 c Got one! Elapsed wall clock time (in seconds):9.093 5.82/9.19 o 130 6.43/9.57 c cleaning 8952 clauses out of 17915 with flag 45003/45003 6.81/9.80 c And the winner is Resolution 7.19/10.19 c Got one! Elapsed wall clock time (in seconds):10.097 7.19/10.19 o 129 7.60/10.49 c cleaning 9477 clauses out of 18964 with flag 55004/55004 7.81/10.57 c And the winner is Resolution 7.99/11.20 c Got one! Elapsed wall clock time (in seconds):11.1 7.99/11.20 o 124 8.39/11.48 c And the winner is Resolution 8.59/12.20 c Got one! Elapsed wall clock time (in seconds):12.104 8.59/12.20 o 110 9.01/12.44 c cleaning 9739 clauses out of 19485 with flag 65002/65002 10.18/13.06 c cleaning 9868 clauses out of 19744 with flag 75000/75000 10.76/13.33 c And the winner is Resolution 10.98/14.21 c Got one! Elapsed wall clock time (in seconds):14.111 10.98/14.21 o 99 11.58/14.54 c cleaning 9934 clauses out of 19877 with flag 85001/85001 12.36/15.00 c cleaning 9965 clauses out of 19943 with flag 95001/95001 13.55/15.52 c cleaning 9985 clauses out of 19979 with flag 105002/105002 14.52/16.10 c cleaning 9993 clauses out of 19994 with flag 115002/115002 15.52/16.59 c cleaning 9990 clauses out of 19999 with flag 125000/125000 16.88/17.20 c cleaning 10000 clauses out of 20010 with flag 135001/135001 18.06/17.82 c cleaning 10002 clauses out of 20009 with flag 145000/145000 19.24/18.44 c cleaning 10000 clauses out of 20007 with flag 155000/155000 20.01/18.87 c And the winner is Resolution 20.36/19.23 c Got one! Elapsed wall clock time (in seconds):19.136 20.36/19.23 o 90 20.49/19.35 c cleaning 10000 clauses out of 20008 with flag 165001/165001 21.48/19.83 c cleaning 9998 clauses out of 20008 with flag 175001/175001 22.25/20.28 c cleaning 10003 clauses out of 20009 with flag 185000/185000 23.22/20.72 c cleaning 9995 clauses out of 20006 with flag 195000/195000 24.20/21.24 c cleaning 10002 clauses out of 20012 with flag 205001/205001 25.37/21.80 c cleaning 9999 clauses out of 20011 with flag 215002/215002 26.35/22.34 c cleaning 9999 clauses out of 20010 with flag 225000/225000 26.91/22.69 c And the winner is Resolution 27.10/23.24 c Got one! Elapsed wall clock time (in seconds):23.145 27.10/23.24 o 73 27.41/23.45 c cleaning 10001 clauses out of 20011 with flag 235000/235000 28.38/23.92 c cleaning 10003 clauses out of 20012 with flag 245002/245002 29.35/24.48 c cleaning 9998 clauses out of 20007 with flag 255000/255000 30.54/25.00 c cleaning 10000 clauses out of 20009 with flag 265000/265000 31.51/25.52 c cleaning 10002 clauses out of 20011 with flag 275002/275002 31.69/25.66 c And the winner is Resolution 33.23/27.25 c Got one! Elapsed wall clock time (in seconds):27.154 33.23/27.25 o 67 33.92/27.64 c cleaning 10000 clauses out of 20007 with flag 285000/285000 34.70/28.07 c cleaning 9996 clauses out of 20007 with flag 295000/295000 35.48/28.50 c cleaning 10000 clauses out of 20012 with flag 305001/305001 36.63/29.02 c cleaning 10001 clauses out of 20013 with flag 315002/315002 37.60/29.50 c cleaning 10002 clauses out of 20011 with flag 325001/325001 38.57/30.00 c cleaning 9997 clauses out of 20008 with flag 335000/335000 39.36/30.48 c cleaning 10004 clauses out of 20011 with flag 345000/345000 40.32/30.93 c cleaning 9998 clauses out of 20007 with flag 355000/355000 41.09/31.38 c cleaning 10000 clauses out of 20012 with flag 365003/365003 42.08/31.90 c cleaning 10001 clauses out of 20012 with flag 375003/375003 43.04/32.37 c cleaning 9999 clauses out of 20009 with flag 385001/385001 44.00/32.86 c cleaning 10003 clauses out of 20011 with flag 395002/395002 44.97/33.39 c cleaning 10000 clauses out of 20008 with flag 405002/405002 45.94/33.86 c cleaning 9996 clauses out of 20006 with flag 415000/415000 46.91/34.33 c cleaning 10003 clauses out of 20011 with flag 425001/425001 47.07/34.44 c And the winner is Resolution 47.42/35.27 c Got one! Elapsed wall clock time (in seconds):35.17 47.42/35.27 o 57 48.07/35.67 c cleaning 10000 clauses out of 20008 with flag 435001/435001 49.04/36.11 c cleaning 10000 clauses out of 20008 with flag 445001/445001 49.81/36.57 c cleaning 9999 clauses out of 20010 with flag 455003/455003 50.58/36.99 c cleaning 9999 clauses out of 20009 with flag 465001/465001 51.55/37.45 c cleaning 10001 clauses out of 20010 with flag 475001/475001 52.51/37.96 c cleaning 10001 clauses out of 20008 with flag 485000/485000 52.67/38.01 c And the winner is Resolution 54.00/40.28 c Got one! Elapsed wall clock time (in seconds):40.181 54.00/40.28 o 35 54.85/40.72 c cleaning 10000 clauses out of 20008 with flag 495001/495001 55.60/41.16 c cleaning 10000 clauses out of 20007 with flag 505000/505000 56.56/41.62 c cleaning 9999 clauses out of 20008 with flag 515001/515001 57.33/42.08 c cleaning 10002 clauses out of 20008 with flag 525000/525000 58.30/42.54 c cleaning 9997 clauses out of 20006 with flag 535000/535000 59.08/42.99 c cleaning 10000 clauses out of 20009 with flag 545000/545000 60.02/43.46 c cleaning 10001 clauses out of 20011 with flag 555002/555002 61.00/43.94 c cleaning 10000 clauses out of 20008 with flag 565000/565000 61.75/44.37 c cleaning 9999 clauses out of 20009 with flag 575001/575001 62.72/44.84 c cleaning 10004 clauses out of 20010 with flag 585001/585001 63.68/45.36 c cleaning 10003 clauses out of 20010 with flag 595005/595005 64.70/45.73 c And the winner is Resolution 69.37/51.35 c starts : 170 69.37/51.35 c conflicts : 602518 69.37/51.35 c decisions : 861581 69.37/51.35 c propagations : 14780963 69.37/51.35 c inspects : 155132038 69.37/51.35 c learnt literals : 6 69.37/51.35 c learnt binary clauses : 20 69.37/51.35 c learnt ternary clauses : 111 69.37/51.35 c learnt clauses : 602511 69.37/51.35 c ignored clauses : 0 69.37/51.35 c root simplifications : 0 69.37/51.35 c removed literals (reason simplification) : 6458146 69.37/51.35 c reason swapping (by a shorter reason) : 0 69.37/51.35 c Calls to reduceDB : 61 69.37/51.35 c number of reductions to clauses (during analyze) : 0 69.37/51.35 c number of learned constraints concerned by reduction : 0 69.37/51.35 c number of learning phase by resolution : 0 69.37/51.35 c number of learning phase by cutting planes : 0 69.37/51.35 c speed (assignments/second) : 1335106.4041188692 69.37/51.35 c non guided choices 638 69.37/51.35 c learnt constraints type 69.37/51.35 c constraints type 69.37/51.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26 69.37/51.35 c org.sat4j.minisat.constraints.card.MinWatchCard => 74 69.37/51.35 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 69.37/51.35 c constraints type 69.37/51.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 26 69.37/51.35 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 74 69.37/51.35 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 69.37/51.35 s OPTIMUM FOUND 69.37/51.35 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 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 69.37/51.35 c objective function=35 69.37/51.35 c Total wall clock time (in seconds): 51.254
OK 35
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694686-1277898370/watcher-2694686-1277898370 -o /tmp/evaluation-result-2694686-1277898370/solver-2694686-1277898370 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694686-1277898370.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.92 2.00 1.99 3/182 12716 /proc/meminfo: memFree=31296268/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=13684 CPUtime=0 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 1183 0 0 0 0 0 0 0 18 0 2 0 131133156 14012416 631 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 3421 631 307 10 0 1206 0 [pid=12716/tid=12717] ppid=12714 vsize=13684 CPUtime=0 /proc/12716/task/12717/stat : 12717 (java) S 12714 12716 12532 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 2 0 131133157 14012416 631 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16784584 4462082897234362367 0 0 -1 5 0 0 0 [startup+0.0290841 s] /proc/loadavg: 1.92 2.00 1.99 3/182 12716 /proc/meminfo: memFree=31296268/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1526332 CPUtime=0.01 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 3699 0 1 0 1 0 0 0 18 0 13 0 131133156 1562963968 3141 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 381583 3142 1033 10 0 378893 0 [pid=12716/tid=12717] ppid=12714 vsize=1526332 CPUtime=0.01 /proc/12716/task/12717/stat : 12717 (java) R 12714 12716 12532 0 -1 4202560 2633 0 1 0 1 0 0 0 23 0 13 0 131133157 1562963968 3142 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1526332 [startup+0.101074 s] /proc/loadavg: 1.92 2.00 1.99 3/182 12716 /proc/meminfo: memFree=31296268/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1529544 CPUtime=0.11 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 5257 0 1 0 10 1 0 0 18 0 18 0 131133156 1566253056 4695 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 382386 4696 1346 10 0 379689 0 [pid=12716/tid=12717] ppid=12714 vsize=1529544 CPUtime=0.09 /proc/12716/task/12717/stat : 12717 (java) R 12714 12716 12532 0 -1 4202560 3587 0 1 0 8 1 0 0 18 0 18 0 131133157 1566253056 4696 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529544 [startup+0.302067 s] /proc/loadavg: 1.92 2.00 1.99 3/182 12716 /proc/meminfo: memFree=31296268/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1536792 CPUtime=0.7 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 8260 0 1 0 68 2 0 0 18 0 20 0 131133156 1573675008 7147 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 384198 7147 1420 10 0 381501 0 [pid=12716/tid=12717] ppid=12714 vsize=1536792 CPUtime=0.14 /proc/12716/task/12717/stat : 12717 (java) S 12714 12716 12532 0 -1 4202560 4004 0 1 0 13 1 0 0 19 0 20 0 131133157 1573675008 7147 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 1536792 [startup+0.701041 s] /proc/loadavg: 1.92 2.00 1.99 3/182 12716 /proc/meminfo: memFree=31296268/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1536792 CPUtime=0.91 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 8344 0 1 0 89 2 0 0 18 0 20 0 131133156 1573675008 7203 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 384198 7203 1422 10 0 381501 0 [pid=12716/tid=12717] ppid=12714 vsize=1536792 CPUtime=0.14 /proc/12716/task/12717/stat : 12717 (java) S 12714 12716 12532 0 -1 4202560 4004 0 1 0 13 1 0 0 19 0 20 0 131133157 1573675008 7203 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 1536792 [startup+1.50088 s] /proc/loadavg: 1.92 2.00 1.99 2/202 12738 /proc/meminfo: memFree=31273916/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1544216 CPUtime=1.41 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 12763 0 1 0 138 3 0 0 18 0 20 0 131133156 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 386054 9846 1425 10 0 383357 0 [pid=12716/tid=12717] ppid=12714 vsize=1544216 CPUtime=0.15 /proc/12716/task/12717/stat : 12717 (java) S 12714 12716 12532 0 -1 4202560 4013 0 1 0 14 1 0 0 18 0 20 0 131133157 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12719] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12532 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 131133157 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12720] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12532 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 131133157 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12721] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12722] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12723] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12532 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 131133157 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12724] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12725] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12725/stat : 12725 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12726] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12726/stat : 12726 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12727] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12727/stat : 12727 (java) S 12714 12716 12532 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 131133158 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12728] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12728/stat : 12728 (java) S 12714 12716 12532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 131133158 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12729] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12729/stat : 12729 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 131133158 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12730] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12730/stat : 12730 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 131133160 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12731] ppid=12714 vsize=1544216 CPUtime=0.4 /proc/12716/task/12731/stat : 12731 (java) S 12714 12716 12532 0 -1 4202560 1557 0 0 0 40 0 0 0 16 0 20 0 131133160 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12732] ppid=12714 vsize=1544216 CPUtime=0.49 /proc/12716/task/12732/stat : 12732 (java) S 12714 12716 12532 0 -1 4202560 4648 0 0 0 49 0 0 0 16 0 20 0 131133161 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12733] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12733/stat : 12733 (java) S 12714 12716 12532 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 131133161 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12734] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12734/stat : 12734 (java) R 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 131133161 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12716/tid=12737] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12737/stat : 12737 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 131133173 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12738] ppid=12714 vsize=1544216 CPUtime=0 /proc/12716/task/12738/stat : 12738 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 131133173 1581277184 9846 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 1544216 [startup+3.1016 s] /proc/loadavg: 1.92 2.00 1.99 2/202 12741 /proc/meminfo: memFree=31262756/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1544648 CPUtime=1.84 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 20062 0 1 0 181 3 0 0 18 0 20 0 131133156 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 386162 16126 1425 10 0 383465 0 [pid=12716/tid=12717] ppid=12714 vsize=1544648 CPUtime=0.15 /proc/12716/task/12717/stat : 12717 (java) S 12714 12716 12532 0 -1 4202560 4021 0 1 0 14 1 0 0 19 0 20 0 131133157 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12719] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12532 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 131133157 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12720] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12532 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 131133157 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12721] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12722] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12723] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12532 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 131133157 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12724] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12725] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12725/stat : 12725 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12726] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12726/stat : 12726 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 131133157 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12727] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12727/stat : 12727 (java) S 12714 12716 12532 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 131133158 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12728] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12728/stat : 12728 (java) S 12714 12716 12532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 131133158 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12729] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12729/stat : 12729 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 20 0 131133158 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12730] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12730/stat : 12730 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 131133160 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12731] ppid=12714 vsize=1544648 CPUtime=0.53 /proc/12716/task/12731/stat : 12731 (java) S 12714 12716 12532 0 -1 4202560 2046 0 0 0 53 0 0 0 16 0 20 0 131133160 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12732] ppid=12714 vsize=1544648 CPUtime=0.61 /proc/12716/task/12732/stat : 12732 (java) S 12714 12716 12532 0 -1 4202560 5345 0 0 0 61 0 0 0 16 0 20 0 131133161 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12733] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12733/stat : 12733 (java) S 12714 12716 12532 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 131133161 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12734] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12734/stat : 12734 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 131133161 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 4 0 0 0 [pid=12716/tid=12737] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12737/stat : 12737 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 131133173 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12738] ppid=12714 vsize=1544648 CPUtime=0 /proc/12716/task/12738/stat : 12738 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 131133173 1581719552 16126 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.84 Current children cumulated vsize (KiB) 1544648 heavy processes: [startup+6.30099 s] /proc/loadavg: 1.85 1.99 1.99 6/204 12749 /proc/meminfo: memFree=31170360/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1543192 CPUtime=3.5 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 39433 0 1 0 344 6 0 0 18 0 22 0 131133156 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 385798 32972 1445 10 0 383101 0 [pid=12716/tid=12717] ppid=12714 vsize=1543192 CPUtime=0.15 /proc/12716/task/12717/stat : 12717 (java) S 12714 12716 12532 0 -1 4202560 4039 0 1 0 14 1 0 0 19 0 22 0 131133157 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12719] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12532 0 -1 4202560 264 0 0 0 0 0 0 0 18 0 22 0 131133157 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12720] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12532 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 22 0 131133157 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12721] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12532 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 22 0 131133157 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12722] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12532 0 -1 4202560 203 0 0 0 0 0 0 0 18 0 22 0 131133157 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12723] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12532 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 131133157 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12724] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12532 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 131133157 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12725] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12725/stat : 12725 (java) S 12714 12716 12532 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 22 0 131133157 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12726] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12726/stat : 12726 (java) S 12714 12716 12532 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 131133157 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12727] ppid=12714 vsize=1543192 CPUtime=0.02 /proc/12716/task/12727/stat : 12727 (java) S 12714 12716 12532 0 -1 4202560 888 0 0 0 2 0 0 0 15 0 22 0 131133158 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12728] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12728/stat : 12728 (java) S 12714 12716 12532 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 131133158 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12729] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12729/stat : 12729 (java) S 12714 12716 12532 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 131133158 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12730] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12730/stat : 12730 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 131133160 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12731] ppid=12714 vsize=1543192 CPUtime=0.7 /proc/12716/task/12731/stat : 12731 (java) S 12714 12716 12532 0 -1 4202560 2151 0 0 0 70 0 0 0 15 0 22 0 131133160 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12732] ppid=12714 vsize=1543192 CPUtime=0.96 /proc/12716/task/12732/stat : 12732 (java) S 12714 12716 12532 0 -1 4202560 7457 0 0 0 95 1 0 0 15 0 22 0 131133161 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12733] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12733/stat : 12733 (java) S 12714 12716 12532 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 22 0 131133161 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12734] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12734/stat : 12734 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 131133161 1580228608 32972 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=12716/tid=12727] ppid=12714 vsize=1543192 CPUtime=0.14 /proc/12716/task/12727/stat : 12727 (java) S 12714 12716 12532 0 -1 4202560 2561 0 0 0 14 0 0 0 15 0 22 0 131133158 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12728] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12728/stat : 12728 (java) S 12714 12716 12532 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 131133158 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12729] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12729/stat : 12729 (java) S 12714 12716 12532 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 131133158 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12730] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12730/stat : 12730 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 131133160 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12731] ppid=12714 vsize=1543192 CPUtime=0.72 /proc/12716/task/12731/stat : 12731 (java) S 12714 12716 12532 0 -1 4202560 2152 0 0 0 72 0 0 0 15 0 22 0 131133160 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12732] ppid=12714 vsize=1543192 CPUtime=1.03 /proc/12716/task/12732/stat : 12732 (java) S 12714 12716 12532 0 -1 4202560 7469 0 0 0 102 1 0 0 15 0 22 0 131133161 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12733] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12733/stat : 12733 (java) S 12714 12716 12532 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 22 0 131133161 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12734] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12734/stat : 12734 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 131133161 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 2 0 0 0 [pid=12716/tid=12737] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12737/stat : 12737 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 131133173 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12738] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12738/stat : 12738 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 131133173 1580228608 47446 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.58 Current children cumulated vsize (KiB) 1543192 heavy processes: [startup+25.5015 s] /proc/loadavg: 2.19 2.05 2.01 4/204 12769 /proc/meminfo: memFree=31097020/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1543192 CPUtime=31.51 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 58424 0 1 0 3140 11 0 0 18 0 22 0 131133156 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 385798 51599 1449 10 0 383101 0 [pid=12716/tid=12717] ppid=12714 vsize=1543192 CPUtime=0.15 /proc/12716/task/12717/stat : 12717 (java) S 12714 12716 12532 0 -1 4202560 4040 0 1 0 14 1 0 0 15 0 22 0 131133157 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12719] ppid=12714 vsize=1543192 CPUtime=0.03 /proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12532 0 -1 4202560 644 0 0 0 3 0 0 0 15 0 22 0 131133157 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 2 0 0 0 [pid=12716/tid=12720] ppid=12714 vsize=1543192 CPUtime=0.02 /proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12532 0 -1 4202560 352 0 0 0 2 0 0 0 16 0 22 0 131133157 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 4 0 0 0 [pid=12716/tid=12721] ppid=12714 vsize=1543192 CPUtime=0.03 /proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12532 0 -1 4202560 695 0 0 0 3 0 0 0 15 0 22 0 131133157 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12722] ppid=12714 vsize=1543192 CPUtime=0.02 /proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12532 0 -1 4202560 770 0 0 0 2 0 0 0 15 0 22 0 131133157 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12723] ppid=12714 vsize=1543192 CPUtime=0.01 /proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12532 0 -1 4202560 242 0 0 0 1 0 0 0 15 0 22 0 131133157 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 2 0 0 0 [pid=12716/tid=12724] ppid=12714 vsize=1543192 CPUtime=0.02 /proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12532 0 -1 4202560 485 0 0 0 2 0 0 0 15 0 22 0 131133157 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12725] ppid=12714 vsize=1543192 CPUtime=0.02 /proc/12716/task/12725/stat : 12725 (java) S 12714 12716 12532 0 -1 4202560 455 0 0 0 2 0 0 0 15 0 22 0 131133157 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 [pid=12716/tid=12726] ppid=12714 vsize=1543192 CPUtime=0.02 /proc/12716/task/12726/stat : 12726 (java) S 12714 12716 12532 0 -1 4202560 500 0 0 0 2 0 0 0 15 0 22 0 131133157 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12727] ppid=12714 vsize=1543192 CPUtime=0.69 /proc/12716/task/12727/stat : 12727 (java) S 12714 12716 12532 0 -1 4202560 4644 0 0 0 68 1 0 0 15 0 22 0 131133158 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12728] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12728/stat : 12728 (java) S 12714 12716 12532 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 131133158 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12729] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12729/stat : 12729 (java) S 12714 12716 12532 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 131133158 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12730] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12730/stat : 12730 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 131133160 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12731] ppid=12714 vsize=1543192 CPUtime=0.78 /proc/12716/task/12731/stat : 12731 (java) S 12714 12716 12532 0 -1 4202560 2153 0 0 0 78 0 0 0 15 0 22 0 131133160 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12732] ppid=12714 vsize=1543192 CPUtime=1.03 /proc/12716/task/12732/stat : 12732 (java) S 12714 12716 12532 0 -1 4202560 7469 0 0 0 102 1 0 0 15 0 22 0 131133161 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12733] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12733/stat : 12733 (java) S 12714 12716 12532 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 22 0 131133161 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12734] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12734/stat : 12734 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 131133161 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 2 0 0 0 [pid=12716/tid=12737] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12737/stat : 12737 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 131133173 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12738] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12738/stat : 12738 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 131133173 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 [pid=12716/tid=12768] ppid=12714 vsize=1543192 CPUtime=2.12 /proc/12716/task/12768/stat : 12768 (java) R 12714 12716 12532 0 -1 4202560 1 0 0 0 212 0 0 0 18 0 22 0 131135481 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4159901449 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12716/tid=12769] ppid=12714 vsize=1543192 CPUtime=2.12 /proc/12716/task/12769/stat : 12769 (java) R 12714 12716 12532 0 -1 4202560 3 0 0 0 212 0 0 0 19 0 22 0 131135481 1580228608 51599 4089446400 134512640 134550932 4290631408 18446744073709551615 4110372174 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 31.51 Current children cumulated vsize (KiB) 1543192 [startup+51.1008 s] /proc/loadavg: 2.05 2.03 2.00 2/202 12775 /proc/meminfo: memFree=31082624/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1543192 CPUtime=69.37 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 63170 0 1 0 6921 16 0 0 18 0 20 0 131133156 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 385798 54885 1449 10 0 383101 0 [pid=12716/tid=12717] ppid=12714 vsize=1543192 CPUtime=0.15 /proc/12716/task/12717/stat : 12717 (java) S 12714 12716 12532 0 -1 4202560 4040 0 1 0 14 1 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12719] ppid=12714 vsize=1543192 CPUtime=0.05 /proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12532 0 -1 4202560 649 0 0 0 5 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 2 0 0 0 [pid=12716/tid=12720] ppid=12714 vsize=1543192 CPUtime=0.04 /proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12532 0 -1 4202560 378 0 0 0 4 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 [pid=12716/tid=12721] ppid=12714 vsize=1543192 CPUtime=0.05 /proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12532 0 -1 4202560 709 0 0 0 5 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12722] ppid=12714 vsize=1543192 CPUtime=0.04 /proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12532 0 -1 4202560 801 0 0 0 4 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12723] ppid=12714 vsize=1543192 CPUtime=0.04 /proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12532 0 -1 4202560 246 0 0 0 4 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 4 0 0 0 [pid=12716/tid=12724] ppid=12714 vsize=1543192 CPUtime=0.04 /proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12532 0 -1 4202560 895 0 0 0 4 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12725] ppid=12714 vsize=1543192 CPUtime=0.05 /proc/12716/task/12725/stat : 12725 (java) S 12714 12716 12532 0 -1 4202560 516 0 0 0 5 0 0 0 16 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 [pid=12716/tid=12726] ppid=12714 vsize=1543192 CPUtime=0.03 /proc/12716/task/12726/stat : 12726 (java) S 12714 12716 12532 0 -1 4202560 611 0 0 0 3 0 0 0 16 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12727] ppid=12714 vsize=1543192 CPUtime=1.84 /proc/12716/task/12727/stat : 12727 (java) S 12714 12716 12532 0 -1 4202560 7372 0 0 0 182 2 0 0 15 0 20 0 131133158 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12728] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12728/stat : 12728 (java) S 12714 12716 12532 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 131133158 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12729] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12729/stat : 12729 (java) S 12714 12716 12532 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 131133158 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12730] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12730/stat : 12730 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 131133160 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12731] ppid=12714 vsize=1543192 CPUtime=0.85 /proc/12716/task/12731/stat : 12731 (java) S 12714 12716 12532 0 -1 4202560 2163 0 0 0 85 0 0 0 15 0 20 0 131133160 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12732] ppid=12714 vsize=1543192 CPUtime=1.23 /proc/12716/task/12732/stat : 12732 (java) S 12714 12716 12532 0 -1 4202560 8770 0 0 0 122 1 0 0 15 0 20 0 131133161 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12733] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12733/stat : 12733 (java) S 12714 12716 12532 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 131133161 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12734] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12734/stat : 12734 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 20 0 131133161 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 2 0 0 0 [pid=12716/tid=12737] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12737/stat : 12737 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 131133173 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12738] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12738/stat : 12738 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 131133173 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 69.37 Current children cumulated vsize (KiB) 1543192 Solver just ended. Dumping a history of the last processes samples [startup+51.3008 s] /proc/loadavg: 2.05 2.03 2.00 2/202 12775 /proc/meminfo: memFree=31082624/32951124 swapFree=67111528/67111528 [pid=12716] ppid=12714 vsize=1543192 CPUtime=69.37 /proc/12716/stat : 12716 (java) S 12714 12716 12532 0 -1 4202496 63170 0 1 0 6921 16 0 0 18 0 20 0 131133156 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12716/statm: 385798 54885 1449 10 0 383101 0 [pid=12716/tid=12717] ppid=12714 vsize=1543192 CPUtime=0.15 /proc/12716/task/12717/stat : 12717 (java) S 12714 12716 12532 0 -1 4202560 4040 0 1 0 14 1 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12719] ppid=12714 vsize=1543192 CPUtime=0.05 /proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12532 0 -1 4202560 649 0 0 0 5 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 2 0 0 0 [pid=12716/tid=12720] ppid=12714 vsize=1543192 CPUtime=0.04 /proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12532 0 -1 4202560 378 0 0 0 4 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 [pid=12716/tid=12721] ppid=12714 vsize=1543192 CPUtime=0.05 /proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12532 0 -1 4202560 709 0 0 0 5 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12722] ppid=12714 vsize=1543192 CPUtime=0.04 /proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12532 0 -1 4202560 801 0 0 0 4 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12723] ppid=12714 vsize=1543192 CPUtime=0.04 /proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12532 0 -1 4202560 246 0 0 0 4 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 4 0 0 0 [pid=12716/tid=12724] ppid=12714 vsize=1543192 CPUtime=0.04 /proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12532 0 -1 4202560 895 0 0 0 4 0 0 0 15 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12725] ppid=12714 vsize=1543192 CPUtime=0.05 /proc/12716/task/12725/stat : 12725 (java) S 12714 12716 12532 0 -1 4202560 516 0 0 0 5 0 0 0 16 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 [pid=12716/tid=12726] ppid=12714 vsize=1543192 CPUtime=0.03 /proc/12716/task/12726/stat : 12726 (java) S 12714 12716 12532 0 -1 4202560 611 0 0 0 3 0 0 0 16 0 20 0 131133157 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12727] ppid=12714 vsize=1543192 CPUtime=1.84 /proc/12716/task/12727/stat : 12727 (java) S 12714 12716 12532 0 -1 4202560 7372 0 0 0 182 2 0 0 15 0 20 0 131133158 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 0 0 16800975 18446604471131472064 0 0 -1 7 0 0 0 [pid=12716/tid=12728] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12728/stat : 12728 (java) S 12714 12716 12532 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 131133158 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12729] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12729/stat : 12729 (java) S 12714 12716 12532 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 131133158 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 1 0 0 0 [pid=12716/tid=12730] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12730/stat : 12730 (java) S 12714 12716 12532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 131133160 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12731] ppid=12714 vsize=1543192 CPUtime=0.85 /proc/12716/task/12731/stat : 12731 (java) S 12714 12716 12532 0 -1 4202560 2163 0 0 0 85 0 0 0 15 0 20 0 131133160 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12732] ppid=12714 vsize=1543192 CPUtime=1.23 /proc/12716/task/12732/stat : 12732 (java) S 12714 12716 12532 0 -1 4202560 8770 0 0 0 122 1 0 0 15 0 20 0 131133161 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 5 0 0 0 [pid=12716/tid=12733] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12733/stat : 12733 (java) S 12714 12716 12532 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 131133161 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12734] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12734/stat : 12734 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 20 0 131133161 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 2 0 0 0 [pid=12716/tid=12737] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12737/stat : 12737 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 131133173 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 3 0 0 0 [pid=12716/tid=12738] ppid=12714 vsize=1543192 CPUtime=0 /proc/12716/task/12738/stat : 12738 (java) S 12714 12716 12532 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 131133173 1580228608 54885 4089446400 134512640 134550932 4290631408 18446744073709551615 4294960144 0 4 0 16800975 18446604471131472064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 69.37 Current children cumulated vsize (KiB) 1543192 Child status: 30 Real time (s): 51.3702 CPU time (s): 69.4594 CPU user time (s): 69.2885 CPU system time (s): 0.170974 CPU usage (%): 135.213 Max. virtual memory (cumulated for all children) (KiB): 1546696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 69.2885 system time used= 0.170974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63178 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= 3656 involuntary context switches= 21613 runsolver used 0.102984 second user time and 0.207968 second system time The end
Begin job on node134 at 2010-06-30 13:46:10 IDJOB=2694686 IDBENCH=78833 IDSOLVER=1207 FILE ID=node134/2694686-1277898370 PBS_JOBID= 11197195 Free space on /tmp= 74208 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694686-1277898370/watcher-2694686-1277898370 -o /tmp/evaluation-result-2694686-1277898370/solver-2694686-1277898370 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694686-1277898370.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 14512bd829ee0bf054bc16c7157cd521 RANDOM SEED=518033428 node134.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.818 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.63 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.818 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.75 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.818 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.818 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 : 7397.66 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.818 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.67 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.818 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.84 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.818 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.74 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.818 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31296904 kB Buffers: 183584 kB Cached: 1089964 kB SwapCached: 0 kB Active: 829108 kB Inactive: 681852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31296904 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 560 kB Writeback: 0 kB AnonPages: 237768 kB Mapped: 16440 kB Slab: 78864 kB PageTables: 5392 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 389708 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node134 at 2010-06-30 13:47:01