Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 0 | 15.2043 | 3.0379801 |
Name | QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml |
MD5SUM | 7aff4fe352a8c3fb8c4e8479cd8d4369 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 5.11268 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 65 |
Number of constraints | 64 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 49 |
Distribution of domain sizes | [{"size":2,"count":15},{"size":49,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":2,"count":17},{"degree":3,"count":32},{"degree":4,"count":15},{"degree":15,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 49 |
Distribution of constraint arities | [{"arity":2,"count":48},{"arity":3,"count":15},{"arity":49,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 63 |
Distribution of constraint types | [{"type":"intension","count":63},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270679-1502747738.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4270679-1502747738.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 3.71/1.41 c solve instance... 12.88/2.70 o 7 14.47/3.00 o 0 15.10/3.02 s OPTIMUM FOUND 15.10/3.02 v <instantiation> 15.10/3.02 v <list>q 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] b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] </list> 15.10/3.02 v <values>18 48 39 24 11 6 19 34 47 38 33 46 41 26 17 22 37 42 29 14 23 28 43 30 35 44 31 40 27 32 45 36 21 8 3 12 25 20 5 10 1 16 7 2 15 0 9 4 13 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 15.10/3.02 v </instantiation>
OK 0
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 (14050 MiB free) memory of node 1: 16384 MiB (12267 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270679-1502747738/watcher-4270679-1502747738 -o /tmp/evaluation-result-4270679-1502747738/solver-4270679-1502747738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502740700-10440 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 118838521 HOME/instance-4270679-1502747738.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=11511, runsolver pid=11508 Current StackSize limit: 8192 KiB [startup+0.100109 s]* /proc/loadavg: 7.64 8.20 8.26 2/200 11532 /proc/meminfo: memFree=26933236/32770624 swapFree=67108860/67108860 [pid=11511] ppid=11508 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11511/stat : 11511 (xcsp3-exec) S 11508 11511 10413 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107861632 9740288 346 33554432000 4194304 5098028 140732223067520 140732223065624 139871037047420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29220864 140732223075429 140732223075639 140732223075639 140732223078379 0 /proc/11511/statm: 2378 346 289 221 0 87 0 [pid=11513] ppid=11511 vsize=25999808 memory=26980 CPUtime=0.11 cores=0-7 /proc/11513/stat : 11513 (java) S 11511 11511 10413 0 -1 1077944320 5670 0 0 0 10 1 0 0 20 0 20 0 107861632 26623803392 6745 33554432000 4194304 4196468 140730030421920 140730030404464 140147454258935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 /proc/11513/statm: 6499952 6745 2844 1 0 6488269 0 [pid=11513/tid=11514] ppid=11511 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/11513/task/11514/stat : 11514 (java) R 11511 11511 10413 0 -1 4202560 3679 0 0 0 8 0 0 0 20 0 20 0 107861633 26623803392 6745 33554432000 4194304 4196468 140730030421920 140147458485232 140147440327054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11515] ppid=11511 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11513/task/11515/stat : 11515 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107861634 26623803392 6745 33554432000 4194304 4196468 140730030421920 140147406879760 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11516] ppid=11511 vsize=25999808 memory=139930692007552 CPUtime=0 cores=0-7 /proc/11513/task/11516/stat : 11516 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26623803392 6745 33554432000 4194304 4196468 140730030421920 140147405827216 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11517] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11517/stat : 11517 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26623803392 6745 33554432000 4194304 4196468 140730030421920 140147404774160 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11518] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11518/stat : 11518 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26623803392 6745 33554432000 4194304 4196468 140730030421920 140147403721616 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11519] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11519/stat : 11519 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107861634 26623803392 6745 33554432000 4194304 4196468 140730030421920 140147402668560 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11520] ppid=11511 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11520/stat : 11520 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26623803392 6745 33554432000 4194304 4196468 140730030421920 140147401616016 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11521] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11521/stat : 11521 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26623803392 6745 33554432000 4194304 4196468 140730030421920 140147006241040 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11522] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11522/stat : 11522 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26623803392 6745 33554432000 4194304 4196468 140730030421920 140147005188496 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11523] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11523/stat : 11523 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861635 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146196380400 140147454270082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11524] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11524/stat : 11524 (java) S 11511 11511 10413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107861636 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146195326624 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11525] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11525/stat : 11525 (java) S 11511 11511 10413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107861636 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146194273520 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11526] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11526/stat : 11526 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107861638 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146193222096 140147454277531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11527] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11527/stat : 11527 (java) S 11511 11511 10413 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 107861638 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146125039856 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11528] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11528/stat : 11528 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107861638 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146123987312 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11529] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11529/stat : 11529 (java) R 11511 11511 10413 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 107861638 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146122934256 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11530] ppid=11511 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/11513/task/11530/stat : 11530 (java) R 11511 11511 10413 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 107861638 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146121881712 140147439940730 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11531] ppid=11511 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11531/stat : 11531 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107861639 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146120829920 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11532] ppid=11511 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11532/stat : 11532 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107861639 26623803392 6745 33554432000 4194304 4196468 140730030421920 140146119777456 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28364 KiB [startup+0.210006 s]* /proc/loadavg: 7.64 8.20 8.26 4/200 11532 /proc/meminfo: memFree=26924136/32770624 swapFree=67108860/67108860 [pid=11511] ppid=11508 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11511/stat : 11511 (xcsp3-exec) S 11508 11511 10413 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107861632 9740288 346 33554432000 4194304 5098028 140732223067520 140732223065624 139871037047420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29220864 140732223075429 140732223075639 140732223075639 140732223078379 0 /proc/11511/statm: 2378 346 289 221 0 87 0 [pid=11513] ppid=11511 vsize=26004064 memory=38752 CPUtime=0.33 cores=0-7 /proc/11513/stat : 11513 (java) S 11511 11511 10413 0 -1 1077944320 8283 0 0 0 31 2 0 0 20 0 20 0 107861632 26628161536 9688 33554432000 4194304 4196468 140730030421920 140730030404464 140147454258935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 /proc/11513/statm: 6501016 9688 3070 1 0 6488269 0 [pid=11513/tid=11514] ppid=11511 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/11513/task/11514/stat : 11514 (java) R 11511 11511 10413 0 -1 4202560 5429 0 0 0 19 1 0 0 20 0 20 0 107861633 26628161536 9688 33554432000 4194304 4196468 140730030421920 140147458480880 140147438339422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11515] ppid=11511 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/11513/task/11515/stat : 11515 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 9688 33554432000 4194304 4196468 140730030421920 140147406879760 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11516] ppid=11511 vsize=26004064 memory=3473598524886922912 CPUtime=0 cores=0-7 /proc/11513/task/11516/stat : 11516 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 9688 33554432000 4194304 4196468 140730030421920 140147405827216 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11517] ppid=11511 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11517/stat : 11517 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 9688 33554432000 4194304 4196468 140730030421920 140147404774160 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11518] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11518/stat : 11518 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 9688 33554432000 4194304 4196468 140730030421920 140147403721616 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11519] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11519/stat : 11519 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 9688 33554432000 4194304 4196468 140730030421920 140147402668560 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11520] ppid=11511 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11520/stat : 11520 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 9688 33554432000 4194304 4196468 140730030421920 140147401616016 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11521] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11521/stat : 11521 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 9688 33554432000 4194304 4196468 140730030421920 140147006241040 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11522] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11522/stat : 11522 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 9688 33554432000 4194304 4196468 140730030421920 140147005188496 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11523] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11523/stat : 11523 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861635 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146196380400 140147454270082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11524] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11524/stat : 11524 (java) S 11511 11511 10413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107861636 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146195326624 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11525] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11525/stat : 11525 (java) S 11511 11511 10413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107861636 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146194273520 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11526] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11526/stat : 11526 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107861638 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146193222096 140147454277531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11527] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11527/stat : 11527 (java) S 11511 11511 10413 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 107861638 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146125039856 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11528] ppid=11511 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/11513/task/11528/stat : 11528 (java) S 11511 11511 10413 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 20 0 107861638 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146123987312 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11529] ppid=11511 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/11513/task/11529/stat : 11529 (java) S 11511 11511 10413 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 20 0 107861638 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146122934256 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11530] ppid=11511 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/11513/task/11530/stat : 11530 (java) S 11511 11511 10413 0 -1 1077944384 715 0 0 0 7 0 0 0 20 0 20 0 107861638 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146121881712 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11531] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11531/stat : 11531 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107861639 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146120829920 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11532] ppid=11511 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11532/stat : 11532 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107861639 26628161536 9688 33554432000 4194304 4196468 140730030421920 140146119777456 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40136 KiB [startup+0.30941 s]* /proc/loadavg: 7.64 8.20 8.26 2/200 11532 /proc/meminfo: memFree=26915140/32770624 swapFree=67108860/67108860 [pid=11511] ppid=11508 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11511/stat : 11511 (xcsp3-exec) S 11508 11511 10413 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107861632 9740288 346 33554432000 4194304 5098028 140732223067520 140732223065624 139871037047420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29220864 140732223075429 140732223075639 140732223075639 140732223078379 0 /proc/11511/statm: 2378 346 289 221 0 87 0 [pid=11513] ppid=11511 vsize=26004064 memory=45184 CPUtime=0.49 cores=0-7 /proc/11513/stat : 11513 (java) S 11511 11511 10413 0 -1 1077944320 9137 0 0 0 46 3 0 0 20 0 20 0 107861632 26628161536 11296 33554432000 4194304 4196468 140730030421920 140730030404464 140147454258935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 /proc/11513/statm: 6501016 11296 3086 1 0 6488269 0 [pid=11513/tid=11514] ppid=11511 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/11513/task/11514/stat : 11514 (java) R 11511 11511 10413 0 -1 4202560 6167 0 0 0 28 1 0 0 20 0 20 0 107861633 26628161536 11360 33554432000 4194304 4196468 140730030421920 140147458495952 140147438302565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11515] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11515/stat : 11515 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 11360 33554432000 4194304 4196468 140730030421920 140147406879760 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11516] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11516/stat : 11516 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 11360 33554432000 4194304 4196468 140730030421920 140147405827216 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11517] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11517/stat : 11517 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 11360 33554432000 4194304 4196468 140730030421920 140147404774160 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11518] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11518/stat : 11518 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 11360 33554432000 4194304 4196468 140730030421920 140147403721616 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11519] ppid=11511 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/11513/task/11519/stat : 11519 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 11360 33554432000 4194304 4196468 140730030421920 140147402668560 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11520] ppid=11511 vsize=26004064 memory=139930571469743 CPUtime=0 cores=0-7 /proc/11513/task/11520/stat : 11520 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 11360 33554432000 4194304 4196468 140730030421920 140147401616016 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11521] ppid=11511 vsize=26004064 memory=139930571472048 CPUtime=0 cores=0-7 /proc/11513/task/11521/stat : 11521 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 11360 33554432000 4194304 4196468 140730030421920 140147006241040 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11522] ppid=11511 vsize=26004064 memory=139930571474352 CPUtime=0 cores=0-7 /proc/11513/task/11522/stat : 11522 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26628161536 11360 33554432000 4194304 4196468 140730030421920 140147005188496 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11523] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11523/stat : 11523 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861635 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146196380400 140147454270082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11524] ppid=11511 vsize=26004064 memory=279861142955664 CPUtime=0 cores=0-7 /proc/11513/task/11524/stat : 11524 (java) S 11511 11511 10413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107861636 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146195326624 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11525] ppid=11511 vsize=26004064 memory=279861142962576 CPUtime=0 cores=0-7 /proc/11513/task/11525/stat : 11525 (java) S 11511 11511 10413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107861636 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146194273520 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11526] ppid=11511 vsize=26004064 memory=279861142903856 CPUtime=0 cores=0-7 /proc/11513/task/11526/stat : 11526 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107861638 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146193222096 140147454277531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11527] ppid=11511 vsize=26004064 memory=279861142976400 CPUtime=0 cores=0-7 /proc/11513/task/11527/stat : 11527 (java) S 11511 11511 10413 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 107861638 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146125039856 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11528] ppid=11511 vsize=26004064 memory=279861142983312 CPUtime=0.01 cores=0-7 /proc/11513/task/11528/stat : 11528 (java) S 11511 11511 10413 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 107861638 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146123987312 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11529] ppid=11511 vsize=26004064 memory=279861142981008 CPUtime=0.03 cores=0-7 /proc/11513/task/11529/stat : 11529 (java) S 11511 11511 10413 0 -1 1077944384 315 0 0 0 3 0 0 0 20 0 20 0 107861638 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146122934256 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11530] ppid=11511 vsize=26004064 memory=279861142997168 CPUtime=0.11 cores=0-7 /proc/11513/task/11530/stat : 11530 (java) S 11511 11511 10413 0 -1 1077944384 783 0 0 0 11 0 0 0 20 0 20 0 107861638 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146121881712 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11531] ppid=11511 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11531/stat : 11531 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107861639 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146120829920 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11532] ppid=11511 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11532/stat : 11532 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107861639 26628161536 11360 33554432000 4194304 4196468 140730030421920 140146119777456 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46568 KiB [startup+0.700886 s] /proc/loadavg: 7.64 8.20 8.26 5/200 11532 /proc/meminfo: memFree=26894912/32770624 swapFree=67108860/67108860 [pid=11511] ppid=11508 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11511/stat : 11511 (xcsp3-exec) S 11508 11511 10413 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107861632 9740288 346 33554432000 4194304 5098028 140732223067520 140732223065624 139871037047420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29220864 140732223075429 140732223075639 140732223075639 140732223078379 0 /proc/11511/statm: 2378 346 289 221 0 87 0 [pid=11513] ppid=11511 vsize=26006188 memory=93644 CPUtime=1.88 cores=0-7 /proc/11513/stat : 11513 (java) S 11511 11511 10413 0 -1 1077944320 17605 0 0 0 182 6 0 0 20 0 20 0 107861632 26630336512 23411 33554432000 4194304 4196468 140730030421920 140730030404464 140147454258935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 /proc/11513/statm: 6501547 23411 3205 1 0 6488781 0 [pid=11513/tid=11514] ppid=11511 vsize=26006188 memory=279861143355056 CPUtime=0.67 cores=0-7 /proc/11513/task/11514/stat : 11514 (java) R 11511 11511 10413 0 -1 4202560 6780 0 0 0 65 2 0 0 20 0 20 0 107861633 26630336512 23411 33554432000 4194304 4196468 140730030421920 140147458484832 140147081458821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11515] ppid=11511 vsize=26006188 memory=139930571678576 CPUtime=0 cores=0-7 /proc/11513/task/11515/stat : 11515 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107861634 26630336512 23411 33554432000 4194304 4196468 140730030421920 140147406879760 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11516] ppid=11511 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11516/stat : 11516 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26630336512 23411 33554432000 4194304 4196468 140730030421920 140147405827216 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11517] ppid=11511 vsize=26006188 memory=1008 CPUtime=0 cores=0-7 /proc/11513/task/11517/stat : 11517 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107861634 26630336512 23411 33554432000 4194304 4196468 140730030421920 140147404774160 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 ################ # More data... # ################ [pid=11513/tid=11521] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11521/stat : 11521 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 42341 33554432000 4194304 4196468 140730030421920 140147006241040 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11522] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11522/stat : 11522 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 42341 33554432000 4194304 4196468 140730030421920 140147005188496 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11523] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11523/stat : 11523 (java) S 11511 11511 10413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 107861635 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146196380400 140147454270082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11524] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11524/stat : 11524 (java) S 11511 11511 10413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 107861636 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146195326624 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11525] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11525/stat : 11525 (java) S 11511 11511 10413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 107861636 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146194273520 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11526] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11526/stat : 11526 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107861638 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146193222096 140147454277531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11527] ppid=11511 vsize=26538700 memory=1384 CPUtime=1.26 cores=0-7 /proc/11513/task/11527/stat : 11527 (java) R 11511 11511 10413 0 -1 4202560 5356 0 0 0 123 3 0 0 20 0 28 0 107861638 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146125021744 140147437755719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11528] ppid=11511 vsize=26538700 memory=166380 CPUtime=1.28 cores=0-7 /proc/11513/task/11528/stat : 11528 (java) R 11511 11511 10413 0 -1 4202560 6508 0 0 0 127 1 0 0 20 0 28 0 107861638 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146123968304 140147435444851 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11529] ppid=11511 vsize=26538700 memory=1399101730491701635 CPUtime=1.25 cores=0-7 /proc/11513/task/11529/stat : 11529 (java) R 11511 11511 10413 0 -1 4202560 4492 0 0 0 124 1 0 0 20 0 28 0 107861638 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146122921488 140147431483088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11530] ppid=11511 vsize=26538700 memory=6944656591801717918 CPUtime=0.63 cores=0-7 /proc/11513/task/11530/stat : 11530 (java) R 11511 11511 10413 0 -1 1077944384 4730 0 0 0 62 1 0 0 20 0 28 0 107861638 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146121881712 140147454270082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11531] ppid=11511 vsize=26538700 memory=-7384994778349281184 CPUtime=0 cores=0-7 /proc/11513/task/11531/stat : 11531 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107861639 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146120829920 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11532] ppid=11511 vsize=26538700 memory=-7522837415797432224 CPUtime=0 cores=0-7 /proc/11513/task/11532/stat : 11532 (java) S 11511 11511 10413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 107861639 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146119777456 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11533] ppid=11511 vsize=26538700 memory=-7522837583129502606 CPUtime=0.65 cores=0-7 /proc/11513/task/11533/stat : 11533 (java) R 11511 11511 10413 0 -1 4202560 131 0 0 0 65 0 0 0 20 0 28 0 107861775 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146111764720 140147084307015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11534] ppid=11511 vsize=26538700 memory=0 CPUtime=0.54 cores=0-7 /proc/11513/task/11534/stat : 11534 (java) R 11511 11511 10413 0 -1 1077944384 68 0 0 0 54 0 0 0 20 0 28 0 107861775 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146110710336 140147454280125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11535] ppid=11511 vsize=26538700 memory=0 CPUtime=0.68 cores=0-7 /proc/11513/task/11535/stat : 11535 (java) R 11511 11511 10413 0 -1 4202560 101 0 0 0 68 0 0 0 20 0 28 0 107861775 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146109657296 140147087806619 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11536] ppid=11511 vsize=26538700 memory=0 CPUtime=0.65 cores=0-7 /proc/11513/task/11536/stat : 11536 (java) R 11511 11511 10413 0 -1 1077944384 51 0 0 0 65 0 0 0 20 0 28 0 107861775 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146108607560 140147454280125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11537] ppid=11511 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7 /proc/11513/task/11537/stat : 11537 (java) R 11511 11511 10413 0 -1 4202560 137 0 0 0 75 0 0 0 20 0 28 0 107861776 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146107554240 140147087806784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11538] ppid=11511 vsize=26538700 memory=0 CPUtime=0.67 cores=0-7 /proc/11513/task/11538/stat : 11538 (java) R 11511 11511 10413 0 -1 4202560 397 0 0 0 67 0 0 0 20 0 28 0 107861776 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146106504968 140147087806771 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11539] ppid=11511 vsize=26538700 memory=0 CPUtime=0.78 cores=0-7 /proc/11513/task/11539/stat : 11539 (java) R 11511 11511 10413 0 -1 4202560 110 0 0 0 78 0 0 0 20 0 28 0 107861776 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146105452280 140147087747660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11540] ppid=11511 vsize=26538700 memory=6791534058613427641 CPUtime=0.66 cores=0-7 /proc/11513/task/11540/stat : 11540 (java) S 11511 11511 10413 0 -1 1077944384 83 0 0 0 66 0 0 0 20 0 28 0 107861776 27175628800 42341 33554432000 4194304 4196468 140730030421920 140146104396544 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 Current children cumulated CPU time: 11.3 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 170748 KiB [startup+2.80168 s] /proc/loadavg: 7.64 8.20 8.26 13/208 11540 /proc/meminfo: memFree=26792808/32770624 swapFree=67108860/67108860 [pid=11511] ppid=11508 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11511/stat : 11511 (xcsp3-exec) S 11508 11511 10413 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107861632 9740288 346 33554432000 4194304 5098028 140732223067520 140732223065624 139871037047420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29220864 140732223075429 140732223075639 140732223075639 140732223078379 0 /proc/11511/statm: 2378 346 289 221 0 87 0 [pid=11513] ppid=11511 vsize=26538700 memory=190368 CPUtime=13.67 cores=0-7 /proc/11513/stat : 11513 (java) S 11511 11511 10413 0 -1 1077944320 33043 0 0 0 1352 15 0 0 20 0 28 0 107861632 27175628800 47592 33554432000 4194304 4196468 140730030421920 140730030404464 140147454258935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 /proc/11513/statm: 6634675 47592 3243 1 0 6621909 0 [pid=11513/tid=11514] ppid=11511 vsize=26538700 memory=3472328296227689133 CPUtime=1.4 cores=0-7 /proc/11513/task/11514/stat : 11514 (java) S 11511 11511 10413 0 -1 1077944384 8479 0 0 0 137 3 0 0 20 0 28 0 107861633 27175628800 47592 33554432000 4194304 4196468 140730030421920 140147458499712 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11515] ppid=11511 vsize=26538700 memory=4420 CPUtime=0 cores=0-7 /proc/11513/task/11515/stat : 11515 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 47592 33554432000 4194304 4196468 140730030421920 140147406879760 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11516] ppid=11511 vsize=26538700 memory=6628 CPUtime=0 cores=0-7 /proc/11513/task/11516/stat : 11516 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 47592 33554432000 4194304 4196468 140730030421920 140147405827216 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11517] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11517/stat : 11517 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 47592 33554432000 4194304 4196468 140730030421920 140147404774160 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11518] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11518/stat : 11518 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 47592 33554432000 4194304 4196468 140730030421920 140147403721616 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11519] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11519/stat : 11519 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 47592 33554432000 4194304 4196468 140730030421920 140147402668560 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11520] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11520/stat : 11520 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 47592 33554432000 4194304 4196468 140730030421920 140147401616016 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11521] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11521/stat : 11521 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 47592 33554432000 4194304 4196468 140730030421920 140147006241040 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11522] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11522/stat : 11522 (java) S 11511 11511 10413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107861634 27175628800 47592 33554432000 4194304 4196468 140730030421920 140147005188496 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11523] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11523/stat : 11523 (java) S 11511 11511 10413 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 28 0 107861635 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146196380400 140147454270082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11524] ppid=11511 vsize=26538700 memory=49439368567294 CPUtime=0 cores=0-7 /proc/11513/task/11524/stat : 11524 (java) S 11511 11511 10413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 107861636 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146195326624 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11525] ppid=11511 vsize=26538700 memory=7161379134642348369 CPUtime=0 cores=0-7 /proc/11513/task/11525/stat : 11525 (java) S 11511 11511 10413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 107861636 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146194273520 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11526] ppid=11511 vsize=26538700 memory=5867181402644239208 CPUtime=0 cores=0-7 /proc/11513/task/11526/stat : 11526 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107861638 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146193222096 140147454277531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11527] ppid=11511 vsize=26538700 memory=7234863911871277161 CPUtime=1.4 cores=0-7 /proc/11513/task/11527/stat : 11527 (java) R 11511 11511 10413 0 -1 4202560 5404 0 0 0 137 3 0 0 20 0 28 0 107861638 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146125039856 140147439009105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11528] ppid=11511 vsize=26538700 memory=4639622827774857296 CPUtime=1.38 cores=0-7 /proc/11513/task/11528/stat : 11528 (java) R 11511 11511 10413 0 -1 4202560 6538 0 0 0 137 1 0 0 20 0 28 0 107861638 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146123973880 140147437759141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11529] ppid=11511 vsize=26538700 memory=7013062708512711272 CPUtime=1.39 cores=0-7 /proc/11513/task/11529/stat : 11529 (java) R 11511 11511 10413 0 -1 4202560 4594 0 0 0 138 1 0 0 20 0 28 0 107861638 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146122934256 140147433698062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11530] ppid=11511 vsize=26538700 memory=9441 CPUtime=0.68 cores=0-7 /proc/11513/task/11530/stat : 11530 (java) R 11511 11511 10413 0 -1 1077944384 4845 0 0 0 66 2 0 0 20 0 28 0 107861638 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146121881712 140147454270082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11531] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11531/stat : 11531 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107861639 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146120829920 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11532] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11532/stat : 11532 (java) S 11511 11511 10413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 107861639 27175628800 47592 33554432000 4194304 4196468 140730030421920 140146119777456 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 Current children cumulated CPU time: 13.67 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 191752 KiB [startup+3.00095 s]* /proc/loadavg: 7.64 8.20 8.26 3/208 11548 /proc/meminfo: memFree=26768768/32770624 swapFree=67108860/67108860 [pid=11511] ppid=11508 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/11511/stat : 11511 (xcsp3-exec) S 11508 11511 10413 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107861632 9740288 346 33554432000 4194304 5098028 140732223067520 140732223065624 139871037047420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29220864 140732223075429 140732223075639 140732223075639 140732223078379 0 /proc/11511/statm: 2378 346 289 221 0 87 0 [pid=11513] ppid=11511 vsize=26538700 memory=211428 CPUtime=15.1 cores=0-7 /proc/11513/stat : 11513 (java) S 11511 11511 10413 0 -1 1077944320 33696 0 0 0 1495 15 0 0 20 0 27 0 107861632 27175628800 52857 33554432000 4194304 4196468 140730030421920 140730030404464 140147454258935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 /proc/11513/statm: 6634675 52857 3264 1 0 6621909 0 [pid=11513/tid=11514] ppid=11511 vsize=26538700 memory=6791534058613427641 CPUtime=1.4 cores=0-7 /proc/11513/task/11514/stat : 11514 (java) S 11511 11511 10413 0 -1 1077944384 8479 0 0 0 137 3 0 0 20 0 27 0 107861633 27175628800 53369 33554432000 4194304 4196468 140730030421920 140147458497648 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11515] ppid=11511 vsize=26538700 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11513/task/11515/stat : 11515 (java) R 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 107861634 27175628800 53369 33554432000 4194304 4196468 140730030421920 140147406879760 140147454269141 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11516] ppid=11511 vsize=26538700 memory=139930692007552 CPUtime=0 cores=0-7 /proc/11513/task/11516/stat : 11516 (java) R 11511 11511 10413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 27 0 107861634 27175628800 53369 33554432000 4194304 4196468 140730030421920 140147405824848 140147454269141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11517] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11517/stat : 11517 (java) R 11511 11511 10413 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 27 0 107861634 27175628800 53369 33554432000 4194304 4196468 140730030421920 140147404771968 140147454269141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11518] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11518/stat : 11518 (java) R 11511 11511 10413 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 27 0 107861634 27175628800 53369 33554432000 4194304 4196468 140730030421920 140147403719424 140147439286354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11519] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11519/stat : 11519 (java) R 11511 11511 10413 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 27 0 107861634 27175628800 53369 33554432000 4194304 4196468 140730030421920 140147402668560 140147439282638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11520] ppid=11511 vsize=26538700 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11520/stat : 11520 (java) S 11511 11511 10413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 27 0 107861634 27175628800 53369 33554432000 4194304 4196468 140730030421920 140147401613648 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11521] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11521/stat : 11521 (java) R 11511 11511 10413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 27 0 107861634 27175628800 53369 33554432000 4194304 4196468 140730030421920 140147006238672 140147454269141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11522] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11522/stat : 11522 (java) R 11511 11511 10413 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 27 0 107861634 27175628800 53369 33554432000 4194304 4196468 140730030421920 140147005186128 140147438707082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11523] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11523/stat : 11523 (java) S 11511 11511 10413 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 27 0 107861635 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146196378912 140147454269141 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11524] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11524/stat : 11524 (java) S 11511 11511 10413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 27 0 107861636 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146195326624 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11525] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11525/stat : 11525 (java) S 11511 11511 10413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 27 0 107861636 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146194273520 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11526] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11526/stat : 11526 (java) S 11511 11511 10413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 107861638 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146193222096 140147454277531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11527] ppid=11511 vsize=26538700 memory=0 CPUtime=1.5 cores=0-7 /proc/11513/task/11527/stat : 11527 (java) S 11511 11511 10413 0 -1 1077944384 5419 0 0 0 147 3 0 0 20 0 27 0 107861638 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146125039856 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11528] ppid=11511 vsize=26538700 memory=0 CPUtime=1.47 cores=0-7 /proc/11513/task/11528/stat : 11528 (java) R 11511 11511 10413 0 -1 4202560 6554 0 0 0 146 1 0 0 20 0 27 0 107861638 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146123976304 140147435785421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11529] ppid=11511 vsize=26538700 memory=0 CPUtime=1.45 cores=0-7 /proc/11513/task/11529/stat : 11529 (java) S 11511 11511 10413 0 -1 1077944384 4619 0 0 0 144 1 0 0 20 0 27 0 107861638 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146122934256 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11530] ppid=11511 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7 /proc/11513/task/11530/stat : 11530 (java) S 11511 11511 10413 0 -1 1077944384 4881 0 0 0 68 2 0 0 20 0 27 0 107861638 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146121881712 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11531] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11531/stat : 11531 (java) S 11511 11511 10413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 107861639 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146120829920 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11532] ppid=11511 vsize=26538700 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11532/stat : 11532 (java) S 11511 11511 10413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 27 0 107861639 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146119777456 140147454270082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11549] ppid=11511 vsize=26538700 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11549/stat : 11549 (java) S 11511 11511 10413 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 27 0 107861932 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146110719184 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11550] ppid=11511 vsize=26538700 memory=139930692007552 CPUtime=0 cores=0-7 /proc/11513/task/11550/stat : 11550 (java) S 11511 11511 10413 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 27 0 107861933 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146106508624 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11551] ppid=11511 vsize=26538700 memory=-1 CPUtime=0 cores=0-7 /proc/11513/task/11551/stat : 11551 (java) S 11511 11511 10413 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 27 0 107861933 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146105455568 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11552] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11552/stat : 11552 (java) S 11511 11511 10413 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 27 0 107861933 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146107561040 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11553] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11553/stat : 11553 (java) S 11511 11511 10413 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 27 0 107861933 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146104402640 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11554] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11554/stat : 11554 (java) S 11511 11511 10413 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 27 0 107861933 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146108612976 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 [pid=11513/tid=11555] ppid=11511 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/11513/task/11555/stat : 11555 (java) S 11511 11511 10413 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 27 0 107861933 27175628800 53369 33554432000 4194304 4196468 140730030421920 140146111771280 140147454269141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30117888 140730030429330 140730030429507 140730030429507 140730030432207 0 Current children cumulated CPU time: 15.1 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 212812 KiB Child status: 0 Real time (s): 3.03798 CPU time (s): 15.2043 CPU user time (s): 15.0112 CPU system time (s): 0.193096 CPU usage (%): 500.473 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 212812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.0112 system time used= 0.193096 maximum resident set size= 232636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34441 page faults= 0 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3851 involuntary context switches= 384 # summary of solver processes directly reported to runsolver: # pid: 11511 # total CPU time (s): 15.2043 # total CPU user time (s): 15.0112 # total CPU system time (s): 0.193096 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.049912 second user time and 0.07009 second system time The end
Begin job on node114 at 2017-08-14 23:41:20 IDJOB=4270679 IDBENCH=130611 IDSOLVER=2662 FILE ID=node114/4270679-1502747738 RUNJOBID= node114-1502740700-10440 PBS_JOBID= 20629063 Free space on /tmp= 61700 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-07.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-4270679-1502747738/watcher-4270679-1502747738 -o /tmp/evaluation-result-4270679-1502747738/solver-4270679-1502747738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502740700-10440 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 118838521 HOME/instance-4270679-1502747738.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7aff4fe352a8c3fb8c4e8479cd8d4369 RANDOM SEED=118838521 node114.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.98 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.98 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.98 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.98 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: 26949808 kB MemAvailable: 31989080 kB Buffers: 202296 kB Cached: 5124492 kB SwapCached: 0 kB Active: 469108 kB Inactive: 4912580 kB Active(anon): 57432 kB Inactive(anon): 25124 kB Active(file): 411676 kB Inactive(file): 4887456 kB Unevictable: 6432 kB Mlocked: 6432 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7820 kB Writeback: 28 kB AnonPages: 61424 kB Mapped: 45088 kB Shmem: 25224 kB Slab: 137384 kB SReclaimable: 111948 kB SUnreclaim: 25436 kB KernelStack: 3184 kB PageTables: 4980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61692 MiB End job on node114 at 2017-08-14 23:41:23