Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 7.96697 | 2.395 |
Name | CostasArray/CostasArray-m1-s1/ CostasArray-13.xml |
MD5SUM | de2f443ecf68ff3052dd9905ee2aa615 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.194346 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 88 |
Number of constraints | 87 |
Number of domains | 2 |
Minimum domain size | 13 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":13,"count":13},{"size":24,"count":75}] |
Minimum variable degree | 2 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":2,"count":75},{"degree":12,"count":2},{"degree":13,"count":11}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 13 |
Distribution of constraint arities | [{"arity":3,"count":76},{"arity":4,"count":2},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 76 |
Distribution of constraint types | [{"type":"intension","count":76},{"type":"allDifferent","count":11}] |
Optimization problem | NO |
Type of objective |
0.29/0.25 c version: 2017-08-22 0.29/0.25 c seed: 2088902423 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 22000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 0.85/0.60 c Parsing done, starting search... 7.62/2.37 s SATISFIABLE 7.62/2.37 v <instantiation> 7.62/2.37 v <list> 7.62/2.37 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] y[72] y[73] y[74] 7.62/2.37 v </list> 7.62/2.37 v <values> 7.62/2.37 v 13 12 6 1 10 2 8 11 4 5 3 7 9 1 6 5 -9 8 -6 -3 7 -1 2 -4 -2 7 11 -4 -1 2 -9 4 6 1 -2 -6 12 2 4 -7 -1 -2 3 8 -3 -4 3 10 -2 -10 6 -3 5 4 -5 11 4 -5 -3 5 -1 1 2 5 1 2 -4 7 -5 -1 2 8 1 -2 3 -7 9 7 3 -6 1 8 9 -1 -8 10 5 -3 7.62/2.37 v </values> 7.62/2.37 v </instantiation>
OK
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 (9527 MiB free) memory of node 1: 16384 MiB (9319 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285109-1503415255/watcher-4285109-1503415255 -o /tmp/evaluation-result-4285109-1503415255/solver-4285109-1503415255 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503414386-29241 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2088902423 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285109-1503415255.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 Current StackSize limit: 8192 KiB solver pid=29365, runsolver pid=29362 [startup+0.100139 s]* /proc/loadavg: 7.50 7.78 7.96 1/198 29385 /proc/meminfo: memFree=19280572/32770624 swapFree=67108860/67108860 [pid=29365] ppid=29362 vsize=26000852 memory=31864 CPUtime=0.12 cores=0-7 /proc/29365/stat : 29365 (java) S 29362 29365 29214 0 -1 1077944320 8386 0 0 0 10 2 0 0 20 0 20 0 174613033 26624872448 7966 33554432000 4194304 4196468 140729734218608 140729734201152 140695527137015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 /proc/29365/statm: 6500213 7966 3410 1 0 6487932 0 [pid=29365/tid=29367] ppid=29362 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/29365/task/29367/stat : 29367 (java) R 29362 29365 29214 0 -1 4202560 6336 0 0 0 7 2 0 0 20 0 20 0 174613033 26624872448 7966 33554432000 4194304 4196468 140729734218608 140695531353696 140695511217502 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29368] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29368/stat : 29368 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 7966 33554432000 4194304 4196468 140729734218608 140695479757328 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29369] ppid=29362 vsize=26000852 memory=139854978565760 CPUtime=0 cores=0-7 /proc/29365/task/29369/stat : 29369 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 7966 33554432000 4194304 4196468 140729734218608 140695084333712 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29370] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29370/stat : 29370 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 7966 33554432000 4194304 4196468 140729734218608 140695083280656 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29371] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29371/stat : 29371 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 7966 33554432000 4194304 4196468 140729734218608 140695082228112 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29372] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29372/stat : 29372 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 7966 33554432000 4194304 4196468 140729734218608 140695081176080 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29373] ppid=29362 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/29365/task/29373/stat : 29373 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 7966 33554432000 4194304 4196468 140729734218608 140695080123536 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29374] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29374/stat : 29374 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 7966 33554432000 4194304 4196468 140729734218608 140695079070480 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29375] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29375/stat : 29375 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 7966 33554432000 4194304 4196468 140729734218608 140695078017936 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29376] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29376/stat : 29376 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613035 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694654998768 140695527148162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29377] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29377/stat : 29377 (java) S 29362 29365 29214 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174613036 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694653944992 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29378] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29378/stat : 29378 (java) S 29362 29365 29214 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174613036 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694652891888 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29379] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29379/stat : 29379 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694651840464 140695527155611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29380] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29380/stat : 29380 (java) S 29362 29365 29214 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694650788592 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29381] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29381/stat : 29381 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694649736048 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29382] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29382/stat : 29382 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694648682992 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29383] ppid=29362 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7 /proc/29365/task/29383/stat : 29383 (java) S 29362 29365 29214 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 20 0 174613038 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694647630448 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29384] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29384/stat : 29384 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694646577632 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29385] ppid=29362 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/29365/task/29385/stat : 29385 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 7966 33554432000 4194304 4196468 140729734218608 140694645525168 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 31864 KiB [startup+0.209707 s]* /proc/loadavg: 7.50 7.78 7.96 3/198 29385 /proc/meminfo: memFree=19272484/32770624 swapFree=67108860/67108860 [pid=29365] ppid=29362 vsize=26000852 memory=41040 CPUtime=0.29 cores=0-7 /proc/29365/stat : 29365 (java) S 29362 29365 29214 0 -1 1077944320 9367 0 0 0 26 3 0 0 20 0 20 0 174613033 26624872448 10260 33554432000 4194304 4196468 140729734218608 140729734201152 140695527137015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 /proc/29365/statm: 6500213 10260 3621 1 0 6487932 0 [pid=29365/tid=29367] ppid=29362 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/29365/task/29367/stat : 29367 (java) R 29362 29365 29214 0 -1 4202560 6961 0 0 0 17 2 0 0 20 0 20 0 174613033 26624872448 10260 33554432000 4194304 4196468 140729734218608 140695531357088 140695511180645 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29368] ppid=29362 vsize=26000852 memory=3210 CPUtime=0 cores=0-7 /proc/29365/task/29368/stat : 29368 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 10260 33554432000 4194304 4196468 140729734218608 140695479757328 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29369] ppid=29362 vsize=26000852 memory=4049492987365115552 CPUtime=0 cores=0-7 /proc/29365/task/29369/stat : 29369 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 10260 33554432000 4194304 4196468 140729734218608 140695084333712 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29370] ppid=29362 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/29365/task/29370/stat : 29370 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 10260 33554432000 4194304 4196468 140729734218608 140695083280656 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29371] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29371/stat : 29371 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 10260 33554432000 4194304 4196468 140729734218608 140695082228112 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29372] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29372/stat : 29372 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 10260 33554432000 4194304 4196468 140729734218608 140695081176080 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29373] ppid=29362 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/29365/task/29373/stat : 29373 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 10260 33554432000 4194304 4196468 140729734218608 140695080123536 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29374] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29374/stat : 29374 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 10260 33554432000 4194304 4196468 140729734218608 140695079070480 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29375] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29375/stat : 29375 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624872448 10260 33554432000 4194304 4196468 140729734218608 140695078017936 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29376] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29376/stat : 29376 (java) S 29362 29365 29214 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174613035 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694654998768 140695527148162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29377] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29377/stat : 29377 (java) S 29362 29365 29214 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174613036 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694653944992 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29378] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29378/stat : 29378 (java) S 29362 29365 29214 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174613036 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694652891888 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29379] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29379/stat : 29379 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694651840464 140695527155611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29380] ppid=29362 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/29365/task/29380/stat : 29380 (java) S 29362 29365 29214 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 174613038 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694650788592 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29381] ppid=29362 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/29365/task/29381/stat : 29381 (java) S 29362 29365 29214 0 -1 1077944384 139 0 0 0 1 0 0 0 20 0 20 0 174613038 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694649736048 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29382] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29382/stat : 29382 (java) S 29362 29365 29214 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694648682992 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29383] ppid=29362 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/29365/task/29383/stat : 29383 (java) R 29362 29365 29214 0 -1 4202560 376 0 0 0 5 0 0 0 20 0 20 0 174613038 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694647630448 140695505940152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29384] ppid=29362 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29384/stat : 29384 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694646577632 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29385] ppid=29362 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/29365/task/29385/stat : 29385 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613038 26624872448 10260 33554432000 4194304 4196468 140729734218608 140694645525168 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 41040 KiB [startup+0.30948 s]* /proc/loadavg: 7.50 7.78 7.96 2/198 29385 /proc/meminfo: memFree=19265180/32770624 swapFree=67108860/67108860 [pid=29365] ppid=29362 vsize=26000872 memory=49368 CPUtime=0.48 cores=0-7 /proc/29365/stat : 29365 (java) S 29362 29365 29214 0 -1 1077944320 10674 0 0 0 45 3 0 0 20 0 20 0 174613033 26624892928 12342 33554432000 4194304 4196468 140729734218608 140729734201152 140695527137015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 /proc/29365/statm: 6500218 12342 3721 1 0 6487932 0 [pid=29365/tid=29367] ppid=29362 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29365/task/29367/stat : 29367 (java) R 29362 29365 29214 0 -1 4202560 7728 0 0 0 27 2 0 0 20 0 20 0 174613033 26624892928 12342 33554432000 4194304 4196468 140729734218608 140695531365552 140695511357248 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29368] ppid=29362 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29368/stat : 29368 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26624892928 12342 33554432000 4194304 4196468 140729734218608 140695479757328 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29369] ppid=29362 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29369/stat : 29369 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26624892928 12342 33554432000 4194304 4196468 140729734218608 140695084333712 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29370] ppid=29362 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29370/stat : 29370 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26624892928 12342 33554432000 4194304 4196468 140729734218608 140695083280656 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29371] ppid=29362 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29371/stat : 29371 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624892928 12342 33554432000 4194304 4196468 140729734218608 140695082228112 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29372] ppid=29362 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/29365/task/29372/stat : 29372 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26624892928 12342 33554432000 4194304 4196468 140729734218608 140695081176080 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29373] ppid=29362 vsize=26000872 memory=139854872671151 CPUtime=0 cores=0-7 /proc/29365/task/29373/stat : 29373 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624892928 12342 33554432000 4194304 4196468 140729734218608 140695080123536 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29374] ppid=29362 vsize=26000872 memory=139854872673456 CPUtime=0 cores=0-7 /proc/29365/task/29374/stat : 29374 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624892928 12342 33554432000 4194304 4196468 140729734218608 140695079070480 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29375] ppid=29362 vsize=26000872 memory=139854872675760 CPUtime=0 cores=0-7 /proc/29365/task/29375/stat : 29375 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26624892928 12342 33554432000 4194304 4196468 140729734218608 140695078017936 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29376] ppid=29362 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29376/stat : 29376 (java) S 29362 29365 29214 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174613035 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694654998768 140695527148162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29377] ppid=29362 vsize=26000872 memory=279709745358480 CPUtime=0 cores=0-7 /proc/29365/task/29377/stat : 29377 (java) S 29362 29365 29214 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174613036 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694653944992 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29378] ppid=29362 vsize=26000872 memory=279709745365392 CPUtime=0 cores=0-7 /proc/29365/task/29378/stat : 29378 (java) S 29362 29365 29214 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174613036 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694652891888 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29379] ppid=29362 vsize=26000872 memory=279709745306672 CPUtime=0 cores=0-7 /proc/29365/task/29379/stat : 29379 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613038 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694651840464 140695527155611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29380] ppid=29362 vsize=26000872 memory=279709745379216 CPUtime=0.02 cores=0-7 /proc/29365/task/29380/stat : 29380 (java) R 29362 29365 29214 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 174613038 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694650788592 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29381] ppid=29362 vsize=26000872 memory=279709745386128 CPUtime=0.04 cores=0-7 /proc/29365/task/29381/stat : 29381 (java) R 29362 29365 29214 0 -1 1077944384 339 0 0 0 4 0 0 0 20 0 20 0 174613038 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694649736048 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29382] ppid=29362 vsize=26000872 memory=279709745383824 CPUtime=0.03 cores=0-7 /proc/29365/task/29382/stat : 29382 (java) S 29362 29365 29214 0 -1 1077944384 259 0 0 0 3 0 0 0 20 0 20 0 174613038 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694648682992 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29383] ppid=29362 vsize=26000872 memory=279709745400432 CPUtime=0.08 cores=0-7 /proc/29365/task/29383/stat : 29383 (java) R 29362 29365 29214 0 -1 4202560 512 0 0 0 8 0 0 0 20 0 20 0 174613038 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694647630448 140695511217502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29384] ppid=29362 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29384/stat : 29384 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613038 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694646577632 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29385] ppid=29362 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/29365/task/29385/stat : 29385 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613038 26624892928 12342 33554432000 4194304 4196468 140729734218608 140694645525168 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49368 KiB [startup+0.700794 s] /proc/loadavg: 7.50 7.78 7.96 3/198 29385 /proc/meminfo: memFree=19251952/32770624 swapFree=67108860/67108860 [pid=29365] ppid=29362 vsize=26004968 memory=77740 CPUtime=1.16 cores=0-7 /proc/29365/stat : 29365 (java) S 29362 29365 29214 0 -1 1077944320 13023 0 0 0 111 5 0 0 20 0 20 0 174613033 26629087232 19435 33554432000 4194304 4196468 140729734218608 140729734201152 140695527137015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 /proc/29365/statm: 6501242 19435 3767 1 0 6488956 0 [pid=29365/tid=29367] ppid=29362 vsize=26004968 memory=0 CPUtime=0.67 cores=0-7 /proc/29365/task/29367/stat : 29367 (java) R 29362 29365 29214 0 -1 4202560 9299 0 0 0 64 3 0 0 20 0 20 0 174613033 26629087232 19435 33554432000 4194304 4196468 140729734218608 140695531372208 140695511217502 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29368] ppid=29362 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29368/stat : 29368 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26629087232 19435 33554432000 4194304 4196468 140729734218608 140695479757328 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29369] ppid=29362 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29369/stat : 29369 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26629087232 19435 33554432000 4194304 4196468 140729734218608 140695084333712 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29370] ppid=29362 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29370/stat : 29370 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26629087232 19435 33554432000 4194304 4196468 140729734218608 140695083280656 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29371] ppid=29362 vsize=26004968 memory=1720 CPUtime=0 cores=0-7 /proc/29365/task/29371/stat : 29371 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26629087232 19435 33554432000 4194304 4196468 140729734218608 140695082228112 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29372] ppid=29362 vsize=26004968 memory=1004 CPUtime=0 cores=0-7 /proc/29365/task/29372/stat : 29372 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26629087232 19435 33554432000 4194304 4196468 140729734218608 140695081176080 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29373] ppid=29362 vsize=26004968 memory=1436 CPUtime=0 cores=0-7 /proc/29365/task/29373/stat : 29373 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26629087232 19435 33554432000 4194304 4196468 140729734218608 140695080123536 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29374] ppid=29362 vsize=26004968 memory=1200 CPUtime=0 cores=0-7 /proc/29365/task/29374/stat : 29374 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26629087232 19435 33554432000 4194304 4196468 140729734218608 140695079070480 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29375] ppid=29362 vsize=26004968 memory=15876 CPUtime=0 cores=0-7 /proc/29365/task/29375/stat : 29375 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26629087232 19435 33554432000 4194304 4196468 140729734218608 140695078017936 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29376] ppid=29362 vsize=26004968 memory=4040 CPUtime=0 cores=0-7 /proc/29365/task/29376/stat : 29376 (java) S 29362 29365 29214 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174613035 26629087232 19435 33554432000 4194304 4196468 140729734218608 140694654998768 140695527148162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 ################ # More data... # ################ [pid=29365/tid=29384] ppid=29362 vsize=26004968 memory=10088 CPUtime=0 cores=0-7 /proc/29365/task/29384/stat : 29384 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613038 26629087232 19435 33554432000 4194304 4196468 140729734218608 140694646577632 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29385] ppid=29362 vsize=26004968 memory=1948 CPUtime=0 cores=0-7 /proc/29365/task/29385/stat : 29385 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613038 26629087232 19435 33554432000 4194304 4196468 140729734218608 140694645525168 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 Current children cumulated CPU time: 1.16 s Current children cumulated vsize: 26004968 KiB Current children cumulated memory: 77740 KiB [startup+1.50073 s]* /proc/loadavg: 7.50 7.78 7.96 3/198 29385 /proc/meminfo: memFree=19119676/32770624 swapFree=67108860/67108860 [pid=29365] ppid=29362 vsize=26007016 memory=197160 CPUtime=3.63 cores=0-7 /proc/29365/stat : 29365 (java) S 29362 29365 29214 0 -1 1077944320 29740 0 0 0 353 10 0 0 20 0 20 0 174613033 26631184384 49290 33554432000 4194304 4196468 140729734218608 140729734201152 140695527137015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 /proc/29365/statm: 6501754 49290 3798 1 0 6489468 0 [pid=29365/tid=29367] ppid=29362 vsize=26007016 memory=0 CPUtime=1.48 cores=0-7 /proc/29365/task/29367/stat : 29367 (java) R 29362 29365 29214 0 -1 4202560 11341 0 0 0 143 5 0 0 20 0 20 0 174613033 26631184384 49290 33554432000 4194304 4196468 140729734218608 140695531370792 140695163878621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29368] ppid=29362 vsize=26007016 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29368/stat : 29368 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26631184384 49290 33554432000 4194304 4196468 140729734218608 140695479757328 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29369] ppid=29362 vsize=26007016 memory=139854978565760 CPUtime=0 cores=0-7 /proc/29365/task/29369/stat : 29369 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26631184384 49290 33554432000 4194304 4196468 140729734218608 140695084333712 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29370] ppid=29362 vsize=26007016 memory=139854872610447 CPUtime=0 cores=0-7 /proc/29365/task/29370/stat : 29370 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613034 26631184384 49290 33554432000 4194304 4196468 140729734218608 140695083280656 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29371] ppid=29362 vsize=26007016 memory=190869240 CPUtime=0 cores=0-7 /proc/29365/task/29371/stat : 29371 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26631184384 49290 33554432000 4194304 4196468 140729734218608 140695082228112 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29372] ppid=29362 vsize=26007016 memory=5794005527938229861 CPUtime=0 cores=0-7 /proc/29365/task/29372/stat : 29372 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613034 26631184384 49290 33554432000 4194304 4196468 140729734218608 140695081176080 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29373] ppid=29362 vsize=26007016 memory=4049352032995259679 CPUtime=0 cores=0-7 /proc/29365/task/29373/stat : 29373 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26631184384 49290 33554432000 4194304 4196468 140729734218608 140695080123536 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29374] ppid=29362 vsize=26007016 memory=7588684550706915689 CPUtime=0 cores=0-7 /proc/29365/task/29374/stat : 29374 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26631184384 49290 33554432000 4194304 4196468 140729734218608 140695079070480 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29375] ppid=29362 vsize=26007016 memory=8316850467074736180 CPUtime=0 cores=0-7 /proc/29365/task/29375/stat : 29375 (java) S 29362 29365 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174613034 26631184384 49290 33554432000 4194304 4196468 140729734218608 140695078017936 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29376] ppid=29362 vsize=26007016 memory=3214 CPUtime=0 cores=0-7 /proc/29365/task/29376/stat : 29376 (java) S 29362 29365 29214 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 174613035 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694654998768 140695527148162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29377] ppid=29362 vsize=26007016 memory=867321 CPUtime=0 cores=0-7 /proc/29365/task/29377/stat : 29377 (java) S 29362 29365 29214 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174613036 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694653944992 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29378] ppid=29362 vsize=26007016 memory=-7384994778349281184 CPUtime=0 cores=0-7 /proc/29365/task/29378/stat : 29378 (java) S 29362 29365 29214 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174613036 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694652891888 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29379] ppid=29362 vsize=26007016 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29379/stat : 29379 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174613038 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694651840464 140695527155611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29380] ppid=29362 vsize=26007016 memory=0 CPUtime=0.54 cores=0-7 /proc/29365/task/29380/stat : 29380 (java) R 29362 29365 29214 0 -1 4202560 2965 0 0 0 53 1 0 0 20 0 20 0 174613038 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694650788592 140695510623878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29381] ppid=29362 vsize=26007016 memory=0 CPUtime=0.51 cores=0-7 /proc/29365/task/29381/stat : 29381 (java) S 29362 29365 29214 0 -1 1077944384 3469 0 0 0 51 0 0 0 20 0 20 0 174613038 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694649736048 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29382] ppid=29362 vsize=26007016 memory=0 CPUtime=0.54 cores=0-7 /proc/29365/task/29382/stat : 29382 (java) S 29362 29365 29214 0 -1 1077944384 3308 0 0 0 53 1 0 0 20 0 20 0 174613038 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694648682992 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29383] ppid=29362 vsize=26007016 memory=0 CPUtime=0.51 cores=0-7 /proc/29365/task/29383/stat : 29383 (java) S 29362 29365 29214 0 -1 1077944384 7255 0 0 0 50 1 0 0 20 0 20 0 174613038 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694647630448 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29384] ppid=29362 vsize=26007016 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29384/stat : 29384 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174613038 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694646577632 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29385] ppid=29362 vsize=26007016 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29385/stat : 29385 (java) S 29362 29365 29214 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 174613038 26631184384 49290 33554432000 4194304 4196468 140729734218608 140694645525168 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 Current children cumulated CPU time: 3.63 s Current children cumulated vsize: 26007016 KiB Current children cumulated memory: 197160 KiB [startup+2.39496 s] # the end of solver process 29365 was just reported to runsolver # cumulated CPU time of all completed processes: user=7.73783 s, system=0.229133 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2.10084 s] /proc/loadavg: 7.50 7.78 7.96 3/198 29385 /proc/meminfo: memFree=19119676/32770624 swapFree=67108860/67108860 [pid=29365] ppid=29362 vsize=27277912 memory=264188 CPUtime=6.04 cores=0-7 /proc/29365/stat : 29365 (java) S 29362 29365 29214 0 -1 1077944320 34631 0 0 0 586 18 0 0 20 0 39 0 174613033 27932581888 66047 33554432000 4194304 4196468 140729734218608 140729734201152 140695527137015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 /proc/29365/statm: 6819478 66047 3828 1 0 6806671 0 [pid=29365/tid=29367] ppid=29362 vsize=27277912 memory=0 CPUtime=1.86 cores=0-7 /proc/29365/task/29367/stat : 29367 (java) S 29362 29365 29214 0 -1 1077944384 12883 0 0 0 180 6 0 0 20 0 39 0 174613033 27932581888 66047 33554432000 4194304 4196468 140729734218608 140695531374720 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29368] ppid=29362 vsize=27277912 memory=0 CPUtime=0.01 cores=0-7 /proc/29365/task/29368/stat : 29368 (java) S 29362 29365 29214 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 39 0 174613034 27932581888 66047 33554432000 4194304 4196468 140729734218608 140695479757328 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29369] ppid=29362 vsize=27277912 memory=0 CPUtime=0.01 cores=0-7 /proc/29365/task/29369/stat : 29369 (java) S 29362 29365 29214 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 39 0 174613034 27932581888 66047 33554432000 4194304 4196468 140729734218608 140695084333712 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29370] ppid=29362 vsize=27277912 memory=0 CPUtime=0.01 cores=0-7 /proc/29365/task/29370/stat : 29370 (java) S 29362 29365 29214 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 39 0 174613034 27932581888 66047 33554432000 4194304 4196468 140729734218608 140695083280656 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29371] ppid=29362 vsize=27277912 memory=4132 CPUtime=0.01 cores=0-7 /proc/29365/task/29371/stat : 29371 (java) S 29362 29365 29214 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 39 0 174613034 27932581888 66047 33554432000 4194304 4196468 140729734218608 140695082228112 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29372] ppid=29362 vsize=27277912 memory=0 CPUtime=0.01 cores=0-7 /proc/29365/task/29372/stat : 29372 (java) S 29362 29365 29214 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 39 0 174613034 27932581888 66047 33554432000 4194304 4196468 140729734218608 140695081176080 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29373] ppid=29362 vsize=27277912 memory=139854872884672 CPUtime=0 cores=0-7 /proc/29365/task/29373/stat : 29373 (java) S 29362 29365 29214 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 39 0 174613034 27932581888 66047 33554432000 4194304 4196468 140729734218608 140695080123536 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29374] ppid=29362 vsize=27277912 memory=0 CPUtime=0.02 cores=0-7 /proc/29365/task/29374/stat : 29374 (java) S 29362 29365 29214 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 39 0 174613034 27932581888 66047 33554432000 4194304 4196468 140729734218608 140695079070480 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29375] ppid=29362 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29375/stat : 29375 (java) S 29362 29365 29214 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 39 0 174613034 27932581888 66047 33554432000 4194304 4196468 140729734218608 140695078017936 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29376] ppid=29362 vsize=27277912 memory=0 CPUtime=0.01 cores=0-7 /proc/29365/task/29376/stat : 29376 (java) S 29362 29365 29214 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 39 0 174613035 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694654998768 140695527148162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29377] ppid=29362 vsize=27277912 memory=14190571949013 CPUtime=0 cores=0-7 /proc/29365/task/29377/stat : 29377 (java) S 29362 29365 29214 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 39 0 174613036 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694653945056 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29378] ppid=29362 vsize=27277912 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/29365/task/29378/stat : 29378 (java) S 29362 29365 29214 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 39 0 174613036 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694652891904 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29379] ppid=29362 vsize=27277912 memory=797947 CPUtime=0 cores=0-7 /proc/29365/task/29379/stat : 29379 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 39 0 174613038 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694651840464 140695527155611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29380] ppid=29362 vsize=27277912 memory=0 CPUtime=0.75 cores=0-7 /proc/29365/task/29380/stat : 29380 (java) S 29362 29365 29214 0 -1 1077944384 3066 0 0 0 74 1 0 0 20 0 39 0 174613038 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694650788592 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29381] ppid=29362 vsize=27277912 memory=0 CPUtime=0.74 cores=0-7 /proc/29365/task/29381/stat : 29381 (java) S 29362 29365 29214 0 -1 1077944384 3645 0 0 0 73 1 0 0 20 0 39 0 174613038 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694649736048 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29382] ppid=29362 vsize=27277912 memory=0 CPUtime=0.78 cores=0-7 /proc/29365/task/29382/stat : 29382 (java) R 29362 29365 29214 0 -1 4202560 3417 0 0 0 77 1 0 0 20 0 39 0 174613038 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694648674272 140695507721193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29383] ppid=29362 vsize=27277912 memory=0 CPUtime=0.68 cores=0-7 /proc/29365/task/29383/stat : 29383 (java) S 29362 29365 29214 0 -1 1077944384 8721 0 0 0 66 2 0 0 20 0 39 0 174613038 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694647630448 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29384] ppid=29362 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29384/stat : 29384 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 39 0 174613038 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694646577632 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29385] ppid=29362 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/29365/task/29385/stat : 29385 (java) S 29362 29365 29214 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 39 0 174613038 27932581888 66047 33554432000 4194304 4196468 140729734218608 140694645525168 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 Current children cumulated CPU time: 6.04 s Current children cumulated vsize: 27277912 KiB Current children cumulated memory: 264188 KiB [startup+2.30282 s] /proc/loadavg: 7.50 7.78 7.96 3/198 29385 /proc/meminfo: memFree=19119676/32770624 swapFree=67108860/67108860 [pid=29365] ppid=29362 vsize=27278940 memory=265880 CPUtime=7.62 cores=0-7 /proc/29365/stat : 29365 (java) S 29362 29365 29214 0 -1 1077944320 35146 0 0 0 743 19 0 0 20 0 40 0 174613033 27933634560 66470 33554432000 4194304 4196468 140729734218608 140729734201152 140695527137015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 /proc/29365/statm: 6819735 66470 3830 1 0 6806928 0 [pid=29365/tid=29367] ppid=29362 vsize=27345504 memory=780 CPUtime=1.86 cores=0-7 /proc/29365/task/29367/stat : 29367 (java) S 29362 29365 29214 0 -1 1077944384 12883 0 0 0 180 6 0 0 20 0 41 0 174613033 28001796096 66471 33554432000 4194304 4196468 140729734218608 140695531374720 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29368] ppid=29362 vsize=27345504 memory=279709745495728 CPUtime=0.01 cores=0-7 /proc/29365/task/29368/stat : 29368 (java) S 29362 29365 29214 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 41 0 174613034 28001796096 66471 33554432000 4194304 4196468 140729734218608 140695479757328 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29369] ppid=29362 vsize=27345504 memory=288230621803970871 CPUtime=0.01 cores=0-7 /proc/29365/task/29369/stat : 29369 (java) S 29362 29365 29214 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 41 0 174613034 28001796096 66471 33554432000 4194304 4196468 140729734218608 140695084333712 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29370] ppid=29362 vsize=27345504 memory=14132242834276011 CPUtime=0.01 cores=0-7 /proc/29365/task/29370/stat : 29370 (java) S 29362 29365 29214 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 41 0 174613034 28001796096 66471 33554432000 4194304 4196468 140729734218608 140695083280656 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29371] ppid=29362 vsize=27345504 memory=526 CPUtime=0.01 cores=0-7 /proc/29365/task/29371/stat : 29371 (java) S 29362 29365 29214 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 41 0 174613034 28001796096 66471 33554432000 4194304 4196468 140729734218608 140695082228112 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29372] ppid=29362 vsize=27345504 memory=1770 CPUtime=0.01 cores=0-7 /proc/29365/task/29372/stat : 29372 (java) S 29362 29365 29214 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 41 0 174613034 28001796096 66471 33554432000 4194304 4196468 140729734218608 140695081176080 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29373] ppid=29362 vsize=27345504 memory=403 CPUtime=0 cores=0-7 /proc/29365/task/29373/stat : 29373 (java) S 29362 29365 29214 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 41 0 174613034 28001796096 66471 33554432000 4194304 4196468 140729734218608 140695080123536 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29374] ppid=29362 vsize=27345504 memory=57 CPUtime=0.02 cores=0-7 /proc/29365/task/29374/stat : 29374 (java) S 29362 29365 29214 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 41 0 174613034 28001796096 66471 33554432000 4194304 4196468 140729734218608 140695079070480 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29375] ppid=29362 vsize=27345504 memory=279709745340992 CPUtime=0 cores=0-7 /proc/29365/task/29375/stat : 29375 (java) S 29362 29365 29214 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 41 0 174613034 28001796096 66471 33554432000 4194304 4196468 140729734218608 140695078017936 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29376] ppid=29362 vsize=27345504 memory=6944656592455097440 CPUtime=0.01 cores=0-7 /proc/29365/task/29376/stat : 29376 (java) S 29362 29365 29214 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 41 0 174613035 28001796096 66471 33554432000 4194304 4196468 140729734218608 140694654998768 140695527148162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29377] ppid=29362 vsize=27345504 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/29365/task/29377/stat : 29377 (java) S 29362 29365 29214 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 41 0 174613036 28001796096 66471 33554432000 4194304 4196468 140729734218608 140694653945056 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29378] ppid=29362 vsize=27345504 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/29365/task/29378/stat : 29378 (java) S 29362 29365 29214 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 41 0 174613036 28001796096 66476 33554432000 4194304 4196468 140729734218608 140694652891904 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29379] ppid=29362 vsize=27345504 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/29365/task/29379/stat : 29379 (java) S 29362 29365 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 174613038 28001796096 66476 33554432000 4194304 4196468 140729734218608 140694651840464 140695527155611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29380] ppid=29362 vsize=27345504 memory=6944656592387989600 CPUtime=0.92 cores=0-7 /proc/29365/task/29380/stat : 29380 (java) R 29362 29365 29214 0 -1 4202560 3104 0 0 0 91 1 0 0 20 0 41 0 174613038 28001796096 66476 33554432000 4194304 4196468 140729734218608 140694650775136 140695506791281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29381] ppid=29362 vsize=27345504 memory=6655300316396806240 CPUtime=0.82 cores=0-7 /proc/29365/task/29381/stat : 29381 (java) R 29362 29365 29214 0 -1 1077944384 3666 0 0 0 81 1 0 0 20 0 41 0 174613038 28001796096 66476 33554432000 4194304 4196468 140729734218608 140694649726640 140695527147221 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29382] ppid=29362 vsize=27345504 memory=2332 CPUtime=0.94 cores=0-7 /proc/29365/task/29382/stat : 29382 (java) R 29362 29365 29214 0 -1 4202560 3671 0 0 0 93 1 0 0 20 0 41 0 174613038 28001796096 66476 33554432000 4194304 4196468 140729734218608 140694648669808 140695506830804 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29383] ppid=29362 vsize=27345504 memory=0 CPUtime=0.71 cores=0-7 /proc/29365/task/29383/stat : 29383 (java) R 29362 29365 29214 0 -1 4202560 8823 0 0 0 69 2 0 0 20 0 41 0 174613038 28001796096 66476 33554432000 4194304 4196468 140729734218608 140694647630336 140695512812159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29384] ppid=29362 vsize=27345504 memory=279709745264560 CPUtime=0 cores=0-7 /proc/29365/task/29384/stat : 29384 (java) S 29362 29365 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 174613038 28001796096 66476 33554432000 4194304 4196468 140729734218608 140694646577632 140695527147221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 [pid=29365/tid=29385] ppid=29362 vsize=27345504 memory=265963702418217 CPUtime=0 cores=0-7 /proc/29365/task/29385/stat : 29385 (java) S 29362 29365 29214 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 41 0 174613038 28001796096 66476 33554432000 4194304 4196468 140729734218608 140694645525168 140695527148162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35229696 140729734222945 140729734223131 140729734223131 140729734225871 0 Current children cumulated CPU time: 7.62 s Current children cumulated vsize: 27278940 KiB Current children cumulated memory: 265880 KiB Child status: 0 Real time (s): 2.395 CPU time (s): 7.96697 CPU user time (s): 7.73783 CPU system time (s): 0.229133 CPU usage (%): 332.65 Max. virtual memory (cumulated for all children) (KiB): 27278940 Max. memory (cumulated for all children) (KiB): 265880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.73783 system time used= 0.229133 maximum resident set size= 286260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38754 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5553 involuntary context switches= 178 # summary of solver processes directly reported to runsolver: # pid: 29365 # total CPU time (s): 7.96697 # total CPU user time (s): 7.73783 # total CPU system time (s): 0.229133 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.03963 second user time and 0.048186 second system time The end
Begin job on node112 at 2017-08-22 17:06:34 IDJOB=4285109 IDBENCH=120417 IDSOLVER=2681 FILE ID=node112/4285109-1503415255 RUNJOBID= node112-1503414386-29241 PBS_JOBID= 20632123 Free space on /tmp= 60712 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-13.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-4285109-1503415255/watcher-4285109-1503415255 -o /tmp/evaluation-result-4285109-1503415255/solver-4285109-1503415255 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503414386-29241 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2088902423 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285109-1503415255.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= de2f443ecf68ff3052dd9905ee2aa615 RANDOM SEED=2088902423 node112.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.24 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.24 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.24 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.24 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: 19299788 kB MemAvailable: 31945016 kB Buffers: 266428 kB Cached: 12659964 kB SwapCached: 0 kB Active: 2287544 kB Inactive: 10692208 kB Active(anon): 4988 kB Inactive(anon): 92572 kB Active(file): 2282556 kB Inactive(file): 10599636 kB Unevictable: 7844 kB Mlocked: 7844 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42560 kB Writeback: 0 kB AnonPages: 72548 kB Mapped: 54476 kB Shmem: 41608 kB Slab: 185008 kB SReclaimable: 157744 kB SUnreclaim: 27264 kB KernelStack: 3520 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 60672 MiB End job on node112 at 2017-08-22 17:06:36