Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | UNSAT | 171.417 | 169.171 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb |
MD5SUM | 8dbaef61ba32642517e0b17ac09a002e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 117.186 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 31 |
Total number of constraints | 9 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 851 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2553 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.15 c version 2.2.0.v20100526 0.09/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.15 c java.vm.version 11.2-b01 0.09/0.15 c java.vm.vendor Sun Microsystems Inc. 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.18-164.el5 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1393557488 0.09/0.15 c Max memory 1395916800 0.09/0.15 c Total memory 1395916800 0.09/0.15 c Number of processors 2 0.22/0.21 c Pseudo Boolean Optimization 0.22/0.21 c --- Begin Solver configuration --- 0.22/0.21 c Stops conflict analysis at the first Unique Implication Point 0.22/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.22/0.21 c Learn all clauses as in MiniSAT 0.22/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.21 c Expensive reason simplification 0.22/0.21 c Armin Biere (Picosat) restarts strategy 0.22/0.21 c Glucose learned constraints deletion strategy 0.22/0.21 c timeout=2147483s 0.22/0.21 c DB Simplification allowed=false 0.22/0.21 c --- End Solver configuration --- 0.22/0.21 c solving HOME/instance-2659893-1276601612.opb 0.22/0.21 c reading problem ... 0.22/0.25 c ... done. Wall clock time 0.038s. 0.22/0.25 c #vars 31 0.22/0.25 c #constraints 9 0.22/0.25 c constraints type 0.22/0.25 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8 1.73/1.19 c cleaning 2501 clauses out of 5002 with flag 5002/5002 2.56/1.81 c cleaning 4250 clauses out of 8499 with flag 11000/11000 3.50/2.72 c cleaning 5622 clauses out of 11249 with flag 18000/18000 4.75/3.94 c cleaning 6814 clauses out of 13627 with flag 26000/26000 6.06/5.22 c cleaning 7907 clauses out of 15814 with flag 35001/35001 7.76/6.98 c cleaning 8953 clauses out of 17906 with flag 45000/45000 9.56/8.74 c cleaning 9475 clauses out of 18953 with flag 55000/55000 11.36/10.56 c cleaning 9737 clauses out of 19478 with flag 65000/65000 12.97/12.20 c cleaning 9866 clauses out of 19741 with flag 75000/75000 15.17/14.32 c cleaning 9935 clauses out of 19876 with flag 85001/85001 17.17/16.31 c cleaning 9971 clauses out of 19941 with flag 95001/95001 18.78/17.91 c cleaning 9979 clauses out of 19970 with flag 105001/105001 20.48/19.67 c cleaning 9992 clauses out of 19990 with flag 115000/115000 23.17/22.34 c cleaning 10000 clauses out of 20000 with flag 125002/125002 25.68/24.83 c cleaning 9999 clauses out of 19999 with flag 135001/135001 27.68/26.84 c cleaning 9999 clauses out of 20000 with flag 145001/145001 29.49/28.70 c cleaning 9998 clauses out of 20001 with flag 155001/155001 31.48/30.65 c cleaning 9998 clauses out of 20002 with flag 165000/165000 33.79/33.00 c cleaning 9999 clauses out of 20004 with flag 175000/175000 35.89/35.02 c cleaning 10002 clauses out of 20006 with flag 185001/185001 37.80/36.97 c cleaning 9995 clauses out of 20003 with flag 195000/195000 39.79/38.94 c cleaning 9998 clauses out of 20008 with flag 205000/205000 41.79/41.00 c cleaning 10004 clauses out of 20010 with flag 215000/215000 44.09/43.23 c cleaning 9997 clauses out of 20006 with flag 225000/225000 46.39/45.54 c cleaning 10000 clauses out of 20009 with flag 235000/235000 48.29/47.49 c cleaning 10002 clauses out of 20009 with flag 245000/245000 50.18/49.31 c cleaning 10003 clauses out of 20008 with flag 255001/255001 52.08/51.25 c cleaning 10000 clauses out of 20004 with flag 265000/265000 53.88/53.03 c cleaning 10001 clauses out of 20005 with flag 275001/275001 55.68/54.84 c cleaning 10000 clauses out of 20003 with flag 285000/285000 57.38/56.51 c cleaning 10001 clauses out of 20004 with flag 295001/295001 59.19/58.35 c cleaning 10001 clauses out of 20003 with flag 305001/305001 60.88/60.06 c cleaning 9999 clauses out of 20002 with flag 315001/315001 62.38/61.60 c cleaning 10001 clauses out of 20003 with flag 325001/325001 63.87/63.07 c cleaning 9999 clauses out of 20001 with flag 335000/335000 65.47/64.62 c cleaning 10000 clauses out of 20002 with flag 345000/345000 67.18/66.34 c cleaning 9994 clauses out of 20002 with flag 355000/355000 68.78/67.94 c cleaning 10002 clauses out of 20008 with flag 365000/365000 70.38/69.57 c cleaning 10000 clauses out of 20006 with flag 375000/375000 71.88/71.02 c cleaning 10002 clauses out of 20006 with flag 385000/385000 73.59/72.77 c cleaning 9998 clauses out of 20004 with flag 395000/395000 75.38/74.51 c cleaning 10002 clauses out of 20006 with flag 405000/405000 77.08/76.20 c cleaning 9996 clauses out of 20004 with flag 415000/415000 78.58/77.76 c cleaning 10003 clauses out of 20008 with flag 425000/425000 80.28/79.48 c cleaning 9999 clauses out of 20005 with flag 435000/435000 82.08/81.21 c cleaning 9999 clauses out of 20006 with flag 445000/445000 83.58/82.79 c cleaning 10001 clauses out of 20008 with flag 455001/455001 85.18/84.34 c cleaning 10000 clauses out of 20006 with flag 465000/465000 86.68/85.83 c cleaning 10001 clauses out of 20006 with flag 475000/475000 88.28/87.43 c cleaning 10003 clauses out of 20005 with flag 485000/485000 89.87/89.04 c cleaning 9995 clauses out of 20002 with flag 495000/495000 91.38/90.56 c cleaning 10002 clauses out of 20008 with flag 505001/505001 92.87/92.09 c cleaning 10001 clauses out of 20005 with flag 515000/515000 94.58/93.72 c cleaning 9999 clauses out of 20004 with flag 525000/525000 96.08/95.27 c cleaning 9996 clauses out of 20006 with flag 535001/535001 97.48/96.63 c cleaning 10003 clauses out of 20010 with flag 545001/545001 98.88/98.03 c cleaning 9997 clauses out of 20006 with flag 555000/555000 100.28/99.48 c cleaning 10002 clauses out of 20010 with flag 565001/565001 101.77/100.90 c cleaning 10002 clauses out of 20009 with flag 575002/575002 103.07/102.26 c cleaning 9998 clauses out of 20005 with flag 585000/585000 104.87/104.02 c cleaning 10000 clauses out of 20007 with flag 595000/595000 106.57/105.71 c cleaning 10000 clauses out of 20008 with flag 605001/605001 108.17/107.37 c cleaning 10000 clauses out of 20007 with flag 615000/615000 109.78/108.91 c cleaning 10000 clauses out of 20007 with flag 625000/625000 111.27/110.45 c cleaning 10002 clauses out of 20008 with flag 635001/635001 112.57/111.71 c cleaning 10000 clauses out of 20005 with flag 645000/645000 113.97/113.14 c cleaning 10004 clauses out of 20007 with flag 655002/655002 115.37/114.51 c cleaning 10000 clauses out of 20002 with flag 665001/665001 116.86/116.07 c cleaning 9994 clauses out of 20002 with flag 675001/675001 118.47/117.61 c cleaning 9998 clauses out of 20007 with flag 685000/685000 119.87/119.02 c cleaning 10002 clauses out of 20010 with flag 695001/695001 121.27/120.47 c cleaning 10004 clauses out of 20007 with flag 705000/705000 122.77/121.96 c cleaning 9998 clauses out of 20004 with flag 715001/715001 124.37/123.50 c cleaning 10000 clauses out of 20006 with flag 725001/725001 125.67/124.86 c cleaning 10001 clauses out of 20006 with flag 735001/735001 126.97/126.20 c cleaning 10004 clauses out of 20007 with flag 745003/745003 128.40/127.55 c cleaning 9998 clauses out of 20001 with flag 755001/755001 129.80/128.95 c cleaning 10000 clauses out of 20003 with flag 765001/765001 131.63/130.46 c cleaning 10001 clauses out of 20002 with flag 775000/775000 133.02/131.78 c cleaning 9999 clauses out of 20002 with flag 785001/785001 134.43/133.18 c cleaning 9998 clauses out of 20003 with flag 795001/795001 135.92/134.66 c cleaning 9998 clauses out of 20004 with flag 805000/805000 137.22/135.96 c cleaning 9999 clauses out of 20006 with flag 815000/815000 138.62/137.33 c cleaning 10005 clauses out of 20009 with flag 825002/825002 139.93/138.63 c cleaning 10001 clauses out of 20002 with flag 835000/835000 141.32/140.02 c cleaning 9998 clauses out of 20001 with flag 845000/845000 142.62/141.37 c cleaning 10002 clauses out of 20003 with flag 855000/855000 143.92/142.68 c cleaning 9997 clauses out of 20002 with flag 865001/865001 145.32/144.04 c cleaning 10002 clauses out of 20005 with flag 875001/875001 147.29/145.50 c cleaning 9996 clauses out of 20003 with flag 885001/885001 148.81/147.05 c cleaning 10001 clauses out of 20007 with flag 895001/895001 150.32/148.44 c cleaning 10001 clauses out of 20005 with flag 905000/905000 151.63/149.78 c cleaning 9999 clauses out of 20005 with flag 915001/915001 153.03/151.18 c cleaning 10002 clauses out of 20006 with flag 925001/925001 154.43/152.58 c cleaning 9999 clauses out of 20003 with flag 935000/935000 155.83/153.95 c cleaning 9998 clauses out of 20005 with flag 945001/945001 157.04/155.17 c cleaning 10001 clauses out of 20007 with flag 955001/955001 158.24/156.38 c cleaning 10005 clauses out of 20009 with flag 965004/965004 159.62/157.79 c cleaning 9999 clauses out of 20000 with flag 975000/975000 161.02/159.16 c cleaning 9998 clauses out of 20002 with flag 985001/985001 162.33/160.47 c cleaning 10000 clauses out of 20003 with flag 995000/995000 163.64/161.76 c cleaning 10000 clauses out of 20005 with flag 1005002/1005002 164.93/163.06 c cleaning 10002 clauses out of 20004 with flag 1015001/1015001 166.33/164.41 c cleaning 9997 clauses out of 20002 with flag 1025001/1025001 167.63/165.77 c cleaning 9999 clauses out of 20004 with flag 1035000/1035000 169.33/167.22 c cleaning 10002 clauses out of 20006 with flag 1045002/1045002 170.73/168.57 c cleaning 10000 clauses out of 20001 with flag 1055002/1055002 171.33/169.10 c starts : 188 171.33/169.10 c conflicts : 1060300 171.33/169.10 c decisions : 1062759 171.33/169.10 c propagations : 7380031 171.33/169.10 c inspects : 911563429 171.33/169.10 c learnt literals : 12 171.33/169.10 c learnt binary clauses : 71 171.33/169.10 c learnt ternary clauses : 313 171.33/169.10 c learnt clauses : 1060287 171.33/169.10 c ignored clauses : 0 171.33/169.10 c root simplifications : 0 171.33/169.10 c removed literals (reason simplification) : 10532693 171.33/169.10 c reason swapping (by a shorter reason) : 0 171.33/169.10 c Calls to reduceDB : 107 171.33/169.10 c number of reductions to clauses (during analyze) : 0 171.33/169.10 c number of learned constraints concerned by reduction : 0 171.33/169.10 c number of learning phase by resolution : 0 171.33/169.10 c number of learning phase by cutting planes : 0 171.33/169.10 c speed (assignments/second) : 43706.58083314579 171.33/169.10 c non guided choices 13 171.33/169.13 c learnt constraints type 171.33/169.13 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 15219 171.33/169.13 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 71 171.33/169.13 c constraints type 171.33/169.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8 171.33/169.13 s UNSATISFIABLE 171.33/169.13 c Total wall clock time (in seconds): 168.917
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2659893-1276601612/watcher-2659893-1276601612 -o /tmp/evaluation-result-2659893-1276601612/solver-2659893-1276601612 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659893-1276601612.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: 3.14 2.89 2.09 3/106 9337 /proc/meminfo: memFree=1540988/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=248 CPUtime=0 /proc/9337/stat : 9337 (java) R 9335 9337 9312 0 -1 4194304 281 0 0 0 0 0 0 0 17 0 1 0 1453372 253952 28 1992294400 134512640 134550932 4290399488 18446744073709551615 5767646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9337/statm: 62 28 21 10 0 23 0 [startup+0.104929 s] /proc/loadavg: 3.14 2.89 2.09 3/106 9337 /proc/meminfo: memFree=1540988/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1524184 CPUtime=0.09 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 3977 0 1 0 7 2 0 0 15 0 12 0 1453372 1560764416 3417 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 381046 3417 1078 10 0 378348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1524184 [startup+0.201943 s] /proc/loadavg: 3.14 2.89 2.09 3/106 9337 /proc/meminfo: memFree=1540988/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1526212 CPUtime=0.22 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 5014 0 1 0 20 2 0 0 15 0 12 0 1453372 1562841088 4452 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 381553 4452 1345 10 0 378855 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 1526212 [startup+0.301949 s] /proc/loadavg: 3.14 2.89 2.09 3/106 9337 /proc/meminfo: memFree=1540988/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1526984 CPUtime=0.38 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 5401 0 1 0 35 3 0 0 15 0 13 0 1453372 1563631616 4839 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 381746 4839 1372 10 0 379048 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 1526984 [startup+0.700988 s] /proc/loadavg: 3.14 2.89 2.09 3/106 9337 /proc/meminfo: memFree=1540988/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1529692 CPUtime=1.16 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 7285 0 1 0 113 3 0 0 15 0 13 0 1453372 1566404608 6519 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 382423 6521 1413 10 0 379725 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 1529692 [startup+1.50206 s] /proc/loadavg: 2.97 2.86 2.09 3/119 9350 /proc/meminfo: memFree=1502136/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1529856 CPUtime=2.22 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 12459 0 1 0 216 6 0 0 15 0 13 0 1453372 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 382464 11526 1434 10 0 379766 0 [pid=9337/tid=9339] ppid=9335 vsize=1529856 CPUtime=1.42 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 9257 0 1 0 138 4 0 0 25 0 13 0 1453374 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4109448468 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 13 0 1453375 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 74 0 0 0 0 0 0 0 18 0 13 0 1453375 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1529856 CPUtime=0.01 /proc/9337/task/9342/stat : 9342 (java) S 9335 9337 9312 0 -1 4202560 164 0 0 0 1 0 0 0 16 0 13 0 1453377 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9343] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9343/stat : 9343 (java) S 9335 9337 9312 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 1453377 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9344] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9344/stat : 9344 (java) S 9335 9337 9312 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 1453377 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9345] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9345/stat : 9345 (java) S 9335 9337 9312 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 1453382 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9346] ppid=9335 vsize=1529856 CPUtime=0.18 /proc/9337/task/9346/stat : 9346 (java) S 9335 9337 9312 0 -1 4202560 262 0 0 0 18 0 0 0 19 0 13 0 1453382 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9347] ppid=9335 vsize=1529856 CPUtime=0.57 /proc/9337/task/9347/stat : 9347 (java) S 9335 9337 9312 0 -1 4202560 1547 0 0 0 57 0 0 0 15 0 13 0 1453382 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9348] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9348/stat : 9348 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 1453382 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9349] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 1453382 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1566572544 11526 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 1529856 [startup+3.10122 s] /proc/loadavg: 2.97 2.86 2.09 2/119 9350 /proc/meminfo: memFree=1497176/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1529856 CPUtime=3.91 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 13982 0 1 0 384 7 0 0 15 0 13 0 1453372 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 382464 13047 1434 10 0 379766 0 [pid=9337/tid=9339] ppid=9335 vsize=1529856 CPUtime=2.97 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 10423 0 1 0 292 5 0 0 25 0 13 0 1453374 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4109432835 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 180 0 0 0 0 0 0 0 16 0 13 0 1453375 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 13 0 1453375 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1529856 CPUtime=0.05 /proc/9337/task/9342/stat : 9342 (java) S 9335 9337 9312 0 -1 4202560 346 0 0 0 5 0 0 0 16 0 13 0 1453377 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9343] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9343/stat : 9343 (java) S 9335 9337 9312 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 1453377 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9344] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9344/stat : 9344 (java) S 9335 9337 9312 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 1453377 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9345] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9345/stat : 9345 (java) S 9335 9337 9312 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 1453382 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9346] ppid=9335 vsize=1529856 CPUtime=0.23 /proc/9337/task/9346/stat : 9346 (java) S 9335 9337 9312 0 -1 4202560 265 0 0 0 23 0 0 0 15 0 13 0 1453382 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9347] ppid=9335 vsize=1529856 CPUtime=0.6 /proc/9337/task/9347/stat : 9347 (java) S 9335 9337 9312 0 -1 4202560 1550 0 0 0 60 0 0 0 15 0 13 0 1453382 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9348] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9348/stat : 9348 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 1453382 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9349] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 1453382 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1566572544 13047 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.91 Current children cumulated vsize (KiB) 1529856 [startup+6.30154 s] /proc/loadavg: 2.97 2.86 2.09 2/119 9350 /proc/meminfo: memFree=1485892/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1529856 CPUtime=7.16 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 15889 0 1 0 708 8 0 0 15 0 13 0 1453372 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 382464 14951 1436 10 0 379766 0 [pid=9337/tid=9339] ppid=9335 vsize=1529856 CPUtime=6.11 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 12121 0 1 0 605 6 0 0 25 0 13 0 1453374 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4109590440 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1529856 CPUtime=0.01 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 220 0 0 0 1 0 0 0 15 0 13 0 1453375 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1529856 CPUtime=0.01 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 195 0 0 0 1 0 0 0 16 0 13 0 1453375 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1529856 CPUtime=0.1 /proc/9337/task/9342/stat : 9342 (java) S 9335 9337 9312 0 -1 4202560 455 0 0 0 10 0 0 0 15 0 13 0 1453377 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9343] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9343/stat : 9343 (java) S 9335 9337 9312 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 1453377 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9344] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9344/stat : 9344 (java) S 9335 9337 9312 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 1453377 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9345] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9345/stat : 9345 (java) S 9335 9337 9312 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 1453382 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9346] ppid=9335 vsize=1529856 CPUtime=0.29 /proc/9337/task/9346/stat : 9346 (java) S 9335 9337 9312 0 -1 4202560 283 0 0 0 29 0 0 0 15 0 13 0 1453382 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9347] ppid=9335 vsize=1529856 CPUtime=0.6 /proc/9337/task/9347/stat : 9347 (java) S 9335 9337 9312 0 -1 4202560 1550 0 0 0 60 0 0 0 15 0 13 0 1453382 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9348] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9348/stat : 9348 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 1453382 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9349] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 1453382 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1566572544 14951 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.16 Current children cumulated vsize (KiB) 1529856 [startup+12.7 s] /proc/loadavg: 2.66 2.80 2.08 2/119 9350 /proc/meminfo: memFree=1479816/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1529856 CPUtime=13.56 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 17415 0 1 0 1348 8 0 0 15 0 13 0 1453372 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 382464 16473 1436 10 0 379766 0 [pid=9337/tid=9339] ppid=9335 vsize=1529856 CPUtime=12.39 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 13337 0 1 0 1233 6 0 0 25 0 13 0 1453374 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4109476262 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1529856 CPUtime=0.03 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 265 0 0 0 3 0 0 0 16 0 13 0 1453375 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1529856 CPUtime=0.02 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 224 0 0 0 2 0 0 0 15 0 13 0 1453375 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1529856 CPUtime=0.19 /proc/9337/task/9342/stat : 9342 (java) S 9335 9337 9312 0 -1 4202560 691 0 0 0 19 0 0 0 16 0 13 0 1453377 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9343] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9343/stat : 9343 (java) S 9335 9337 9312 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 1453377 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9344] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9344/stat : 9344 (java) S 9335 9337 9312 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 1453377 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9345] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9345/stat : 9345 (java) S 9335 9337 9312 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 1453382 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9346] ppid=9335 vsize=1529856 CPUtime=0.29 /proc/9337/task/9346/stat : 9346 (java) S 9335 9337 9312 0 -1 4202560 283 0 0 0 29 0 0 0 15 0 13 0 1453382 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9347] ppid=9335 vsize=1529856 CPUtime=0.6 /proc/9337/task/9347/stat : 9347 (java) S 9335 9337 9312 0 -1 4202560 1550 0 0 0 60 0 0 0 15 0 13 0 1453382 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9348] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9348/stat : 9348 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 1453382 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9349] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 1453382 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1529856 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1566572544 16473 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.56 Current children cumulated vsize (KiB) 1529856 [startup+25.5018 s] /proc/loadavg: 2.41 2.74 2.06 2/119 9350 /proc/meminfo: memFree=1476964/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1529856 CPUtime=26.38 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 18119 0 1 0 2628 10 0 0 15 0 13 0 1453372 1566572544 17171 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 382464 17171 1436 10 0 379766 0 [pid=9337/tid=9339] ppid=9335 vsize=1529856 CPUtime=25.03 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 13923 0 1 0 2496 7 0 0 25 0 13 0 1453374 1566572544 17171 1992294400 134512640 134550932 4290399488 18446744073709551615 4109432875 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1529856 CPUtime=0.04 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 268 0 0 0 4 0 0 0 16 0 13 0 1453375 1566572544 17171 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1529856 CPUtime=0.04 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 228 0 0 0 4 0 0 0 15 0 13 0 1453375 1566572544 17171 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1529856 CPUtime=0.32 ################ # More data... # ################ /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 13 0 1453382 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 165.13 Current children cumulated vsize (KiB) 1534704 [startup+166.401 s] /proc/loadavg: 1.12 2.06 1.90 2/119 9354 /proc/meminfo: memFree=1470268/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1534704 CPUtime=168.33 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 21816 0 1 0 16813 20 0 0 15 0 13 0 1453372 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 383676 18593 1436 10 0 380978 0 [pid=9337/tid=9339] ppid=9335 vsize=1534704 CPUtime=163.62 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 14121 0 1 0 16350 12 0 0 25 0 13 0 1453374 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4109805074 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1534704 CPUtime=0.18 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 276 0 0 0 17 1 0 0 16 0 13 0 1453375 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1534704 CPUtime=0.16 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 236 0 0 0 15 1 0 0 15 0 13 0 1453375 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1534704 CPUtime=2.36 /proc/9337/task/9342/stat : 9342 (java) S 9335 9337 9312 0 -1 4202560 817 0 0 0 235 1 0 0 16 0 13 0 1453377 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9343] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9343/stat : 9343 (java) S 9335 9337 9312 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9344] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9344/stat : 9344 (java) S 9335 9337 9312 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9345] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9345/stat : 9345 (java) S 9335 9337 9312 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 1453382 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9346] ppid=9335 vsize=1534704 CPUtime=0.44 /proc/9337/task/9346/stat : 9346 (java) S 9335 9337 9312 0 -1 4202560 404 0 0 0 44 0 0 0 15 0 13 0 1453382 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9347] ppid=9335 vsize=1534704 CPUtime=1.52 /proc/9337/task/9347/stat : 9347 (java) S 9335 9337 9312 0 -1 4202560 4887 0 0 0 150 2 0 0 15 0 13 0 1453382 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9348] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9348/stat : 9348 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 1453382 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9349] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 13 0 1453382 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1571536896 18593 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 168.33 Current children cumulated vsize (KiB) 1534704 [startup+168.002 s] /proc/loadavg: 1.12 2.06 1.90 2/119 9354 /proc/meminfo: memFree=1470268/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1534704 CPUtime=170.23 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 21819 0 1 0 17003 20 0 0 15 0 13 0 1453372 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 383676 18594 1436 10 0 380978 0 [pid=9337/tid=9339] ppid=9335 vsize=1534704 CPUtime=165.19 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 14124 0 1 0 16507 12 0 0 25 0 13 0 1453374 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4109434465 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1534704 CPUtime=0.18 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 276 0 0 0 17 1 0 0 16 0 13 0 1453375 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1534704 CPUtime=0.16 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 236 0 0 0 15 1 0 0 15 0 13 0 1453375 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1534704 CPUtime=2.38 /proc/9337/task/9342/stat : 9342 (java) S 9335 9337 9312 0 -1 4202560 817 0 0 0 237 1 0 0 16 0 13 0 1453377 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9343] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9343/stat : 9343 (java) S 9335 9337 9312 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9344] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9344/stat : 9344 (java) S 9335 9337 9312 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9345] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9345/stat : 9345 (java) S 9335 9337 9312 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 1453382 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9346] ppid=9335 vsize=1534704 CPUtime=0.48 /proc/9337/task/9346/stat : 9346 (java) S 9335 9337 9312 0 -1 4202560 404 0 0 0 48 0 0 0 15 0 13 0 1453382 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9347] ppid=9335 vsize=1534704 CPUtime=1.78 /proc/9337/task/9347/stat : 9347 (java) S 9335 9337 9312 0 -1 4202560 4887 0 0 0 176 2 0 0 16 0 13 0 1453382 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9348] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9348/stat : 9348 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 1453382 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9349] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 13 0 1453382 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1571536896 18594 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 170.23 Current children cumulated vsize (KiB) 1534704 [startup+168.802 s] /proc/loadavg: 1.12 2.06 1.90 2/119 9354 /proc/meminfo: memFree=1470268/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1534704 CPUtime=171.04 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 21927 0 1 0 17084 20 0 0 15 0 13 0 1453372 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 383676 18700 1436 10 0 380978 0 [pid=9337/tid=9339] ppid=9335 vsize=1534704 CPUtime=165.96 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 14232 0 1 0 16584 12 0 0 25 0 13 0 1453374 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4109382625 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1534704 CPUtime=0.18 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 276 0 0 0 17 1 0 0 16 0 13 0 1453375 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1534704 CPUtime=0.16 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 236 0 0 0 15 1 0 0 15 0 13 0 1453375 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1534704 CPUtime=2.4 /proc/9337/task/9342/stat : 9342 (java) S 9335 9337 9312 0 -1 4202560 817 0 0 0 239 1 0 0 16 0 13 0 1453377 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9343] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9343/stat : 9343 (java) S 9335 9337 9312 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9344] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9344/stat : 9344 (java) S 9335 9337 9312 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9345] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9345/stat : 9345 (java) S 9335 9337 9312 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9346] ppid=9335 vsize=1534704 CPUtime=0.48 /proc/9337/task/9346/stat : 9346 (java) S 9335 9337 9312 0 -1 4202560 404 0 0 0 48 0 0 0 15 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9347] ppid=9335 vsize=1534704 CPUtime=1.79 /proc/9337/task/9347/stat : 9347 (java) S 9335 9337 9312 0 -1 4202560 4887 0 0 0 177 2 0 0 15 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9348] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9348/stat : 9348 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9349] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 171.04 Current children cumulated vsize (KiB) 1534704 [startup+169.002 s] /proc/loadavg: 1.12 2.06 1.90 2/119 9354 /proc/meminfo: memFree=1470268/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1534704 CPUtime=171.23 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 21927 0 1 0 17103 20 0 0 15 0 13 0 1453372 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 383676 18700 1436 10 0 380978 0 [pid=9337/tid=9339] ppid=9335 vsize=1534704 CPUtime=166.16 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 14232 0 1 0 16604 12 0 0 25 0 13 0 1453374 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4109432853 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1534704 CPUtime=0.18 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 276 0 0 0 17 1 0 0 16 0 13 0 1453375 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1534704 CPUtime=0.16 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 236 0 0 0 15 1 0 0 15 0 13 0 1453375 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1534704 CPUtime=2.4 /proc/9337/task/9342/stat : 9342 (java) S 9335 9337 9312 0 -1 4202560 817 0 0 0 239 1 0 0 16 0 13 0 1453377 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9343] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9343/stat : 9343 (java) S 9335 9337 9312 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9344] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9344/stat : 9344 (java) S 9335 9337 9312 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9345] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9345/stat : 9345 (java) S 9335 9337 9312 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9346] ppid=9335 vsize=1534704 CPUtime=0.48 /proc/9337/task/9346/stat : 9346 (java) S 9335 9337 9312 0 -1 4202560 404 0 0 0 48 0 0 0 15 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9347] ppid=9335 vsize=1534704 CPUtime=1.79 /proc/9337/task/9347/stat : 9347 (java) S 9335 9337 9312 0 -1 4202560 4887 0 0 0 177 2 0 0 15 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9348] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9348/stat : 9348 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9349] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 171.23 Current children cumulated vsize (KiB) 1534704 [startup+169.102 s] /proc/loadavg: 1.12 2.06 1.90 2/119 9354 /proc/meminfo: memFree=1470268/2059040 swapFree=4192956/4192956 [pid=9337] ppid=9335 vsize=1534704 CPUtime=171.33 /proc/9337/stat : 9337 (java) S 9335 9337 9312 0 -1 4202496 21927 0 1 0 17113 20 0 0 15 0 13 0 1453372 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9337/statm: 383676 18700 1436 10 0 380978 0 [pid=9337/tid=9339] ppid=9335 vsize=1534704 CPUtime=166.26 /proc/9337/task/9339/stat : 9339 (java) R 9335 9337 9312 0 -1 4202560 14232 0 1 0 16614 12 0 0 25 0 13 0 1453374 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4109434741 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9337/tid=9340] ppid=9335 vsize=1534704 CPUtime=0.18 /proc/9337/task/9340/stat : 9340 (java) S 9335 9337 9312 0 -1 4202560 276 0 0 0 17 1 0 0 16 0 13 0 1453375 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9341] ppid=9335 vsize=1534704 CPUtime=0.16 /proc/9337/task/9341/stat : 9341 (java) S 9335 9337 9312 0 -1 4202560 236 0 0 0 15 1 0 0 15 0 13 0 1453375 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9342] ppid=9335 vsize=1534704 CPUtime=2.4 /proc/9337/task/9342/stat : 9342 (java) S 9335 9337 9312 0 -1 4202560 817 0 0 0 239 1 0 0 16 0 13 0 1453377 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 0 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9343] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9343/stat : 9343 (java) S 9335 9337 9312 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9344] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9344/stat : 9344 (java) S 9335 9337 9312 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 1453377 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9345] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9345/stat : 9345 (java) S 9335 9337 9312 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9346] ppid=9335 vsize=1534704 CPUtime=0.48 /proc/9337/task/9346/stat : 9346 (java) S 9335 9337 9312 0 -1 4202560 404 0 0 0 48 0 0 0 15 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9347] ppid=9335 vsize=1534704 CPUtime=1.79 /proc/9337/task/9347/stat : 9347 (java) S 9335 9337 9312 0 -1 4202560 4887 0 0 0 177 2 0 0 15 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9348] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9348/stat : 9348 (java) S 9335 9337 9312 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 [pid=9337/tid=9349] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9349/stat : 9349 (java) S 9335 9337 9312 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 13 0 1453382 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 1 0 0 0 [pid=9337/tid=9350] ppid=9335 vsize=1534704 CPUtime=0 /proc/9337/task/9350/stat : 9350 (java) S 9335 9337 9312 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 1453398 1571536896 18700 1992294400 134512640 134550932 4290399488 18446744073709551615 4294960144 0 4 0 16800975 18446604437834699136 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 171.33 Current children cumulated vsize (KiB) 1534704 Child status: 20 Real time (s): 169.171 CPU time (s): 171.417 CPU user time (s): 171.202 CPU system time (s): 0.214967 CPU usage (%): 101.328 Max. virtual memory (cumulated for all children) (KiB): 1538972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 171.202 system time used= 0.214967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21942 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= 4819 involuntary context switches= 3959 runsolver used 0.318951 second user time and 0.968852 second system time The end
Begin job on node045 at 2010-06-15 13:33:32 IDJOB=2659893 IDBENCH=2905 IDSOLVER=1164 FILE ID=node045/2659893-1276601612 PBS_JOBID= 11172250 Free space on /tmp= 62460 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_1.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659893-1276601612/watcher-2659893-1276601612 -o /tmp/evaluation-result-2659893-1276601612/solver-2659893-1276601612 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659893-1276601612.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8dbaef61ba32642517e0b17ac09a002e RANDOM SEED=239437417 node045.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.247 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.49 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.247 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 : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1541384 kB Buffers: 51500 kB Cached: 340324 kB SwapCached: 0 kB Active: 180512 kB Inactive: 270516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1541384 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 340 kB Writeback: 0 kB AnonPages: 59184 kB Mapped: 15384 kB Slab: 44812 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181652 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= 62460 MiB End job on node045 at 2010-06-15 13:36:21