Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | OPT | 36 | 10.1179 | 2.88166 |
Name | PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml |
MD5SUM | d246e7ee644c503b58cd0ccaee57aa1d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 36 |
Best CPU time to get the best result obtained on this benchmark | 0.285303 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 216 |
Number of constraints | 584 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":216}] |
Minimum variable degree | 7 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":7,"count":28},{"degree":8,"count":116},{"degree":9,"count":2},{"degree":10,"count":14},{"degree":12,"count":12},{"degree":13,"count":44}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 18 |
Distribution of constraint arities | [{"arity":2,"count":210},{"arity":3,"count":302},{"arity":4,"count":60},{"arity":18,"count":12}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":584}] |
Optimization problem | YES |
Type of objective | min SUM |
0.23/0.40 c version: 2017-08-22 0.23/0.40 c seed: 566620269 0.23/0.40 c timeout: 20160 0.23/0.40 c memlimit: 22000 0.23/0.40 c nbcore: 8 0.42/0.43 c Parsing instance... 1.28/0.81 c Parsing done, starting search... 8.13/2.61 o 36 9.69/2.85 s OPTIMUM FOUND 9.69/2.86 v <instantiation> 9.69/2.86 v <list> 9.69/2.86 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] 9.69/2.86 v </list> 9.69/2.86 v <values> 9.69/2.86 v 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 9.69/2.86 v </values> 9.69/2.86 v </instantiation>
OK 36
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14911 MiB free) memory of node 1: 16384 MiB (15338 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284877-1503447408/watcher-4284877-1503447408 -o /tmp/evaluation-result-4284877-1503447408/solver-4284877-1503447408 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1503398602-29012 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 566620269 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284877-1503447408.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2806, runsolver pid=2803 Current StackSize limit: 8192 KiB [startup+0.100129 s]* /proc/loadavg: 8.40 8.74 8.81 1/179 2808 /proc/meminfo: memFree=30973300/32770624 swapFree=67108860/67108860 [pid=2806] ppid=2803 vsize=25300336 memory=13404 CPUtime=0 cores=0-7 /proc/2806/stat : 2806 (java) S 2803 2806 28956 0 -1 1077944320 3167 0 0 0 0 0 0 0 20 0 10 0 146933681 25907544064 3351 18446744073709551615 4194304 4196468 140732371414768 140732371397312 140265672920823 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 /proc/2806/statm: 6325084 3351 1755 1 0 6314581 0 [pid=2806/tid=2808] ppid=2803 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2808/stat : 2808 (java) R 2803 2806 28956 0 -1 4202560 2025 0 0 0 0 0 0 0 20 0 10 0 146933691 25907544064 3483 18446744073709551615 4194304 4196468 140732371414768 140265677156944 140265672942749 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2809] ppid=2803 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2809/stat : 2809 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 146933692 25907544064 3483 18446744073709551615 4194304 4196468 140732371414768 140265584826768 140265672931029 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2810] ppid=2803 vsize=25300336 memory=139798188676736 CPUtime=0 cores=0-7 /proc/2806/task/2810/stat : 2810 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 146933692 25907544064 3483 18446744073709551615 4194304 4196468 140732371414768 140265583773968 140265672931029 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2811] ppid=2803 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2811/stat : 2811 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 146933692 25907544064 3483 18446744073709551615 4194304 4196468 140732371414768 140265582721680 140265672931029 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2812] ppid=2803 vsize=25300336 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/2806/task/2812/stat : 2812 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 146933692 25907544064 3483 18446744073709551615 4194304 4196468 140732371414768 140265581668880 140265672931029 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2813] ppid=2803 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2813/stat : 2813 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 146933692 25907544064 3483 18446744073709551615 4194304 4196468 140732371414768 140265580616592 140265672931029 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2814] ppid=2803 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2814/stat : 2814 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 146933692 25907544064 3549 18446744073709551615 4194304 4196468 140732371414768 140265230011152 140265672931029 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2815] ppid=2803 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2815/stat : 2815 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 146933692 25907544064 3549 18446744073709551615 4194304 4196468 140732371414768 140265228958864 140265672931029 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2816] ppid=2803 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2816/stat : 2816 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 146933692 25907544064 3549 18446744073709551615 4194304 4196468 140732371414768 140265227906064 140265672931029 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 25300336 KiB Current children cumulated memory: 13404 KiB [startup+0.211285 s]* /proc/loadavg: 8.40 8.74 8.81 2/197 2826 /proc/meminfo: memFree=30964252/32770624 swapFree=67108860/67108860 [pid=2806] ppid=2803 vsize=25996608 memory=28464 CPUtime=0.07 cores=0-7 /proc/2806/stat : 2806 (java) S 2803 2806 28956 0 -1 1077944320 6930 0 0 0 6 1 0 0 20 0 20 0 146933681 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140732371397312 140265672920823 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 /proc/2806/statm: 6499152 7116 3328 1 0 6487930 0 [pid=2806/tid=2808] ppid=2803 vsize=25996608 memory=0 CPUtime=0.06 cores=0-7 /proc/2806/task/2808/stat : 2808 (java) R 2803 2806 28956 0 -1 4202560 5011 0 0 0 5 1 0 0 20 0 20 0 146933691 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140265677152712 140265665157950 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2809] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2809/stat : 2809 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140265584826768 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2810] ppid=2803 vsize=25996608 memory=139798188676736 CPUtime=0 cores=0-7 /proc/2806/task/2810/stat : 2810 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140265583773968 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2811] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2811/stat : 2811 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140265582721680 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2812] ppid=2803 vsize=25996608 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/2806/task/2812/stat : 2812 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140265581668880 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2813] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2813/stat : 2813 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140265580616592 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2814] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2814/stat : 2814 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140265230011152 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2815] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2815/stat : 2815 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140265228958864 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2816] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2816/stat : 2816 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140265227906064 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2817] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2817/stat : 2817 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933693 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264218744944 140265672931970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2818] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2818/stat : 2818 (java) S 2803 2806 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146933694 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264217690912 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2819] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2819/stat : 2819 (java) S 2803 2806 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146933694 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264216638576 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2820] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2820/stat : 2820 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933696 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264215586896 140265672939419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2821] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2821/stat : 2821 (java) S 2803 2806 28956 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 146933696 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264214534768 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2822] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2822/stat : 2822 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933696 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264213481968 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2823] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2823/stat : 2823 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933696 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264212429680 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2824] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2824/stat : 2824 (java) S 2803 2806 28956 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 20 0 146933696 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264211376880 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2825] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2825/stat : 2825 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933697 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264210323808 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2826] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2826/stat : 2826 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933702 26620526592 7116 18446744073709551615 4194304 4196468 140732371414768 140264209271088 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 Current children cumulated CPU time: 0.07 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 28464 KiB [startup+0.310135 s]* /proc/loadavg: 8.40 8.74 8.81 2/197 2826 /proc/meminfo: memFree=30953384/32770624 swapFree=67108860/67108860 [pid=2806] ppid=2803 vsize=25996608 memory=38504 CPUtime=0.23 cores=0-7 /proc/2806/stat : 2806 (java) S 2803 2806 28956 0 -1 1077944320 10428 0 0 0 20 3 0 0 20 0 20 0 146933681 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140732371397312 140265672920823 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 /proc/2806/statm: 6499152 9626 3514 1 0 6487930 0 [pid=2806/tid=2808] ppid=2803 vsize=25996608 memory=-7677926825137650786 CPUtime=0.16 cores=0-7 /proc/2806/task/2808/stat : 2808 (java) R 2803 2806 28956 0 -1 4202560 8135 0 0 0 14 2 0 0 20 0 20 0 146933691 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140265677145808 140265672942749 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2809] ppid=2803 vsize=25996608 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/2806/task/2809/stat : 2809 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140265584826768 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2810] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2810/stat : 2810 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140265583773968 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2811] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2811/stat : 2811 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140265582721680 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2812] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2812/stat : 2812 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140265581668880 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2813] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2813/stat : 2813 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140265580616592 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2814] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2814/stat : 2814 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140265230011152 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2815] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2815/stat : 2815 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140265228958864 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2816] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2816/stat : 2816 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140265227906064 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2817] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2817/stat : 2817 (java) S 2803 2806 28956 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 146933693 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264218744944 140265672931970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2818] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2818/stat : 2818 (java) S 2803 2806 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146933694 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264217690912 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2819] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2819/stat : 2819 (java) S 2803 2806 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146933694 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264216638576 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2820] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2820/stat : 2820 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933696 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264215586896 140265672939419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2821] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2821/stat : 2821 (java) S 2803 2806 28956 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 146933696 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264214534768 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2822] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2822/stat : 2822 (java) S 2803 2806 28956 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 146933696 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264213481968 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2823] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2823/stat : 2823 (java) S 2803 2806 28956 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 146933696 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264212429680 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2824] ppid=2803 vsize=25996608 memory=0 CPUtime=0.04 cores=0-7 /proc/2806/task/2824/stat : 2824 (java) S 2803 2806 28956 0 -1 1077944384 380 0 0 0 4 0 0 0 20 0 20 0 146933696 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264211376880 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2825] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2825/stat : 2825 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933697 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264210323808 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2826] ppid=2803 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2826/stat : 2826 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933702 26620526592 9626 18446744073709551615 4194304 4196468 140732371414768 140264209271088 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 Current children cumulated CPU time: 0.23 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 38504 KiB [startup+0.701157 s] /proc/loadavg: 8.40 8.74 8.81 3/197 2826 /proc/meminfo: memFree=30939416/32770624 swapFree=67108860/67108860 [pid=2806] ppid=2803 vsize=25998676 memory=67660 CPUtime=1.01 cores=0-7 /proc/2806/stat : 2806 (java) S 2803 2806 28956 0 -1 1077944320 14161 0 0 0 96 5 0 0 20 0 20 0 146933681 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140732371397312 140265672920823 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 /proc/2806/statm: 6499669 16915 3726 1 0 6488442 0 [pid=2806/tid=2808] ppid=2803 vsize=25998676 memory=164 CPUtime=0.54 cores=0-7 /proc/2806/task/2808/stat : 2808 (java) R 2803 2806 28956 0 -1 4202560 10499 0 0 0 51 3 0 0 20 0 20 0 146933691 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140265677156368 140265262991796 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2809] ppid=2803 vsize=25998676 memory=1444 CPUtime=0 cores=0-7 /proc/2806/task/2809/stat : 2809 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140265584826768 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2810] ppid=2803 vsize=25998676 memory=1228 CPUtime=0 cores=0-7 /proc/2806/task/2810/stat : 2810 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933692 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140265583773968 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2811] ppid=2803 vsize=25998676 memory=12216 CPUtime=0 cores=0-7 /proc/2806/task/2811/stat : 2811 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933692 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140265582721680 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2812] ppid=2803 vsize=25998676 memory=1992 CPUtime=0 cores=0-7 /proc/2806/task/2812/stat : 2812 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933692 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140265581668880 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2813] ppid=2803 vsize=25998676 memory=139802483644031 CPUtime=0 cores=0-7 /proc/2806/task/2813/stat : 2813 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140265580616592 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2814] ppid=2803 vsize=25998676 memory=-7233780906022716832 CPUtime=0 cores=0-7 /proc/2806/task/2814/stat : 2814 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933692 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140265230011152 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2815] ppid=2803 vsize=25998676 memory=7812993744584928356 CPUtime=0 cores=0-7 /proc/2806/task/2815/stat : 2815 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140265228958864 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2816] ppid=2803 vsize=25998676 memory=7812993744584928356 CPUtime=0 cores=0-7 /proc/2806/task/2816/stat : 2816 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140265227906064 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2817] ppid=2803 vsize=25998676 memory=2248 CPUtime=0 cores=0-7 /proc/2806/task/2817/stat : 2817 (java) S 2803 2806 28956 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 146933693 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264218744944 140265672931970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2818] ppid=2803 vsize=25998676 memory=4300 CPUtime=0 cores=0-7 /proc/2806/task/2818/stat : 2818 (java) S 2803 2806 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146933694 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264217690912 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2819] ppid=2803 vsize=25998676 memory=932 CPUtime=0 cores=0-7 /proc/2806/task/2819/stat : 2819 (java) S 2803 2806 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146933694 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264216638576 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2820] ppid=2803 vsize=25998676 memory=1624 CPUtime=0 cores=0-7 /proc/2806/task/2820/stat : 2820 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933696 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264215586896 140265672939419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2821] ppid=2803 vsize=25998676 memory=2160 CPUtime=0.05 cores=0-7 /proc/2806/task/2821/stat : 2821 (java) R 2803 2806 28956 0 -1 4202560 538 0 0 0 5 0 0 0 20 0 20 0 146933696 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264214534896 140265658944665 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2822] ppid=2803 vsize=25998676 memory=844 CPUtime=0.07 cores=0-7 /proc/2806/task/2822/stat : 2822 (java) R 2803 2806 28956 0 -1 4202560 594 0 0 0 7 0 0 0 20 0 20 0 146933696 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264213467992 140265654464911 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2823] ppid=2803 vsize=25998676 memory=16448 CPUtime=0.1 cores=0-7 /proc/2806/task/2823/stat : 2823 (java) S 2803 2806 28956 0 -1 1077944384 333 0 0 0 10 0 0 0 20 0 20 0 146933696 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264212429680 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2824] ppid=2803 vsize=25998676 memory=4064 CPUtime=0.21 cores=0-7 /proc/2806/task/2824/stat : 2824 (java) R 2803 2806 28956 0 -1 4202560 807 0 0 0 21 0 0 0 20 0 20 0 146933696 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264211371184 140265651572417 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2825] ppid=2803 vsize=25998676 memory=4112 CPUtime=0 cores=0-7 /proc/2806/task/2825/stat : 2825 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933697 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264210323808 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2826] ppid=2803 vsize=25998676 memory=4080 CPUtime=0 cores=0-7 /proc/2806/task/2826/stat : 2826 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933702 26622644224 16915 18446744073709551615 4194304 4196468 140732371414768 140264209271088 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 Current children cumulated CPU time: 1.01 s Current children cumulated vsize: 25998676 KiB ################ # More data... # ################ Current children cumulated CPU time: 3.42 s Current children cumulated vsize: 26002772 KiB Current children cumulated memory: 190296 KiB [startup+2.88159 s] # the end of solver process 2806 was just reported to runsolver # cumulated CPU time of all completed processes: user=9.86552 s, system=0.252394 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60114 s] /proc/loadavg: 8.40 8.74 8.81 3/197 2826 /proc/meminfo: memFree=30895132/32770624 swapFree=67108860/67108860 [pid=2806] ppid=2803 vsize=26002772 memory=207248 CPUtime=3.57 cores=0-7 /proc/2806/stat : 2806 (java) S 2803 2806 28956 0 -1 1077944320 35501 0 0 0 343 14 0 0 20 0 20 0 146933681 26626838528 51300 18446744073709551615 4194304 4196468 140732371414768 140732371397312 140265672920823 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 /proc/2806/statm: 6500693 51812 3760 1 0 6489466 0 [pid=2806/tid=2808] ppid=2803 vsize=26002772 memory=0 CPUtime=1.43 cores=0-7 /proc/2806/task/2808/stat : 2808 (java) R 2803 2806 28956 0 -1 4202560 14174 0 0 0 137 6 0 0 20 0 20 0 146933691 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140265677155248 140265264796245 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2809] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2809/stat : 2809 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140265584826768 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2810] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2810/stat : 2810 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933692 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140265583773968 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2811] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2811/stat : 2811 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933692 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140265582721680 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2812] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2812/stat : 2812 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933692 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140265581668880 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2813] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2813/stat : 2813 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140265580616592 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2814] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2814/stat : 2814 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933692 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140265230011152 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2815] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2815/stat : 2815 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140265228958864 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2816] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2816/stat : 2816 (java) S 2803 2806 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146933692 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140265227906064 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2817] ppid=2803 vsize=26002772 memory=16058288 CPUtime=0 cores=0-7 /proc/2806/task/2817/stat : 2817 (java) S 2803 2806 28956 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 146933693 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264218744944 140265672931970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2818] ppid=2803 vsize=26002772 memory=139798031668640 CPUtime=0 cores=0-7 /proc/2806/task/2818/stat : 2818 (java) S 2803 2806 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146933694 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264217690912 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2819] ppid=2803 vsize=26002772 memory=139798031667760 CPUtime=0 cores=0-7 /proc/2806/task/2819/stat : 2819 (java) S 2803 2806 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146933694 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264216638576 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2820] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2820/stat : 2820 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146933696 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264215586896 140265672939419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2821] ppid=2803 vsize=26002772 memory=0 CPUtime=0.44 cores=0-7 /proc/2806/task/2821/stat : 2821 (java) S 2803 2806 28956 0 -1 1077944384 3852 0 0 0 43 1 0 0 20 0 20 0 146933696 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264214534768 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2822] ppid=2803 vsize=26002772 memory=212807755 CPUtime=0.54 cores=0-7 /proc/2806/task/2822/stat : 2822 (java) S 2803 2806 28956 0 -1 1077944384 4916 0 0 0 53 1 0 0 20 0 20 0 146933696 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264213481968 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2823] ppid=2803 vsize=26002772 memory=0 CPUtime=0.56 cores=0-7 /proc/2806/task/2823/stat : 2823 (java) S 2803 2806 28956 0 -1 1077944384 5499 0 0 0 55 1 0 0 20 0 20 0 146933696 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264212429680 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2824] ppid=2803 vsize=26002772 memory=0 CPUtime=0.54 cores=0-7 /proc/2806/task/2824/stat : 2824 (java) S 2803 2806 28956 0 -1 1077944384 5658 0 0 0 52 2 0 0 20 0 20 0 146933696 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264211376880 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2825] ppid=2803 vsize=26002772 memory=56 CPUtime=0 cores=0-7 /proc/2806/task/2825/stat : 2825 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933697 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264210323808 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2826] ppid=2803 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2826/stat : 2826 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146933702 26626838528 51812 18446744073709551615 4194304 4196468 140732371414768 140264209271088 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 Current children cumulated CPU time: 3.57 s Current children cumulated vsize: 26002772 KiB Current children cumulated memory: 207248 KiB [startup+2.40361 s] /proc/loadavg: 7.97 8.64 8.78 4/198 2827 /proc/meminfo: memFree=30749248/32770624 swapFree=67108860/67108860 [pid=2806] ppid=2803 vsize=27739616 memory=249324 CPUtime=6.6 cores=0-7 /proc/2806/stat : 2806 (java) S 2803 2806 28956 0 -1 1077944320 42311 0 0 0 642 18 0 0 20 0 46 0 146933681 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140732371397312 140265672920823 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 /proc/2806/statm: 6934904 62331 3790 1 0 6923156 0 [pid=2806/tid=2808] ppid=2803 vsize=27739616 memory=4080 CPUtime=1.97 cores=0-7 /proc/2806/task/2808/stat : 2808 (java) S 2803 2806 28956 0 -1 1077944384 15954 0 0 0 190 7 0 0 20 0 46 0 146933691 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140265677158528 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2809] ppid=2803 vsize=27739616 memory=4584 CPUtime=0 cores=0-7 /proc/2806/task/2809/stat : 2809 (java) S 2803 2806 28956 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140265584826768 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2810] ppid=2803 vsize=27739616 memory=1156 CPUtime=0 cores=0-7 /proc/2806/task/2810/stat : 2810 (java) S 2803 2806 28956 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140265583773968 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2811] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2811/stat : 2811 (java) S 2803 2806 28956 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140265582721680 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2812] ppid=2803 vsize=27739616 memory=-6585810021020737321 CPUtime=0 cores=0-7 /proc/2806/task/2812/stat : 2812 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140265581668880 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2813] ppid=2803 vsize=27739616 memory=-6151169776753792899 CPUtime=0 cores=0-7 /proc/2806/task/2813/stat : 2813 (java) S 2803 2806 28956 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140265580616592 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2814] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2814/stat : 2814 (java) S 2803 2806 28956 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140265230011152 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2815] ppid=2803 vsize=27739616 memory=6369901204263168103 CPUtime=0 cores=0-7 /proc/2806/task/2815/stat : 2815 (java) S 2803 2806 28956 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140265228958864 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2816] ppid=2803 vsize=27739616 memory=7308619173556019800 CPUtime=0 cores=0-7 /proc/2806/task/2816/stat : 2816 (java) S 2803 2806 28956 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140265227906064 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2817] ppid=2803 vsize=27739616 memory=5792262853193912400 CPUtime=0 cores=0-7 /proc/2806/task/2817/stat : 2817 (java) S 2803 2806 28956 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 46 0 146933693 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264218744944 140265672931970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2818] ppid=2803 vsize=27739616 memory=7019467087990044722 CPUtime=0 cores=0-7 /proc/2806/task/2818/stat : 2818 (java) S 2803 2806 28956 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 146933694 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264217690976 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2819] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2819/stat : 2819 (java) S 2803 2806 28956 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 146933694 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264216638592 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2820] ppid=2803 vsize=27739616 memory=3632 CPUtime=0 cores=0-7 /proc/2806/task/2820/stat : 2820 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 146933696 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264215586896 140265672939419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2821] ppid=2803 vsize=27739616 memory=756 CPUtime=0.71 cores=0-7 /proc/2806/task/2821/stat : 2821 (java) R 2803 2806 28956 0 -1 4202560 4421 0 0 0 70 1 0 0 20 0 46 0 146933696 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264214524760 140265658026906 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2822] ppid=2803 vsize=27739616 memory=242 CPUtime=0.88 cores=0-7 /proc/2806/task/2822/stat : 2822 (java) R 2803 2806 28956 0 -1 4202560 5188 0 0 0 87 1 0 0 20 0 46 0 146933696 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264213464176 140265653621127 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2823] ppid=2803 vsize=27739616 memory=1 CPUtime=0.93 cores=0-7 /proc/2806/task/2823/stat : 2823 (java) R 2803 2806 28956 0 -1 4202560 5940 0 0 0 92 1 0 0 20 0 46 0 146933696 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264212420512 140265656908305 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2824] ppid=2803 vsize=27739616 memory=248 CPUtime=0.76 cores=0-7 /proc/2806/task/2824/stat : 2824 (java) R 2803 2806 28956 0 -1 1077944384 7763 0 0 0 74 2 0 0 20 0 46 0 146933696 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264211376880 140265672931970 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2825] ppid=2803 vsize=27739616 memory=87 CPUtime=0 cores=0-7 /proc/2806/task/2825/stat : 2825 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 146933697 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264210323808 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2826] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2826/stat : 2826 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 146933702 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264209271088 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2827] ppid=2803 vsize=27739616 memory=9905 CPUtime=0 cores=0-7 /proc/2806/task/2827/stat : 2827 (java) S 2803 2806 28956 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 146933872 28405366784 62331 18446744073709551615 4194304 4196468 140732371414768 140264198980512 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 Current children cumulated CPU time: 6.6 s Current children cumulated vsize: 27739616 KiB Current children cumulated memory: 249324 KiB [startup+2.80086 s] /proc/loadavg: 7.97 8.64 8.78 4/198 2827 /proc/meminfo: memFree=30749248/32770624 swapFree=67108860/67108860 [pid=2806] ppid=2803 vsize=27739616 memory=274472 CPUtime=9.69 cores=0-7 /proc/2806/stat : 2806 (java) S 2803 2806 28956 0 -1 1077944320 43682 0 0 0 946 23 0 0 20 0 46 0 146933681 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140732371397312 140265672920823 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 /proc/2806/statm: 6934904 68618 3807 1 0 6923156 0 [pid=2806/tid=2808] ppid=2803 vsize=27739616 memory=4951091520830867572 CPUtime=1.97 cores=0-7 /proc/2806/task/2808/stat : 2808 (java) S 2803 2806 28956 0 -1 1077944384 15954 0 0 0 190 7 0 0 20 0 46 0 146933691 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140265677158528 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2809] ppid=2803 vsize=27739616 memory=-8412652169255943836 CPUtime=0 cores=0-7 /proc/2806/task/2809/stat : 2809 (java) S 2803 2806 28956 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140265584826768 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2810] ppid=2803 vsize=27739616 memory=7965587301771651659 CPUtime=0 cores=0-7 /proc/2806/task/2810/stat : 2810 (java) S 2803 2806 28956 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140265583773968 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2811] ppid=2803 vsize=27739616 memory=4572175727738654070 CPUtime=0 cores=0-7 /proc/2806/task/2811/stat : 2811 (java) S 2803 2806 28956 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140265582721680 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2812] ppid=2803 vsize=27739616 memory=-7605839032859457217 CPUtime=0 cores=0-7 /proc/2806/task/2812/stat : 2812 (java) S 2803 2806 28956 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140265581668880 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2813] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2813/stat : 2813 (java) S 2803 2806 28956 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140265580616592 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2814] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2814/stat : 2814 (java) S 2803 2806 28956 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140265230011152 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2815] ppid=2803 vsize=27739616 memory=7593466331088186704 CPUtime=0 cores=0-7 /proc/2806/task/2815/stat : 2815 (java) S 2803 2806 28956 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140265228958864 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2816] ppid=2803 vsize=27739616 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/2806/task/2816/stat : 2816 (java) S 2803 2806 28956 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 46 0 146933692 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140265227906064 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2817] ppid=2803 vsize=27739616 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/2806/task/2817/stat : 2817 (java) S 2803 2806 28956 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 46 0 146933693 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264218744944 140265672931970 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2818] ppid=2803 vsize=27739616 memory=15254848484411052 CPUtime=0 cores=0-7 /proc/2806/task/2818/stat : 2818 (java) S 2803 2806 28956 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 146933694 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264217690976 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2819] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2819/stat : 2819 (java) S 2803 2806 28956 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 146933694 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264216638592 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2820] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2820/stat : 2820 (java) S 2803 2806 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 146933696 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264215586896 140265672939419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2821] ppid=2803 vsize=27739616 memory=0 CPUtime=0.98 cores=0-7 /proc/2806/task/2821/stat : 2821 (java) R 2803 2806 28956 0 -1 4202560 4671 0 0 0 97 1 0 0 20 0 46 0 146933696 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264214534688 140265654464913 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2822] ppid=2803 vsize=27739616 memory=0 CPUtime=1.16 cores=0-7 /proc/2806/task/2822/stat : 2822 (java) R 2803 2806 28956 0 -1 4202560 5472 0 0 0 115 1 0 0 20 0 46 0 146933696 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264213482264 140265654465041 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2823] ppid=2803 vsize=27739616 memory=0 CPUtime=1.15 cores=0-7 /proc/2806/task/2823/stat : 2823 (java) R 2803 2806 28956 0 -1 4202560 6026 0 0 0 113 2 0 0 20 0 46 0 146933696 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264212421008 140265653099970 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2824] ppid=2803 vsize=27739616 memory=0 CPUtime=0.84 cores=0-7 /proc/2806/task/2824/stat : 2824 (java) S 2803 2806 28956 0 -1 1077944384 8105 0 0 0 82 2 0 0 20 0 46 0 146933696 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264211376880 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2825] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2825/stat : 2825 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 146933697 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264210323808 140265672931029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2826] ppid=2803 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/2806/task/2826/stat : 2826 (java) S 2803 2806 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 146933702 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264209271088 140265672931970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 [pid=2806/tid=2827] ppid=2803 vsize=27739616 memory=6944656575208382560 CPUtime=0.01 cores=0-7 /proc/2806/task/2827/stat : 2827 (java) R 2803 2806 28956 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 46 0 146933872 28405366784 68618 18446744073709551615 4194304 4196468 140732371414768 140264198980400 140265672931029 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140732371419500 140732371419685 140732371419685 140732371423183 0 Current children cumulated CPU time: 9.69 s Current children cumulated vsize: 27739616 KiB Current children cumulated memory: 274472 KiB Child status: 0 Real time (s): 2.88166 CPU time (s): 10.1179 CPU user time (s): 9.86552 CPU system time (s): 0.252394 CPU usage (%): 351.114 Max. virtual memory (cumulated for all children) (KiB): 27739616 Max. memory (cumulated for all children) (KiB): 274472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.86552 system time used= 0.252394 maximum resident set size= 277192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43965 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6889 involuntary context switches= 385 # summary of solver processes directly reported to runsolver: # pid: 2806 # total CPU time (s): 10.1179 # total CPU user time (s): 9.86552 # total CPU system time (s): 0.252394 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.043975 second user time and 0.064919 second system time The end
Begin job on node127 at 2017-08-23 02:02:35 IDJOB=4284877 IDBENCH=134662 IDSOLVER=2681 FILE ID=node127/4284877-1503447408 RUNJOBID= node127-1503398602-29012 PBS_JOBID= Free space on /tmp= 62032 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-routing/Pb-routing-s3-3-3-1.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284877-1503447408/watcher-4284877-1503447408 -o /tmp/evaluation-result-4284877-1503447408/solver-4284877-1503447408 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1503398602-29012 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 566620269 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284877-1503447408.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d246e7ee644c503b58cd0ccaee57aa1d RANDOM SEED=566620269 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30977412 kB MemAvailable: 31946196 kB Buffers: 319336 kB Cached: 960076 kB SwapCached: 0 kB Active: 929428 kB Inactive: 409760 kB Active(anon): 10476 kB Inactive(anon): 107320 kB Active(file): 918952 kB Inactive(file): 302440 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42472 kB Writeback: 0 kB AnonPages: 59784 kB Mapped: 70260 kB Shmem: 58020 kB Slab: 152752 kB SReclaimable: 126452 kB SUnreclaim: 26300 kB KernelStack: 3120 kB PageTables: 5092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 334020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61988 MiB End job on node127 at 2017-08-23 02:02:38