Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 73 | 324.011 | 41.2998 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-07.xml |
MD5SUM | 883cdd2c39820682d54c3bab8557ea17 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 73 |
Best CPU time to get the best result obtained on this benchmark | 192.289 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 62 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 158 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":158,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":3},{"degree":7,"count":8},{"degree":8,"count":16},{"degree":9,"count":2},{"degree":10,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":58},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 58 |
Distribution of constraint types | [{"type":"intension","count":58},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404696-1569001987.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404696-1569001987.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.57/0.72 c solve instance... 2.16/0.86 o 85 2.16/0.89 o 83 2.85/0.99 o 82 4.18/1.12 o 81 4.84/1.23 o 80 10.34/1.90 o 78 10.34/1.93 o 77 11.22/2.06 o 76 36.46/5.21 o 75 57.96/7.99 o 74 66.79/9.08 o 73 323.32/41.28 s OPTIMUM FOUND 323.32/41.28 v <instantiation> 323.32/41.28 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 323.32/41.28 v <values>0 4 0 0 9 11 27 12 5 9 12 24 49 15 38 4 45 11 22 37 63 60 27 57 46 20 69 59 55 71 69 73 </values> 323.32/41.28 v </instantiation>
OK 73
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 (12381 MiB free) memory of node 1: 16384 MiB (12783 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404696-1569001987/watcher-4404696-1569001987 -o /var/tmp/evaluation-result-4404696-1569001987/solver-4404696-1569001987 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1888861971 HOME/instance-4404696-1569001987.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=27541, runsolver pid=27538 [startup+0.100139 s]* /proc/loadavg: 8.07 8.29 8.32 2/212 27562 /proc/meminfo: memFree=25754744/32770624 swapFree=66966844/67108860 [pid=27541] ppid=27538 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27541/stat : 27541 (xcsp3-exec) S 27538 27541 23748 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476135184 115843072 363 33554432000 4194304 5098028 140729890634016 140729890632120 139700053455484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9027584 140729890640721 140729890640981 140729890640981 140729890643910 0 /proc/27541/statm: 28282 363 304 221 0 87 0 [pid=27543] ppid=27541 vsize=28227396 memory=27580 CPUtime=0.12 cores=0-7 /proc/27543/stat : 27543 (java) S 27541 27541 23748 0 -1 1077944320 5876 0 0 0 11 1 0 0 20 0 20 0 476135184 28904853504 6895 33554432000 4194304 4196468 140726801334144 140726801316688 139637536452343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 /proc/27543/statm: 7056849 6895 3125 1 0 7019032 0 [pid=27543/tid=27544] ppid=27541 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/27543/task/27544/stat : 27544 (java) R 27541 27541 23748 0 -1 4202560 3770 0 0 0 8 0 0 0 20 0 20 0 476135185 28904853504 6895 33554432000 4194304 4196468 140726801334144 139637540684256 139637518293415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27545] ppid=27541 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/27543/task/27545/stat : 27545 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135185 28904853504 6895 33554432000 4194304 4196468 140726801334144 139637508294928 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27546] ppid=27541 vsize=28227396 memory=140416214644352 CPUtime=0 cores=0-7 /proc/27543/task/27546/stat : 27546 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476135185 28904853504 6895 33554432000 4194304 4196468 140726801334144 139637087046032 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27547] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27547/stat : 27547 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 6895 33554432000 4194304 4196468 140726801334144 139637085993488 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27548] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27548/stat : 27548 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 6895 33554432000 4194304 4196468 140726801334144 139637084940944 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27549] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27549/stat : 27549 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 6895 33554432000 4194304 4196468 140726801334144 139637083888400 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27550] ppid=27541 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27543/task/27550/stat : 27550 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 6895 33554432000 4194304 4196468 140726801334144 139637082835856 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27551] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27551/stat : 27551 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 6895 33554432000 4194304 4196468 140726801334144 139637081783312 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27552] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27552/stat : 27552 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 6895 33554432000 4194304 4196468 140726801334144 139637080730768 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27553] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27553/stat : 27553 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135187 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636652500976 139637536463490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27554] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27554/stat : 27554 (java) S 27541 27541 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476135187 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636651447200 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27555] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27555/stat : 27555 (java) S 27541 27541 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476135188 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636650394608 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27556] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27556/stat : 27556 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135190 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636649343184 139637536470939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27557] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27557/stat : 27557 (java) S 27541 27541 23748 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 476135190 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636648290800 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27558] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27558/stat : 27558 (java) S 27541 27541 23748 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 476135190 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636647238256 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27559] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27559/stat : 27559 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476135190 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636646185712 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27560] ppid=27541 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/27543/task/27560/stat : 27560 (java) R 27541 27541 23748 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 20 0 476135190 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636645133168 139637536464278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27561] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27561/stat : 27561 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476135190 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636644079840 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27562] ppid=27541 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27543/task/27562/stat : 27562 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135191 28904853504 6895 33554432000 4194304 4196468 140726801334144 139636643027376 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29032 KiB [startup+0.2127 s]* /proc/loadavg: 8.07 8.29 8.32 2/212 27562 /proc/meminfo: memFree=25740752/32770624 swapFree=66966844/67108860 [pid=27541] ppid=27538 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27541/stat : 27541 (xcsp3-exec) S 27538 27541 23748 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476135184 115843072 363 33554432000 4194304 5098028 140729890634016 140729890632120 139700053455484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9027584 140729890640721 140729890640981 140729890640981 140729890643910 0 /proc/27541/statm: 28282 363 304 221 0 87 0 [pid=27543] ppid=27541 vsize=28227396 memory=40056 CPUtime=0.34 cores=0-7 /proc/27543/stat : 27543 (java) S 27541 27541 23748 0 -1 1077944320 9755 0 0 0 31 3 0 0 20 0 20 0 476135184 28904853504 10014 33554432000 4194304 4196468 140726801334144 140726801316688 139637536452343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 /proc/27543/statm: 7056849 10014 3316 1 0 7019032 0 [pid=27543/tid=27544] ppid=27541 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/27543/task/27544/stat : 27544 (java) R 27541 27541 23748 0 -1 4202560 6700 0 0 0 18 1 0 0 20 0 20 0 476135185 28904853504 10014 33554432000 4194304 4196468 140726801334144 139637540686464 139637520532830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27545] ppid=27541 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/27543/task/27545/stat : 27545 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135185 28904853504 10014 33554432000 4194304 4196468 140726801334144 139637508294928 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27546] ppid=27541 vsize=28227396 memory=288370792366356096 CPUtime=0 cores=0-7 /proc/27543/task/27546/stat : 27546 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476135185 28904853504 10014 33554432000 4194304 4196468 140726801334144 139637087046032 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27547] ppid=27541 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27543/task/27547/stat : 27547 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 10014 33554432000 4194304 4196468 140726801334144 139637085993488 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27548] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27548/stat : 27548 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 10014 33554432000 4194304 4196468 140726801334144 139637084940944 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27549] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27549/stat : 27549 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 10014 33554432000 4194304 4196468 140726801334144 139637083888400 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27550] ppid=27541 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27543/task/27550/stat : 27550 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 10014 33554432000 4194304 4196468 140726801334144 139637082835856 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27551] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27551/stat : 27551 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 10014 33554432000 4194304 4196468 140726801334144 139637081783312 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27552] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27552/stat : 27552 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28904853504 10014 33554432000 4194304 4196468 140726801334144 139637080730768 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27553] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27553/stat : 27553 (java) S 27541 27541 23748 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476135187 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636652500976 139637536463490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27554] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27554/stat : 27554 (java) S 27541 27541 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476135187 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636651447200 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27555] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27555/stat : 27555 (java) S 27541 27541 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476135188 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636650394608 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27556] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27556/stat : 27556 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135190 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636649343184 139637536470939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27557] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27557/stat : 27557 (java) S 27541 27541 23748 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 20 0 476135190 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636648290800 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27558] ppid=27541 vsize=28227396 memory=0 CPUtime=0.03 cores=0-7 /proc/27543/task/27558/stat : 27558 (java) S 27541 27541 23748 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 20 0 476135190 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636647238256 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27559] ppid=27541 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27543/task/27559/stat : 27559 (java) S 27541 27541 23748 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 476135190 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636646185712 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27560] ppid=27541 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/27543/task/27560/stat : 27560 (java) R 27541 27541 23748 0 -1 4202560 885 0 0 0 7 0 0 0 20 0 20 0 476135190 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636645133168 139637521100762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27561] ppid=27541 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27561/stat : 27561 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476135190 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636644079840 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27562] ppid=27541 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27543/task/27562/stat : 27562 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135191 28904853504 10014 33554432000 4194304 4196468 140726801334144 139636643027376 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41508 KiB [startup+0.310627 s]* /proc/loadavg: 7.59 8.18 8.29 3/212 27562 /proc/meminfo: memFree=25735540/32770624 swapFree=66966844/67108860 [pid=27541] ppid=27538 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27541/stat : 27541 (xcsp3-exec) S 27538 27541 23748 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476135184 115843072 363 33554432000 4194304 5098028 140729890634016 140729890632120 139700053455484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9027584 140729890640721 140729890640981 140729890640981 140729890643910 0 /proc/27541/statm: 28282 363 304 221 0 87 0 [pid=27543] ppid=27541 vsize=28231652 memory=49136 CPUtime=0.53 cores=0-7 /proc/27543/stat : 27543 (java) S 27541 27541 23748 0 -1 1077944320 11149 0 0 0 49 4 0 0 20 0 20 0 476135184 28909211648 12284 33554432000 4194304 4196468 140726801334144 140726801316688 139637536452343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 /proc/27543/statm: 7057913 12284 3367 1 0 7019032 0 [pid=27543/tid=27544] ppid=27541 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/27543/task/27544/stat : 27544 (java) R 27541 27541 23748 0 -1 4202560 7774 0 0 0 27 2 0 0 20 0 20 0 476135185 28909211648 12284 33554432000 4194304 4196468 140726801334144 139637540683456 139637536474269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27545] ppid=27541 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27545/stat : 27545 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135185 28909211648 12284 33554432000 4194304 4196468 140726801334144 139637508294928 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27546] ppid=27541 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27546/stat : 27546 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476135185 28909211648 12284 33554432000 4194304 4196468 140726801334144 139637087046032 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27547] ppid=27541 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27547/stat : 27547 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28909211648 12284 33554432000 4194304 4196468 140726801334144 139637085993488 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27548] ppid=27541 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27548/stat : 27548 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135186 28909211648 12284 33554432000 4194304 4196468 140726801334144 139637084940944 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27549] ppid=27541 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/27543/task/27549/stat : 27549 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135186 28909211648 12284 33554432000 4194304 4196468 140726801334144 139637083888400 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27550] ppid=27541 vsize=28231652 memory=140416104100783 CPUtime=0 cores=0-7 /proc/27543/task/27550/stat : 27550 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28909211648 12284 33554432000 4194304 4196468 140726801334144 139637082835856 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27551] ppid=27541 vsize=28231652 memory=140416104103088 CPUtime=0 cores=0-7 /proc/27543/task/27551/stat : 27551 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135186 28909211648 12284 33554432000 4194304 4196468 140726801334144 139637081783312 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27552] ppid=27541 vsize=28231652 memory=3472464314285274592 CPUtime=0 cores=0-7 /proc/27543/task/27552/stat : 27552 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28909211648 12284 33554432000 4194304 4196468 140726801334144 139637080730768 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27553] ppid=27541 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27553/stat : 27553 (java) S 27541 27541 23748 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476135187 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636652500976 139637536463490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27554] ppid=27541 vsize=28231652 memory=280832208217744 CPUtime=0 cores=0-7 /proc/27543/task/27554/stat : 27554 (java) S 27541 27541 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476135187 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636651447200 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27555] ppid=27541 vsize=28231652 memory=280832208224656 CPUtime=0 cores=0-7 /proc/27543/task/27555/stat : 27555 (java) S 27541 27541 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476135188 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636650394608 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27556] ppid=27541 vsize=28231652 memory=280832208165904 CPUtime=0 cores=0-7 /proc/27543/task/27556/stat : 27556 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135190 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636649343184 139637536470939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27557] ppid=27541 vsize=28231652 memory=280832208238480 CPUtime=0.01 cores=0-7 /proc/27543/task/27557/stat : 27557 (java) S 27541 27541 23748 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 476135190 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636648290800 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27558] ppid=27541 vsize=28231652 memory=280832208245392 CPUtime=0.04 cores=0-7 /proc/27543/task/27558/stat : 27558 (java) S 27541 27541 23748 0 -1 1077944384 490 0 0 0 4 0 0 0 20 0 20 0 476135190 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636647238256 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27559] ppid=27541 vsize=28231652 memory=280832208243088 CPUtime=0.02 cores=0-7 /proc/27543/task/27559/stat : 27559 (java) R 27541 27541 23748 0 -1 4202560 159 0 0 0 2 0 0 0 20 0 20 0 476135190 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636646166728 139637528741632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27560] ppid=27541 vsize=28231652 memory=280832208259248 CPUtime=0.13 cores=0-7 /proc/27543/task/27560/stat : 27560 (java) S 27541 27541 23748 0 -1 1077944384 1059 0 0 0 13 0 0 0 20 0 20 0 476135190 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636645133168 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27561] ppid=27541 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27561/stat : 27561 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476135190 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636644079840 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27562] ppid=27541 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/27543/task/27562/stat : 27562 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476135191 28909211648 12284 33554432000 4194304 4196468 140726801334144 139636643027376 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50588 KiB [startup+0.70103 s] /proc/loadavg: 7.59 8.18 8.29 4/212 27562 /proc/meminfo: memFree=25715668/32770624 swapFree=66966844/67108860 [pid=27541] ppid=27538 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27541/stat : 27541 (xcsp3-exec) S 27538 27541 23748 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476135184 115843072 363 33554432000 4194304 5098028 140729890634016 140729890632120 139700053455484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9027584 140729890640721 140729890640981 140729890640981 140729890643910 0 /proc/27541/statm: 28282 363 304 221 0 87 0 [pid=27543] ppid=27541 vsize=28233776 memory=84276 CPUtime=1.57 cores=0-7 /proc/27543/stat : 27543 (java) S 27541 27541 23748 0 -1 1077944320 15338 0 0 0 151 6 0 0 20 0 20 0 476135184 28911386624 21069 33554432000 4194304 4196468 140726801334144 140726801316688 139637536452343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 /proc/27543/statm: 7058444 21069 3452 1 0 7019544 0 [pid=27543/tid=27544] ppid=27541 vsize=28233776 memory=280832208617136 CPUtime=0.67 cores=0-7 /proc/27543/task/27544/stat : 27544 (java) R 27541 27541 23748 0 -1 4202560 9380 0 0 0 64 3 0 0 20 0 20 0 476135185 28911386624 21069 33554432000 4194304 4196468 140726801334144 139637540690768 139637173046061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27545] ppid=27541 vsize=28233776 memory=140416104309616 CPUtime=0 cores=0-7 /proc/27543/task/27545/stat : 27545 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135185 28911386624 21069 33554432000 4194304 4196468 140726801334144 139637508294928 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27546] ppid=27541 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27546/stat : 27546 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476135185 28911386624 21069 33554432000 4194304 4196468 140726801334144 139637087046032 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27547] ppid=27541 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/27543/task/27547/stat : 27547 (java) S 27541 27541 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476135186 28911386624 21069 33554432000 4194304 4196468 140726801334144 139637085993488 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 ################ # More data... # ################ [pid=27543/tid=27560] ppid=27541 vsize=28769364 memory=6944656592387989600 CPUtime=0.87 cores=0-7 /proc/27543/task/27560/stat : 27560 (java) S 27541 27541 23748 0 -1 1077944384 8615 0 0 0 85 2 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636645133168 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27561] ppid=27541 vsize=28769364 memory=-7812193691855986592 CPUtime=0 cores=0-7 /proc/27543/task/27561/stat : 27561 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636644079840 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27562] ppid=27541 vsize=28769364 memory=8546823402028195750 CPUtime=0 cores=0-7 /proc/27543/task/27562/stat : 27562 (java) S 27541 27541 23748 0 -1 1077944384 1181 0 0 0 0 0 0 0 20 0 28 0 476135191 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636643027376 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27651] ppid=27541 vsize=28769364 memory=0 CPUtime=30.78 cores=0-7 /proc/27543/task/27651/stat : 27651 (java) R 27541 27541 23748 0 -1 4202560 749 0 0 0 3078 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635638364984 139637177999735 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27652] ppid=27541 vsize=28769364 memory=1044 CPUtime=30.82 cores=0-7 /proc/27543/task/27652/stat : 27652 (java) R 27541 27541 23748 0 -1 4202560 321 0 0 0 3082 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635640470696 139637179783753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27653] ppid=27541 vsize=28769364 memory=7084821286523977828 CPUtime=30.76 cores=0-7 /proc/27543/task/27653/stat : 27653 (java) R 27541 27541 23748 0 -1 4202560 885 0 0 0 3076 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635644682616 139637177451456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27654] ppid=27541 vsize=28769364 memory=7805670911177614441 CPUtime=30.54 cores=0-7 /proc/27543/task/27654/stat : 27654 (java) R 27541 27541 23748 0 -1 4202560 1301 0 0 0 3053 1 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635639422016 139637179782116 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27655] ppid=27541 vsize=28769364 memory=-7812736537705029536 CPUtime=30.7 cores=0-7 /proc/27543/task/27655/stat : 27655 (java) R 27541 27541 23748 0 -1 4202560 713 0 0 0 3070 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635642577216 139637180820050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27656] ppid=27541 vsize=28769364 memory=-8458152057954561420 CPUtime=30.61 cores=0-7 /proc/27543/task/27656/stat : 27656 (java) R 27541 27541 23748 0 -1 4202560 558 0 0 0 3061 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635643630552 139637181544924 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27657] ppid=27541 vsize=28769364 memory=0 CPUtime=30.87 cores=0-7 /proc/27543/task/27657/stat : 27657 (java) R 27541 27541 23748 0 -1 4202560 638 0 0 0 3087 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635635215784 139637180819880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27658] ppid=27541 vsize=28769364 memory=4049647978106939237 CPUtime=30.82 cores=0-7 /proc/27543/task/27658/stat : 27658 (java) R 27541 27541 23748 0 -1 4202560 550 0 0 0 3082 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635641523752 139637179782066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 Current children cumulated CPU time: 313.82 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 250944 KiB [startup+40.8019 s] /proc/loadavg: 7.85 8.18 8.28 9/220 27660 /proc/meminfo: memFree=25531760/32770624 swapFree=66966844/67108860 [pid=27541] ppid=27538 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27541/stat : 27541 (xcsp3-exec) S 27538 27541 23748 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476135184 115843072 363 33554432000 4194304 5098028 140729890634016 140729890632120 139700053455484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9027584 140729890640721 140729890640981 140729890640981 140729890643910 0 /proc/27541/statm: 28282 363 304 221 0 87 0 [pid=27543] ppid=27541 vsize=28769364 memory=249492 CPUtime=320.14 cores=0-7 /proc/27543/stat : 27543 (java) S 27541 27541 23748 0 -1 1077944320 79756 0 0 0 31979 35 0 0 20 0 28 0 476135184 29459828736 62373 33554432000 4194304 4196468 140726801334144 140726801316688 139637536452343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 /proc/27543/statm: 7192341 62373 3532 1 0 7153441 0 [pid=27543/tid=27544] ppid=27541 vsize=28769364 memory=7739827748371589487 CPUtime=0.72 cores=0-7 /proc/27543/task/27544/stat : 27544 (java) S 27541 27541 23748 0 -1 1077944384 9672 0 0 0 69 3 0 0 20 0 28 0 476135185 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637540693120 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27545] ppid=27541 vsize=28769364 memory=7666646449122011755 CPUtime=0.01 cores=0-7 /proc/27543/task/27545/stat : 27545 (java) S 27541 27541 23748 0 -1 1077944384 1638 0 0 0 1 0 0 0 20 0 28 0 476135185 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637508294928 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27546] ppid=27541 vsize=28769364 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/27543/task/27546/stat : 27546 (java) S 27541 27541 23748 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 28 0 476135185 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637087046032 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27547] ppid=27541 vsize=28769364 memory=87 CPUtime=0.01 cores=0-7 /proc/27543/task/27547/stat : 27547 (java) S 27541 27541 23748 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637085993488 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27548] ppid=27541 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/27543/task/27548/stat : 27548 (java) S 27541 27541 23748 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637084940944 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27549] ppid=27541 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/27543/task/27549/stat : 27549 (java) S 27541 27541 23748 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637083888400 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27550] ppid=27541 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/27543/task/27550/stat : 27550 (java) S 27541 27541 23748 0 -1 1077944384 1523 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637082835856 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27551] ppid=27541 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/27543/task/27551/stat : 27551 (java) S 27541 27541 23748 0 -1 1077944384 1322 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637081783312 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27552] ppid=27541 vsize=28769364 memory=15604 CPUtime=0.02 cores=0-7 /proc/27543/task/27552/stat : 27552 (java) S 27541 27541 23748 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637080730768 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27553] ppid=27541 vsize=28769364 memory=2120 CPUtime=0.02 cores=0-7 /proc/27543/task/27553/stat : 27553 (java) S 27541 27541 23748 0 -1 1077944384 1480 0 0 0 2 0 0 0 20 0 28 0 476135187 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636652500976 139637536463490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27554] ppid=27541 vsize=28769364 memory=508 CPUtime=0 cores=0-7 /proc/27543/task/27554/stat : 27554 (java) S 27541 27541 23748 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 476135187 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636651447264 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27555] ppid=27541 vsize=28769364 memory=1560 CPUtime=0 cores=0-7 /proc/27543/task/27555/stat : 27555 (java) S 27541 27541 23748 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 476135188 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636650394624 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27556] ppid=27541 vsize=28769364 memory=932 CPUtime=0 cores=0-7 /proc/27543/task/27556/stat : 27556 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636649343184 139637536470939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27557] ppid=27541 vsize=28769364 memory=1568 CPUtime=3.25 cores=0-7 /proc/27543/task/27557/stat : 27557 (java) S 27541 27541 23748 0 -1 1077944384 17470 0 0 0 320 5 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636648290800 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27558] ppid=27541 vsize=28769364 memory=1444 CPUtime=2.74 cores=0-7 /proc/27543/task/27558/stat : 27558 (java) S 27541 27541 23748 0 -1 1077944384 12202 0 0 0 270 4 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636647238256 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27559] ppid=27541 vsize=28769364 memory=864 CPUtime=2.87 cores=0-7 /proc/27543/task/27559/stat : 27559 (java) S 27541 27541 23748 0 -1 1077944384 11908 0 0 0 284 3 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636646185712 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27560] ppid=27541 vsize=28769364 memory=1976 CPUtime=0.87 cores=0-7 /proc/27543/task/27560/stat : 27560 (java) S 27541 27541 23748 0 -1 1077944384 8615 0 0 0 85 2 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636645133168 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27561] ppid=27541 vsize=28769364 memory=2496 CPUtime=0 cores=0-7 /proc/27543/task/27561/stat : 27561 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636644079840 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27562] ppid=27541 vsize=28769364 memory=1760 CPUtime=0 cores=0-7 /proc/27543/task/27562/stat : 27562 (java) S 27541 27541 23748 0 -1 1077944384 1280 0 0 0 0 0 0 0 20 0 28 0 476135191 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636643027376 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27651] ppid=27541 vsize=28769364 memory=111636 CPUtime=31.57 cores=0-7 /proc/27543/task/27651/stat : 27651 (java) R 27541 27541 23748 0 -1 4202560 752 0 0 0 3157 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635638364984 139637179783753 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27652] ppid=27541 vsize=28769364 memory=804 CPUtime=31.61 cores=0-7 /proc/27543/task/27652/stat : 27652 (java) R 27541 27541 23748 0 -1 4202560 324 0 0 0 3161 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635640470696 139637179783500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27653] ppid=27541 vsize=28769364 memory=1804 CPUtime=31.55 cores=0-7 /proc/27543/task/27653/stat : 27653 (java) R 27541 27541 23748 0 -1 4202560 888 0 0 0 3155 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635644682616 139637173246704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27654] ppid=27541 vsize=28769364 memory=1452 CPUtime=31.33 cores=0-7 /proc/27543/task/27654/stat : 27654 (java) R 27541 27541 23748 0 -1 4202560 1304 0 0 0 3132 1 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635639422016 139637181544618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27655] ppid=27541 vsize=28769364 memory=55068 CPUtime=31.49 cores=0-7 /proc/27543/task/27655/stat : 27655 (java) R 27541 27541 23748 0 -1 4202560 742 0 0 0 3149 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635642577216 139637179782644 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27656] ppid=27541 vsize=28769364 memory=1056 CPUtime=31.39 cores=0-7 /proc/27543/task/27656/stat : 27656 (java) R 27541 27541 23748 0 -1 4202560 567 0 0 0 3139 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635643630552 139637177999680 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27657] ppid=27541 vsize=28769364 memory=3616 CPUtime=31.66 cores=0-7 /proc/27543/task/27657/stat : 27657 (java) R 27541 27541 23748 0 -1 4202560 643 0 0 0 3166 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635635215784 139637179786552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27658] ppid=27541 vsize=28769364 memory=1552 CPUtime=31.61 cores=0-7 /proc/27543/task/27658/stat : 27658 (java) R 27541 27541 23748 0 -1 4202560 551 0 0 0 3161 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635641523752 139637179566017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 Current children cumulated CPU time: 320.14 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 250944 KiB [startup+41.2019 s] /proc/loadavg: 7.86 8.18 8.28 9/220 27660 /proc/meminfo: memFree=25531884/32770624 swapFree=66966844/67108860 [pid=27541] ppid=27538 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27541/stat : 27541 (xcsp3-exec) S 27538 27541 23748 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476135184 115843072 363 33554432000 4194304 5098028 140729890634016 140729890632120 139700053455484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9027584 140729890640721 140729890640981 140729890640981 140729890643910 0 /proc/27541/statm: 28282 363 304 221 0 87 0 [pid=27543] ppid=27541 vsize=28769364 memory=249492 CPUtime=323.32 cores=0-7 /proc/27543/stat : 27543 (java) S 27541 27541 23748 0 -1 1077944320 79828 0 0 0 32297 35 0 0 20 0 28 0 476135184 29459828736 62373 33554432000 4194304 4196468 140726801334144 140726801316688 139637536452343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 /proc/27543/statm: 7192341 62373 3532 1 0 7153441 0 [pid=27543/tid=27544] ppid=27541 vsize=28769364 memory=2867 CPUtime=0.72 cores=0-7 /proc/27543/task/27544/stat : 27544 (java) S 27541 27541 23748 0 -1 1077944384 9672 0 0 0 69 3 0 0 20 0 28 0 476135185 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637540693120 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27545] ppid=27541 vsize=28769364 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/27543/task/27545/stat : 27545 (java) S 27541 27541 23748 0 -1 1077944384 1638 0 0 0 1 0 0 0 20 0 28 0 476135185 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637508294928 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27546] ppid=27541 vsize=28769364 memory=251024 CPUtime=0.01 cores=0-7 /proc/27543/task/27546/stat : 27546 (java) S 27541 27541 23748 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 28 0 476135185 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637087046032 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27547] ppid=27541 vsize=28769364 memory=1804 CPUtime=0.01 cores=0-7 /proc/27543/task/27547/stat : 27547 (java) S 27541 27541 23748 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637085993488 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27548] ppid=27541 vsize=28769364 memory=916 CPUtime=0.02 cores=0-7 /proc/27543/task/27548/stat : 27548 (java) S 27541 27541 23748 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637084940944 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27549] ppid=27541 vsize=28769364 memory=-3040564339240289162 CPUtime=0.02 cores=0-7 /proc/27543/task/27549/stat : 27549 (java) S 27541 27541 23748 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637083888400 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27550] ppid=27541 vsize=28769364 memory=-2317720213663851332 CPUtime=0.02 cores=0-7 /proc/27543/task/27550/stat : 27550 (java) S 27541 27541 23748 0 -1 1077944384 1523 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637082835856 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27551] ppid=27541 vsize=28769364 memory=-3252517613199061085 CPUtime=0.02 cores=0-7 /proc/27543/task/27551/stat : 27551 (java) S 27541 27541 23748 0 -1 1077944384 1322 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637081783312 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27552] ppid=27541 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/27543/task/27552/stat : 27552 (java) S 27541 27541 23748 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 28 0 476135186 29459828736 62373 33554432000 4194304 4196468 140726801334144 139637080730768 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27553] ppid=27541 vsize=28769364 memory=280832208014456 CPUtime=0.02 cores=0-7 /proc/27543/task/27553/stat : 27553 (java) S 27541 27541 23748 0 -1 1077944384 1480 0 0 0 2 0 0 0 20 0 28 0 476135187 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636652500976 139637536463490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27554] ppid=27541 vsize=28769364 memory=280832210389984 CPUtime=0 cores=0-7 /proc/27543/task/27554/stat : 27554 (java) S 27541 27541 23748 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 476135187 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636651447264 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27555] ppid=27541 vsize=28769364 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/27543/task/27555/stat : 27555 (java) S 27541 27541 23748 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 476135188 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636650394624 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27556] ppid=27541 vsize=28769364 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/27543/task/27556/stat : 27556 (java) S 27541 27541 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636649343184 139637536470939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27557] ppid=27541 vsize=28769364 memory=6655300316396806240 CPUtime=3.25 cores=0-7 /proc/27543/task/27557/stat : 27557 (java) S 27541 27541 23748 0 -1 1077944384 17470 0 0 0 320 5 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636648290800 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27558] ppid=27541 vsize=28769364 memory=6944656592455097440 CPUtime=2.74 cores=0-7 /proc/27543/task/27558/stat : 27558 (java) S 27541 27541 23748 0 -1 1077944384 12202 0 0 0 270 4 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636647238256 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27559] ppid=27541 vsize=28769364 memory=6944656575208382560 CPUtime=2.87 cores=0-7 /proc/27543/task/27559/stat : 27559 (java) S 27541 27541 23748 0 -1 1077944384 11908 0 0 0 284 3 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636646185712 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27560] ppid=27541 vsize=28769364 memory=288230574492221466 CPUtime=0.87 cores=0-7 /proc/27543/task/27560/stat : 27560 (java) S 27541 27541 23748 0 -1 1077944384 8615 0 0 0 85 2 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636645133168 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27561] ppid=27541 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27561/stat : 27561 (java) S 27541 27541 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476135190 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636644079840 139637536462549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27562] ppid=27541 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/27543/task/27562/stat : 27562 (java) S 27541 27541 23748 0 -1 1077944384 1280 0 0 0 0 0 0 0 20 0 28 0 476135191 29459828736 62373 33554432000 4194304 4196468 140726801334144 139636643027376 139637536463490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27651] ppid=27541 vsize=28769364 memory=0 CPUtime=31.97 cores=0-7 /proc/27543/task/27651/stat : 27651 (java) R 27541 27541 23748 0 -1 4202560 754 0 0 0 3197 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635638364984 139637179915726 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27652] ppid=27541 vsize=28769364 memory=7446565920812936088 CPUtime=32.01 cores=0-7 /proc/27543/task/27652/stat : 27652 (java) R 27541 27541 23748 0 -1 4202560 324 0 0 0 3201 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635640470696 139637179785454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27653] ppid=27541 vsize=28769364 memory=7446565920812936088 CPUtime=31.95 cores=0-7 /proc/27543/task/27653/stat : 27653 (java) R 27541 27541 23748 0 -1 4202560 897 0 0 0 3195 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635644682616 139637179916671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27654] ppid=27541 vsize=28769364 memory=7446565920812936088 CPUtime=31.73 cores=0-7 /proc/27543/task/27654/stat : 27654 (java) R 27541 27541 23748 0 -1 4202560 1307 0 0 0 3172 1 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635639422016 139637183579837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27655] ppid=27541 vsize=28769364 memory=7446565920812936088 CPUtime=31.89 cores=0-7 /proc/27543/task/27655/stat : 27655 (java) R 27541 27541 23748 0 -1 4202560 744 0 0 0 3189 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635642577216 139637177451456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27656] ppid=27541 vsize=28769364 memory=56 CPUtime=31.78 cores=0-7 /proc/27543/task/27656/stat : 27656 (java) R 27541 27541 23748 0 -1 4202560 568 0 0 0 3178 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635643630552 139637179566269 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27657] ppid=27541 vsize=28769364 memory=288230617509003574 CPUtime=32.06 cores=0-7 /proc/27543/task/27657/stat : 27657 (java) R 27541 27541 23748 0 -1 4202560 643 0 0 0 3206 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635635215784 139637180458089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 [pid=27543/tid=27658] ppid=27541 vsize=28769364 memory=14408211662899591 CPUtime=32.01 cores=0-7 /proc/27543/task/27658/stat : 27658 (java) R 27541 27541 23748 0 -1 4202560 606 0 0 0 3201 0 0 0 20 0 28 0 476136093 29459828736 62373 33554432000 4194304 4196468 140726801334144 139635641523752 139637180841458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140726801335254 140726801335430 140726801335430 140726801338319 0 Current children cumulated CPU time: 323.32 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 250944 KiB Child status: 0 Real time (s): 41.2998 CPU time (s): 324.011 CPU user time (s): 323.64 CPU system time (s): 0.371293 CPU usage (%): 784.533 Max. virtual memory (cumulated for all children) (KiB): 28884496 Max. memory (cumulated for all children) (KiB): 252476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 323.64 system time used= 0.371293 maximum resident set size= 255132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81744 page faults= 0 swaps= 0 block input operations= 0 block output operations= 200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7516 involuntary context switches= 4938 # summary of solver processes directly reported to runsolver: # pid: 27541 # total CPU time (s): 324.011 # total CPU user time (s): 323.64 # total CPU system time (s): 0.371293 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.328782 second user time and 0.527616 second system time The end
Begin job on node145 at 2019-09-20 19:52:25 IDJOB=4404696 IDBENCH=129976 IDSOLVER=2865 FILE ID=node145/4404696-1569001987 RUNJOBID= node145-1568994215-23775 PBS_JOBID= 21704717 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-29-07.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 /var/tmp/evaluation-result-4404696-1569001987/watcher-4404696-1569001987 -o /var/tmp/evaluation-result-4404696-1569001987/solver-4404696-1569001987 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1888861971 HOME/instance-4404696-1569001987.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 883cdd2c39820682d54c3bab8557ea17 RANDOM SEED=1888861971 node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 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: 25769596 kB MemAvailable: 31821580 kB Buffers: 94968 kB Cached: 6118824 kB SwapCached: 32484 kB Active: 3017680 kB Inactive: 3230192 kB Active(anon): 3748 kB Inactive(anon): 79836 kB Active(file): 3013932 kB Inactive(file): 3150356 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66966844 kB Dirty: 26224 kB Writeback: 4 kB AnonPages: 113444 kB Mapped: 51556 kB Shmem: 40640 kB Slab: 344024 kB SReclaimable: 316156 kB SUnreclaim: 27868 kB KernelStack: 3504 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506036 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13488 MiB End job on node145 at 2019-09-20 19:53:07