Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | SAT | 78.9749 | 10.7112 |
Name | Primes/ Primes-m1-p20/Primes-20-40-2-7.xml |
MD5SUM | 37689576328d0295b96bd2728694e285 |
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 | 1.7383 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 70 |
Maximum domain size | 70 |
Distribution of domain sizes | [{"size":70,"count":88}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":40}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393635-1568433345.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393635-1568433345.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.65/0.87 c solve instance... 78.38/10.68 s SATISFIABLE 78.38/10.68 v <instantiation> 78.38/10.68 v <list>x[0] 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[17] x[18] x[19] x[20] x[21] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[53] x[54] x[55] x[56] x[57] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[71] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[97] x[98] x[99] </list> 78.38/10.68 v <values>15 34 71 17 53 71 14 42 6 3 42 41 22 2 18 70 42 8 65 38 37 37 35 7 49 3 2 11 53 13 51 26 2 28 66 70 17 57 19 13 65 66 14 59 19 53 24 16 17 2 65 45 7 52 3 8 2 41 22 70 32 2 12 70 53 14 36 59 10 34 6 23 66 9 68 7 44 48 36 40 42 59 56 32 14 39 47 71 </values> 78.38/10.68 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 (10769 MiB free) memory of node 1: 16384 MiB (15298 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393635-1568433345/watcher-4393635-1568433345 -o /tmp/evaluation-result-4393635-1568433345/solver-4393635-1568433345 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1397177969 HOME/instance-4393635-1568433345.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=17491, runsolver pid=17488 Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 8.24 8.29 8.21 3/210 17512 /proc/meminfo: memFree=26677828/32770624 swapFree=66977616/67108860 [pid=17491] ppid=17488 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17491/stat : 17491 (xcsp3-exec) S 17488 17491 15723 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419591737 115843072 363 33554432000 4194304 5098028 140732092530432 140732092528536 140368779154044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38526976 140732092531573 140732092531817 140732092531817 140732092534730 0 /proc/17491/statm: 28282 363 305 221 0 87 0 [pid=17493] ppid=17491 vsize=28227388 memory=27768 CPUtime=0.12 cores=0-7 /proc/17493/stat : 17493 (java) S 17491 17491 15723 0 -1 1077944320 5909 0 0 0 11 1 0 0 20 0 20 0 419591737 28904845312 6942 33554432000 4194304 4196468 140732250476112 140732250458656 140647797366519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 /proc/17493/statm: 7056847 6942 3142 1 0 7019032 0 [pid=17493/tid=17494] ppid=17491 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/17493/task/17494/stat : 17494 (java) R 17491 17491 15723 0 -1 4202560 3774 0 0 0 8 1 0 0 20 0 20 0 419591737 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647801602864 140647435159680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17495] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17495/stat : 17495 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647764924944 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17496] ppid=17491 vsize=28227388 memory=4048929337295476384 CPUtime=0 cores=0-7 /proc/17493/task/17496/stat : 17496 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647348169360 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17497] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17497/stat : 17497 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647347116304 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17498] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17498/stat : 17498 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647346063760 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17499] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17499/stat : 17499 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647345011728 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17500] ppid=17491 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17493/task/17500/stat : 17500 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647343959184 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17501] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17501/stat : 17501 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647342906128 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17502] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17502/stat : 17502 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647341853584 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17503] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17503/stat : 17503 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591740 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647298431216 140647797377666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17504] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17504/stat : 17504 (java) S 17491 17491 15723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419591740 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647297377440 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17505] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17505/stat : 17505 (java) S 17491 17491 15723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419591740 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647296324336 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17506] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17506/stat : 17506 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647295272912 140647797385115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17507] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17507/stat : 17507 (java) S 17491 17491 15723 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647177775856 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17508] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17508/stat : 17508 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647176723312 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17509] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17509/stat : 17509 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647175670256 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17510] ppid=17491 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/17493/task/17510/stat : 17510 (java) S 17491 17491 15723 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 20 0 419591743 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647174617712 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17511] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17511/stat : 17511 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647173564896 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17512] ppid=17491 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17493/task/17512/stat : 17512 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 6942 33554432000 4194304 4196468 140732250476112 140647172512432 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 29220 KiB [startup+0.210454 s]* /proc/loadavg: 8.24 8.29 8.21 2/210 17512 /proc/meminfo: memFree=26664188/32770624 swapFree=66977616/67108860 [pid=17491] ppid=17488 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17491/stat : 17491 (xcsp3-exec) S 17488 17491 15723 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419591737 115843072 363 33554432000 4194304 5098028 140732092530432 140732092528536 140368779154044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38526976 140732092531573 140732092531817 140732092531817 140732092534730 0 /proc/17491/statm: 28282 363 305 221 0 87 0 [pid=17493] ppid=17491 vsize=28227388 memory=39772 CPUtime=0.34 cores=0-7 /proc/17493/stat : 17493 (java) S 17491 17491 15723 0 -1 1077944320 9774 0 0 0 31 3 0 0 20 0 20 0 419591737 28904845312 9943 33554432000 4194304 4196468 140732250476112 140732250458656 140647797366519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 /proc/17493/statm: 7056847 9943 3269 1 0 7019032 0 [pid=17493/tid=17494] ppid=17491 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17493/task/17494/stat : 17494 (java) R 17491 17491 15723 0 -1 4202560 6727 0 0 0 18 2 0 0 20 0 20 0 419591737 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647801606192 140647434139765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17495] ppid=17491 vsize=28227388 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/17493/task/17495/stat : 17495 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647764924944 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17496] ppid=17491 vsize=28227388 memory=140262983655702 CPUtime=0 cores=0-7 /proc/17493/task/17496/stat : 17496 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647348169360 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17497] ppid=17491 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17493/task/17497/stat : 17497 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647347116304 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17498] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17498/stat : 17498 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647346063760 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17499] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17499/stat : 17499 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647345011728 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17500] ppid=17491 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17493/task/17500/stat : 17500 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647343959184 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17501] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17501/stat : 17501 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647342906128 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17502] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17502/stat : 17502 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419591738 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647341853584 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17503] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17503/stat : 17503 (java) S 17491 17491 15723 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419591740 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647298431216 140647797377666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17504] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17504/stat : 17504 (java) S 17491 17491 15723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419591740 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647297377440 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17505] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17505/stat : 17505 (java) S 17491 17491 15723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419591740 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647296324336 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17506] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17506/stat : 17506 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647295272912 140647797385115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17507] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17507/stat : 17507 (java) S 17491 17491 15723 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647177775856 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17508] ppid=17491 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/17493/task/17508/stat : 17508 (java) S 17491 17491 15723 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 20 0 419591743 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647176723312 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17509] ppid=17491 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/17493/task/17509/stat : 17509 (java) S 17491 17491 15723 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 20 0 419591743 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647175670256 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17510] ppid=17491 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/17493/task/17510/stat : 17510 (java) R 17491 17491 15723 0 -1 4202560 851 0 0 0 8 0 0 0 20 0 20 0 419591743 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647174617712 140647790463355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17511] ppid=17491 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17511/stat : 17511 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647173564896 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17512] ppid=17491 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17493/task/17512/stat : 17512 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591743 28904845312 9943 33554432000 4194304 4196468 140732250476112 140647172512432 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41224 KiB [startup+0.31017 s]* /proc/loadavg: 8.24 8.29 8.21 4/210 17512 /proc/meminfo: memFree=26658124/32770624 swapFree=66977616/67108860 [pid=17491] ppid=17488 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17491/stat : 17491 (xcsp3-exec) S 17488 17491 15723 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419591737 115843072 363 33554432000 4194304 5098028 140732092530432 140732092528536 140368779154044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38526976 140732092531573 140732092531817 140732092531817 140732092534730 0 /proc/17491/statm: 28282 363 305 221 0 87 0 [pid=17493] ppid=17491 vsize=28231644 memory=49308 CPUtime=0.52 cores=0-7 /proc/17493/stat : 17493 (java) S 17491 17491 15723 0 -1 1077944320 11139 0 0 0 48 4 0 0 20 0 20 0 419591737 28909203456 12327 33554432000 4194304 4196468 140732250476112 140732250458656 140647797366519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 /proc/17493/statm: 7057911 12327 3367 1 0 7019032 0 [pid=17493/tid=17494] ppid=17491 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/17493/task/17494/stat : 17494 (java) R 17491 17491 15723 0 -1 4202560 7824 0 0 0 27 3 0 0 20 0 20 0 419591737 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647801601848 140647797388445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17495] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17495/stat : 17495 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647764924944 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17496] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17496/stat : 17496 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647348169360 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17497] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17497/stat : 17497 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647347116304 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17498] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17498/stat : 17498 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647346063760 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17499] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17499/stat : 17499 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647345011728 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17500] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17500/stat : 17500 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647343959184 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17501] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17501/stat : 17501 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647342906128 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17502] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17502/stat : 17502 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419591738 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647341853584 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17503] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17503/stat : 17503 (java) S 17491 17491 15723 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419591740 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647298431216 140647797377666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17504] ppid=17491 vsize=28231644 memory=280525654924672 CPUtime=0 cores=0-7 /proc/17493/task/17504/stat : 17504 (java) S 17491 17491 15723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419591740 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647297377440 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17505] ppid=17491 vsize=28231644 memory=280525654929280 CPUtime=0 cores=0-7 /proc/17493/task/17505/stat : 17505 (java) S 17491 17491 15723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419591740 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647296324336 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17506] ppid=17491 vsize=28231644 memory=280525654933888 CPUtime=0 cores=0-7 /proc/17493/task/17506/stat : 17506 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591743 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647295272912 140647797385115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17507] ppid=17491 vsize=28231644 memory=280525654938496 CPUtime=0.01 cores=0-7 /proc/17493/task/17507/stat : 17507 (java) S 17491 17491 15723 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 20 0 419591743 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647177775856 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17508] ppid=17491 vsize=28231644 memory=280525654943104 CPUtime=0.03 cores=0-7 /proc/17493/task/17508/stat : 17508 (java) R 17491 17491 15723 0 -1 4202560 205 0 0 0 3 0 0 0 20 0 20 0 419591743 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647176704328 140647778068015 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17509] ppid=17491 vsize=28231644 memory=280525654947712 CPUtime=0.03 cores=0-7 /proc/17493/task/17509/stat : 17509 (java) S 17491 17491 15723 0 -1 1077944384 346 0 0 0 3 0 0 0 20 0 20 0 419591743 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647175670256 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17510] ppid=17491 vsize=28231644 memory=280525654952320 CPUtime=0.12 cores=0-7 /proc/17493/task/17510/stat : 17510 (java) S 17491 17491 15723 0 -1 1077944384 994 0 0 0 12 0 0 0 20 0 20 0 419591743 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647174617712 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17511] ppid=17491 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17511/stat : 17511 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419591743 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647173564896 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17512] ppid=17491 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/17493/task/17512/stat : 17512 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591743 28909203456 12327 33554432000 4194304 4196468 140732250476112 140647172512432 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50760 KiB [startup+0.700961 s] /proc/loadavg: 8.24 8.29 8.21 4/210 17512 /proc/meminfo: memFree=26647756/32770624 swapFree=66977616/67108860 [pid=17491] ppid=17488 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17491/stat : 17491 (xcsp3-exec) S 17488 17491 15723 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419591737 115843072 363 33554432000 4194304 5098028 140732092530432 140732092528536 140368779154044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38526976 140732092531573 140732092531817 140732092531817 140732092534730 0 /proc/17491/statm: 28282 363 305 221 0 87 0 [pid=17493] ppid=17491 vsize=28233768 memory=71036 CPUtime=1.38 cores=0-7 /proc/17493/stat : 17493 (java) S 17491 17491 15723 0 -1 1077944320 14494 0 0 0 132 6 0 0 20 0 20 0 419591737 28911378432 17759 33554432000 4194304 4196468 140732250476112 140732250458656 140647797366519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 /proc/17493/statm: 7058442 17759 3450 1 0 7019544 0 [pid=17493/tid=17494] ppid=17491 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7 /proc/17493/task/17494/stat : 17494 (java) R 17491 17491 15723 0 -1 4202560 9276 0 0 0 64 4 0 0 20 0 20 0 419591737 28911378432 17759 33554432000 4194304 4196468 140732250476112 140647801602544 140647797378454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17495] ppid=17491 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17495/stat : 17495 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419591738 28911378432 17759 33554432000 4194304 4196468 140732250476112 140647764924944 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17496] ppid=17491 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17496/stat : 17496 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28911378432 17759 33554432000 4194304 4196468 140732250476112 140647348169360 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17497] ppid=17491 vsize=28233768 memory=1056 CPUtime=0 cores=0-7 /proc/17493/task/17497/stat : 17497 (java) S 17491 17491 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419591738 28911378432 17759 33554432000 4194304 4196468 140732250476112 140647347116304 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 ################ # More data... # ################ [pid=17493/tid=17515] ppid=17491 vsize=28768328 memory=288230621803970871 CPUtime=6.92 cores=0-7 /proc/17493/task/17515/stat : 17515 (java) R 17491 17491 15723 0 -1 4202560 1618 0 0 0 688 4 0 0 20 0 28 0 419591827 29458767872 265874 33554432000 4194304 4196468 140732250476112 140647161197160 140647444882830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17516] ppid=17491 vsize=28768328 memory=16105866206120578 CPUtime=7.7 cores=0-7 /proc/17493/task/17516/stat : 17516 (java) R 17491 17491 15723 0 -1 4202560 547 0 0 0 766 4 0 0 20 0 28 0 419591827 29458767872 265874 33554432000 4194304 4196468 140732250476112 140646958489952 140647438937812 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17517] ppid=17491 vsize=28768328 memory=0 CPUtime=7.68 cores=0-7 /proc/17493/task/17517/stat : 17517 (java) R 17491 17491 15723 0 -1 4202560 249 0 0 0 767 1 0 0 20 0 28 0 419591827 29458767872 265874 33554432000 4194304 4196468 140732250476112 140646957436864 140647442082154 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17518] ppid=17491 vsize=28768328 memory=18145 CPUtime=7.31 cores=0-7 /proc/17493/task/17518/stat : 17518 (java) R 17491 17491 15723 0 -1 4202560 180 0 0 0 730 1 0 0 20 0 28 0 419591827 29458767872 265874 33554432000 4194304 4196468 140732250476112 140646956384416 140647441266774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17519] ppid=17491 vsize=28768328 memory=280525655906624 CPUtime=7.7 cores=0-7 /proc/17493/task/17519/stat : 17519 (java) R 17491 17491 15723 0 -1 4202560 326 0 0 0 766 4 0 0 20 0 28 0 419591827 29458767872 265874 33554432000 4194304 4196468 140732250476112 140646955331752 140647442082348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17520] ppid=17491 vsize=28768328 memory=-1807685287724412255 CPUtime=7.53 cores=0-7 /proc/17493/task/17520/stat : 17520 (java) R 17491 17491 15723 0 -1 4202560 338 0 0 0 750 3 0 0 20 0 28 0 419591827 29458767872 265874 33554432000 4194304 4196468 140732250476112 140646954279208 140647443511625 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 Current children cumulated CPU time: 70.47 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1064948 KiB [startup+10.4016 s] /proc/loadavg: 8.50 8.35 8.23 9/218 17520 /proc/meminfo: memFree=25522624/32770624 swapFree=66977616/67108860 [pid=17491] ppid=17488 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17491/stat : 17491 (xcsp3-exec) S 17488 17491 15723 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419591737 115843072 363 33554432000 4194304 5098028 140732092530432 140732092528536 140368779154044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38526976 140732092531573 140732092531817 140732092531817 140732092534730 0 /proc/17491/statm: 28282 363 305 221 0 87 0 [pid=17493] ppid=17491 vsize=28768328 memory=1179564 CPUtime=76.73 cores=0-7 /proc/17493/stat : 17493 (java) S 17491 17491 15723 0 -1 1077944320 47763 0 0 0 7612 61 0 0 20 0 28 0 419591737 29458767872 294891 33554432000 4194304 4196468 140732250476112 140732250458656 140647797366519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 /proc/17493/statm: 7192082 294891 3528 1 0 7153184 0 [pid=17493/tid=17494] ppid=17491 vsize=28768328 memory=704 CPUtime=0.87 cores=0-7 /proc/17493/task/17494/stat : 17494 (java) S 17491 17491 15723 0 -1 1077944384 9429 0 0 0 83 4 0 0 20 0 28 0 419591737 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647801607296 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17495] ppid=17491 vsize=28768328 memory=33 CPUtime=0.08 cores=0-7 /proc/17493/task/17495/stat : 17495 (java) S 17491 17491 15723 0 -1 1077944384 186 0 0 0 6 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647764924944 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17496] ppid=17491 vsize=28768328 memory=280525654933680 CPUtime=0.08 cores=0-7 /proc/17493/task/17496/stat : 17496 (java) S 17491 17491 15723 0 -1 1077944384 124 0 0 0 6 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647348169360 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17497] ppid=17491 vsize=28768328 memory=4638778398332698725 CPUtime=0.07 cores=0-7 /proc/17493/task/17497/stat : 17497 (java) S 17491 17491 15723 0 -1 1077944384 125 0 0 0 6 1 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647347116304 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17498] ppid=17491 vsize=28768328 memory=6935649255759568960 CPUtime=0.09 cores=0-7 /proc/17493/task/17498/stat : 17498 (java) S 17491 17491 15723 0 -1 1077944384 159 0 0 0 6 3 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647346063760 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17499] ppid=17491 vsize=28768328 memory=9120181347858145840 CPUtime=0.07 cores=0-7 /proc/17493/task/17499/stat : 17499 (java) S 17491 17491 15723 0 -1 1077944384 99 0 0 0 5 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647345011728 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17500] ppid=17491 vsize=28768328 memory=-7845224026714658454 CPUtime=0.07 cores=0-7 /proc/17493/task/17500/stat : 17500 (java) S 17491 17491 15723 0 -1 1077944384 143 0 0 0 5 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647343959184 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17501] ppid=17491 vsize=28768328 memory=7367977226994344000 CPUtime=0.08 cores=0-7 /proc/17493/task/17501/stat : 17501 (java) S 17491 17491 15723 0 -1 1077944384 1051 0 0 0 5 3 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647342906128 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17502] ppid=17491 vsize=28768328 memory=4638778398752198992 CPUtime=0.08 cores=0-7 /proc/17493/task/17502/stat : 17502 (java) S 17491 17491 15723 0 -1 1077944384 144 0 0 0 6 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647341853584 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17503] ppid=17491 vsize=28768328 memory=7250080924377825376 CPUtime=0.02 cores=0-7 /proc/17493/task/17503/stat : 17503 (java) S 17491 17491 15723 0 -1 1077944384 988 0 0 0 2 0 0 0 20 0 28 0 419591740 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647298431216 140647797377666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17504] ppid=17491 vsize=28768328 memory=6935649255759568960 CPUtime=0 cores=0-7 /proc/17493/task/17504/stat : 17504 (java) S 17491 17491 15723 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419591740 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647297377504 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17505] ppid=17491 vsize=28768328 memory=-6592860228303572950 CPUtime=0 cores=0-7 /proc/17493/task/17505/stat : 17505 (java) S 17491 17491 15723 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419591740 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647296324352 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17506] ppid=17491 vsize=28768328 memory=5782674880105308224 CPUtime=0 cores=0-7 /proc/17493/task/17506/stat : 17506 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647295272912 140647797385115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17507] ppid=17491 vsize=28768328 memory=4638778398332698727 CPUtime=2.53 cores=0-7 /proc/17493/task/17507/stat : 17507 (java) S 17491 17491 15723 0 -1 1077944384 8182 0 0 0 249 4 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647177775856 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17508] ppid=17491 vsize=28768328 memory=702972 CPUtime=2.63 cores=0-7 /proc/17493/task/17508/stat : 17508 (java) S 17491 17491 15723 0 -1 1077944384 8029 0 0 0 260 3 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647176723312 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17509] ppid=17491 vsize=28768328 memory=8819569139123385389 CPUtime=2.5 cores=0-7 /proc/17493/task/17509/stat : 17509 (java) S 17491 17491 15723 0 -1 1077944384 8321 0 0 0 247 3 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647175670256 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17510] ppid=17491 vsize=28768328 memory=288284459336467622 CPUtime=0.96 cores=0-7 /proc/17493/task/17510/stat : 17510 (java) S 17491 17491 15723 0 -1 1077944384 5810 0 0 0 94 2 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647174617712 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17511] ppid=17491 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17511/stat : 17511 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647173564896 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17512] ppid=17491 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17512/stat : 17512 (java) S 17491 17491 15723 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647172512432 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17513] ppid=17491 vsize=28768328 memory=0 CPUtime=8.46 cores=0-7 /proc/17493/task/17513/stat : 17513 (java) R 17491 17491 15723 0 -1 4202560 131 0 0 0 846 0 0 0 20 0 28 0 419591826 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647163304192 140647439249803 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17514] ppid=17491 vsize=28768328 memory=0 CPUtime=8.51 cores=0-7 /proc/17493/task/17514/stat : 17514 (java) R 17491 17491 15723 0 -1 4202560 151 0 0 0 850 1 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647162253352 140647438938326 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17515] ppid=17491 vsize=28768328 memory=140262828122576 CPUtime=7.68 cores=0-7 /proc/17493/task/17515/stat : 17515 (java) R 17491 17491 15723 0 -1 4202560 1632 0 0 0 764 4 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647161196496 140647444537042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17516] ppid=17491 vsize=28768328 memory=0 CPUtime=8.46 cores=0-7 /proc/17493/task/17516/stat : 17516 (java) R 17491 17491 15723 0 -1 4202560 559 0 0 0 842 4 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646958489952 140647442082742 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17517] ppid=17491 vsize=28768328 memory=0 CPUtime=8.46 cores=0-7 /proc/17493/task/17517/stat : 17517 (java) R 17491 17491 15723 0 -1 4202560 264 0 0 0 844 2 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646957437352 140647442043122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17518] ppid=17491 vsize=28768328 memory=0 CPUtime=8.07 cores=0-7 /proc/17493/task/17518/stat : 17518 (java) R 17491 17491 15723 0 -1 4202560 182 0 0 0 806 1 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646956384240 140647442424441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17519] ppid=17491 vsize=28768328 memory=0 CPUtime=8.46 cores=0-7 /proc/17493/task/17519/stat : 17519 (java) R 17491 17491 15723 0 -1 4202560 329 0 0 0 842 4 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646955331264 140647778208797 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17520] ppid=17491 vsize=28768328 memory=0 CPUtime=8.3 cores=0-7 /proc/17493/task/17520/stat : 17520 (java) R 17491 17491 15723 0 -1 4202560 360 0 0 0 826 4 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646954278704 140647438937632 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 Current children cumulated CPU time: 76.73 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1181016 KiB [startup+10.6076 s] /proc/loadavg: 8.50 8.35 8.23 9/218 17520 /proc/meminfo: memFree=25522624/32770624 swapFree=66977616/67108860 [pid=17491] ppid=17488 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17491/stat : 17491 (xcsp3-exec) S 17488 17491 15723 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419591737 115843072 363 33554432000 4194304 5098028 140732092530432 140732092528536 140368779154044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38526976 140732092531573 140732092531817 140732092531817 140732092534730 0 /proc/17491/statm: 28282 363 305 221 0 87 0 [pid=17493] ppid=17491 vsize=28768328 memory=1179564 CPUtime=78.38 cores=0-7 /proc/17493/stat : 17493 (java) S 17491 17491 15723 0 -1 1077944320 47763 0 0 0 7777 61 0 0 20 0 28 0 419591737 29458767872 294891 33554432000 4194304 4196468 140732250476112 140732250458656 140647797366519 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 /proc/17493/statm: 7192082 294891 3528 1 0 7153184 0 [pid=17493/tid=17494] ppid=17491 vsize=28768328 memory=0 CPUtime=0.87 cores=0-7 /proc/17493/task/17494/stat : 17494 (java) S 17491 17491 15723 0 -1 1077944384 9429 0 0 0 83 4 0 0 20 0 28 0 419591737 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647801607296 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17495] ppid=17491 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/17493/task/17495/stat : 17495 (java) S 17491 17491 15723 0 -1 1077944384 186 0 0 0 6 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647764924944 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17496] ppid=17491 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/17493/task/17496/stat : 17496 (java) S 17491 17491 15723 0 -1 1077944384 124 0 0 0 6 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647348169360 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17497] ppid=17491 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7 /proc/17493/task/17497/stat : 17497 (java) S 17491 17491 15723 0 -1 1077944384 125 0 0 0 6 1 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647347116304 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17498] ppid=17491 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7 /proc/17493/task/17498/stat : 17498 (java) S 17491 17491 15723 0 -1 1077944384 159 0 0 0 6 3 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647346063760 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17499] ppid=17491 vsize=28768328 memory=2868665472188426 CPUtime=0.07 cores=0-7 /proc/17493/task/17499/stat : 17499 (java) S 17491 17491 15723 0 -1 1077944384 99 0 0 0 5 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647345011728 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17500] ppid=17491 vsize=28768328 memory=2320681754793687911 CPUtime=0.07 cores=0-7 /proc/17493/task/17500/stat : 17500 (java) S 17491 17491 15723 0 -1 1077944384 143 0 0 0 5 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647343959184 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17501] ppid=17491 vsize=28768328 memory=77305116361706 CPUtime=0.08 cores=0-7 /proc/17493/task/17501/stat : 17501 (java) S 17491 17491 15723 0 -1 1077944384 1051 0 0 0 5 3 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647342906128 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17502] ppid=17491 vsize=28768328 memory=77305116361706 CPUtime=0.08 cores=0-7 /proc/17493/task/17502/stat : 17502 (java) S 17491 17491 15723 0 -1 1077944384 144 0 0 0 6 2 0 0 20 0 28 0 419591738 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647341853584 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17503] ppid=17491 vsize=28768328 memory=77305116361706 CPUtime=0.02 cores=0-7 /proc/17493/task/17503/stat : 17503 (java) S 17491 17491 15723 0 -1 1077944384 988 0 0 0 2 0 0 0 20 0 28 0 419591740 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647298431216 140647797377666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17504] ppid=17491 vsize=28768328 memory=77305116361706 CPUtime=0 cores=0-7 /proc/17493/task/17504/stat : 17504 (java) S 17491 17491 15723 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419591740 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647297377504 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17505] ppid=17491 vsize=28768328 memory=77305116361706 CPUtime=0 cores=0-7 /proc/17493/task/17505/stat : 17505 (java) S 17491 17491 15723 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419591740 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647296324352 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17506] ppid=17491 vsize=28768328 memory=280525655283674 CPUtime=0 cores=0-7 /proc/17493/task/17506/stat : 17506 (java) S 17491 17491 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647295272912 140647797385115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17507] ppid=17491 vsize=28768328 memory=922108 CPUtime=2.53 cores=0-7 /proc/17493/task/17507/stat : 17507 (java) S 17491 17491 15723 0 -1 1077944384 8182 0 0 0 249 4 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647177775856 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17508] ppid=17491 vsize=28768328 memory=7883926521149806441 CPUtime=2.63 cores=0-7 /proc/17493/task/17508/stat : 17508 (java) S 17491 17491 15723 0 -1 1077944384 8029 0 0 0 260 3 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647176723312 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17509] ppid=17491 vsize=28768328 memory=7596843961955674711 CPUtime=2.5 cores=0-7 /proc/17493/task/17509/stat : 17509 (java) S 17491 17491 15723 0 -1 1077944384 8321 0 0 0 247 3 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647175670256 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17510] ppid=17491 vsize=28768328 memory=5940367104202860885 CPUtime=0.96 cores=0-7 /proc/17493/task/17510/stat : 17510 (java) S 17491 17491 15723 0 -1 1077944384 5810 0 0 0 94 2 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647174617712 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17511] ppid=17491 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/17493/task/17511/stat : 17511 (java) S 17491 17491 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647173564896 140647797376725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17512] ppid=17491 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/17493/task/17512/stat : 17512 (java) S 17491 17491 15723 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 419591743 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647172512432 140647797377666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17513] ppid=17491 vsize=28768328 memory=0 CPUtime=8.66 cores=0-7 /proc/17493/task/17513/stat : 17513 (java) R 17491 17491 15723 0 -1 4202560 131 0 0 0 866 0 0 0 20 0 28 0 419591826 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647163304192 140647442415387 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17514] ppid=17491 vsize=28768328 memory=280525656124320 CPUtime=8.72 cores=0-7 /proc/17493/task/17514/stat : 17514 (java) R 17491 17491 15723 0 -1 4202560 151 0 0 0 871 1 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647162252864 140647438938331 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17515] ppid=17491 vsize=28768328 memory=140262828214112 CPUtime=7.88 cores=0-7 /proc/17493/task/17515/stat : 17515 (java) R 17491 17491 15723 0 -1 4202560 1632 0 0 0 784 4 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140647161196496 140647444114353 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17516] ppid=17491 vsize=28768328 memory=0 CPUtime=8.66 cores=0-7 /proc/17493/task/17516/stat : 17516 (java) R 17491 17491 15723 0 -1 4202560 559 0 0 0 862 4 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646958490032 140647438938499 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17517] ppid=17491 vsize=28768328 memory=0 CPUtime=8.66 cores=0-7 /proc/17493/task/17517/stat : 17517 (java) R 17491 17491 15723 0 -1 4202560 264 0 0 0 864 2 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646957436960 140647442081969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17518] ppid=17491 vsize=28768328 memory=0 CPUtime=8.28 cores=0-7 /proc/17493/task/17518/stat : 17518 (java) R 17491 17491 15723 0 -1 4202560 182 0 0 0 827 1 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646956384416 140647439249228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17519] ppid=17491 vsize=28768328 memory=0 CPUtime=8.67 cores=0-7 /proc/17493/task/17519/stat : 17519 (java) R 17491 17491 15723 0 -1 4202560 329 0 0 0 863 4 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646955331264 140647442082029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 [pid=17493/tid=17520] ppid=17491 vsize=28768328 memory=0 CPUtime=8.5 cores=0-7 /proc/17493/task/17520/stat : 17520 (java) R 17491 17491 15723 0 -1 4202560 360 0 0 0 846 4 0 0 20 0 28 0 419591827 29458767872 294891 33554432000 4194304 4196468 140732250476112 140646954278720 140647438938708 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36962304 140732250477546 140732250477718 140732250477718 140732250480591 0 Current children cumulated CPU time: 78.38 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1181016 KiB [startup+10.7012 s] /proc/loadavg: 8.50 8.35 8.23 9/218 17520 /proc/meminfo: memFree=25522624/32770624 swapFree=66977616/67108860 [pid=17491] ppid=17488 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17491/stat : 17491 (xcsp3-exec) S 17488 17491 15723 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419591737 115843072 363 33554432000 4194304 5098028 140732092530432 140732092528536 140368779154044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38526976 140732092531573 140732092531817 140732092531817 140732092534730 0 /proc/17491/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 10.7112 CPU time (s): 78.9749 CPU user time (s): 78.3403 CPU system time (s): 0.634589 CPU usage (%): 737.31 Max. virtual memory (cumulated for all children) (KiB): 28883580 Max. memory (cumulated for all children) (KiB): 1181016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 78.3403 system time used= 0.634589 maximum resident set size= 1180136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48611 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6003 involuntary context switches= 1780 # summary of solver processes directly reported to runsolver: # pid: 17491 # total CPU time (s): 78.9749 # total CPU user time (s): 78.3403 # total CPU system time (s): 0.634589 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.122395 second user time and 0.154049 second system time The end
Begin job on node104 at 2019-09-14 04:45:28 IDJOB=4393635 IDBENCH=133326 IDSOLVER=2841 FILE ID=node104/4393635-1568433345 RUNJOBID= node104-1568421227-15750 PBS_JOBID= 21702284 Free space on /tmp= 59012 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-40-2-7.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393635-1568433345/watcher-4393635-1568433345 -o /tmp/evaluation-result-4393635-1568433345/solver-4393635-1568433345 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1397177969 HOME/instance-4393635-1568433345.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 37689576328d0295b96bd2728694e285 RANDOM SEED=1397177969 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 26693712 kB MemAvailable: 31838440 kB Buffers: 181708 kB Cached: 5216940 kB SwapCached: 31688 kB Active: 1772800 kB Inactive: 3663236 kB Active(anon): 3380 kB Inactive(anon): 75148 kB Active(file): 1769420 kB Inactive(file): 3588088 kB Unevictable: 107776 kB Mlocked: 107776 kB SwapTotal: 67108860 kB SwapFree: 66977616 kB Dirty: 26080 kB Writeback: 0 kB AnonPages: 116720 kB Mapped: 43948 kB Shmem: 32780 kB Slab: 236176 kB SReclaimable: 206112 kB SUnreclaim: 30064 kB KernelStack: 3408 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489184 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 58988 MiB End job on node104 at 2019-09-14 04:45:39