Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 71.108597 | 29.813499 |
Name | TravellingSalesman/TravellingSalesman-xcsp2-s20a4/ TravellingSalesman-4-20-727-a4_X2.xml |
MD5SUM | feda79726080e93715556435cff6944b |
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 | 7.4597402 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 61 |
Number of constraints | 228 |
Number of domains | 5 |
Minimum domain size | 1 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":20,"count":20},{"size":216,"count":19},{"size":1001,"count":20}] |
Minimum variable degree | 1 |
Maximum variable degree | 208 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}] |
Number of extensional constraints | 228 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":228}] |
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-4281146-1503162217.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281146-1503162217.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 31.95/24.84 c solve instance... 70.32/29.80 s SATISFIABLE 70.32/29.80 v <instantiation> 70.32/29.80 v <list>w3 w4 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list> 70.32/29.80 v <values>215 0 19 13 6 9 10 2 8 1 7 14 18 20 11 12 3 5 15 16 17 4 21 3 24 1 23 4 28 12 27 4 12 10 4 13 5 8 3 5 4 4 24 48 49 72 76 104 116 143 147 159 169 173 186 191 199 202 207 211 215 </values> 70.32/29.80 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 (11420 MiB free) memory of node 1: 16384 MiB (9830 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281146-1503162217/watcher-4281146-1503162217 -o /tmp/evaluation-result-4281146-1503162217/solver-4281146-1503162217 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503158836-32366 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1197605416 HOME/instance-4281146-1503162217.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=32591, runsolver pid=32588 [startup+0.100158 s]* /proc/loadavg: 8.57 8.57 8.38 2/199 32612 /proc/meminfo: memFree=21746164/32770624 swapFree=67108860/67108860 [pid=32591] ppid=32588 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32591/stat : 32591 (xcsp3-exec) S 32588 32591 32339 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149309416 9740288 346 33554432000 4194304 5098028 140725581997248 140725581995352 139731871744636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20729856 140725582005348 140725582005559 140725582005559 140725582008299 0 /proc/32591/statm: 2378 346 289 221 0 87 0 [pid=32593] ppid=32591 vsize=25999808 memory=26228 CPUtime=0.12 cores=0-7 /proc/32593/stat : 32593 (java) S 32591 32591 32339 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 20 0 149309417 26623803392 6557 33554432000 4194304 4196468 140726987601072 140726987583616 139758161997559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 /proc/32593/statm: 6499952 6557 2841 1 0 6488269 0 [pid=32593/tid=32594] ppid=32591 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/32593/task/32594/stat : 32594 (java) R 32591 32591 32339 0 -1 4202560 3486 0 0 0 8 0 0 0 20 0 20 0 149309417 26623803392 6557 33554432000 4194304 4196468 140726987601072 139758166223808 139758162019485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32595] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32595/stat : 32595 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26623803392 6557 33554432000 4194304 4196468 140726987601072 139758114618384 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32596] ppid=32591 vsize=25999808 memory=139892932986496 CPUtime=0 cores=0-7 /proc/32593/task/32596/stat : 32596 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26623803392 6557 33554432000 4194304 4196468 140726987601072 139758113565840 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32597] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32597/stat : 32597 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26623803392 6557 33554432000 4194304 4196468 140726987601072 139758112512784 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32598] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32598/stat : 32598 (java) S 32591 32591 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149309418 26623803392 6557 33554432000 4194304 4196468 140726987601072 139758111460240 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32599] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32599/stat : 32599 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26623803392 6557 33554432000 4194304 4196468 140726987601072 139758110407184 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32600] ppid=32591 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/32593/task/32600/stat : 32600 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26623803392 6557 33554432000 4194304 4196468 140726987601072 139758109354640 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32601] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32601/stat : 32601 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26623803392 6557 33554432000 4194304 4196468 140726987601072 139758108301584 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32602] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32602/stat : 32602 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26623803392 6557 33554432000 4194304 4196468 140726987601072 139758107249040 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32603] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32603/stat : 32603 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309419 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756904147696 139758162008706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32604] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32604/stat : 32604 (java) S 32591 32591 32339 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149309420 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756903093920 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32605] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32605/stat : 32605 (java) S 32591 32591 32339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149309420 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756902040816 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32606] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32606/stat : 32606 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309422 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756900989392 139758162016155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32607] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32607/stat : 32607 (java) S 32591 32591 32339 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 149309422 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756899936496 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32608] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32608/stat : 32608 (java) S 32591 32591 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149309422 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756898883952 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32609] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32609/stat : 32609 (java) S 32591 32591 32339 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 149309422 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756897830896 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32610] ppid=32591 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/32593/task/32610/stat : 32610 (java) S 32591 32591 32339 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 149309422 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756896778352 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32611] ppid=32591 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32611/stat : 32611 (java) S 32591 32591 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149309422 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756895726560 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32612] ppid=32591 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/32593/task/32612/stat : 32612 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309423 26623803392 6557 33554432000 4194304 4196468 140726987601072 139756826520752 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27612 KiB [startup+0.210447 s]* /proc/loadavg: 8.57 8.57 8.38 2/199 32612 /proc/meminfo: memFree=21734712/32770624 swapFree=67108860/67108860 [pid=32591] ppid=32588 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32591/stat : 32591 (xcsp3-exec) S 32588 32591 32339 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149309416 9740288 346 33554432000 4194304 5098028 140725581997248 140725581995352 139731871744636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20729856 140725582005348 140725582005559 140725582005559 140725582008299 0 /proc/32591/statm: 2378 346 289 221 0 87 0 [pid=32593] ppid=32591 vsize=26004096 memory=39192 CPUtime=0.33 cores=0-7 /proc/32593/stat : 32593 (java) S 32591 32591 32339 0 -1 1077944320 8363 0 0 0 31 2 0 0 20 0 20 0 149309417 26628194304 9777 33554432000 4194304 4196468 140726987601072 140726987583616 139758161997559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 /proc/32593/statm: 6501024 9777 3048 1 0 6488277 0 [pid=32593/tid=32594] ppid=32591 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/32593/task/32594/stat : 32594 (java) D 32591 32591 32339 0 -1 1077944384 5409 0 0 0 18 1 0 0 20 0 20 0 149309417 26628161536 9798 33554432000 4194304 4196468 140726987601072 139758166208368 139758154676781 0 4 0 16800975 18446744072101760548 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32595] ppid=32591 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/32593/task/32595/stat : 32595 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 9798 33554432000 4194304 4196468 140726987601072 139758114618384 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32596] ppid=32591 vsize=26004064 memory=139892933572649 CPUtime=0 cores=0-7 /proc/32593/task/32596/stat : 32596 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 9798 33554432000 4194304 4196468 140726987601072 139758113565840 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32597] ppid=32591 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32593/task/32597/stat : 32597 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 9798 33554432000 4194304 4196468 140726987601072 139758112512784 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32598] ppid=32591 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32598/stat : 32598 (java) S 32591 32591 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149309418 26628194304 9798 33554432000 4194304 4196468 140726987601072 139758111460240 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32599] ppid=32591 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32599/stat : 32599 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26628194304 9798 33554432000 4194304 4196468 140726987601072 139758110407184 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32600] ppid=32591 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32593/task/32600/stat : 32600 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 9798 33554432000 4194304 4196468 140726987601072 139758109354640 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32601] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32601/stat : 32601 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 9798 33554432000 4194304 4196468 140726987601072 139758108301584 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32602] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32602/stat : 32602 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 9798 33554432000 4194304 4196468 140726987601072 139758107249040 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32603] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32603/stat : 32603 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309419 26628161536 9798 33554432000 4194304 4196468 140726987601072 139756904147696 139758162008706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32604] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32604/stat : 32604 (java) S 32591 32591 32339 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149309420 26628161536 9798 33554432000 4194304 4196468 140726987601072 139756903093920 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32605] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32605/stat : 32605 (java) S 32591 32591 32339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149309420 26628161536 9798 33554432000 4194304 4196468 140726987601072 139756902040816 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32606] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32606/stat : 32606 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309422 26628161536 9798 33554432000 4194304 4196468 140726987601072 139756900989392 139758162016155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32607] ppid=32591 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/32593/task/32607/stat : 32607 (java) S 32591 32591 32339 0 -1 1077944384 546 0 0 0 1 0 0 0 20 0 20 0 149309422 26628161536 9798 33554432000 4194304 4196468 140726987601072 139756899936496 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32608] ppid=32591 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/32593/task/32608/stat : 32608 (java) S 32591 32591 32339 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 20 0 149309422 26628161536 9798 33554432000 4194304 4196468 140726987601072 139756898883952 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32609] ppid=32591 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/32593/task/32609/stat : 32609 (java) S 32591 32591 32339 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 149309422 26628161536 9798 33554432000 4194304 4196468 140726987601072 139756897830896 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32610] ppid=32591 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/32593/task/32610/stat : 32610 (java) S 32591 32591 32339 0 -1 1077944384 757 0 0 0 7 0 0 0 20 0 20 0 149309422 26628161536 9798 33554432000 4194304 4196468 140726987601072 139756896778352 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32611] ppid=32591 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32611/stat : 32611 (java) S 32591 32591 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149309422 26628194304 9798 33554432000 4194304 4196468 140726987601072 139756895726560 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32612] ppid=32591 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/32593/task/32612/stat : 32612 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309423 26628194304 9798 33554432000 4194304 4196468 140726987601072 139756826520752 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013608 KiB Current children cumulated memory: 40576 KiB [startup+0.30975 s]* /proc/loadavg: 8.57 8.57 8.38 3/199 32612 /proc/meminfo: memFree=21728012/32770624 swapFree=67108860/67108860 [pid=32591] ppid=32588 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32591/stat : 32591 (xcsp3-exec) S 32588 32591 32339 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149309416 9740288 346 33554432000 4194304 5098028 140725581997248 140725581995352 139731871744636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20729856 140725582005348 140725582005559 140725582005559 140725582008299 0 /proc/32591/statm: 2378 346 289 221 0 87 0 [pid=32593] ppid=32591 vsize=26004064 memory=46088 CPUtime=0.49 cores=0-7 /proc/32593/stat : 32593 (java) S 32591 32591 32339 0 -1 1077944320 9238 0 0 0 46 3 0 0 20 0 20 0 149309417 26628161536 11522 33554432000 4194304 4196468 140726987601072 140726987583616 139758161997559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 /proc/32593/statm: 6501016 11522 3110 1 0 6488269 0 [pid=32593/tid=32594] ppid=32591 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/32593/task/32594/stat : 32594 (java) R 32591 32591 32339 0 -1 4202560 6067 0 0 0 27 2 0 0 20 0 20 0 149309417 26628161536 11522 33554432000 4194304 4196468 140726987601072 139758166235072 139758162009494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32595] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32595/stat : 32595 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 11522 33554432000 4194304 4196468 140726987601072 139758114618384 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32596] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32596/stat : 32596 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 11522 33554432000 4194304 4196468 140726987601072 139758113565840 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32597] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32597/stat : 32597 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 11522 33554432000 4194304 4196468 140726987601072 139758112512784 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32598] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32598/stat : 32598 (java) S 32591 32591 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 11522 33554432000 4194304 4196468 140726987601072 139758111460240 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32599] ppid=32591 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/32593/task/32599/stat : 32599 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 11522 33554432000 4194304 4196468 140726987601072 139758110407184 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32600] ppid=32591 vsize=26004064 memory=139892789179311 CPUtime=0 cores=0-7 /proc/32593/task/32600/stat : 32600 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 11522 33554432000 4194304 4196468 140726987601072 139758109354640 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32601] ppid=32591 vsize=26004064 memory=139892789181616 CPUtime=0 cores=0-7 /proc/32593/task/32601/stat : 32601 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 11522 33554432000 4194304 4196468 140726987601072 139758108301584 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32602] ppid=32591 vsize=26004064 memory=139892789183920 CPUtime=0 cores=0-7 /proc/32593/task/32602/stat : 32602 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26628161536 11522 33554432000 4194304 4196468 140726987601072 139758107249040 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32603] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32603/stat : 32603 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309419 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756904147696 139758162008706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32604] ppid=32591 vsize=26004064 memory=279785578374800 CPUtime=0 cores=0-7 /proc/32593/task/32604/stat : 32604 (java) S 32591 32591 32339 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149309420 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756903093920 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32605] ppid=32591 vsize=26004064 memory=279785578381712 CPUtime=0 cores=0-7 /proc/32593/task/32605/stat : 32605 (java) S 32591 32591 32339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149309420 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756902040816 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32606] ppid=32591 vsize=26004064 memory=279785578322992 CPUtime=0 cores=0-7 /proc/32593/task/32606/stat : 32606 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309422 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756900989392 139758162016155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32607] ppid=32591 vsize=26004064 memory=279785578395536 CPUtime=0.02 cores=0-7 /proc/32593/task/32607/stat : 32607 (java) R 32591 32591 32339 0 -1 4202560 617 0 0 0 2 0 0 0 20 0 20 0 149309422 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756899917512 139758146385053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32608] ppid=32591 vsize=26004064 memory=279785578402448 CPUtime=0.02 cores=0-7 /proc/32593/task/32608/stat : 32608 (java) S 32591 32591 32339 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 20 0 149309422 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756898883952 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32609] ppid=32591 vsize=26004064 memory=279785578400144 CPUtime=0.02 cores=0-7 /proc/32593/task/32609/stat : 32609 (java) R 32591 32591 32339 0 -1 4202560 303 0 0 0 2 0 0 0 20 0 20 0 149309422 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756897822352 139758154234686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32610] ppid=32591 vsize=26004064 memory=279785578416304 CPUtime=0.12 cores=0-7 /proc/32593/task/32610/stat : 32610 (java) R 32591 32591 32339 0 -1 4202560 856 0 0 0 12 0 0 0 20 0 20 0 149309422 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756896775288 139758146078046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32611] ppid=32591 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32611/stat : 32611 (java) S 32591 32591 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149309422 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756895726560 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32612] ppid=32591 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32593/task/32612/stat : 32612 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309423 26628161536 11522 33554432000 4194304 4196468 140726987601072 139756826520752 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47472 KiB [startup+0.701031 s] /proc/loadavg: 8.57 8.57 8.38 6/199 32612 /proc/meminfo: memFree=21684556/32770624 swapFree=67108860/67108860 [pid=32591] ppid=32588 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32591/stat : 32591 (xcsp3-exec) S 32588 32591 32339 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149309416 9740288 346 33554432000 4194304 5098028 140725581997248 140725581995352 139731871744636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20729856 140725582005348 140725582005559 140725582005559 140725582008299 0 /proc/32591/statm: 2378 346 289 221 0 87 0 [pid=32593] ppid=32591 vsize=26004140 memory=118048 CPUtime=1.8 cores=0-7 /proc/32593/stat : 32593 (java) S 32591 32591 32339 0 -1 1077944320 12436 0 0 0 175 5 0 0 20 0 20 0 149309417 26628239360 29512 33554432000 4194304 4196468 140726987601072 140726987583616 139758161997559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 /proc/32593/statm: 6501035 29512 3197 1 0 6488269 0 [pid=32593/tid=32594] ppid=32591 vsize=26004140 memory=279785578774192 CPUtime=0.67 cores=0-7 /proc/32593/task/32594/stat : 32594 (java) R 32591 32591 32339 0 -1 4202560 6431 0 0 0 64 3 0 0 20 0 20 0 149309417 26628239360 29512 33554432000 4194304 4196468 140726987601072 139758166231952 139758144460233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32595] ppid=32591 vsize=26004140 memory=139892789388144 CPUtime=0 cores=0-7 /proc/32593/task/32595/stat : 32595 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26628239360 29512 33554432000 4194304 4196468 140726987601072 139758114618384 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32596] ppid=32591 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32596/stat : 32596 (java) S 32591 32591 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149309418 26628239360 29512 33554432000 4194304 4196468 140726987601072 139758113565840 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32597] ppid=32591 vsize=26004140 memory=1008 CPUtime=0 cores=0-7 /proc/32593/task/32597/stat : 32597 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149309418 26628239360 29512 33554432000 4194304 4196468 140726987601072 139758112512784 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 ################ # More data... # ################ /proc/32593/stat : 32593 (java) S 32591 32591 32339 0 -1 1077944320 49595 0 0 0 6077 238 0 0 20 0 28 0 149309417 27175628800 318737 33554432000 4194304 4196468 140726987601072 140726987583616 139758161997559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 /proc/32593/statm: 6634675 318737 3285 1 0 6621909 0 [pid=32593/tid=32594] ppid=32591 vsize=26538700 memory=1292 CPUtime=23.96 cores=0-7 /proc/32593/task/32594/stat : 32594 (java) S 32591 32591 32339 0 -1 1077944384 9707 0 0 0 2384 12 0 0 20 0 28 0 149309417 27175628800 318737 33554432000 4194304 4196468 140726987601072 139758166238336 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32595] ppid=32591 vsize=26538700 memory=1274912 CPUtime=0.69 cores=0-7 /proc/32593/task/32595/stat : 32595 (java) S 32591 32591 32339 0 -1 1077944384 875 0 0 0 44 25 0 0 20 0 28 0 149309418 27175628800 318737 33554432000 4194304 4196468 140726987601072 139758114618384 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32596] ppid=32591 vsize=26538700 memory=288230574492221466 CPUtime=0.7 cores=0-7 /proc/32593/task/32596/stat : 32596 (java) S 32591 32591 32339 0 -1 1077944384 835 0 0 0 45 25 0 0 20 0 28 0 149309418 27175628800 318737 33554432000 4194304 4196468 140726987601072 139758113565840 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32597] ppid=32591 vsize=26538700 memory=288230596050944315 CPUtime=0.7 cores=0-7 /proc/32593/task/32597/stat : 32597 (java) S 32591 32591 32339 0 -1 1077944384 685 0 0 0 43 27 0 0 20 0 28 0 149309418 27175628800 318737 33554432000 4194304 4196468 140726987601072 139758112512784 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32598] ppid=32591 vsize=26538700 memory=15538518206188108 CPUtime=0.67 cores=0-7 /proc/32593/task/32598/stat : 32598 (java) S 32591 32591 32339 0 -1 1077944384 833 0 0 0 42 25 0 0 20 0 28 0 149309418 27175628800 318737 33554432000 4194304 4196468 140726987601072 139758111460240 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32599] ppid=32591 vsize=26538700 memory=0 CPUtime=0.69 cores=0-7 /proc/32593/task/32599/stat : 32599 (java) S 32591 32591 32339 0 -1 1077944384 597 0 0 0 45 24 0 0 20 0 28 0 149309418 27175628800 318737 33554432000 4194304 4196468 140726987601072 139758110407184 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32600] ppid=32591 vsize=26538700 memory=0 CPUtime=0.68 cores=0-7 /proc/32593/task/32600/stat : 32600 (java) S 32591 32591 32339 0 -1 1077944384 757 0 0 0 42 26 0 0 20 0 28 0 149309418 27175628800 318737 33554432000 4194304 4196468 140726987601072 139758109354640 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32601] ppid=32591 vsize=26538700 memory=2428 CPUtime=0.67 cores=0-7 /proc/32593/task/32601/stat : 32601 (java) S 32591 32591 32339 0 -1 1077944384 1084 0 0 0 44 23 0 0 20 0 28 0 149309418 27175628800 318737 33554432000 4194304 4196468 140726987601072 139758108301584 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32602] ppid=32591 vsize=26538700 memory=1732 CPUtime=0.69 cores=0-7 /proc/32593/task/32602/stat : 32602 (java) S 32591 32591 32339 0 -1 1077944384 948 0 0 0 41 28 0 0 20 0 28 0 149309418 27175628800 318737 33554432000 4194304 4196468 140726987601072 139758107249040 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32603] ppid=32591 vsize=26538700 memory=1944 CPUtime=0.16 cores=0-7 /proc/32593/task/32603/stat : 32603 (java) S 32591 32591 32339 0 -1 1077944384 5154 0 0 0 16 0 0 0 20 0 28 0 149309419 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756904147696 139758162008706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32604] ppid=32591 vsize=26538700 memory=1700 CPUtime=0 cores=0-7 /proc/32593/task/32604/stat : 32604 (java) S 32591 32591 32339 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 149309420 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756903093984 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32605] ppid=32591 vsize=26538700 memory=1228 CPUtime=0 cores=0-7 /proc/32593/task/32605/stat : 32605 (java) S 32591 32591 32339 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 149309420 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756902040832 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32606] ppid=32591 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/32593/task/32606/stat : 32606 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149309422 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756900989392 139758162016155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32607] ppid=32591 vsize=26538700 memory=1247288 CPUtime=1.37 cores=0-7 /proc/32593/task/32607/stat : 32607 (java) S 32591 32591 32339 0 -1 1077944384 8081 0 0 0 136 1 0 0 20 0 28 0 149309422 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756899936496 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32608] ppid=32591 vsize=26538700 memory=0 CPUtime=1.76 cores=0-7 /proc/32593/task/32608/stat : 32608 (java) S 32591 32591 32339 0 -1 1077944384 6274 0 0 0 175 1 0 0 20 0 28 0 149309422 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756898883952 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32609] ppid=32591 vsize=26538700 memory=0 CPUtime=1.36 cores=0-7 /proc/32593/task/32609/stat : 32609 (java) S 32591 32591 32339 0 -1 1077944384 6381 0 0 0 135 1 0 0 20 0 28 0 149309422 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756897830896 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32610] ppid=32591 vsize=26538700 memory=0 CPUtime=0.67 cores=0-7 /proc/32593/task/32610/stat : 32610 (java) S 32591 32591 32339 0 -1 1077944384 3954 0 0 0 66 1 0 0 20 0 28 0 149309422 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756896778352 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32611] ppid=32591 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32611/stat : 32611 (java) S 32591 32591 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149309422 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756895726560 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32612] ppid=32591 vsize=26538700 memory=240 CPUtime=0.01 cores=0-7 /proc/32593/task/32612/stat : 32612 (java) S 32591 32591 32339 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 28 0 149309423 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756826520752 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32613] ppid=32591 vsize=26538700 memory=244 CPUtime=3.3 cores=0-7 /proc/32593/task/32613/stat : 32613 (java) R 32591 32591 32339 0 -1 4202560 259 0 0 0 330 0 0 0 20 0 28 0 149311904 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756819007032 139757789278836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32614] ppid=32591 vsize=26538700 memory=248 CPUtime=3.51 cores=0-7 /proc/32593/task/32614/stat : 32614 (java) R 32591 32591 32339 0 -1 4202560 165 0 0 0 351 0 0 0 20 0 28 0 149311904 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756817952936 139757789278383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32615] ppid=32591 vsize=26538700 memory=239 CPUtime=3.56 cores=0-7 /proc/32593/task/32615/stat : 32615 (java) R 32591 32591 32339 0 -1 4202560 198 0 0 0 356 0 0 0 20 0 28 0 149311904 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756816901512 139757789278850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32616] ppid=32591 vsize=26538700 memory=243 CPUtime=3.58 cores=0-7 /proc/32593/task/32616/stat : 32616 (java) R 32591 32591 32339 0 -1 4202560 261 0 0 0 357 1 0 0 20 0 28 0 149311904 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756815847432 139757789278868 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32617] ppid=32591 vsize=26538700 memory=221 CPUtime=3.66 cores=0-7 /proc/32593/task/32617/stat : 32617 (java) R 32591 32591 32339 0 -1 4202560 281 0 0 0 364 2 0 0 20 0 28 0 149311904 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756814796424 139757789279029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32618] ppid=32591 vsize=26538700 memory=0 CPUtime=3.58 cores=0-7 /proc/32593/task/32618/stat : 32618 (java) R 32591 32591 32339 0 -1 4202560 204 0 0 0 356 2 0 0 20 0 28 0 149311904 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756813741736 139757789278800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32619] ppid=32591 vsize=26538700 memory=47 CPUtime=3.62 cores=0-7 /proc/32593/task/32619/stat : 32619 (java) R 32591 32591 32339 0 -1 4202560 243 0 0 0 361 1 0 0 20 0 28 0 149311904 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756812690408 139757789278760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32620] ppid=32591 vsize=26538700 memory=109 CPUtime=3.34 cores=0-7 /proc/32593/task/32620/stat : 32620 (java) R 32591 32591 32339 0 -1 4202560 294 0 0 0 332 2 0 0 20 0 28 0 149311904 27175628800 318737 33554432000 4194304 4196468 140726987601072 139756811637944 139757789278112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 Current children cumulated CPU time: 63.15 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1276332 KiB [startup+29.6016 s] /proc/loadavg: 5.92 7.95 8.18 10/207 32620 /proc/meminfo: memFree=20491276/32770624 swapFree=67108860/67108860 [pid=32591] ppid=32588 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32591/stat : 32591 (xcsp3-exec) S 32588 32591 32339 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149309416 9740288 346 33554432000 4194304 5098028 140725581997248 140725581995352 139731871744636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20729856 140725582005348 140725582005559 140725582005559 140725582008299 0 /proc/32591/statm: 2378 346 289 221 0 87 0 [pid=32593] ppid=32591 vsize=26538700 memory=1281288 CPUtime=69.52 cores=0-7 /proc/32593/stat : 32593 (java) S 32591 32591 32339 0 -1 1077944320 54254 0 0 0 6713 239 0 0 20 0 28 0 149309417 27175628800 320322 33554432000 4194304 4196468 140726987601072 140726987583616 139758161997559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 /proc/32593/statm: 6634675 320322 3286 1 0 6621909 0 [pid=32593/tid=32594] ppid=32591 vsize=26538700 memory=6791534058613427641 CPUtime=23.96 cores=0-7 /proc/32593/task/32594/stat : 32594 (java) S 32591 32591 32339 0 -1 1077944384 9707 0 0 0 2384 12 0 0 20 0 28 0 149309417 27175628800 320322 33554432000 4194304 4196468 140726987601072 139758166238336 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32595] ppid=32591 vsize=26538700 memory=63 CPUtime=0.69 cores=0-7 /proc/32593/task/32595/stat : 32595 (java) S 32591 32591 32339 0 -1 1077944384 875 0 0 0 44 25 0 0 20 0 28 0 149309418 27175628800 320322 33554432000 4194304 4196468 140726987601072 139758114618384 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32596] ppid=32591 vsize=26538700 memory=4140 CPUtime=0.7 cores=0-7 /proc/32593/task/32596/stat : 32596 (java) S 32591 32591 32339 0 -1 1077944384 835 0 0 0 45 25 0 0 20 0 28 0 149309418 27175628800 320322 33554432000 4194304 4196468 140726987601072 139758113565840 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32597] ppid=32591 vsize=26538700 memory=41540 CPUtime=0.7 cores=0-7 /proc/32593/task/32597/stat : 32597 (java) S 32591 32591 32339 0 -1 1077944384 685 0 0 0 43 27 0 0 20 0 28 0 149309418 27175628800 320322 33554432000 4194304 4196468 140726987601072 139758112512784 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32598] ppid=32591 vsize=26538700 memory=1292 CPUtime=0.67 cores=0-7 /proc/32593/task/32598/stat : 32598 (java) S 32591 32591 32339 0 -1 1077944384 833 0 0 0 42 25 0 0 20 0 28 0 149309418 27175628800 320322 33554432000 4194304 4196468 140726987601072 139758111460240 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32599] ppid=32591 vsize=26538700 memory=52 CPUtime=0.69 cores=0-7 /proc/32593/task/32599/stat : 32599 (java) S 32591 32591 32339 0 -1 1077944384 597 0 0 0 45 24 0 0 20 0 28 0 149309418 27175628800 320322 33554432000 4194304 4196468 140726987601072 139758110407184 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32600] ppid=32591 vsize=26538700 memory=0 CPUtime=0.68 cores=0-7 /proc/32593/task/32600/stat : 32600 (java) S 32591 32591 32339 0 -1 1077944384 757 0 0 0 42 26 0 0 20 0 28 0 149309418 27175628800 320322 33554432000 4194304 4196468 140726987601072 139758109354640 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32601] ppid=32591 vsize=26538700 memory=0 CPUtime=0.67 cores=0-7 /proc/32593/task/32601/stat : 32601 (java) S 32591 32591 32339 0 -1 1077944384 1084 0 0 0 44 23 0 0 20 0 28 0 149309418 27175628800 320322 33554432000 4194304 4196468 140726987601072 139758108301584 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32602] ppid=32591 vsize=26538700 memory=0 CPUtime=0.69 cores=0-7 /proc/32593/task/32602/stat : 32602 (java) S 32591 32591 32339 0 -1 1077944384 948 0 0 0 41 28 0 0 20 0 28 0 149309418 27175628800 320322 33554432000 4194304 4196468 140726987601072 139758107249040 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32603] ppid=32591 vsize=26538700 memory=0 CPUtime=0.17 cores=0-7 /proc/32593/task/32603/stat : 32603 (java) S 32591 32591 32339 0 -1 1077944384 5154 0 0 0 17 0 0 0 20 0 28 0 149309419 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756904147696 139758162008706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32604] ppid=32591 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/32593/task/32604/stat : 32604 (java) S 32591 32591 32339 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 149309420 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756903093984 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32605] ppid=32591 vsize=26538700 memory=2 CPUtime=0 cores=0-7 /proc/32593/task/32605/stat : 32605 (java) S 32591 32591 32339 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 149309420 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756902040832 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32606] ppid=32591 vsize=26538700 memory=1424 CPUtime=0 cores=0-7 /proc/32593/task/32606/stat : 32606 (java) S 32591 32591 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149309422 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756900989392 139758162016155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32607] ppid=32591 vsize=26538700 memory=13160 CPUtime=1.38 cores=0-7 /proc/32593/task/32607/stat : 32607 (java) S 32591 32591 32339 0 -1 1077944384 8393 0 0 0 137 1 0 0 20 0 28 0 149309422 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756899936496 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32608] ppid=32591 vsize=26538700 memory=792 CPUtime=1.81 cores=0-7 /proc/32593/task/32608/stat : 32608 (java) S 32591 32591 32339 0 -1 1077944384 7166 0 0 0 180 1 0 0 20 0 28 0 149309422 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756898883952 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32609] ppid=32591 vsize=26538700 memory=1008 CPUtime=1.39 cores=0-7 /proc/32593/task/32609/stat : 32609 (java) S 32591 32591 32339 0 -1 1077944384 7882 0 0 0 138 1 0 0 20 0 28 0 149309422 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756897830896 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32610] ppid=32591 vsize=26538700 memory=10724 CPUtime=0.68 cores=0-7 /proc/32593/task/32610/stat : 32610 (java) S 32591 32591 32339 0 -1 1077944384 4945 0 0 0 67 1 0 0 20 0 28 0 149309422 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756896778352 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32611] ppid=32591 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/32593/task/32611/stat : 32611 (java) S 32591 32591 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149309422 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756895726560 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32612] ppid=32591 vsize=26538700 memory=15876 CPUtime=0.01 cores=0-7 /proc/32593/task/32612/stat : 32612 (java) S 32591 32591 32339 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 28 0 149309423 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756826520752 139758162008706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32613] ppid=32591 vsize=26538700 memory=1384 CPUtime=4.04 cores=0-7 /proc/32593/task/32613/stat : 32613 (java) R 32591 32591 32339 0 -1 4202560 281 0 0 0 404 0 0 0 20 0 28 0 149311904 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756819004392 139757789278487 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32614] ppid=32591 vsize=26538700 memory=1274796 CPUtime=4.29 cores=0-7 /proc/32593/task/32614/stat : 32614 (java) R 32591 32591 32339 0 -1 4202560 268 0 0 0 429 0 0 0 20 0 28 0 149311904 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756817952936 139757789278800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32615] ppid=32591 vsize=26538700 memory=0 CPUtime=4.36 cores=0-7 /proc/32593/task/32615/stat : 32615 (java) R 32591 32591 32339 0 -1 4202560 339 0 0 0 436 0 0 0 20 0 28 0 149311904 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756816902216 139757789278084 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32616] ppid=32591 vsize=26538700 memory=0 CPUtime=4.38 cores=0-7 /proc/32593/task/32616/stat : 32616 (java) R 32591 32591 32339 0 -1 4202560 509 0 0 0 437 1 0 0 20 0 28 0 149311904 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756815848088 139757789278124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32617] ppid=32591 vsize=26538700 memory=0 CPUtime=4.43 cores=0-7 /proc/32593/task/32617/stat : 32617 (java) R 32591 32591 32339 0 -1 4202560 370 0 0 0 441 2 0 0 20 0 28 0 149311904 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756814794840 139757789278694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32618] ppid=32591 vsize=26538700 memory=3474580165686226535 CPUtime=4.36 cores=0-7 /proc/32593/task/32618/stat : 32618 (java) R 32591 32591 32339 0 -1 4202560 297 0 0 0 434 2 0 0 20 0 28 0 149311904 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756813744520 139757789278124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32619] ppid=32591 vsize=26538700 memory=7594874805012554086 CPUtime=4.42 cores=0-7 /proc/32593/task/32619/stat : 32619 (java) R 32591 32591 32339 0 -1 4202560 271 0 0 0 441 1 0 0 20 0 28 0 149311904 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756812689704 139757789347717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32620] ppid=32591 vsize=26538700 memory=6791534058613427641 CPUtime=4.11 cores=0-7 /proc/32593/task/32620/stat : 32620 (java) R 32591 32591 32339 0 -1 4202560 512 0 0 0 409 2 0 0 20 0 28 0 149311904 27175628800 320322 33554432000 4194304 4196468 140726987601072 139756811637624 139757789278096 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 Current children cumulated CPU time: 69.52 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1282672 KiB [startup+29.8011 s] /proc/loadavg: 5.92 7.95 8.18 10/207 32620 /proc/meminfo: memFree=20491276/32770624 swapFree=67108860/67108860 [pid=32591] ppid=32588 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32591/stat : 32591 (xcsp3-exec) S 32588 32591 32339 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149309416 9740288 346 33554432000 4194304 5098028 140725581997248 140725581995352 139731871744636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20729856 140725582005348 140725582005559 140725582005559 140725582008299 0 /proc/32591/statm: 2378 346 289 221 0 87 0 [pid=32593] ppid=32591 vsize=26538700 memory=1282900 CPUtime=71.09 cores=0-7 /proc/32593/stat : 32593 (java) S 32591 32591 32339 0 -1 1077944320 55152 0 0 0 6869 240 0 0 20 0 19 0 149309417 27175628800 320725 33554432000 4194304 4196468 140726987601072 140726987583616 139758161997559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 /proc/32593/statm: 6634675 320725 3289 1 0 6621909 0 [pid=32593/tid=32594] ppid=32591 vsize=26538700 memory=41540 CPUtime=23.96 cores=0-7 /proc/32593/task/32594/stat : 32594 (java) R 32591 32591 32339 0 -1 4202560 10100 0 0 0 2384 12 0 0 20 0 18 0 149309417 27175628800 320725 33554432000 4194304 4196468 140726987601072 139758166240400 139758154683191 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32595] ppid=32591 vsize=26538700 memory=1292 CPUtime=0.69 cores=0-7 /proc/32593/task/32595/stat : 32595 (java) S 32591 32591 32339 0 -1 1077944384 875 0 0 0 44 25 0 0 20 0 18 0 149309418 27175628800 320697 33554432000 4194304 4196468 140726987601072 139758114618384 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32596] ppid=32591 vsize=26538700 memory=2428 CPUtime=0.7 cores=0-7 /proc/32593/task/32596/stat : 32596 (java) S 32591 32591 32339 0 -1 1077944384 835 0 0 0 45 25 0 0 20 0 17 0 149309418 27175628800 320697 33554432000 4194304 4196468 140726987601072 139758113565840 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32597] ppid=32591 vsize=26538700 memory=1732 CPUtime=0.7 cores=0-7 /proc/32593/task/32597/stat : 32597 (java) S 32591 32591 32339 0 -1 1077944384 685 0 0 0 43 27 0 0 20 0 17 0 149309418 27175628800 320697 33554432000 4194304 4196468 140726987601072 139758112512784 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32598] ppid=32591 vsize=26538700 memory=1944 CPUtime=0.67 cores=0-7 /proc/32593/task/32598/stat : 32598 (java) S 32591 32591 32339 0 -1 1077944384 833 0 0 0 42 25 0 0 20 0 17 0 149309418 27175628800 320697 33554432000 4194304 4196468 140726987601072 139758111460240 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32599] ppid=32591 vsize=26538700 memory=16444 CPUtime=0.69 cores=0-7 /proc/32593/task/32599/stat : 32599 (java) S 32591 32591 32339 0 -1 1077944384 597 0 0 0 45 24 0 0 20 0 17 0 149309418 27175628800 320697 33554432000 4194304 4196468 140726987601072 139758110407184 139758162007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32600] ppid=32591 vsize=26538700 memory=4052 CPUtime=0.68 cores=0-7 /proc/32593/task/32600/stat : 32600 (java) S 32591 32591 32339 0 -1 4202560 757 0 0 0 42 26 0 0 20 0 17 0 149309418 27175628800 320725 33554432000 4194304 4196468 140726987601072 139758109354640 139758162007765 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32601] ppid=32591 vsize=26538700 memory=22848 CPUtime=0.67 cores=0-7 /proc/32593/task/32601/stat : 32601 (java) R 32591 32591 32339 0 -1 1077944384 1084 0 0 0 44 23 0 0 20 0 17 0 149309418 27175628800 320734 33554432000 4194304 4196468 140726987601072 139758108301584 139758162007765 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32602] ppid=32591 vsize=26538700 memory=1232 CPUtime=0.69 cores=0-7 /proc/32593/task/32602/stat : 32602 (java) R 32591 32591 32339 0 -1 1077944384 948 0 0 0 41 28 0 0 20 0 13 0 149309418 27175628800 320768 33554432000 4194304 4196468 140726987601072 139758107249040 139758162007765 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 [pid=32593/tid=32609] ppid=32591 vsize=26538700 memory=15538518206188108 CPUtime=1.4 cores=0-7 /proc/32593/task/32609/stat : 32609 (java) R 32591 32591 32339 0 -1 1077944384 7935 0 0 0 139 1 0 0 20 0 2 0 149309422 27175628800 320791 33554432000 4194304 4196468 140726987601072 139756897830896 139758162008706 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24662016 140726987605138 140726987605315 140726987605315 140726987608015 0 Current children cumulated CPU time: 71.09 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1284284 KiB Child status: 0 Real time (s): 29.8135 CPU time (s): 71.1086 CPU user time (s): 68.6958 CPU system time (s): 2.41281 CPU usage (%): 238.511 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 1284284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.6958 system time used= 2.41281 maximum resident set size= 1283172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55728 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5697 involuntary context switches= 1222 # summary of solver processes directly reported to runsolver: # pid: 32591 # total CPU time (s): 71.1086 # total CPU user time (s): 68.6958 # total CPU system time (s): 2.41281 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.225064 second user time and 0.333716 second system time The end
Begin job on node114 at 2017-08-19 18:49:17 IDJOB=4281146 IDBENCH=135913 IDSOLVER=2675 FILE ID=node114/4281146-1503162217 RUNJOBID= node114-1503158836-32366 PBS_JOBID= 20630822 Free space on /tmp= 61848 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-727-a4_X2.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-4281146-1503162217/watcher-4281146-1503162217 -o /tmp/evaluation-result-4281146-1503162217/solver-4281146-1503162217 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503158836-32366 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1197605416 HOME/instance-4281146-1503162217.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= feda79726080e93715556435cff6944b RANDOM SEED=1197605416 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: 21761580 kB MemAvailable: 31972496 kB Buffers: 255920 kB Cached: 10244192 kB SwapCached: 0 kB Active: 1762180 kB Inactive: 8792908 kB Active(anon): 46640 kB Inactive(anon): 44268 kB Active(file): 1715540 kB Inactive(file): 8748640 kB Unevictable: 7236 kB Mlocked: 7236 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8148 kB Writeback: 0 kB AnonPages: 61688 kB Mapped: 51176 kB Shmem: 33416 kB Slab: 151164 kB SReclaimable: 125144 kB SUnreclaim: 26020 kB KernelStack: 3296 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332304 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= 61840 MiB End job on node114 at 2017-08-19 18:49:47