Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 103 | 240.451 | 30.7781 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-07.xml |
MD5SUM | 8aa67fa0ddb9b908e7b385aede1c36d3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 103 |
Best CPU time to get the best result obtained on this benchmark | 110.856 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 334 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":334,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":14},{"degree":6,"count":16},{"degree":7,"count":12},{"degree":8,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 38 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":21,"count":1},{"arity":27,"count":1},{"arity":35,"count":1},{"arity":38,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 112 |
Distribution of constraint types | [{"type":"intension","count":112},{"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-4400191-1568711064.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400191-1568711064.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.70/0.78 c solve instance... 2.84/0.92 o 121 2.84/0.93 o 120 2.84/0.94 o 113 2.84/1.00 o 110 9.79/1.89 o 109 10.60/2.01 o 108 12.92/2.28 o 106 16.11/2.67 o 105 18.48/2.96 o 104 52.64/7.26 o 103 239.94/30.76 s OPTIMUM FOUND 239.94/30.76 v <instantiation> 239.94/30.76 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] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 239.94/30.76 v <values>0 0 0 0 14 10 5 15 5 4 18 24 26 25 49 16 21 19 21 21 16 31 40 22 33 30 23 33 68 18 36 51 46 36 58 35 64 53 42 34 15 55 45 55 68 83 77 66 87 77 58 73 83 63 78 89 90 85 94 102 94 103 </values> 239.94/30.76 v </instantiation>
OK 103
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 (15097 MiB free) memory of node 1: 16384 MiB (15355 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400191-1568711064/watcher-4400191-1568711064 -o /tmp/evaluation-result-4400191-1568711064/solver-4400191-1568711064 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568698793-14923 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 723019124 HOME/instance-4400191-1568711064.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18416, runsolver pid=18413 Current StackSize limit: 8192 KiB [startup+0.10014 s]* /proc/loadavg: 7.62 7.98 8.04 2/209 18437 /proc/meminfo: memFree=31166688/32770624 swapFree=66939860/67108860 [pid=18416] ppid=18413 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18416/stat : 18416 (xcsp3-exec) S 18413 18416 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447364599 115843072 362 33554432000 4194304 5098028 140728185044416 140728185042520 139670575153788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38883328 140728185045884 140728185046126 140728185046126 140728185049034 0 /proc/18416/statm: 28282 362 304 221 0 87 0 [pid=18418] ppid=18416 vsize=28227396 memory=30300 CPUtime=0.12 cores=0-7 /proc/18418/stat : 18418 (java) S 18416 18416 14896 0 -1 1077944320 5982 0 0 0 11 1 0 0 20 0 20 0 447364600 28904853504 7575 33554432000 4194304 4196468 140723869620800 140723869603344 139697643921143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 /proc/18418/statm: 7056849 7575 3159 1 0 7019032 0 [pid=18418/tid=18419] ppid=18416 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/18418/task/18419/stat : 18419 (java) R 18416 18416 14896 0 -1 4202560 3902 0 0 0 8 1 0 0 20 0 20 0 447364600 28904853504 7575 33554432000 4194304 4196468 140723869620800 139697648147744 139697643943069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18420] ppid=18416 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/18418/task/18420/stat : 18420 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 7575 33554432000 4194304 4196468 140723869620800 139697596541840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18421] ppid=18416 vsize=28227396 memory=140565739779712 CPUtime=0 cores=0-7 /proc/18418/task/18421/stat : 18421 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 7575 33554432000 4194304 4196468 140723869620800 139697595489040 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18422] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18422/stat : 18422 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 7575 33554432000 4194304 4196468 140723869620800 139697594436752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18423] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18423/stat : 18423 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 7575 33554432000 4194304 4196468 140723869620800 139697593383952 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18424] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18424/stat : 18424 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 7575 33554432000 4194304 4196468 140723869620800 139697592330640 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18425] ppid=18416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18418/task/18425/stat : 18425 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 7575 33554432000 4194304 4196468 140723869620800 139697591277840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18426] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18426/stat : 18426 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 7575 33554432000 4194304 4196468 140723869620800 139697590225552 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18427] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18427/stat : 18427 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 7575 33554432000 4194304 4196468 140723869620800 139697589172752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18428] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18428/stat : 18428 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364602 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695772117616 139697643932290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18429] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18429/stat : 18429 (java) S 18416 18416 14896 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447364603 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695771063584 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18430] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18430/stat : 18430 (java) S 18416 18416 14896 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447364603 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695770011248 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18431] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18431/stat : 18431 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364605 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695768959568 139697643939739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18432] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18432/stat : 18432 (java) S 18416 18416 14896 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 447364605 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695767906416 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18433] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18433/stat : 18433 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447364605 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695766853616 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18434] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18434/stat : 18434 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364605 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695765801328 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18435] ppid=18416 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18418/task/18435/stat : 18435 (java) R 18416 18416 14896 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 20 0 447364605 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695764748528 139697643942490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18436] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18436/stat : 18436 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447364606 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695763696480 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18437] ppid=18416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18418/task/18437/stat : 18437 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364606 28904853504 7575 33554432000 4194304 4196468 140723869620800 139695762643760 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31748 KiB [startup+0.210501 s]* /proc/loadavg: 7.62 7.98 8.04 3/209 18437 /proc/meminfo: memFree=31153924/32770624 swapFree=66939860/67108860 [pid=18416] ppid=18413 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18416/stat : 18416 (xcsp3-exec) S 18413 18416 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447364599 115843072 362 33554432000 4194304 5098028 140728185044416 140728185042520 139670575153788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38883328 140728185045884 140728185046126 140728185046126 140728185049034 0 /proc/18416/statm: 28282 362 304 221 0 87 0 [pid=18418] ppid=18416 vsize=28227396 memory=41268 CPUtime=0.33 cores=0-7 /proc/18418/stat : 18418 (java) S 18416 18416 14896 0 -1 1077944320 9551 0 0 0 30 3 0 0 20 0 20 0 447364600 28904853504 10317 33554432000 4194304 4196468 140723869620800 140723869603344 139697643921143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 /proc/18418/statm: 7056849 10317 3266 1 0 7019032 0 [pid=18418/tid=18419] ppid=18416 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/18418/task/18419/stat : 18419 (java) R 18416 18416 14896 0 -1 4202560 6716 0 0 0 18 2 0 0 20 0 20 0 447364600 28904853504 10317 33554432000 4194304 4196468 140723869620800 139697648154240 139697643933078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18420] ppid=18416 vsize=28227396 memory=288230613264367967 CPUtime=0 cores=0-7 /proc/18418/task/18420/stat : 18420 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 10317 33554432000 4194304 4196468 140723869620800 139697596541840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18421] ppid=18416 vsize=28227396 memory=3617156912795137696 CPUtime=0 cores=0-7 /proc/18418/task/18421/stat : 18421 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 10317 33554432000 4194304 4196468 140723869620800 139697595489040 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18422] ppid=18416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18418/task/18422/stat : 18422 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 10317 33554432000 4194304 4196468 140723869620800 139697594436752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18423] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18423/stat : 18423 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 10317 33554432000 4194304 4196468 140723869620800 139697593383952 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18424] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18424/stat : 18424 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 10317 33554432000 4194304 4196468 140723869620800 139697592330640 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18425] ppid=18416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18418/task/18425/stat : 18425 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 10317 33554432000 4194304 4196468 140723869620800 139697591277840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18426] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18426/stat : 18426 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 10317 33554432000 4194304 4196468 140723869620800 139697590225552 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18427] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18427/stat : 18427 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447364601 28904853504 10317 33554432000 4194304 4196468 140723869620800 139697589172752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18428] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18428/stat : 18428 (java) S 18416 18416 14896 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447364602 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695772117616 139697643932290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18429] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18429/stat : 18429 (java) S 18416 18416 14896 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447364603 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695771063584 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18430] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18430/stat : 18430 (java) S 18416 18416 14896 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447364603 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695770011248 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18431] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18431/stat : 18431 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364605 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695768959568 139697643939739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18432] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18432/stat : 18432 (java) S 18416 18416 14896 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 447364605 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695767906416 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18433] ppid=18416 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18418/task/18433/stat : 18433 (java) S 18416 18416 14896 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 447364605 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695766853616 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18434] ppid=18416 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18418/task/18434/stat : 18434 (java) S 18416 18416 14896 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 447364605 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695765801328 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18435] ppid=18416 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/18418/task/18435/stat : 18435 (java) R 18416 18416 14896 0 -1 4202560 757 0 0 0 7 0 0 0 20 0 20 0 447364605 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695764748528 139697643933078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18436] ppid=18416 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18436/stat : 18436 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447364606 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695763696480 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18437] ppid=18416 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18418/task/18437/stat : 18437 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364606 28904853504 10317 33554432000 4194304 4196468 140723869620800 139695762643760 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42716 KiB [startup+0.311844 s]* /proc/loadavg: 7.62 7.98 8.04 3/209 18437 /proc/meminfo: memFree=31147524/32770624 swapFree=66939860/67108860 [pid=18416] ppid=18413 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18416/stat : 18416 (xcsp3-exec) S 18413 18416 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447364599 115843072 362 33554432000 4194304 5098028 140728185044416 140728185042520 139670575153788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38883328 140728185045884 140728185046126 140728185046126 140728185049034 0 /proc/18416/statm: 28282 362 304 221 0 87 0 [pid=18418] ppid=18416 vsize=28231652 memory=50208 CPUtime=0.52 cores=0-7 /proc/18418/stat : 18418 (java) S 18416 18416 14896 0 -1 1077944320 10956 0 0 0 48 4 0 0 20 0 20 0 447364600 28909211648 12552 33554432000 4194304 4196468 140723869620800 140723869603344 139697643921143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 /proc/18418/statm: 7057913 12552 3360 1 0 7019032 0 [pid=18418/tid=18419] ppid=18416 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/18418/task/18419/stat : 18419 (java) R 18416 18416 14896 0 -1 4202560 7860 0 0 0 27 3 0 0 20 0 20 0 447364600 28909211648 12617 33554432000 4194304 4196468 140723869620800 139697648155880 139697628001630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18420] ppid=18416 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/18418/task/18420/stat : 18420 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28909211648 12617 33554432000 4194304 4196468 140723869620800 139697596541840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18421] ppid=18416 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18421/stat : 18421 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28909211648 12617 33554432000 4194304 4196468 140723869620800 139697595489040 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18422] ppid=18416 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18422/stat : 18422 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28909211648 12617 33554432000 4194304 4196468 140723869620800 139697594436752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18423] ppid=18416 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18423/stat : 18423 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28909211648 12617 33554432000 4194304 4196468 140723869620800 139697593383952 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18424] ppid=18416 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18424/stat : 18424 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28909211648 12617 33554432000 4194304 4196468 140723869620800 139697592330640 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18425] ppid=18416 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18425/stat : 18425 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364601 28909211648 12617 33554432000 4194304 4196468 140723869620800 139697591277840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18426] ppid=18416 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/18418/task/18426/stat : 18426 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364601 28909211648 12621 33554432000 4194304 4196468 140723869620800 139697590225552 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18427] ppid=18416 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/18418/task/18427/stat : 18427 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447364601 28909211648 12621 33554432000 4194304 4196468 140723869620800 139697589172752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18428] ppid=18416 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18428/stat : 18428 (java) S 18416 18416 14896 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447364602 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695772117616 139697643932290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18429] ppid=18416 vsize=28231652 memory=140565622645199 CPUtime=0 cores=0-7 /proc/18418/task/18429/stat : 18429 (java) S 18416 18416 14896 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447364603 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695771063584 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18430] ppid=18416 vsize=28231652 memory=281131245318032 CPUtime=0 cores=0-7 /proc/18418/task/18430/stat : 18430 (java) S 18416 18416 14896 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447364603 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695770011248 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18431] ppid=18416 vsize=28231652 memory=281131245315728 CPUtime=0 cores=0-7 /proc/18418/task/18431/stat : 18431 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364605 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695768959568 139697643939739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18432] ppid=18416 vsize=28231652 memory=281131245322640 CPUtime=0.01 cores=0-7 /proc/18418/task/18432/stat : 18432 (java) S 18416 18416 14896 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 20 0 447364605 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695767906416 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18433] ppid=18416 vsize=28231652 memory=281131245263920 CPUtime=0.04 cores=0-7 /proc/18418/task/18433/stat : 18433 (java) R 18416 18416 14896 0 -1 4202560 314 0 0 0 4 0 0 0 20 0 20 0 447364605 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695766834728 139697625466410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18434] ppid=18416 vsize=28231652 memory=281131245336464 CPUtime=0.03 cores=0-7 /proc/18418/task/18434/stat : 18434 (java) S 18416 18416 14896 0 -1 1077944384 129 0 0 0 3 0 0 0 20 0 20 0 447364605 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695765801328 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18435] ppid=18416 vsize=28231652 memory=281131245343344 CPUtime=0.12 cores=0-7 /proc/18418/task/18435/stat : 18435 (java) S 18416 18416 14896 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 20 0 447364605 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695764748528 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18436] ppid=18416 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18436/stat : 18436 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447364606 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695763696480 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18437] ppid=18416 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/18418/task/18437/stat : 18437 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447364606 28909211648 12621 33554432000 4194304 4196468 140723869620800 139695762643760 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51656 KiB [startup+0.709985 s] /proc/loadavg: 7.62 7.98 8.04 5/209 18437 /proc/meminfo: memFree=31129588/32770624 swapFree=66939860/67108860 [pid=18416] ppid=18413 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18416/stat : 18416 (xcsp3-exec) S 18413 18416 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447364599 115843072 362 33554432000 4194304 5098028 140728185044416 140728185042520 139670575153788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38883328 140728185045884 140728185046126 140728185046126 140728185049034 0 /proc/18416/statm: 28282 362 304 221 0 87 0 [pid=18418] ppid=18416 vsize=28233776 memory=91124 CPUtime=1.7 cores=0-7 /proc/18418/stat : 18418 (java) S 18416 18416 14896 0 -1 1077944320 15542 0 0 0 164 6 0 0 20 0 20 0 447364600 28911386624 22781 33554432000 4194304 4196468 140723869620800 140723869603344 139697643921143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 /proc/18418/statm: 7058444 22781 3453 1 0 7019544 0 [pid=18418/tid=18419] ppid=18416 vsize=28233776 memory=0 CPUtime=0.69 cores=0-7 /proc/18418/task/18419/stat : 18419 (java) R 18416 18416 14896 0 -1 4202560 9364 0 0 0 65 4 0 0 20 0 20 0 447364600 28911386624 22781 33554432000 4194304 4196468 140723869620800 139697648159664 139697628001630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18420] ppid=18416 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/18418/task/18420/stat : 18420 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28911386624 22781 33554432000 4194304 4196468 140723869620800 139697596541840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18421] ppid=18416 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18421/stat : 18421 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28911386624 22781 33554432000 4194304 4196468 140723869620800 139697595489040 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18422] ppid=18416 vsize=28233776 memory=784 CPUtime=0 cores=0-7 /proc/18418/task/18422/stat : 18422 (java) S 18416 18416 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447364601 28911386624 22781 33554432000 4194304 4196468 140723869620800 139697594436752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 ################ # More data... # ################ [pid=18418/tid=18435] ppid=18416 vsize=28769364 memory=928 CPUtime=0.88 cores=0-7 /proc/18418/task/18435/stat : 18435 (java) S 18416 18416 14896 0 -1 1077944384 7929 0 0 0 87 1 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695764748528 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18436] ppid=18416 vsize=28769364 memory=1772 CPUtime=0 cores=0-7 /proc/18418/task/18436/stat : 18436 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447364606 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695763696480 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18437] ppid=18416 vsize=28769364 memory=908 CPUtime=0 cores=0-7 /proc/18418/task/18437/stat : 18437 (java) S 18416 18416 14896 0 -1 1077944384 982 0 0 0 0 0 0 0 20 0 28 0 447364606 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695762643760 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18519] ppid=18416 vsize=28769364 memory=140570034747007 CPUtime=23.01 cores=0-7 /proc/18418/task/18519/stat : 18519 (java) R 18416 18416 14896 0 -1 4202560 379 0 0 0 2301 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695437344296 139697258992598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18520] ppid=18416 vsize=28769364 memory=6944656592387989600 CPUtime=22.97 cores=0-7 /proc/18418/task/18520/stat : 18520 (java) R 18416 18416 14896 0 -1 4202560 358 0 0 0 2297 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695443664208 139697257960531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18521] ppid=18416 vsize=28769364 memory=6944656592387989600 CPUtime=22.85 cores=0-7 /proc/18418/task/18521/stat : 18521 (java) R 18416 18416 14896 0 -1 4202560 1273 0 0 0 2285 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695435239304 139697257516588 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18522] ppid=18416 vsize=28769364 memory=6944656592387989600 CPUtime=23.05 cores=0-7 /proc/18418/task/18522/stat : 18522 (java) R 18416 18416 14896 0 -1 4202560 1087 0 0 0 2305 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695439449864 139697259180744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18523] ppid=18416 vsize=28769364 memory=7374758096451495012 CPUtime=22.84 cores=0-7 /proc/18418/task/18523/stat : 18523 (java) R 18416 18416 14896 0 -1 4202560 651 0 0 0 2284 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695436291704 139697258224629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18524] ppid=18416 vsize=28769364 memory=7453002418373027923 CPUtime=23.06 cores=0-7 /proc/18418/task/18524/stat : 18524 (java) R 18416 18416 14896 0 -1 4202560 556 0 0 0 2306 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695438396464 139697259004453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18525] ppid=18416 vsize=28769364 memory=7451045476604012120 CPUtime=23.04 cores=0-7 /proc/18418/task/18525/stat : 18525 (java) R 18416 18416 14896 0 -1 4202560 289 0 0 0 2304 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695440503016 139697257517097 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18526] ppid=18416 vsize=28769364 memory=6791534058613427641 CPUtime=23.02 cores=0-7 /proc/18418/task/18526/stat : 18526 (java) R 18416 18416 14896 0 -1 4202560 500 0 0 0 2302 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695442607816 139697258913180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 Current children cumulated CPU time: 237.54 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 250356 KiB [startup+30.6014 s] /proc/loadavg: 7.78 7.98 8.04 9/218 18527 /proc/meminfo: memFree=30948736/32770624 swapFree=66939860/67108860 [pid=18416] ppid=18413 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18416/stat : 18416 (xcsp3-exec) S 18413 18416 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447364599 115843072 362 33554432000 4194304 5098028 140728185044416 140728185042520 139670575153788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38883328 140728185045884 140728185046126 140728185046126 140728185049034 0 /proc/18416/statm: 28282 362 304 221 0 87 0 [pid=18418] ppid=18416 vsize=28769364 memory=248908 CPUtime=239.14 cores=0-7 /proc/18418/stat : 18418 (java) S 18416 18416 14896 0 -1 1077944320 63810 0 0 0 23888 26 0 0 20 0 28 0 447364600 29459828736 62227 33554432000 4194304 4196468 140723869620800 140723869603344 139697643921143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 /proc/18418/statm: 7192341 62227 3538 1 0 7153441 0 [pid=18418/tid=18419] ppid=18416 vsize=28769364 memory=2016 CPUtime=0.78 cores=0-7 /proc/18418/task/18419/stat : 18419 (java) S 18416 18416 14896 0 -1 1077944384 9644 0 0 0 74 4 0 0 20 0 28 0 447364600 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697648161920 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18420] ppid=18416 vsize=28769364 memory=1412 CPUtime=0.01 cores=0-7 /proc/18418/task/18420/stat : 18420 (java) S 18416 18416 14896 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697596541840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18421] ppid=18416 vsize=28769364 memory=1548 CPUtime=0.01 cores=0-7 /proc/18418/task/18421/stat : 18421 (java) S 18416 18416 14896 0 -1 1077944384 2329 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697595489040 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18422] ppid=18416 vsize=28769364 memory=7396 CPUtime=0.01 cores=0-7 /proc/18418/task/18422/stat : 18422 (java) S 18416 18416 14896 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697594436752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18423] ppid=18416 vsize=28769364 memory=4000 CPUtime=0.01 cores=0-7 /proc/18418/task/18423/stat : 18423 (java) S 18416 18416 14896 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697593383952 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18424] ppid=18416 vsize=28769364 memory=1448 CPUtime=0.01 cores=0-7 /proc/18418/task/18424/stat : 18424 (java) S 18416 18416 14896 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697592330640 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18425] ppid=18416 vsize=28769364 memory=248908 CPUtime=0.01 cores=0-7 /proc/18418/task/18425/stat : 18425 (java) S 18416 18416 14896 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697591277840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18426] ppid=18416 vsize=28769364 memory=1072 CPUtime=0.01 cores=0-7 /proc/18418/task/18426/stat : 18426 (java) S 18416 18416 14896 0 -1 1077944384 1195 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697590225552 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18427] ppid=18416 vsize=28769364 memory=6044 CPUtime=0.01 cores=0-7 /proc/18418/task/18427/stat : 18427 (java) S 18416 18416 14896 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697589172752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18428] ppid=18416 vsize=28769364 memory=784 CPUtime=0.02 cores=0-7 /proc/18418/task/18428/stat : 18428 (java) S 18416 18416 14896 0 -1 1077944384 1236 0 0 0 2 0 0 0 20 0 28 0 447364602 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695772117616 139697643932290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18429] ppid=18416 vsize=28769364 memory=1060 CPUtime=0 cores=0-7 /proc/18418/task/18429/stat : 18429 (java) S 18416 18416 14896 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447364603 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695771063648 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18430] ppid=18416 vsize=28769364 memory=14012 CPUtime=0 cores=0-7 /proc/18418/task/18430/stat : 18430 (java) S 18416 18416 14896 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 447364603 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695770011264 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18431] ppid=18416 vsize=28769364 memory=15608 CPUtime=0 cores=0-7 /proc/18418/task/18431/stat : 18431 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695768959568 139697643939739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18432] ppid=18416 vsize=28769364 memory=8317482817917895235 CPUtime=2.53 cores=0-7 /proc/18418/task/18432/stat : 18432 (java) S 18416 18416 14896 0 -1 1077944384 12619 0 0 0 250 3 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695767906416 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18433] ppid=18416 vsize=28769364 memory=4872558044660077418 CPUtime=2.12 cores=0-7 /proc/18418/task/18433/stat : 18433 (java) S 18416 18416 14896 0 -1 1077944384 8405 0 0 0 210 2 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695766853616 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18434] ppid=18416 vsize=28769364 memory=1448 CPUtime=2.34 cores=0-7 /proc/18418/task/18434/stat : 18434 (java) S 18416 18416 14896 0 -1 1077944384 6871 0 0 0 233 1 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695765801328 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18435] ppid=18416 vsize=28769364 memory=255944 CPUtime=0.88 cores=0-7 /proc/18418/task/18435/stat : 18435 (java) S 18416 18416 14896 0 -1 1077944384 7931 0 0 0 87 1 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695764748528 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18436] ppid=18416 vsize=28769364 memory=984 CPUtime=0 cores=0-7 /proc/18418/task/18436/stat : 18436 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447364606 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695763696480 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18437] ppid=18416 vsize=28769364 memory=2016 CPUtime=0 cores=0-7 /proc/18418/task/18437/stat : 18437 (java) S 18416 18416 14896 0 -1 1077944384 982 0 0 0 0 0 0 0 20 0 28 0 447364606 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695762643760 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18519] ppid=18416 vsize=28769364 memory=1412 CPUtime=23.21 cores=0-7 /proc/18418/task/18519/stat : 18519 (java) R 18416 18416 14896 0 -1 4202560 379 0 0 0 2321 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695437344296 139697258224451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18520] ppid=18416 vsize=28769364 memory=1548 CPUtime=23.17 cores=0-7 /proc/18418/task/18520/stat : 18520 (java) R 18416 18416 14896 0 -1 4202560 359 0 0 0 2317 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695443664208 139697257970845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18521] ppid=18416 vsize=28769364 memory=7396 CPUtime=23.05 cores=0-7 /proc/18418/task/18521/stat : 18521 (java) R 18416 18416 14896 0 -1 4202560 1273 0 0 0 2305 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695435239304 139697258224563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18522] ppid=18416 vsize=28769364 memory=4000 CPUtime=23.24 cores=0-7 /proc/18418/task/18522/stat : 18522 (java) R 18416 18416 14896 0 -1 4202560 1093 0 0 0 2324 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695439449784 139697258971069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18523] ppid=18416 vsize=28769364 memory=616 CPUtime=23.04 cores=0-7 /proc/18418/task/18523/stat : 18523 (java) R 18416 18416 14896 0 -1 4202560 651 0 0 0 2304 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695436291704 139697257517125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18524] ppid=18416 vsize=28769364 memory=2832 CPUtime=23.26 cores=0-7 /proc/18418/task/18524/stat : 18524 (java) R 18416 18416 14896 0 -1 4202560 556 0 0 0 2326 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695438396464 139697258320684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18525] ppid=18416 vsize=28769364 memory=1624 CPUtime=23.23 cores=0-7 /proc/18418/task/18525/stat : 18525 (java) R 18416 18416 14896 0 -1 4202560 289 0 0 0 2323 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695440503016 139697258099853 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18526] ppid=18416 vsize=28769364 memory=1136 CPUtime=23.22 cores=0-7 /proc/18418/task/18526/stat : 18526 (java) R 18416 18416 14896 0 -1 4202560 501 0 0 0 2322 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695442607816 139697258912297 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 Current children cumulated CPU time: 239.14 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 250356 KiB [startup+30.7014 s] /proc/loadavg: 7.78 7.98 8.04 9/218 18527 /proc/meminfo: memFree=30948736/32770624 swapFree=66939860/67108860 [pid=18416] ppid=18413 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18416/stat : 18416 (xcsp3-exec) S 18413 18416 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447364599 115843072 362 33554432000 4194304 5098028 140728185044416 140728185042520 139670575153788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38883328 140728185045884 140728185046126 140728185046126 140728185049034 0 /proc/18416/statm: 28282 362 304 221 0 87 0 [pid=18418] ppid=18416 vsize=28769364 memory=248908 CPUtime=239.94 cores=0-7 /proc/18418/stat : 18418 (java) S 18416 18416 14896 0 -1 1077944320 63812 0 0 0 23968 26 0 0 20 0 28 0 447364600 29459828736 62227 33554432000 4194304 4196468 140723869620800 140723869603344 139697643921143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 /proc/18418/statm: 7192341 62227 3538 1 0 7153441 0 [pid=18418/tid=18419] ppid=18416 vsize=28769364 memory=248908 CPUtime=0.78 cores=0-7 /proc/18418/task/18419/stat : 18419 (java) S 18416 18416 14896 0 -1 1077944384 9644 0 0 0 74 4 0 0 20 0 28 0 447364600 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697648161920 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18420] ppid=18416 vsize=28769364 memory=248908 CPUtime=0.01 cores=0-7 /proc/18418/task/18420/stat : 18420 (java) S 18416 18416 14896 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697596541840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18421] ppid=18416 vsize=28769364 memory=1448 CPUtime=0.01 cores=0-7 /proc/18418/task/18421/stat : 18421 (java) S 18416 18416 14896 0 -1 1077944384 2329 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697595489040 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18422] ppid=18416 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/18418/task/18422/stat : 18422 (java) S 18416 18416 14896 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697594436752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18423] ppid=18416 vsize=28769364 memory=56 CPUtime=0.01 cores=0-7 /proc/18418/task/18423/stat : 18423 (java) S 18416 18416 14896 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697593383952 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18424] ppid=18416 vsize=28769364 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/18418/task/18424/stat : 18424 (java) S 18416 18416 14896 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697592330640 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18425] ppid=18416 vsize=28769364 memory=2116 CPUtime=0.01 cores=0-7 /proc/18418/task/18425/stat : 18425 (java) S 18416 18416 14896 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697591277840 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18426] ppid=18416 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/18418/task/18426/stat : 18426 (java) S 18416 18416 14896 0 -1 1077944384 1195 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697590225552 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18427] ppid=18416 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/18418/task/18427/stat : 18427 (java) S 18416 18416 14896 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 28 0 447364601 29459828736 62227 33554432000 4194304 4196468 140723869620800 139697589172752 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18428] ppid=18416 vsize=28769364 memory=7517159033909830208 CPUtime=0.02 cores=0-7 /proc/18418/task/18428/stat : 18428 (java) S 18416 18416 14896 0 -1 1077944384 1236 0 0 0 2 0 0 0 20 0 28 0 447364602 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695772117616 139697643932290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18429] ppid=18416 vsize=28769364 memory=7517159033909830208 CPUtime=0 cores=0-7 /proc/18418/task/18429/stat : 18429 (java) S 18416 18416 14896 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447364603 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695771063648 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18430] ppid=18416 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/18418/task/18430/stat : 18430 (java) S 18416 18416 14896 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 447364603 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695770011264 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18431] ppid=18416 vsize=28769364 memory=2241 CPUtime=0 cores=0-7 /proc/18418/task/18431/stat : 18431 (java) S 18416 18416 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695768959568 139697643939739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18432] ppid=18416 vsize=28769364 memory=256092 CPUtime=2.53 cores=0-7 /proc/18418/task/18432/stat : 18432 (java) S 18416 18416 14896 0 -1 1077944384 12619 0 0 0 250 3 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695767906416 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18433] ppid=18416 vsize=28769364 memory=3624 CPUtime=2.12 cores=0-7 /proc/18418/task/18433/stat : 18433 (java) S 18416 18416 14896 0 -1 1077944384 8405 0 0 0 210 2 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695766853616 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18434] ppid=18416 vsize=28769364 memory=1448 CPUtime=2.34 cores=0-7 /proc/18418/task/18434/stat : 18434 (java) S 18416 18416 14896 0 -1 1077944384 6871 0 0 0 233 1 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695765801328 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18435] ppid=18416 vsize=28769364 memory=3472328296227679313 CPUtime=0.88 cores=0-7 /proc/18418/task/18435/stat : 18435 (java) S 18416 18416 14896 0 -1 1077944384 7931 0 0 0 87 1 0 0 20 0 28 0 447364605 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695764748528 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18436] ppid=18416 vsize=28769364 memory=8027498584606403158 CPUtime=0 cores=0-7 /proc/18418/task/18436/stat : 18436 (java) S 18416 18416 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447364606 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695763696480 139697643931349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18437] ppid=18416 vsize=28769364 memory=6228310503607921258 CPUtime=0 cores=0-7 /proc/18418/task/18437/stat : 18437 (java) S 18416 18416 14896 0 -1 1077944384 982 0 0 0 0 0 0 0 20 0 28 0 447364606 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695762643760 139697643932290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18519] ppid=18416 vsize=28769364 memory=1448 CPUtime=23.31 cores=0-7 /proc/18418/task/18519/stat : 18519 (java) R 18416 18416 14896 0 -1 4202560 379 0 0 0 2331 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695437344296 139697257517444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18520] ppid=18416 vsize=28769364 memory=256104 CPUtime=23.27 cores=0-7 /proc/18418/task/18520/stat : 18520 (java) R 18416 18416 14896 0 -1 4202560 359 0 0 0 2327 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695443664208 139697258224720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18521] ppid=18416 vsize=28769364 memory=0 CPUtime=23.15 cores=0-7 /proc/18418/task/18521/stat : 18521 (java) R 18416 18416 14896 0 -1 4202560 1273 0 0 0 2315 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695435239304 139697257473013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18522] ppid=18416 vsize=28769364 memory=1398 CPUtime=23.34 cores=0-7 /proc/18418/task/18522/stat : 18522 (java) R 18416 18416 14896 0 -1 4202560 1095 0 0 0 2334 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695439449784 139697259343204 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18523] ppid=18416 vsize=28769364 memory=256104 CPUtime=23.14 cores=0-7 /proc/18418/task/18523/stat : 18523 (java) R 18416 18416 14896 0 -1 4202560 651 0 0 0 2314 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695436291704 139697258914092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18524] ppid=18416 vsize=28769364 memory=1448 CPUtime=23.36 cores=0-7 /proc/18418/task/18524/stat : 18524 (java) R 18416 18416 14896 0 -1 4202560 556 0 0 0 2336 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695438396464 139697258322286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18525] ppid=18416 vsize=28769364 memory=256104 CPUtime=23.33 cores=0-7 /proc/18418/task/18525/stat : 18525 (java) R 18416 18416 14896 0 -1 4202560 289 0 0 0 2333 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695440503016 139697258322307 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 [pid=18418/tid=18526] ppid=18416 vsize=28769364 memory=4420 CPUtime=23.32 cores=0-7 /proc/18418/task/18526/stat : 18526 (java) R 18416 18416 14896 0 -1 4202560 501 0 0 0 2332 0 0 0 20 0 28 0 447365326 29459828736 62227 33554432000 4194304 4196468 140723869620800 139695442607816 139697257970261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140723869627376 140723869627547 140723869627547 140723869630415 0 Current children cumulated CPU time: 239.94 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 250356 KiB Child status: 0 Real time (s): 30.7781 CPU time (s): 240.451 CPU user time (s): 240.169 CPU system time (s): 0.281959 CPU usage (%): 781.242 Max. virtual memory (cumulated for all children) (KiB): 28884688 Max. memory (cumulated for all children) (KiB): 257552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 240.169 system time used= 0.281959 maximum resident set size= 256116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65281 page faults= 0 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6583 involuntary context switches= 3561 # summary of solver processes directly reported to runsolver: # pid: 18416 # total CPU time (s): 240.451 # total CPU user time (s): 240.169 # total CPU system time (s): 0.281959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.258676 second user time and 0.38272 second system time The end
Begin job on node105 at 2019-09-17 10:02:47 IDJOB=4400191 IDBENCH=128622 IDSOLVER=2855 FILE ID=node105/4400191-1568711064 RUNJOBID= node105-1568698793-14923 PBS_JOBID= 21703916 Free space on /tmp= 61004 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-21-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 /tmp/evaluation-result-4400191-1568711064/watcher-4400191-1568711064 -o /tmp/evaluation-result-4400191-1568711064/solver-4400191-1568711064 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568698793-14923 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 723019124 HOME/instance-4400191-1568711064.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8aa67fa0ddb9b908e7b385aede1c36d3 RANDOM SEED=723019124 node105.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.00 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.00 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.00 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.00 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: 31184360 kB MemAvailable: 31846108 kB Buffers: 184316 kB Cached: 777980 kB SwapCached: 65564 kB Active: 542640 kB Inactive: 486736 kB Active(anon): 7996 kB Inactive(anon): 103456 kB Active(file): 534644 kB Inactive(file): 383280 kB Unevictable: 109028 kB Mlocked: 109028 kB SwapTotal: 67108860 kB SwapFree: 66939860 kB Dirty: 26288 kB Writeback: 0 kB AnonPages: 244596 kB Mapped: 43424 kB Shmem: 35652 kB Slab: 147804 kB SReclaimable: 119316 kB SUnreclaim: 28488 kB KernelStack: 3792 kB PageTables: 5368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 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 /tmp at the end= 60980 MiB End job on node105 at 2019-09-17 10:03:18