Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 73 | 306.85 | 39.1563 |
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-4407096-1569352352.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407096-1569352352.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.54/0.73 c solve instance... 2.13/0.86 o 85 2.76/0.91 o 83 2.76/0.96 o 82 3.56/1.05 o 81 4.20/1.12 o 80 4.20/1.17 o 79 4.81/1.23 o 78 4.81/1.29 o 77 4.81/1.30 o 76 5.51/1.37 o 75 11.83/2.15 o 74 26.83/4.10 o 73 306.59/39.14 s OPTIMUM FOUND 306.59/39.14 v <instantiation> 306.59/39.14 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> 306.59/39.14 v <values>0 4 0 0 4 11 15 12 6 9 12 25 48 28 37 4 44 11 22 37 55 60 27 56 46 33 69 58 61 71 69 73 </values> 306.59/39.14 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 (14637 MiB free) memory of node 1: 16384 MiB (13434 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407096-1569352352/watcher-4407096-1569352352 -o /var/tmp/evaluation-result-4407096-1569352352/solver-4407096-1569352352 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569345579-15751 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1755574599 HOME/instance-4407096-1569352352.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=17249, runsolver pid=17246 [startup+0.100114 s]* /proc/loadavg: 8.72 8.47 8.27 2/211 17270 /proc/meminfo: memFree=28730324/32770624 swapFree=66954108/67108860 [pid=17249] ppid=17246 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17249/stat : 17249 (xcsp3-exec) S 17246 17249 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511490505 115843072 363 33554432000 4194304 5098028 140736157103952 140736157102056 139949561033340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28872704 140736157111121 140736157111381 140736157111381 140736157114310 0 /proc/17249/statm: 28282 363 304 221 0 87 0 [pid=17251] ppid=17249 vsize=28227396 memory=27448 CPUtime=0.12 cores=0-7 /proc/17251/stat : 17251 (java) S 17249 17249 15724 0 -1 1077944320 5898 0 0 0 11 1 0 0 20 0 20 0 511490506 28904853504 6862 33554432000 4194304 4196468 140726826257552 140726826240096 139673374277367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 /proc/17251/statm: 7056849 6862 3119 1 0 7019032 0 [pid=17251/tid=17252] ppid=17249 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/17251/task/17252/stat : 17252 (java) R 17249 17249 15724 0 -1 4202560 3760 0 0 0 8 1 0 0 20 0 20 0 511490506 28904853504 6862 33554432000 4194304 4196468 140726826257552 139673378509088 139673356492337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17253] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17253/stat : 17253 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 6862 33554432000 4194304 4196468 140726826257552 139672925309712 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17254] ppid=17249 vsize=28227396 memory=3545940911826925216 CPUtime=0 cores=0-7 /proc/17251/task/17254/stat : 17254 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 6862 33554432000 4194304 4196468 140726826257552 139672924257168 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17255] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17255/stat : 17255 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 6862 33554432000 4194304 4196468 140726826257552 139672923204624 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17256] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17256/stat : 17256 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 6862 33554432000 4194304 4196468 140726826257552 139672922152080 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17257] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17257/stat : 17257 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 6862 33554432000 4194304 4196468 140726826257552 139672921098512 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17258] ppid=17249 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17251/task/17258/stat : 17258 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 6862 33554432000 4194304 4196468 140726826257552 139672920045968 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17259] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17259/stat : 17259 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 6862 33554432000 4194304 4196468 140726826257552 139672918993424 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17260] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17260/stat : 17260 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 6862 33554432000 4194304 4196468 140726826257552 139672917940880 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17261] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17261/stat : 17261 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490508 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671972493808 139673374288514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17262] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17262/stat : 17262 (java) S 17249 17249 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511490509 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671971440032 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17263] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17263/stat : 17263 (java) S 17249 17249 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511490509 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671970387440 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17264] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17264/stat : 17264 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490511 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671969336016 139673374295963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17265] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17265/stat : 17265 (java) S 17249 17249 15724 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 511490511 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671968282608 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17266] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17266/stat : 17266 (java) S 17249 17249 15724 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 511490511 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671967230064 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17267] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17267/stat : 17267 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511490511 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671966177520 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17268] ppid=17249 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17251/task/17268/stat : 17268 (java) R 17249 17249 15724 0 -1 4202560 389 0 0 0 1 0 0 0 20 0 20 0 511490511 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671965124976 139673352916717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17269] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17269/stat : 17269 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511490512 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671964072672 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17270] ppid=17249 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17251/task/17270/stat : 17270 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490512 28904853504 6862 33554432000 4194304 4196468 140726826257552 139671963020208 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28900 KiB [startup+0.210276 s]* /proc/loadavg: 8.72 8.47 8.27 3/211 17270 /proc/meminfo: memFree=28717620/32770624 swapFree=66954108/67108860 [pid=17249] ppid=17246 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17249/stat : 17249 (xcsp3-exec) S 17246 17249 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511490505 115843072 363 33554432000 4194304 5098028 140736157103952 140736157102056 139949561033340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28872704 140736157111121 140736157111381 140736157111381 140736157114310 0 /proc/17249/statm: 28282 363 304 221 0 87 0 [pid=17251] ppid=17249 vsize=28227396 memory=39912 CPUtime=0.33 cores=0-7 /proc/17251/stat : 17251 (java) S 17249 17249 15724 0 -1 1077944320 9732 0 0 0 30 3 0 0 20 0 20 0 511490506 28904853504 9978 33554432000 4194304 4196468 140726826257552 140726826240096 139673374277367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 /proc/17251/statm: 7056849 9978 3274 1 0 7019032 0 [pid=17251/tid=17252] ppid=17249 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/17251/task/17252/stat : 17252 (java) R 17249 17249 15724 0 -1 4202560 6716 0 0 0 17 2 0 0 20 0 20 0 511490506 28904853504 9978 33554432000 4194304 4196468 140726826257552 139673378509280 139673358357854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17253] ppid=17249 vsize=28227396 memory=10927 CPUtime=0 cores=0-7 /proc/17251/task/17253/stat : 17253 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 9978 33554432000 4194304 4196468 140726826257552 139672925309712 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17254] ppid=17249 vsize=28227396 memory=139928611253993 CPUtime=0 cores=0-7 /proc/17251/task/17254/stat : 17254 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 9978 33554432000 4194304 4196468 140726826257552 139672924257168 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17255] ppid=17249 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17251/task/17255/stat : 17255 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 9978 33554432000 4194304 4196468 140726826257552 139672923204624 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17256] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17256/stat : 17256 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 9978 33554432000 4194304 4196468 140726826257552 139672922152080 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17257] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17257/stat : 17257 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 9978 33554432000 4194304 4196468 140726826257552 139672921098512 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17258] ppid=17249 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17251/task/17258/stat : 17258 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 9978 33554432000 4194304 4196468 140726826257552 139672920045968 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17259] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17259/stat : 17259 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 9978 33554432000 4194304 4196468 140726826257552 139672918993424 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17260] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17260/stat : 17260 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511490507 28904853504 9978 33554432000 4194304 4196468 140726826257552 139672917940880 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17261] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17261/stat : 17261 (java) S 17249 17249 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511490508 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671972493808 139673374288514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17262] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17262/stat : 17262 (java) S 17249 17249 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511490509 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671971440032 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17263] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17263/stat : 17263 (java) S 17249 17249 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511490509 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671970387440 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17264] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17264/stat : 17264 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490511 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671969336016 139673374295963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17265] ppid=17249 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17251/task/17265/stat : 17265 (java) S 17249 17249 15724 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 20 0 511490511 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671968282608 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17266] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17266/stat : 17266 (java) S 17249 17249 15724 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 511490511 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671967230064 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17267] ppid=17249 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17251/task/17267/stat : 17267 (java) S 17249 17249 15724 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 20 0 511490511 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671966177520 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17268] ppid=17249 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/17251/task/17268/stat : 17268 (java) R 17249 17249 15724 0 -1 4202560 876 0 0 0 7 0 0 0 20 0 20 0 511490511 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671965120016 139673366514494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17269] ppid=17249 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17269/stat : 17269 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511490512 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671964072672 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17270] ppid=17249 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17251/task/17270/stat : 17270 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490512 28904853504 9978 33554432000 4194304 4196468 140726826257552 139671963020208 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41364 KiB [startup+0.309707 s]* /proc/loadavg: 8.72 8.47 8.27 3/211 17270 /proc/meminfo: memFree=28711856/32770624 swapFree=66954108/67108860 [pid=17249] ppid=17246 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17249/stat : 17249 (xcsp3-exec) S 17246 17249 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511490505 115843072 363 33554432000 4194304 5098028 140736157103952 140736157102056 139949561033340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28872704 140736157111121 140736157111381 140736157111381 140736157114310 0 /proc/17249/statm: 28282 363 304 221 0 87 0 [pid=17251] ppid=17249 vsize=28231652 memory=48412 CPUtime=0.51 cores=0-7 /proc/17251/stat : 17251 (java) S 17249 17249 15724 0 -1 1077944320 11003 0 0 0 47 4 0 0 20 0 20 0 511490506 28909211648 12103 33554432000 4194304 4196468 140726826257552 140726826240096 139673374277367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 /proc/17251/statm: 7057913 12103 3303 1 0 7019032 0 [pid=17251/tid=17252] ppid=17249 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/17251/task/17252/stat : 17252 (java) R 17249 17249 15724 0 -1 4202560 7784 0 0 0 26 3 0 0 20 0 20 0 511490506 28909211648 12168 33554432000 4194304 4196468 140726826257552 139673378513360 139673374299293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17253] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17253/stat : 17253 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490507 28909211648 12168 33554432000 4194304 4196468 140726826257552 139672925309712 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17254] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17254/stat : 17254 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28909211648 12168 33554432000 4194304 4196468 140726826257552 139672924257168 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17255] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17255/stat : 17255 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490507 28909211648 12168 33554432000 4194304 4196468 140726826257552 139672923204624 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17256] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17256/stat : 17256 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28909211648 12168 33554432000 4194304 4196468 140726826257552 139672922152080 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17257] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17257/stat : 17257 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28909211648 12168 33554432000 4194304 4196468 140726826257552 139672921098512 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17258] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17258/stat : 17258 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28909211648 12168 33554432000 4194304 4196468 140726826257552 139672920045968 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17259] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17259/stat : 17259 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28909211648 12168 33554432000 4194304 4196468 140726826257552 139672918993424 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17260] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17260/stat : 17260 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511490507 28909211648 12168 33554432000 4194304 4196468 140726826257552 139672917940880 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17261] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17261/stat : 17261 (java) S 17249 17249 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511490508 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671972493808 139673374288514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17262] ppid=17249 vsize=28231652 memory=279856982203776 CPUtime=0 cores=0-7 /proc/17251/task/17262/stat : 17262 (java) S 17249 17249 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511490509 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671971440032 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17263] ppid=17249 vsize=28231652 memory=279856982208384 CPUtime=0 cores=0-7 /proc/17251/task/17263/stat : 17263 (java) S 17249 17249 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511490509 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671970387440 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17264] ppid=17249 vsize=28231652 memory=279856982212992 CPUtime=0 cores=0-7 /proc/17251/task/17264/stat : 17264 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490511 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671969336016 139673374295963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17265] ppid=17249 vsize=28231652 memory=279856982217600 CPUtime=0.02 cores=0-7 /proc/17251/task/17265/stat : 17265 (java) S 17249 17249 15724 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 20 0 511490511 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671968282608 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17266] ppid=17249 vsize=28231652 memory=279856982222208 CPUtime=0.01 cores=0-7 /proc/17251/task/17266/stat : 17266 (java) S 17249 17249 15724 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 511490511 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671967230064 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17267] ppid=17249 vsize=28231652 memory=279856982226816 CPUtime=0.03 cores=0-7 /proc/17251/task/17267/stat : 17267 (java) R 17249 17249 15724 0 -1 4202560 266 0 0 0 3 0 0 0 20 0 20 0 511490511 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671966167904 139673357777453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17268] ppid=17249 vsize=28231652 memory=279856982231424 CPUtime=0.12 cores=0-7 /proc/17251/task/17268/stat : 17268 (java) S 17249 17249 15724 0 -1 1077944384 1027 0 0 0 12 0 0 0 20 0 20 0 511490511 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671965124976 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17269] ppid=17249 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17269/stat : 17269 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511490512 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671964072672 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17270] ppid=17249 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17251/task/17270/stat : 17270 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490512 28909211648 12168 33554432000 4194304 4196468 140726826257552 139671963020208 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 49864 KiB [startup+0.700932 s] /proc/loadavg: 8.72 8.47 8.27 4/211 17270 /proc/meminfo: memFree=28693212/32770624 swapFree=66954108/67108860 [pid=17249] ppid=17246 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17249/stat : 17249 (xcsp3-exec) S 17246 17249 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511490505 115843072 363 33554432000 4194304 5098028 140736157103952 140736157102056 139949561033340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28872704 140736157111121 140736157111381 140736157111381 140736157114310 0 /proc/17249/statm: 28282 363 304 221 0 87 0 [pid=17251] ppid=17249 vsize=28233776 memory=84880 CPUtime=1.54 cores=0-7 /proc/17251/stat : 17251 (java) S 17249 17249 15724 0 -1 1077944320 15460 0 0 0 147 7 0 0 20 0 20 0 511490506 28911386624 21220 33554432000 4194304 4196468 140726826257552 140726826240096 139673374277367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 /proc/17251/statm: 7058444 21220 3452 1 0 7019544 0 [pid=17251/tid=17252] ppid=17249 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/17251/task/17252/stat : 17252 (java) R 17249 17249 15724 0 -1 4202560 9451 0 0 0 63 4 0 0 20 0 20 0 511490506 28911386624 21220 33554432000 4194304 4196468 140726826257552 139673378515616 139673015212999 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17253] ppid=17249 vsize=28233776 memory=139928491303808 CPUtime=0 cores=0-7 /proc/17251/task/17253/stat : 17253 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490507 28911386624 21220 33554432000 4194304 4196468 140726826257552 139672925309712 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17254] ppid=17249 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17251/task/17254/stat : 17254 (java) S 17249 17249 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511490507 28911386624 21220 33554432000 4194304 4196468 140726826257552 139672924257168 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17255] ppid=17249 vsize=28233776 memory=9364 CPUtime=0 cores=0-7 /proc/17251/task/17255/stat : 17255 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511490507 28911386624 21220 33554432000 4194304 4196468 140726826257552 139672923204624 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 ################ # More data... # ################ [pid=17251/tid=17268] ppid=17249 vsize=28769364 memory=1452 CPUtime=0.84 cores=0-7 /proc/17251/task/17268/stat : 17268 (java) S 17249 17249 15724 0 -1 1077944384 6462 0 0 0 83 1 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671965124976 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17269] ppid=17249 vsize=28769364 memory=263248 CPUtime=0 cores=0-7 /proc/17251/task/17269/stat : 17269 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511490512 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671964072672 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17270] ppid=17249 vsize=28769364 memory=1164 CPUtime=0.01 cores=0-7 /proc/17251/task/17270/stat : 17270 (java) S 17249 17249 15724 0 -1 1077944384 1586 0 0 0 0 1 0 0 20 0 28 0 511490512 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671963020208 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17367] ppid=17249 vsize=28769364 memory=1680 CPUtime=34.48 cores=0-7 /proc/17251/task/17367/stat : 17367 (java) R 17249 17249 15724 0 -1 4202560 594 0 0 0 3448 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671949590344 139673016200533 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17368] ppid=17249 vsize=28769364 memory=1444 CPUtime=34.01 cores=0-7 /proc/17251/task/17368/stat : 17368 (java) R 17249 17249 15724 0 -1 4202560 333 0 0 0 3401 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671951696264 139673018629195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17369] ppid=17249 vsize=28769364 memory=880 CPUtime=34.53 cores=0-7 /proc/17251/task/17369/stat : 17369 (java) R 17249 17249 15724 0 -1 4202560 807 0 0 0 3453 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671953801048 139673018322332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17370] ppid=17249 vsize=28769364 memory=6791534058613427641 CPUtime=34.47 cores=0-7 /proc/17251/task/17370/stat : 17370 (java) R 17249 17249 15724 0 -1 4202560 933 0 0 0 3446 1 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671950643512 139673018628416 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17371] ppid=17249 vsize=28769364 memory=1120 CPUtime=34.59 cores=0-7 /proc/17251/task/17371/stat : 17371 (java) R 17249 17249 15724 0 -1 4202560 914 0 0 0 3459 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671943282528 139673018068711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17372] ppid=17249 vsize=28769364 memory=776 CPUtime=34.39 cores=0-7 /proc/17251/task/17372/stat : 17372 (java) R 17249 17249 15724 0 -1 4202560 504 0 0 0 3439 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671946432856 139673017634881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17373] ppid=17249 vsize=28769364 memory=1724 CPUtime=34.52 cores=0-7 /proc/17251/task/17373/stat : 17373 (java) R 17249 17249 15724 0 -1 4202560 606 0 0 0 3452 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671947488128 139673017350895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17374] ppid=17249 vsize=28769364 memory=8220 CPUtime=34.57 cores=0-7 /proc/17251/task/17374/stat : 17374 (java) R 17249 17249 15724 0 -1 4202560 524 0 0 0 3456 1 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671948538248 139673019862349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 Current children cumulated CPU time: 304.13 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 264700 KiB [startup+39.0013 s]* /proc/loadavg: 8.91 8.56 8.31 9/219 17376 /proc/meminfo: memFree=28497116/32770624 swapFree=66954108/67108860 [pid=17249] ppid=17246 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17249/stat : 17249 (xcsp3-exec) S 17246 17249 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511490505 115843072 363 33554432000 4194304 5098028 140736157103952 140736157102056 139949561033340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28872704 140736157111121 140736157111381 140736157111381 140736157114310 0 /proc/17249/statm: 28282 363 304 221 0 87 0 [pid=17251] ppid=17249 vsize=28769364 memory=263248 CPUtime=305.78 cores=0-7 /proc/17251/stat : 17251 (java) S 17249 17249 15724 0 -1 1077944320 59494 0 0 0 30545 33 0 0 20 0 28 0 511490506 29459828736 65812 33554432000 4194304 4196468 140726826257552 140726826240096 139673374277367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 /proc/17251/statm: 7192341 65812 3533 1 0 7153441 0 [pid=17251/tid=17252] ppid=17249 vsize=28769364 memory=8317482817917895235 CPUtime=0.72 cores=0-7 /proc/17251/task/17252/stat : 17252 (java) S 17249 17249 15724 0 -1 1077944384 9560 0 0 0 68 4 0 0 20 0 28 0 511490506 29459828736 65812 33554432000 4194304 4196468 140726826257552 139673378518144 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17253] ppid=17249 vsize=28769364 memory=708 CPUtime=0.02 cores=0-7 /proc/17251/task/17253/stat : 17253 (java) S 17249 17249 15724 0 -1 1077944384 849 0 0 0 1 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672925309712 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17254] ppid=17249 vsize=28769364 memory=9364 CPUtime=0.01 cores=0-7 /proc/17251/task/17254/stat : 17254 (java) S 17249 17249 15724 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672924257168 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17255] ppid=17249 vsize=28769364 memory=1120 CPUtime=0.02 cores=0-7 /proc/17251/task/17255/stat : 17255 (java) S 17249 17249 15724 0 -1 1077944384 535 0 0 0 1 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672923204624 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17256] ppid=17249 vsize=28769364 memory=776 CPUtime=0.03 cores=0-7 /proc/17251/task/17256/stat : 17256 (java) S 17249 17249 15724 0 -1 1077944384 206 0 0 0 2 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672922152080 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17257] ppid=17249 vsize=28769364 memory=1724 CPUtime=0.03 cores=0-7 /proc/17251/task/17257/stat : 17257 (java) S 17249 17249 15724 0 -1 1077944384 1704 0 0 0 2 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672921098512 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17258] ppid=17249 vsize=28769364 memory=8220 CPUtime=0.03 cores=0-7 /proc/17251/task/17258/stat : 17258 (java) S 17249 17249 15724 0 -1 1077944384 365 0 0 0 2 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672920045968 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17259] ppid=17249 vsize=28769364 memory=3616 CPUtime=0.03 cores=0-7 /proc/17251/task/17259/stat : 17259 (java) S 17249 17249 15724 0 -1 1077944384 1470 0 0 0 2 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672918993424 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17260] ppid=17249 vsize=28769364 memory=1556 CPUtime=0.01 cores=0-7 /proc/17251/task/17260/stat : 17260 (java) S 17249 17249 15724 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672917940880 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17261] ppid=17249 vsize=28769364 memory=2832 CPUtime=0.02 cores=0-7 /proc/17251/task/17261/stat : 17261 (java) S 17249 17249 15724 0 -1 1077944384 1216 0 0 0 2 0 0 0 20 0 28 0 511490508 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671972493808 139673374288514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17262] ppid=17249 vsize=28769364 memory=577 CPUtime=0 cores=0-7 /proc/17251/task/17262/stat : 17262 (java) S 17249 17249 15724 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 511490509 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671971440096 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17263] ppid=17249 vsize=28769364 memory=7378698643230845034 CPUtime=0 cores=0-7 /proc/17251/task/17263/stat : 17263 (java) S 17249 17249 15724 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 511490509 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671970387456 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17264] ppid=17249 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/17251/task/17264/stat : 17264 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671969336016 139673374295963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17265] ppid=17249 vsize=28769364 memory=928 CPUtime=2.24 cores=0-7 /proc/17251/task/17265/stat : 17265 (java) S 17249 17249 15724 0 -1 1077944384 9391 0 0 0 222 2 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671968282608 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17266] ppid=17249 vsize=28769364 memory=1680 CPUtime=2.47 cores=0-7 /proc/17251/task/17266/stat : 17266 (java) S 17249 17249 15724 0 -1 1077944384 7203 0 0 0 245 2 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671967230064 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17267] ppid=17249 vsize=28769364 memory=3580 CPUtime=2.32 cores=0-7 /proc/17251/task/17267/stat : 17267 (java) S 17249 17249 15724 0 -1 1077944384 9491 0 0 0 229 3 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671966177520 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17268] ppid=17249 vsize=28769364 memory=2832 CPUtime=0.84 cores=0-7 /proc/17251/task/17268/stat : 17268 (java) S 17249 17249 15724 0 -1 1077944384 6462 0 0 0 83 1 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671965124976 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17269] ppid=17249 vsize=28769364 memory=984 CPUtime=0 cores=0-7 /proc/17251/task/17269/stat : 17269 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511490512 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671964072672 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17270] ppid=17249 vsize=28769364 memory=14008 CPUtime=0.01 cores=0-7 /proc/17251/task/17270/stat : 17270 (java) S 17249 17249 15724 0 -1 1077944384 1586 0 0 0 0 1 0 0 20 0 28 0 511490512 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671963020208 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17367] ppid=17249 vsize=28769364 memory=21076 CPUtime=34.69 cores=0-7 /proc/17251/task/17367/stat : 17367 (java) R 17249 17249 15724 0 -1 4202560 595 0 0 0 3469 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671949590344 139673017634868 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17368] ppid=17249 vsize=28769364 memory=2120 CPUtime=34.22 cores=0-7 /proc/17251/task/17368/stat : 17368 (java) R 17249 17249 15724 0 -1 4202560 333 0 0 0 3422 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671951696128 139673017439124 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17369] ppid=17249 vsize=28769364 memory=12036 CPUtime=34.74 cores=0-7 /proc/17251/task/17369/stat : 17369 (java) R 17249 17249 15724 0 -1 4202560 809 0 0 0 3474 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671953801264 139673017990792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17370] ppid=17249 vsize=28769364 memory=496 CPUtime=34.67 cores=0-7 /proc/17251/task/17370/stat : 17370 (java) R 17249 17249 15724 0 -1 4202560 934 0 0 0 3466 1 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671950643160 139673017281864 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17371] ppid=17249 vsize=28769364 memory=1560 CPUtime=34.8 cores=0-7 /proc/17251/task/17371/stat : 17371 (java) R 17249 17249 15724 0 -1 4202560 919 0 0 0 3480 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671943282304 139673019202619 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17372] ppid=17249 vsize=28769364 memory=928 CPUtime=34.6 cores=0-7 /proc/17251/task/17372/stat : 17372 (java) R 17249 17249 15724 0 -1 4202560 505 0 0 0 3460 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671946432288 139673017281776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17373] ppid=17249 vsize=28769364 memory=1680 CPUtime=34.73 cores=0-7 /proc/17251/task/17373/stat : 17373 (java) R 17249 17249 15724 0 -1 4202560 610 0 0 0 3473 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671947484416 139673017284326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17374] ppid=17249 vsize=28769364 memory=1444 CPUtime=34.78 cores=0-7 /proc/17251/task/17374/stat : 17374 (java) R 17249 17249 15724 0 -1 4202560 527 0 0 0 3477 1 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671948537992 139673019860648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 Current children cumulated CPU time: 305.78 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 264700 KiB [startup+39.1113 s] /proc/loadavg: 8.91 8.56 8.31 9/219 17376 /proc/meminfo: memFree=28497116/32770624 swapFree=66954108/67108860 [pid=17249] ppid=17246 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17249/stat : 17249 (xcsp3-exec) S 17246 17249 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511490505 115843072 363 33554432000 4194304 5098028 140736157103952 140736157102056 139949561033340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28872704 140736157111121 140736157111381 140736157111381 140736157114310 0 /proc/17249/statm: 28282 363 304 221 0 87 0 [pid=17251] ppid=17249 vsize=28769364 memory=263248 CPUtime=306.59 cores=0-7 /proc/17251/stat : 17251 (java) S 17249 17249 15724 0 -1 1077944320 59495 0 0 0 30626 33 0 0 20 0 28 0 511490506 29459828736 65812 33554432000 4194304 4196468 140726826257552 140726826240096 139673374277367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 /proc/17251/statm: 7192341 65812 3533 1 0 7153441 0 [pid=17251/tid=17252] ppid=17249 vsize=28769364 memory=7649399388593403697 CPUtime=0.72 cores=0-7 /proc/17251/task/17252/stat : 17252 (java) S 17249 17249 15724 0 -1 1077944384 9560 0 0 0 68 4 0 0 20 0 28 0 511490506 29459828736 65812 33554432000 4194304 4196468 140726826257552 139673378518144 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17253] ppid=17249 vsize=28769364 memory=1452 CPUtime=0.02 cores=0-7 /proc/17251/task/17253/stat : 17253 (java) S 17249 17249 15724 0 -1 1077944384 849 0 0 0 1 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672925309712 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17254] ppid=17249 vsize=28769364 memory=263248 CPUtime=0.01 cores=0-7 /proc/17251/task/17254/stat : 17254 (java) S 17249 17249 15724 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672924257168 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17255] ppid=17249 vsize=28769364 memory=263248 CPUtime=0.02 cores=0-7 /proc/17251/task/17255/stat : 17255 (java) S 17249 17249 15724 0 -1 1077944384 535 0 0 0 1 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672923204624 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17256] ppid=17249 vsize=28769364 memory=279856982679136 CPUtime=0.03 cores=0-7 /proc/17251/task/17256/stat : 17256 (java) S 17249 17249 15724 0 -1 1077944384 206 0 0 0 2 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672922152080 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17257] ppid=17249 vsize=28769364 memory=279856984122624 CPUtime=0.03 cores=0-7 /proc/17251/task/17257/stat : 17257 (java) S 17249 17249 15724 0 -1 1077944384 1704 0 0 0 2 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672921098512 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17258] ppid=17249 vsize=28769364 memory=0 CPUtime=0.03 cores=0-7 /proc/17251/task/17258/stat : 17258 (java) S 17249 17249 15724 0 -1 1077944384 365 0 0 0 2 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672920045968 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17259] ppid=17249 vsize=28769364 memory=1 CPUtime=0.03 cores=0-7 /proc/17251/task/17259/stat : 17259 (java) S 17249 17249 15724 0 -1 1077944384 1470 0 0 0 2 1 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672918993424 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17260] ppid=17249 vsize=28769364 memory=880 CPUtime=0.01 cores=0-7 /proc/17251/task/17260/stat : 17260 (java) S 17249 17249 15724 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 28 0 511490507 29459828736 65812 33554432000 4194304 4196468 140726826257552 139672917940880 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17261] ppid=17249 vsize=28769364 memory=1984 CPUtime=0.02 cores=0-7 /proc/17251/task/17261/stat : 17261 (java) S 17249 17249 15724 0 -1 1077944384 1216 0 0 0 2 0 0 0 20 0 28 0 511490508 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671972493808 139673374288514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17262] ppid=17249 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/17251/task/17262/stat : 17262 (java) S 17249 17249 15724 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 511490509 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671971440096 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17263] ppid=17249 vsize=28769364 memory=263248 CPUtime=0 cores=0-7 /proc/17251/task/17263/stat : 17263 (java) S 17249 17249 15724 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 511490509 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671970387456 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17264] ppid=17249 vsize=28769364 memory=50628 CPUtime=0 cores=0-7 /proc/17251/task/17264/stat : 17264 (java) S 17249 17249 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671969336016 139673374295963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17265] ppid=17249 vsize=28769364 memory=6791534058613427641 CPUtime=2.24 cores=0-7 /proc/17251/task/17265/stat : 17265 (java) S 17249 17249 15724 0 -1 1077944384 9391 0 0 0 222 2 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671968282608 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17266] ppid=17249 vsize=28769364 memory=57 CPUtime=2.47 cores=0-7 /proc/17251/task/17266/stat : 17266 (java) S 17249 17249 15724 0 -1 1077944384 7203 0 0 0 245 2 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671967230064 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17267] ppid=17249 vsize=28769364 memory=0 CPUtime=2.32 cores=0-7 /proc/17251/task/17267/stat : 17267 (java) S 17249 17249 15724 0 -1 1077944384 9491 0 0 0 229 3 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671966177520 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17268] ppid=17249 vsize=28769364 memory=279856983094048 CPUtime=0.84 cores=0-7 /proc/17251/task/17268/stat : 17268 (java) S 17249 17249 15724 0 -1 1077944384 6462 0 0 0 83 1 0 0 20 0 28 0 511490511 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671965124976 139673374288514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17269] ppid=17249 vsize=28769364 memory=139928607659009 CPUtime=0 cores=0-7 /proc/17251/task/17269/stat : 17269 (java) S 17249 17249 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511490512 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671964072672 139673374287573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17270] ppid=17249 vsize=28769364 memory=139928607656801 CPUtime=0.01 cores=0-7 /proc/17251/task/17270/stat : 17270 (java) R 17249 17249 15724 0 -1 1077944384 1586 0 0 0 0 1 0 0 20 0 28 0 511490512 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671963020208 139673374288514 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17367] ppid=17249 vsize=28769364 memory=1452 CPUtime=34.79 cores=0-7 /proc/17251/task/17367/stat : 17367 (java) R 17249 17249 15724 0 -1 4202560 595 0 0 0 3479 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671949590344 139673016198056 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17368] ppid=17249 vsize=28769364 memory=258104 CPUtime=34.32 cores=0-7 /proc/17251/task/17368/stat : 17368 (java) R 17249 17249 15724 0 -1 4202560 333 0 0 0 3432 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671951696016 139673017282919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17369] ppid=17249 vsize=28769364 memory=1284 CPUtime=34.84 cores=0-7 /proc/17251/task/17369/stat : 17369 (java) R 17249 17249 15724 0 -1 4202560 809 0 0 0 3484 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671953801400 139673018802868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17370] ppid=17249 vsize=28769364 memory=164 CPUtime=34.77 cores=0-7 /proc/17251/task/17370/stat : 17370 (java) R 17249 17249 15724 0 -1 4202560 934 0 0 0 3476 1 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671950643160 139673018629103 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17371] ppid=17249 vsize=28769364 memory=279856983375024 CPUtime=34.9 cores=0-7 /proc/17251/task/17371/stat : 17371 (java) R 17249 17249 15724 0 -1 4202560 919 0 0 0 3490 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671943282440 139673018629098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17372] ppid=17249 vsize=28769364 memory=1452 CPUtime=34.7 cores=0-7 /proc/17251/task/17372/stat : 17372 (java) R 17249 17249 15724 0 -1 4202560 505 0 0 0 3470 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671946432424 139673017439009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17373] ppid=17249 vsize=28769364 memory=1452 CPUtime=34.83 cores=0-7 /proc/17251/task/17373/stat : 17373 (java) R 17249 17249 15724 0 -1 4202560 611 0 0 0 3483 0 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671947484552 139673016200533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 [pid=17251/tid=17374] ppid=17249 vsize=28769364 memory=0 CPUtime=34.88 cores=0-7 /proc/17251/task/17374/stat : 17374 (java) R 17249 17249 15724 0 -1 4202560 527 0 0 0 3487 1 0 0 20 0 28 0 511490916 29459828736 65812 33554432000 4194304 4196468 140726826257552 139671948537992 139673017350693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140726826263510 140726826263686 140726826263686 140726826266575 0 Current children cumulated CPU time: 306.59 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 264700 KiB Child status: 0 Real time (s): 39.1563 CPU time (s): 306.85 CPU user time (s): 306.502 CPU system time (s): 0.347838 CPU usage (%): 783.653 Max. virtual memory (cumulated for all children) (KiB): 28884488 Max. memory (cumulated for all children) (KiB): 264700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 306.502 system time used= 0.347838 maximum resident set size= 264276 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61116 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7229 involuntary context switches= 4060 # summary of solver processes directly reported to runsolver: # pid: 17249 # total CPU time (s): 306.85 # total CPU user time (s): 306.502 # total CPU system time (s): 0.347838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.300072 second user time and 0.496945 second system time The end
Begin job on node107 at 2019-09-24 20:10:28 IDJOB=4407096 IDBENCH=129976 IDSOLVER=2871 FILE ID=node107/4407096-1569352352 RUNJOBID= node107-1569345579-15751 PBS_JOBID= 21705089 Free space on /var/tmp= 12564 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407096-1569352352/watcher-4407096-1569352352 -o /var/tmp/evaluation-result-4407096-1569352352/solver-4407096-1569352352 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569345579-15751 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1755574599 HOME/instance-4407096-1569352352.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 883cdd2c39820682d54c3bab8557ea17 RANDOM SEED=1755574599 node107.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.11 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.11 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.11 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.11 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: 28745916 kB MemAvailable: 31800656 kB Buffers: 67580 kB Cached: 3129480 kB SwapCached: 48164 kB Active: 1980048 kB Inactive: 1266328 kB Active(anon): 3956 kB Inactive(anon): 98476 kB Active(file): 1976092 kB Inactive(file): 1167852 kB Unevictable: 110992 kB Mlocked: 110992 kB SwapTotal: 67108860 kB SwapFree: 66954108 kB Dirty: 26168 kB Writeback: 0 kB AnonPages: 140504 kB Mapped: 54208 kB Shmem: 44500 kB Slab: 367360 kB SReclaimable: 339256 kB SUnreclaim: 28104 kB KernelStack: 3712 kB PageTables: 5304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 94208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /var/tmp at the end= 12540 MiB End job on node107 at 2019-09-24 20:11:08