Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 55.627899 | 7.6289501 |
Name | Primes/ Primes-m1-p15/Primes-15-60-3-5.xml |
MD5SUM | cb28c088349c564a44b865f26515e86f |
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 | 3.2825999 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 60 |
Number of domains | 1 |
Minimum domain size | 46 |
Maximum domain size | 46 |
Distribution of domain sizes | [{"size":46,"count":99}] |
Minimum variable degree | 0 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 8 |
Distribution of constraint arities | [{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":60}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271106-1502758693.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271106-1502758693.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 1.35/0.68 c solve instance... 55.49/7.62 s SATISFIABLE 55.49/7.62 v <instantiation> 55.49/7.62 v <list>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[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] </list> 55.49/7.62 v <values>43 3 41 31 23 31 3 41 29 3 5 19 13 11 23 3 2 17 19 3 37 23 41 29 5 13 5 43 19 31 47 41 41 7 47 41 43 3 3 19 29 7 17 47 47 19 23 47 13 2 23 3 3 13 37 7 5 13 3 3 2 2 47 41 37 13 3 29 43 5 29 2 41 2 47 41 47 7 13 19 7 17 23 23 29 7 37 47 11 41 2 37 7 11 19 3 17 29 47 </values> 55.49/7.62 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 (13436 MiB free) memory of node 1: 16384 MiB (14591 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271106-1502758693/watcher-4271106-1502758693 -o /tmp/evaluation-result-4271106-1502758693/solver-4271106-1502758693 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502750270-31357 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 358502176 HOME/instance-4271106-1502758693.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=31827, runsolver pid=31824 [startup+0.100153 s]* /proc/loadavg: 9.04 8.80 8.77 2/200 31848 /proc/meminfo: memFree=28686896/32770624 swapFree=67108860/67108860 [pid=31827] ppid=31824 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/31827/stat : 31827 (xcsp3-exec) S 31824 31827 31330 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108950218 9740288 346 33554432000 4194304 5098028 140734259544496 140734259542600 140344896574076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10432512 140734259553381 140734259553591 140734259553591 140734259556331 0 /proc/31827/statm: 2378 346 289 221 0 87 0 [pid=31829] ppid=31827 vsize=25999808 memory=26248 CPUtime=0.12 cores=0-7 /proc/31829/stat : 31829 (java) S 31827 31827 31330 0 -1 1077944320 5477 0 0 0 10 2 0 0 20 0 20 0 108950218 26623803392 6562 33554432000 4194304 4196468 140733650775424 140733650757968 139881655598839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 /proc/31829/statm: 6499952 6562 2849 1 0 6488269 0 [pid=31829/tid=31830] ppid=31827 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/31829/task/31830/stat : 31830 (java) R 31827 31827 31330 0 -1 4202560 3481 0 0 0 7 1 0 0 20 0 20 0 108950219 26623803392 6562 33554432000 4194304 4196468 140733650775424 139881659825440 139881655610774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31831] ppid=31827 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31829/task/31831/stat : 31831 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26623803392 6562 33554432000 4194304 4196468 140733650775424 139881608219152 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31832] ppid=31827 vsize=25999808 memory=140051849664128 CPUtime=0 cores=0-7 /proc/31829/task/31832/stat : 31832 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26623803392 6562 33554432000 4194304 4196468 140733650775424 139881607166608 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31833] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31833/stat : 31833 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26623803392 6562 33554432000 4194304 4196468 140733650775424 139881606113552 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31834] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31834/stat : 31834 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26623803392 6562 33554432000 4194304 4196468 140733650775424 139881605061008 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31835] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31835/stat : 31835 (java) S 31827 31827 31330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108950220 26623803392 6562 33554432000 4194304 4196468 140733650775424 139881604008976 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31836] ppid=31827 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/31829/task/31836/stat : 31836 (java) S 31827 31827 31330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108950220 26623803392 6562 33554432000 4194304 4196468 140733650775424 139881602956432 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31837] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31837/stat : 31837 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26623803392 6562 33554432000 4194304 4196468 140733650775424 139881601903376 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31838] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31838/stat : 31838 (java) S 31827 31827 31330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108950220 26623803392 6562 33554432000 4194304 4196468 140733650775424 139881600850832 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31839] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31839/stat : 31839 (java) S 31827 31827 31330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108950221 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879927740656 139881655609986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31840] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31840/stat : 31840 (java) S 31827 31827 31330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108950221 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879926686880 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31841] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31841/stat : 31841 (java) S 31827 31827 31330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108950222 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879925633776 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31842] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31842/stat : 31842 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950224 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879924582352 139881655617435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31843] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31843/stat : 31843 (java) R 31827 31827 31330 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 20 0 108950224 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879923530480 139881655609986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31844] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31844/stat : 31844 (java) S 31827 31827 31330 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 108950224 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879922477936 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31845] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31845/stat : 31845 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950224 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879921424880 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31846] ppid=31827 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/31829/task/31846/stat : 31846 (java) R 31827 31827 31330 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 20 0 108950224 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879920372336 139881636836400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31847] ppid=31827 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31847/stat : 31847 (java) S 31827 31827 31330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108950224 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879919319520 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31848] ppid=31827 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/31829/task/31848/stat : 31848 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950225 26623803392 6562 33554432000 4194304 4196468 140733650775424 139879918267056 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27632 KiB [startup+0.210368 s]* /proc/loadavg: 9.04 8.80 8.77 2/200 31848 /proc/meminfo: memFree=28676740/32770624 swapFree=67108860/67108860 [pid=31827] ppid=31824 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/31827/stat : 31827 (xcsp3-exec) S 31824 31827 31330 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108950218 9740288 346 33554432000 4194304 5098028 140734259544496 140734259542600 140344896574076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10432512 140734259553381 140734259553591 140734259553591 140734259556331 0 /proc/31827/statm: 2378 346 289 221 0 87 0 [pid=31829] ppid=31827 vsize=26004096 memory=39128 CPUtime=0.32 cores=0-7 /proc/31829/stat : 31829 (java) S 31827 31827 31330 0 -1 1077944320 8324 0 0 0 29 3 0 0 20 0 20 0 108950218 26628194304 9782 33554432000 4194304 4196468 140733650775424 140733650757968 139881655598839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 /proc/31829/statm: 6501024 9782 3048 1 0 6488277 0 [pid=31829/tid=31830] ppid=31827 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/31829/task/31830/stat : 31830 (java) R 31827 31827 31330 0 -1 1077944384 5402 0 0 0 17 2 0 0 20 0 20 0 108950219 26628161536 9782 33554432000 4194304 4196468 140733650775424 139881659800560 139881648278061 0 4 0 16800975 18446744072101629476 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31831] ppid=31827 vsize=26004064 memory=340 CPUtime=0 cores=0-7 /proc/31829/task/31831/stat : 31831 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 9782 33554432000 4194304 4196468 140733650775424 139881608219152 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31832] ppid=31827 vsize=26004096 memory=140051850159325 CPUtime=0 cores=0-7 /proc/31829/task/31832/stat : 31832 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628194304 9782 33554432000 4194304 4196468 140733650775424 139881607166608 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31833] ppid=31827 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/31829/task/31833/stat : 31833 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628194304 9782 33554432000 4194304 4196468 140733650775424 139881606113552 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31834] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31834/stat : 31834 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 9782 33554432000 4194304 4196468 140733650775424 139881605061008 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31835] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31835/stat : 31835 (java) S 31827 31827 31330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 9782 33554432000 4194304 4196468 140733650775424 139881604008976 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31836] ppid=31827 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/31829/task/31836/stat : 31836 (java) S 31827 31827 31330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 9782 33554432000 4194304 4196468 140733650775424 139881602956432 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31837] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31837/stat : 31837 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 9782 33554432000 4194304 4196468 140733650775424 139881601903376 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31838] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31838/stat : 31838 (java) S 31827 31827 31330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 9782 33554432000 4194304 4196468 140733650775424 139881600850832 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31839] ppid=31827 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31839/stat : 31839 (java) S 31827 31827 31330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108950221 26628194304 9782 33554432000 4194304 4196468 140733650775424 139879927740656 139881655609986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31840] ppid=31827 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31840/stat : 31840 (java) S 31827 31827 31330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108950221 26628194304 9782 33554432000 4194304 4196468 140733650775424 139879926686880 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31841] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31841/stat : 31841 (java) S 31827 31827 31330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108950222 26628161536 9782 33554432000 4194304 4196468 140733650775424 139879925633776 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31842] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31842/stat : 31842 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950224 26628161536 9782 33554432000 4194304 4196468 140733650775424 139879924582352 139881655617435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31843] ppid=31827 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/31829/task/31843/stat : 31843 (java) S 31827 31827 31330 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 20 0 108950224 26628161536 9782 33554432000 4194304 4196468 140733650775424 139879923530480 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31844] ppid=31827 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/31829/task/31844/stat : 31844 (java) S 31827 31827 31330 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 20 0 108950224 26628161536 9782 33554432000 4194304 4196468 140733650775424 139879922477936 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31845] ppid=31827 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/31829/task/31845/stat : 31845 (java) S 31827 31827 31330 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 108950224 26628161536 9782 33554432000 4194304 4196468 140733650775424 139879921424880 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31846] ppid=31827 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/31829/task/31846/stat : 31846 (java) R 31827 31827 31330 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 108950224 26628161536 9782 33554432000 4194304 4196468 140733650775424 139879920372336 139881634452269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31847] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31847/stat : 31847 (java) S 31827 31827 31330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108950224 26628161536 9782 33554432000 4194304 4196468 140733650775424 139879919319520 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31848] ppid=31827 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/31829/task/31848/stat : 31848 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950225 26628194304 9782 33554432000 4194304 4196468 140733650775424 139879918267056 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013608 KiB Current children cumulated memory: 40512 KiB [startup+0.309596 s]* /proc/loadavg: 9.04 8.80 8.77 5/200 31848 /proc/meminfo: memFree=28670164/32770624 swapFree=67108860/67108860 [pid=31827] ppid=31824 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/31827/stat : 31827 (xcsp3-exec) S 31824 31827 31330 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108950218 9740288 346 33554432000 4194304 5098028 140734259544496 140734259542600 140344896574076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10432512 140734259553381 140734259553591 140734259553591 140734259556331 0 /proc/31827/statm: 2378 346 289 221 0 87 0 [pid=31829] ppid=31827 vsize=26004064 memory=46508 CPUtime=0.49 cores=0-7 /proc/31829/stat : 31829 (java) S 31827 31827 31330 0 -1 1077944320 9355 0 0 0 45 4 0 0 20 0 20 0 108950218 26628161536 11627 33554432000 4194304 4196468 140733650775424 140733650757968 139881655598839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 /proc/31829/statm: 6501016 11627 3075 1 0 6488269 0 [pid=31829/tid=31830] ppid=31827 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/31829/task/31830/stat : 31830 (java) R 31827 31827 31330 0 -1 4202560 6113 0 0 0 27 2 0 0 20 0 20 0 108950219 26628161536 11627 33554432000 4194304 4196468 140733650775424 139881659826480 139881655620186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31831] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31831/stat : 31831 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 11627 33554432000 4194304 4196468 140733650775424 139881608219152 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31832] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31832/stat : 31832 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 11627 33554432000 4194304 4196468 140733650775424 139881607166608 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31833] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31833/stat : 31833 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 11627 33554432000 4194304 4196468 140733650775424 139881606113552 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31834] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31834/stat : 31834 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 11627 33554432000 4194304 4196468 140733650775424 139881605061008 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31835] ppid=31827 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/31829/task/31835/stat : 31835 (java) S 31827 31827 31330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 11627 33554432000 4194304 4196468 140733650775424 139881604008976 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31836] ppid=31827 vsize=26004064 memory=140051702969263 CPUtime=0 cores=0-7 /proc/31829/task/31836/stat : 31836 (java) S 31827 31827 31330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 11627 33554432000 4194304 4196468 140733650775424 139881602956432 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31837] ppid=31827 vsize=26004064 memory=140051702971568 CPUtime=0 cores=0-7 /proc/31829/task/31837/stat : 31837 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 11627 33554432000 4194304 4196468 140733650775424 139881601903376 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31838] ppid=31827 vsize=26004064 memory=140051702973872 CPUtime=0 cores=0-7 /proc/31829/task/31838/stat : 31838 (java) S 31827 31827 31330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108950220 26628161536 11627 33554432000 4194304 4196468 140733650775424 139881600850832 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31839] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31839/stat : 31839 (java) S 31827 31827 31330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108950221 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879927740656 139881655609986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31840] ppid=31827 vsize=26004064 memory=280103405954704 CPUtime=0 cores=0-7 /proc/31829/task/31840/stat : 31840 (java) S 31827 31827 31330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108950221 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879926686880 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31841] ppid=31827 vsize=26004064 memory=280103405961616 CPUtime=0 cores=0-7 /proc/31829/task/31841/stat : 31841 (java) S 31827 31827 31330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108950222 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879925633776 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31842] ppid=31827 vsize=26004064 memory=280103405902896 CPUtime=0 cores=0-7 /proc/31829/task/31842/stat : 31842 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950224 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879924582352 139881655617435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31843] ppid=31827 vsize=26004064 memory=280103405975440 CPUtime=0.02 cores=0-7 /proc/31829/task/31843/stat : 31843 (java) S 31827 31827 31330 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 20 0 108950224 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879923530480 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31844] ppid=31827 vsize=26004064 memory=280103405982352 CPUtime=0.02 cores=0-7 /proc/31829/task/31844/stat : 31844 (java) S 31827 31827 31330 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 20 0 108950224 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879922477936 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31845] ppid=31827 vsize=26004064 memory=280103405980048 CPUtime=0 cores=0-7 /proc/31829/task/31845/stat : 31845 (java) S 31827 31827 31330 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 20 0 108950224 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879921424880 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31846] ppid=31827 vsize=26004064 memory=280103405996208 CPUtime=0.12 cores=0-7 /proc/31829/task/31846/stat : 31846 (java) S 31827 31827 31330 0 -1 1077944384 901 0 0 0 12 0 0 0 20 0 20 0 108950224 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879920372336 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31847] ppid=31827 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31847/stat : 31847 (java) S 31827 31827 31330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108950224 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879919319520 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31848] ppid=31827 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/31829/task/31848/stat : 31848 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108950225 26628161536 11627 33554432000 4194304 4196468 140733650775424 139879918267056 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47892 KiB [startup+0.700904 s] /proc/loadavg: 9.04 8.80 8.77 5/200 31848 /proc/meminfo: memFree=28655464/32770624 swapFree=67108860/67108860 [pid=31827] ppid=31824 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/31827/stat : 31827 (xcsp3-exec) S 31824 31827 31330 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108950218 9740288 346 33554432000 4194304 5098028 140734259544496 140734259542600 140344896574076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10432512 140734259553381 140734259553591 140734259553591 140734259556331 0 /proc/31827/statm: 2378 346 289 221 0 87 0 [pid=31829] ppid=31827 vsize=26538700 memory=99656 CPUtime=1.71 cores=0-7 /proc/31829/stat : 31829 (java) S 31827 31827 31330 0 -1 1077944320 13749 0 0 0 164 7 0 0 20 0 28 0 108950218 27175628800 24914 33554432000 4194304 4196468 140733650775424 140733650757968 139881655598839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 /proc/31829/statm: 6634675 24914 3209 1 0 6621909 0 [pid=31829/tid=31830] ppid=31827 vsize=26538700 memory=280103406354096 CPUtime=0.66 cores=0-7 /proc/31829/task/31830/stat : 31830 (java) S 31827 31827 31330 0 -1 1077944384 6710 0 0 0 63 3 0 0 20 0 28 0 108950219 27175628800 24914 33554432000 4194304 4196468 140733650775424 139881659839616 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31831] ppid=31827 vsize=26538700 memory=140051703178096 CPUtime=0 cores=0-7 /proc/31829/task/31831/stat : 31831 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 24914 33554432000 4194304 4196468 140733650775424 139881608219152 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31832] ppid=31827 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31832/stat : 31832 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 24914 33554432000 4194304 4196468 140733650775424 139881607166608 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31833] ppid=31827 vsize=26538700 memory=1200 CPUtime=0 cores=0-7 /proc/31829/task/31833/stat : 31833 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 24914 33554432000 4194304 4196468 140733650775424 139881606113552 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 ################ # More data... # ################ [pid=31829/tid=31846] ppid=31827 vsize=26538700 memory=6944656592455360569 CPUtime=0.57 cores=0-7 /proc/31829/task/31846/stat : 31846 (java) S 31827 31827 31330 0 -1 1077944384 3524 0 0 0 56 1 0 0 20 0 28 0 108950224 27175628800 59475 33554432000 4194304 4196468 140733650775424 139879920372336 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31847] ppid=31827 vsize=26538700 memory=4137290303932963203 CPUtime=0 cores=0-7 /proc/31829/task/31847/stat : 31847 (java) S 31827 31827 31330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108950224 27175628800 59475 33554432000 4194304 4196468 140733650775424 139879919319520 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31848] ppid=31827 vsize=26538700 memory=-9001734013606258791 CPUtime=0 cores=0-7 /proc/31829/task/31848/stat : 31848 (java) S 31827 31827 31330 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 108950225 27175628800 59475 33554432000 4194304 4196468 140733650775424 139879918267056 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31849] ppid=31827 vsize=26538700 memory=0 CPUtime=5.12 cores=0-7 /proc/31829/task/31849/stat : 31849 (java) R 31827 31827 31330 0 -1 4202560 180 0 0 0 512 0 0 0 20 0 28 0 108950288 27175628800 59475 33554432000 4194304 4196468 140733650775424 139879910259168 139881267987593 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31850] ppid=31827 vsize=26538700 memory=0 CPUtime=5 cores=0-7 /proc/31829/task/31850/stat : 31850 (java) R 31827 31827 31330 0 -1 4202560 115 0 0 0 500 0 0 0 20 0 28 0 108950288 27175628800 59475 33554432000 4194304 4196468 140733650775424 139879909207760 139881267987503 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31851] ppid=31827 vsize=26538700 memory=0 CPUtime=4.95 cores=0-7 /proc/31829/task/31851/stat : 31851 (java) R 31827 31827 31330 0 -1 4202560 352 0 0 0 495 0 0 0 20 0 28 0 108950288 27175628800 59475 33554432000 4194304 4196468 140733650775424 139879908155648 139881270292491 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31852] ppid=31827 vsize=26538700 memory=0 CPUtime=5.14 cores=0-7 /proc/31829/task/31852/stat : 31852 (java) R 31827 31827 31330 0 -1 4202560 169 0 0 0 513 1 0 0 20 0 28 0 108950288 27175628800 59475 33554432000 4194304 4196468 140733650775424 139879907103104 139881269961954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31853] ppid=31827 vsize=26538700 memory=0 CPUtime=5.03 cores=0-7 /proc/31829/task/31853/stat : 31853 (java) R 31827 31827 31330 0 -1 4202560 191 0 0 0 503 0 0 0 20 0 28 0 108950288 27175628800 59475 33554432000 4194304 4196468 140733650775424 139879906050224 139881270292220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31854] ppid=31827 vsize=26538700 memory=0 CPUtime=4.94 cores=0-7 /proc/31829/task/31854/stat : 31854 (java) R 31827 31827 31330 0 -1 4202560 129 0 0 0 494 0 0 0 20 0 28 0 108950288 27175628800 59475 33554432000 4194304 4196468 140733650775424 139878897541328 139881637005103 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31855] ppid=31827 vsize=26538700 memory=0 CPUtime=4.9 cores=0-7 /proc/31829/task/31855/stat : 31855 (java) R 31827 31827 31330 0 -1 4202560 318 0 0 0 490 0 0 0 20 0 28 0 108950288 27175628800 59475 33554432000 4194304 4196468 140733650775424 139878896488760 139881270292319 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31856] ppid=31827 vsize=26538700 memory=0 CPUtime=5.21 cores=0-7 /proc/31829/task/31856/stat : 31856 (java) R 31827 31827 31330 0 -1 4202560 148 0 0 0 521 0 0 0 20 0 28 0 108950288 27175628800 59475 33554432000 4194304 4196468 140733650775424 139878895435728 139881267987379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 Current children cumulated CPU time: 45.96 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 239284 KiB [startup+7.20199 s] /proc/loadavg: 8.35 8.66 8.72 9/208 31856 /proc/meminfo: memFree=28477016/32770624 swapFree=67108860/67108860 [pid=31827] ppid=31824 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/31827/stat : 31827 (xcsp3-exec) S 31824 31827 31330 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108950218 9740288 346 33554432000 4194304 5098028 140734259544496 140734259542600 140344896574076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10432512 140734259553381 140734259553591 140734259553591 140734259556331 0 /proc/31827/statm: 2378 346 289 221 0 87 0 [pid=31829] ppid=31827 vsize=26538700 memory=237996 CPUtime=52.32 cores=0-7 /proc/31829/stat : 31829 (java) S 31827 31827 31330 0 -1 1077944320 38066 0 0 0 5211 21 0 0 20 0 28 0 108950218 27175628800 59499 33554432000 4194304 4196468 140733650775424 140733650757968 139881655598839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 /proc/31829/statm: 6634675 59499 3275 1 0 6621909 0 [pid=31829/tid=31830] ppid=31827 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7 /proc/31829/task/31830/stat : 31830 (java) S 31827 31827 31330 0 -1 1077944384 6710 0 0 0 63 3 0 0 20 0 28 0 108950219 27175628800 59499 33554432000 4194304 4196468 140733650775424 139881659839616 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31831] ppid=31827 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/31829/task/31831/stat : 31831 (java) S 31827 31827 31330 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 59499 33554432000 4194304 4196468 140733650775424 139881608219152 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31832] ppid=31827 vsize=26538700 memory=31168 CPUtime=0 cores=0-7 /proc/31829/task/31832/stat : 31832 (java) S 31827 31827 31330 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 59499 33554432000 4194304 4196468 140733650775424 139881607166608 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31833] ppid=31827 vsize=26538700 memory=1292 CPUtime=0 cores=0-7 /proc/31829/task/31833/stat : 31833 (java) S 31827 31827 31330 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 59499 33554432000 4194304 4196468 140733650775424 139881606113552 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31834] ppid=31827 vsize=26538700 memory=2428 CPUtime=0 cores=0-7 /proc/31829/task/31834/stat : 31834 (java) S 31827 31827 31330 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 59499 33554432000 4194304 4196468 140733650775424 139881605061008 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31835] ppid=31827 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/31829/task/31835/stat : 31835 (java) S 31827 31827 31330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 59499 33554432000 4194304 4196468 140733650775424 139881604008976 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31836] ppid=31827 vsize=26538700 memory=792 CPUtime=0 cores=0-7 /proc/31829/task/31836/stat : 31836 (java) S 31827 31827 31330 0 -1 1077944384 550 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 59499 33554432000 4194304 4196468 140733650775424 139881602956432 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31837] ppid=31827 vsize=26538700 memory=1384 CPUtime=0.01 cores=0-7 /proc/31829/task/31837/stat : 31837 (java) S 31827 31827 31330 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 28 0 108950220 27175628800 59499 33554432000 4194304 4196468 140733650775424 139881601903376 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31838] ppid=31827 vsize=26538700 memory=237900 CPUtime=0 cores=0-7 /proc/31829/task/31838/stat : 31838 (java) S 31827 31827 31330 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 59499 33554432000 4194304 4196468 140733650775424 139881600850832 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31839] ppid=31827 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31839/stat : 31839 (java) S 31827 31827 31330 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 28 0 108950221 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879927740656 139881655609986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31840] ppid=31827 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31840/stat : 31840 (java) S 31827 31827 31330 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 108950221 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879926686880 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31841] ppid=31827 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31841/stat : 31841 (java) S 31827 31827 31330 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 108950222 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879925633776 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31842] ppid=31827 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31842/stat : 31842 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108950224 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879924582352 139881655617435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31843] ppid=31827 vsize=26538700 memory=0 CPUtime=1.35 cores=0-7 /proc/31829/task/31843/stat : 31843 (java) S 31827 31827 31330 0 -1 1077944384 8001 0 0 0 133 2 0 0 20 0 28 0 108950224 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879923530480 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31844] ppid=31827 vsize=26538700 memory=0 CPUtime=1.4 cores=0-7 /proc/31829/task/31844/stat : 31844 (java) S 31827 31827 31330 0 -1 1077944384 7463 0 0 0 139 1 0 0 20 0 28 0 108950224 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879922477936 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31845] ppid=31827 vsize=26538700 memory=0 CPUtime=1.46 cores=0-7 /proc/31829/task/31845/stat : 31845 (java) S 31827 31827 31330 0 -1 1077944384 7816 0 0 0 143 3 0 0 20 0 28 0 108950224 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879921424880 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31846] ppid=31827 vsize=26538700 memory=9992 CPUtime=0.57 cores=0-7 /proc/31829/task/31846/stat : 31846 (java) S 31827 31827 31330 0 -1 1077944384 3524 0 0 0 56 1 0 0 20 0 28 0 108950224 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879920372336 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31847] ppid=31827 vsize=26538700 memory=1224 CPUtime=0 cores=0-7 /proc/31829/task/31847/stat : 31847 (java) S 31827 31827 31330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108950224 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879919319520 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31848] ppid=31827 vsize=26538700 memory=5716 CPUtime=0 cores=0-7 /proc/31829/task/31848/stat : 31848 (java) S 31827 31827 31330 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 108950225 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879918267056 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31849] ppid=31827 vsize=26538700 memory=1720 CPUtime=5.91 cores=0-7 /proc/31829/task/31849/stat : 31849 (java) R 31827 31827 31330 0 -1 4202560 189 0 0 0 591 0 0 0 20 0 28 0 108950288 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879910259088 139881267987457 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31850] ppid=31827 vsize=26538700 memory=4612 CPUtime=5.79 cores=0-7 /proc/31829/task/31850/stat : 31850 (java) R 31827 31827 31330 0 -1 4202560 128 0 0 0 579 0 0 0 20 0 28 0 108950288 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879909208248 139881270292308 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31851] ppid=31827 vsize=26538700 memory=1008 CPUtime=5.74 cores=0-7 /proc/31829/task/31851/stat : 31851 (java) R 31827 31827 31330 0 -1 4202560 382 0 0 0 573 1 0 0 20 0 28 0 108950288 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879908155712 139881268295241 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31852] ppid=31827 vsize=26538700 memory=1944 CPUtime=5.93 cores=0-7 /proc/31829/task/31852/stat : 31852 (java) R 31827 31827 31330 0 -1 4202560 185 0 0 0 592 1 0 0 20 0 28 0 108950288 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879907103184 139881267987521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31853] ppid=31827 vsize=26538700 memory=1200 CPUtime=5.82 cores=0-7 /proc/31829/task/31853/stat : 31853 (java) R 31827 31827 31330 0 -1 4202560 210 0 0 0 582 0 0 0 20 0 28 0 108950288 27175628800 59499 33554432000 4194304 4196468 140733650775424 139879906045792 139881268327676 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31854] ppid=31827 vsize=26538700 memory=1424 CPUtime=5.73 cores=0-7 /proc/31829/task/31854/stat : 31854 (java) R 31827 31827 31330 0 -1 4202560 140 0 0 0 573 0 0 0 20 0 28 0 108950288 27175628800 59499 33554432000 4194304 4196468 140733650775424 139878897541816 139881270292303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31855] ppid=31827 vsize=26538700 memory=8564 CPUtime=5.69 cores=0-7 /proc/31829/task/31855/stat : 31855 (java) R 31827 31827 31330 0 -1 4202560 338 0 0 0 569 0 0 0 20 0 28 0 108950288 27175628800 59499 33554432000 4194304 4196468 140733650775424 139878896488192 139881269668191 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31856] ppid=31827 vsize=26538700 memory=15872 CPUtime=6.01 cores=0-7 /proc/31829/task/31856/stat : 31856 (java) R 31827 31827 31330 0 -1 4202560 163 0 0 0 601 0 0 0 20 0 28 0 108950288 27175628800 59499 33554432000 4194304 4196468 140733650775424 139878895435648 139881267987503 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 Current children cumulated CPU time: 52.32 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 239380 KiB [startup+7.60198 s] /proc/loadavg: 8.35 8.66 8.72 9/208 31856 /proc/meminfo: memFree=28477016/32770624 swapFree=67108860/67108860 [pid=31827] ppid=31824 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/31827/stat : 31827 (xcsp3-exec) S 31824 31827 31330 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108950218 9740288 346 33554432000 4194304 5098028 140734259544496 140734259542600 140344896574076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10432512 140734259553381 140734259553591 140734259553591 140734259556331 0 /proc/31827/statm: 2378 346 289 221 0 87 0 [pid=31829] ppid=31827 vsize=26538700 memory=232044 CPUtime=55.49 cores=0-7 /proc/31829/stat : 31829 (java) S 31827 31827 31330 0 -1 1077944320 39153 0 0 0 5527 22 0 0 20 0 28 0 108950218 27175628800 58011 33554432000 4194304 4196468 140733650775424 140733650757968 139881655598839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 /proc/31829/statm: 6634675 58011 3278 1 0 6621909 0 [pid=31829/tid=31830] ppid=31827 vsize=26538700 memory=3129 CPUtime=0.66 cores=0-7 /proc/31829/task/31830/stat : 31830 (java) S 31827 31827 31330 0 -1 1077944384 6710 0 0 0 63 3 0 0 20 0 28 0 108950219 27175628800 58011 33554432000 4194304 4196468 140733650775424 139881659839616 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31831] ppid=31827 vsize=26538700 memory=21735 CPUtime=0.01 cores=0-7 /proc/31829/task/31831/stat : 31831 (java) S 31827 31827 31330 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 28 0 108950220 27175628800 58011 33554432000 4194304 4196468 140733650775424 139881608219152 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31832] ppid=31827 vsize=26538700 memory=280103405766048 CPUtime=0 cores=0-7 /proc/31829/task/31832/stat : 31832 (java) S 31827 31827 31330 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 108950220 27175628800 58011 33554432000 4194304 4196468 140733650775424 139881607166608 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31833] ppid=31827 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/31829/task/31833/stat : 31833 (java) S 31827 31827 31330 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 28 0 108950220 27175628800 58011 33554432000 4194304 4196468 140733650775424 139881606113552 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31834] ppid=31827 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/31829/task/31834/stat : 31834 (java) S 31827 31827 31330 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 28 0 108950220 27175628800 58011 33554432000 4194304 4196468 140733650775424 139881605061008 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31835] ppid=31827 vsize=26538700 memory=7100839861465685612 CPUtime=0.01 cores=0-7 /proc/31829/task/31835/stat : 31835 (java) S 31827 31827 31330 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 28 0 108950220 27175628800 58011 33554432000 4194304 4196468 140733650775424 139881604008976 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31836] ppid=31827 vsize=26538700 memory=-7175204567652784766 CPUtime=0.01 cores=0-7 /proc/31829/task/31836/stat : 31836 (java) S 31827 31827 31330 0 -1 1077944384 574 0 0 0 1 0 0 0 20 0 28 0 108950220 27175628800 58011 33554432000 4194304 4196468 140733650775424 139881602956432 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31837] ppid=31827 vsize=26538700 memory=3054156605268465310 CPUtime=0.01 cores=0-7 /proc/31829/task/31837/stat : 31837 (java) S 31827 31827 31330 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 28 0 108950220 27175628800 58011 33554432000 4194304 4196468 140733650775424 139881601903376 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31838] ppid=31827 vsize=26538700 memory=8514726395714825349 CPUtime=0.01 cores=0-7 /proc/31829/task/31838/stat : 31838 (java) S 31827 31827 31330 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 28 0 108950220 27175628800 58011 33554432000 4194304 4196468 140733650775424 139881600850832 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31839] ppid=31827 vsize=26538700 memory=-8412652177879177843 CPUtime=0.01 cores=0-7 /proc/31829/task/31839/stat : 31839 (java) S 31827 31827 31330 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 28 0 108950221 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879927740656 139881655609986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31840] ppid=31827 vsize=26538700 memory=4715433313220523562 CPUtime=0 cores=0-7 /proc/31829/task/31840/stat : 31840 (java) S 31827 31827 31330 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 108950221 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879926686880 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31841] ppid=31827 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31841/stat : 31841 (java) S 31827 31827 31330 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 108950222 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879925633776 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31842] ppid=31827 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31842/stat : 31842 (java) S 31827 31827 31330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108950224 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879924582352 139881655617435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31843] ppid=31827 vsize=26538700 memory=6791534058613427641 CPUtime=1.35 cores=0-7 /proc/31829/task/31843/stat : 31843 (java) S 31827 31827 31330 0 -1 1077944384 8003 0 0 0 133 2 0 0 20 0 28 0 108950224 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879923530480 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31844] ppid=31827 vsize=26538700 memory=0 CPUtime=1.4 cores=0-7 /proc/31829/task/31844/stat : 31844 (java) S 31827 31827 31330 0 -1 1077944384 7465 0 0 0 139 1 0 0 20 0 28 0 108950224 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879922477936 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31845] ppid=31827 vsize=26538700 memory=0 CPUtime=1.46 cores=0-7 /proc/31829/task/31845/stat : 31845 (java) S 31827 31827 31330 0 -1 1077944384 7818 0 0 0 143 3 0 0 20 0 28 0 108950224 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879921424880 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31846] ppid=31827 vsize=26538700 memory=0 CPUtime=0.58 cores=0-7 /proc/31829/task/31846/stat : 31846 (java) S 31827 31827 31330 0 -1 1077944384 3757 0 0 0 57 1 0 0 20 0 28 0 108950224 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879920372336 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31847] ppid=31827 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31847/stat : 31847 (java) S 31827 31827 31330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108950224 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879919319520 139881655609045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31848] ppid=31827 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/31829/task/31848/stat : 31848 (java) S 31827 31827 31330 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 108950225 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879918267056 139881655609986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31849] ppid=31827 vsize=26538700 memory=0 CPUtime=6.31 cores=0-7 /proc/31829/task/31849/stat : 31849 (java) R 31827 31827 31330 0 -1 4202560 190 0 0 0 631 0 0 0 20 0 28 0 108950288 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879910259168 139881269014284 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31850] ppid=31827 vsize=26538700 memory=0 CPUtime=6.19 cores=0-7 /proc/31829/task/31850/stat : 31850 (java) R 31827 31827 31330 0 -1 4202560 130 0 0 0 619 0 0 0 20 0 28 0 108950288 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879909207760 139881270292165 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31851] ppid=31827 vsize=26538700 memory=0 CPUtime=6.13 cores=0-7 /proc/31829/task/31851/stat : 31851 (java) R 31827 31827 31330 0 -1 4202560 392 0 0 0 612 1 0 0 20 0 28 0 108950288 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879908156216 139881270292334 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31852] ppid=31827 vsize=26538700 memory=0 CPUtime=6.33 cores=0-7 /proc/31829/task/31852/stat : 31852 (java) R 31827 31827 31330 0 -1 4202560 315 0 0 0 632 1 0 0 20 0 28 0 108950288 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879907103672 139881263580232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31853] ppid=31827 vsize=26538700 memory=0 CPUtime=6.22 cores=0-7 /proc/31829/task/31853/stat : 31853 (java) R 31827 31827 31330 0 -1 4202560 237 0 0 0 621 1 0 0 20 0 28 0 108950288 27175628800 58011 33554432000 4194304 4196468 140733650775424 139879906050616 139881269014374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31854] ppid=31827 vsize=26538700 memory=0 CPUtime=6.13 cores=0-7 /proc/31829/task/31854/stat : 31854 (java) R 31827 31827 31330 0 -1 4202560 142 0 0 0 613 0 0 0 20 0 28 0 108950288 27175628800 58011 33554432000 4194304 4196468 140733650775424 139878897541328 139881270292037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31855] ppid=31827 vsize=26538700 memory=0 CPUtime=6.09 cores=0-7 /proc/31829/task/31855/stat : 31855 (java) R 31827 31827 31330 0 -1 4202560 561 0 0 0 608 1 0 0 20 0 28 0 108950288 27175628800 58011 33554432000 4194304 4196468 140733650775424 139878896488760 139881267987724 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 [pid=31829/tid=31856] ppid=31827 vsize=26538700 memory=0 CPUtime=6.4 cores=0-7 /proc/31829/task/31856/stat : 31856 (java) R 31827 31827 31330 0 -1 4202560 163 0 0 0 640 0 0 0 20 0 28 0 108950288 27175628800 58011 33554432000 4194304 4196468 140733650775424 139878895436216 139881268295729 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9469952 140733650777234 140733650777411 140733650777411 140733650780111 0 Current children cumulated CPU time: 55.49 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 233428 KiB Child status: 0 Real time (s): 7.62895 CPU time (s): 55.6279 CPU user time (s): 55.3949 CPU system time (s): 0.232966 CPU usage (%): 729.168 Max. virtual memory (cumulated for all children) (KiB): 26550452 Max. memory (cumulated for all children) (KiB): 243920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 55.3949 system time used= 0.232966 maximum resident set size= 242536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40692 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4868 involuntary context switches= 1067 # summary of solver processes directly reported to runsolver: # pid: 31827 # total CPU time (s): 55.6279 # total CPU user time (s): 55.3949 # total CPU system time (s): 0.232966 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.091431 second user time and 0.120072 second system time The end
Begin job on node151 at 2017-08-15 02:43:55 IDJOB=4271106 IDBENCH=133401 IDSOLVER=2662 FILE ID=node151/4271106-1502758693 RUNJOBID= node151-1502750270-31357 PBS_JOBID= 20629074 Free space on /tmp= 61756 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-60-3-5.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271106-1502758693/watcher-4271106-1502758693 -o /tmp/evaluation-result-4271106-1502758693/solver-4271106-1502758693 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502750270-31357 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 358502176 HOME/instance-4271106-1502758693.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cb28c088349c564a44b865f26515e86f RANDOM SEED=358502176 node151.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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 28700724 kB MemAvailable: 31986536 kB Buffers: 284032 kB Cached: 3291148 kB SwapCached: 0 kB Active: 975772 kB Inactive: 2652948 kB Active(anon): 56192 kB Inactive(anon): 25048 kB Active(file): 919580 kB Inactive(file): 2627900 kB Unevictable: 7020 kB Mlocked: 7020 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7788 kB Writeback: 52 kB AnonPages: 53780 kB Mapped: 45848 kB Shmem: 25224 kB Slab: 134700 kB SReclaimable: 108336 kB SUnreclaim: 26364 kB KernelStack: 4064 kB PageTables: 4912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61748 MiB End job on node151 at 2017-08-15 02:44:02