Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 103 | 1141.25 | 143.856 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-41-06.xml |
MD5SUM | 9c0419560fe3c6efa350d2101b8d9fdb |
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 | 115.382 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 72 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 155 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":155,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":3},{"degree":7,"count":16},{"degree":8,"count":5},{"degree":9,"count":4},{"degree":10,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":2,"count":68},{"arity":21,"count":2},{"arity":23,"count":1},{"arity":26,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 68 |
Distribution of constraint types | [{"type":"intension","count":68},{"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-4404995-1569004579.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404995-1569004579.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.59/0.72 c solve instance... 2.18/0.86 o 153 2.18/0.87 o 108 5.97/1.30 o 107 23.26/3.57 o 106 24.02/3.60 o 105 37.50/5.34 o 104 48.63/6.78 o 103 1140.90/143.84 s OPTIMUM FOUND 1140.90/143.84 v <instantiation> 1140.90/143.84 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> 1140.90/143.84 v <values>0 0 16 12 9 17 41 18 11 49 22 50 21 56 26 79 67 30 37 81 87 64 72 82 50 80 56 84 98 93 92 103 </values> 1140.90/143.84 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 (11014 MiB free) memory of node 1: 16384 MiB (12892 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404995-1569004579/watcher-4404995-1569004579 -o /var/tmp/evaluation-result-4404995-1569004579/solver-4404995-1569004579 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 96806746 HOME/instance-4404995-1569004579.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=15242, runsolver pid=15239 Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 8.45 8.33 8.28 3/216 15263 /proc/meminfo: memFree=24463988/32770624 swapFree=67001936/67108860 [pid=15242] ppid=15239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15242/stat : 15242 (xcsp3-exec) S 15239 15242 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476697476 115843072 363 33554432000 4194304 5098028 140729129615712 140729129613816 139957351793276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33193984 140729129620313 140729129620570 140729129620570 140729129623494 0 /proc/15242/statm: 28282 363 304 221 0 87 0 [pid=15244] ppid=15242 vsize=28227396 memory=29160 CPUtime=0.12 cores=0-7 /proc/15244/stat : 15244 (java) S 15242 15242 6043 0 -1 1077944320 5702 0 0 0 11 1 0 0 20 0 20 0 476697476 28904853504 7290 33554432000 4194304 4196468 140737153395120 140737153377664 139889632411383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 /proc/15244/statm: 7056849 7290 3140 1 0 7019032 0 [pid=15244/tid=15245] ppid=15242 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/15244/task/15245/stat : 15245 (java) R 15242 15242 6043 0 -1 4202560 3613 0 0 0 8 0 0 0 20 0 20 0 476697477 28904853504 7290 33554432000 4194304 4196468 140737153395120 139889636644656 139889632433309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15246] ppid=15242 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/15244/task/15246/stat : 15246 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 7290 33554432000 4194304 4196468 140737153395120 139889585031824 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15247] ppid=15242 vsize=28227396 memory=139991801181824 CPUtime=0 cores=0-7 /proc/15244/task/15247/stat : 15247 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 7290 33554432000 4194304 4196468 140737153395120 139889583979024 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15248] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15248/stat : 15248 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 7290 33554432000 4194304 4196468 140737153395120 139889582926224 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15249] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15249/stat : 15249 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 7290 33554432000 4194304 4196468 140737153395120 139889581873424 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15250] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15250/stat : 15250 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 7290 33554432000 4194304 4196468 140737153395120 139889580821648 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15251] ppid=15242 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15244/task/15251/stat : 15251 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 7290 33554432000 4194304 4196468 140737153395120 139889579768848 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15252] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15252/stat : 15252 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 7290 33554432000 4194304 4196468 140737153395120 139889578716048 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15253] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15253/stat : 15253 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 7290 33554432000 4194304 4196468 140737153395120 139889577663248 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15254] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15254/stat : 15254 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697479 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888681482608 139889632422530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15255] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15255/stat : 15255 (java) S 15242 15242 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476697479 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888680428576 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15256] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15256/stat : 15256 (java) S 15242 15242 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476697480 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888679375728 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15257] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15257/stat : 15257 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697482 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888678324048 139889632429979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15258] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15258/stat : 15258 (java) R 15242 15242 6043 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 476697482 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888677272432 139889632422530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15259] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15259/stat : 15259 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697482 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888676219632 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15260] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15260/stat : 15260 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476697482 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888675158480 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15261] ppid=15242 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15244/task/15261/stat : 15261 (java) R 15242 15242 6043 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 20 0 476697482 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888674114032 139889632423318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15262] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15262/stat : 15262 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476697482 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888673061472 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15263] ppid=15242 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15244/task/15263/stat : 15263 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697482 28904853504 7290 33554432000 4194304 4196468 140737153395120 139888672008752 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30612 KiB [startup+0.211305 s]* /proc/loadavg: 8.45 8.33 8.28 3/216 15263 /proc/meminfo: memFree=24450488/32770624 swapFree=67001936/67108860 [pid=15242] ppid=15239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15242/stat : 15242 (xcsp3-exec) S 15239 15242 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476697476 115843072 363 33554432000 4194304 5098028 140729129615712 140729129613816 139957351793276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33193984 140729129620313 140729129620570 140729129620570 140729129623494 0 /proc/15242/statm: 28282 363 304 221 0 87 0 [pid=15244] ppid=15242 vsize=28227396 memory=41228 CPUtime=0.34 cores=0-7 /proc/15244/stat : 15244 (java) S 15242 15242 6043 0 -1 1077944320 9535 0 0 0 31 3 0 0 20 0 20 0 476697476 28904853504 10307 33554432000 4194304 4196468 140737153395120 140737153377664 139889632411383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 /proc/15244/statm: 7056849 10307 3314 1 0 7019032 0 [pid=15244/tid=15245] ppid=15242 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/15244/task/15245/stat : 15245 (java) R 15242 15242 6043 0 -1 4202560 6636 0 0 0 18 1 0 0 20 0 20 0 476697477 28904853504 10307 33554432000 4194304 4196468 140737153395120 139889636644112 139889616491870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15246] ppid=15242 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/15244/task/15246/stat : 15246 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 10307 33554432000 4194304 4196468 140737153395120 139889585031824 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15247] ppid=15242 vsize=28227396 memory=139991804273570 CPUtime=0 cores=0-7 /proc/15244/task/15247/stat : 15247 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 10307 33554432000 4194304 4196468 140737153395120 139889583979024 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15248] ppid=15242 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15244/task/15248/stat : 15248 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 10307 33554432000 4194304 4196468 140737153395120 139889582926224 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15249] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15249/stat : 15249 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 10307 33554432000 4194304 4196468 140737153395120 139889581873424 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15250] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15250/stat : 15250 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 10307 33554432000 4194304 4196468 140737153395120 139889580821648 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15251] ppid=15242 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15244/task/15251/stat : 15251 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 10307 33554432000 4194304 4196468 140737153395120 139889579768848 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15252] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15252/stat : 15252 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 10307 33554432000 4194304 4196468 140737153395120 139889578716048 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15253] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15253/stat : 15253 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476697477 28904853504 10307 33554432000 4194304 4196468 140737153395120 139889577663248 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15254] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15254/stat : 15254 (java) S 15242 15242 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476697479 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888681482608 139889632422530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15255] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15255/stat : 15255 (java) S 15242 15242 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476697479 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888680428576 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15256] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15256/stat : 15256 (java) S 15242 15242 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476697480 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888679375728 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15257] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15257/stat : 15257 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697482 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888678324048 139889632429979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15258] ppid=15242 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15244/task/15258/stat : 15258 (java) S 15242 15242 6043 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 20 0 476697482 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888677272432 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15259] ppid=15242 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15244/task/15259/stat : 15259 (java) S 15242 15242 6043 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 476697482 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888676219632 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15260] ppid=15242 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/15244/task/15260/stat : 15260 (java) S 15242 15242 6043 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 476697482 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888675166832 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15261] ppid=15242 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/15244/task/15261/stat : 15261 (java) S 15242 15242 6043 0 -1 1077944384 753 0 0 0 7 0 0 0 20 0 20 0 476697482 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888674114032 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15262] ppid=15242 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15262/stat : 15262 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476697482 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888673061472 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15263] ppid=15242 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15244/task/15263/stat : 15263 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697482 28904853504 10307 33554432000 4194304 4196468 140737153395120 139888672008752 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42680 KiB [startup+0.312727 s]* /proc/loadavg: 8.45 8.33 8.28 2/216 15263 /proc/meminfo: memFree=24443352/32770624 swapFree=67001936/67108860 [pid=15242] ppid=15239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15242/stat : 15242 (xcsp3-exec) S 15239 15242 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476697476 115843072 363 33554432000 4194304 5098028 140729129615712 140729129613816 139957351793276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33193984 140729129620313 140729129620570 140729129620570 140729129623494 0 /proc/15242/statm: 28282 363 304 221 0 87 0 [pid=15244] ppid=15242 vsize=28231652 memory=49932 CPUtime=0.51 cores=0-7 /proc/15244/stat : 15244 (java) S 15242 15242 6043 0 -1 1077944320 10837 0 0 0 48 3 0 0 20 0 20 0 476697476 28909211648 12483 33554432000 4194304 4196468 140737153395120 140737153377664 139889632411383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 /proc/15244/statm: 7057913 12483 3348 1 0 7019032 0 [pid=15244/tid=15245] ppid=15242 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/15244/task/15245/stat : 15245 (java) R 15242 15242 6043 0 -1 4202560 7849 0 0 0 28 2 0 0 20 0 20 0 476697477 28909211648 12483 33554432000 4194304 4196468 140737153395120 139889636642496 139889616491870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15246] ppid=15242 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15246/stat : 15246 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28909211648 12483 33554432000 4194304 4196468 140737153395120 139889585031824 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15247] ppid=15242 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15247/stat : 15247 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28909211648 12483 33554432000 4194304 4196468 140737153395120 139889583979024 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15248] ppid=15242 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15248/stat : 15248 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28909211648 12483 33554432000 4194304 4196468 140737153395120 139889582926224 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15249] ppid=15242 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15249/stat : 15249 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28909211648 12483 33554432000 4194304 4196468 140737153395120 139889581873424 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15250] ppid=15242 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/15244/task/15250/stat : 15250 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28909211648 12483 33554432000 4194304 4196468 140737153395120 139889580821648 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15251] ppid=15242 vsize=28231652 memory=139991640535983 CPUtime=0 cores=0-7 /proc/15244/task/15251/stat : 15251 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28909211648 12483 33554432000 4194304 4196468 140737153395120 139889579768848 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15252] ppid=15242 vsize=28231652 memory=139991640538288 CPUtime=0 cores=0-7 /proc/15244/task/15252/stat : 15252 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28909211648 12483 33554432000 4194304 4196468 140737153395120 139889578716048 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15253] ppid=15242 vsize=28231652 memory=139991640540592 CPUtime=0 cores=0-7 /proc/15244/task/15253/stat : 15253 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476697477 28909211648 12483 33554432000 4194304 4196468 140737153395120 139889577663248 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15254] ppid=15242 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15254/stat : 15254 (java) S 15242 15242 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476697479 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888681482608 139889632422530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15255] ppid=15242 vsize=28231652 memory=279983281088144 CPUtime=0 cores=0-7 /proc/15244/task/15255/stat : 15255 (java) S 15242 15242 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476697479 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888680428576 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15256] ppid=15242 vsize=28231652 memory=279983281095056 CPUtime=0 cores=0-7 /proc/15244/task/15256/stat : 15256 (java) S 15242 15242 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476697480 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888679375728 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15257] ppid=15242 vsize=28231652 memory=279983281036336 CPUtime=0 cores=0-7 /proc/15244/task/15257/stat : 15257 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697482 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888678324048 139889632429979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15258] ppid=15242 vsize=28231652 memory=279983281108880 CPUtime=0.02 cores=0-7 /proc/15244/task/15258/stat : 15258 (java) S 15242 15242 6043 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 20 0 476697482 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888677272432 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15259] ppid=15242 vsize=28231652 memory=279983281115792 CPUtime=0.02 cores=0-7 /proc/15244/task/15259/stat : 15259 (java) S 15242 15242 6043 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 20 0 476697482 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888676219632 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15260] ppid=15242 vsize=28231652 memory=279983281113488 CPUtime=0.02 cores=0-7 /proc/15244/task/15260/stat : 15260 (java) S 15242 15242 6043 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 476697482 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888675166832 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15261] ppid=15242 vsize=28231652 memory=279983281129648 CPUtime=0.12 cores=0-7 /proc/15244/task/15261/stat : 15261 (java) S 15242 15242 6043 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 20 0 476697482 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888674114032 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15262] ppid=15242 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15262/stat : 15262 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476697482 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888673061472 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15263] ppid=15242 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/15244/task/15263/stat : 15263 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697482 28909211648 12483 33554432000 4194304 4196468 140737153395120 139888672008752 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51384 KiB [startup+0.701011 s] /proc/loadavg: 8.45 8.33 8.28 2/216 15263 /proc/meminfo: memFree=24426160/32770624 swapFree=67001936/67108860 [pid=15242] ppid=15239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15242/stat : 15242 (xcsp3-exec) S 15239 15242 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476697476 115843072 363 33554432000 4194304 5098028 140729129615712 140729129613816 139957351793276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33193984 140729129620313 140729129620570 140729129620570 140729129623494 0 /proc/15242/statm: 28282 363 304 221 0 87 0 [pid=15244] ppid=15242 vsize=28233776 memory=88348 CPUtime=1.59 cores=0-7 /proc/15244/stat : 15244 (java) S 15242 15242 6043 0 -1 1077944320 15353 0 0 0 152 7 0 0 20 0 20 0 476697476 28911386624 22087 33554432000 4194304 4196468 140737153395120 140737153377664 139889632411383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 /proc/15244/statm: 7058444 22087 3456 1 0 7019544 0 [pid=15244/tid=15245] ppid=15242 vsize=28233776 memory=279983281487536 CPUtime=0.68 cores=0-7 /proc/15244/task/15245/stat : 15245 (java) R 15242 15242 6043 0 -1 4202560 9355 0 0 0 64 4 0 0 20 0 20 0 476697477 28911386624 22087 33554432000 4194304 4196468 140737153395120 139889636649264 139889253088507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15246] ppid=15242 vsize=28233776 memory=139991640744816 CPUtime=0 cores=0-7 /proc/15244/task/15246/stat : 15246 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28911386624 22087 33554432000 4194304 4196468 140737153395120 139889585031824 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15247] ppid=15242 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/15244/task/15247/stat : 15247 (java) S 15242 15242 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476697477 28911386624 22087 33554432000 4194304 4196468 140737153395120 139889583979024 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15248] ppid=15242 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/15244/task/15248/stat : 15248 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476697477 28911386624 22087 33554432000 4194304 4196468 140737153395120 139889582926224 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 ################ # More data... # ################ [pid=15244/tid=15261] ppid=15242 vsize=28769364 memory=12024 CPUtime=0.89 cores=0-7 /proc/15244/task/15261/stat : 15261 (java) S 15242 15242 6043 0 -1 1077944384 12159 0 0 0 86 3 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888674114032 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15262] ppid=15242 vsize=28769364 memory=2116 CPUtime=0 cores=0-7 /proc/15244/task/15262/stat : 15262 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888673061472 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15263] ppid=15242 vsize=28769364 memory=29468 CPUtime=0.02 cores=0-7 /proc/15244/task/15263/stat : 15263 (java) S 15242 15242 6043 0 -1 1077944384 838 0 0 0 0 2 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888672008752 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15320] ppid=15242 vsize=28769364 memory=496 CPUtime=135.74 cores=0-7 /proc/15244/task/15320/stat : 15320 (java) R 15242 15242 6043 0 -1 4202560 1523 0 0 0 13574 0 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888652270424 139889259788496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15321] ppid=15242 vsize=28769364 memory=1564 CPUtime=135.3 cores=0-7 /proc/15244/task/15321/stat : 15321 (java) R 15242 15242 6043 0 -1 4202560 1432 0 0 0 13529 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888659640200 139889259789839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15322] ppid=15242 vsize=28769364 memory=226644 CPUtime=135.44 cores=0-7 /proc/15244/task/15322/stat : 15322 (java) R 15242 15242 6043 0 -1 4202560 3919 0 0 0 13542 2 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888656483432 139889253291904 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15323] ppid=15242 vsize=28769364 memory=780 CPUtime=135.67 cores=0-7 /proc/15244/task/15323/stat : 15323 (java) R 15242 15242 6043 0 -1 4202560 3800 0 0 0 13564 3 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888660693016 139889258150522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15324] ppid=15242 vsize=28769364 memory=1440 CPUtime=135.86 cores=0-7 /proc/15244/task/15324/stat : 15324 (java) R 15242 15242 6043 0 -1 4202560 2802 0 0 0 13585 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888657534768 139889252915404 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15325] ppid=15242 vsize=28769364 memory=1984 CPUtime=135.7 cores=0-7 /proc/15244/task/15325/stat : 15325 (java) R 15242 15242 6043 0 -1 4202560 2456 0 0 0 13570 0 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888658588040 139889254754611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15326] ppid=15242 vsize=28769364 memory=2376 CPUtime=135.41 cores=0-7 /proc/15244/task/15326/stat : 15326 (java) R 15242 15242 6043 0 -1 4202560 2466 0 0 0 13540 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888655432624 139889257055606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15327] ppid=15242 vsize=28769364 memory=1768 CPUtime=135.91 cores=0-7 /proc/15244/task/15327/stat : 15327 (java) R 15242 15242 6043 0 -1 4202560 2305 0 0 0 13590 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888653324152 139889256991246 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 Current children cumulated CPU time: 1136.08 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 228096 KiB [startup+143.601 s] /proc/loadavg: 8.13 8.27 8.27 9/224 15338 /proc/meminfo: memFree=24266412/32770624 swapFree=67001936/67108860 [pid=15242] ppid=15239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15242/stat : 15242 (xcsp3-exec) S 15239 15242 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476697476 115843072 363 33554432000 4194304 5098028 140729129615712 140729129613816 139957351793276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33193984 140729129620313 140729129620570 140729129620570 140729129623494 0 /proc/15242/statm: 28282 363 304 221 0 87 0 [pid=15244] ppid=15242 vsize=28769364 memory=226644 CPUtime=1139.27 cores=0-7 /proc/15244/stat : 15244 (java) S 15242 15242 6043 0 -1 1077944320 132353 0 0 0 113870 57 0 0 20 0 28 0 476697476 29459828736 56661 33554432000 4194304 4196468 140737153395120 140737153377664 139889632411383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 /proc/15244/statm: 7192341 56661 3524 1 0 7153441 0 [pid=15244/tid=15245] ppid=15242 vsize=28769364 memory=1452 CPUtime=0.72 cores=0-7 /proc/15244/task/15245/stat : 15245 (java) S 15242 15242 6043 0 -1 1077944384 9556 0 0 0 68 4 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889636652160 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15246] ppid=15242 vsize=28769364 memory=6791534058613427641 CPUtime=0.07 cores=0-7 /proc/15244/task/15246/stat : 15246 (java) S 15242 15242 6043 0 -1 1077944384 2212 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889585031824 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15247] ppid=15242 vsize=28769364 memory=920 CPUtime=0.07 cores=0-7 /proc/15244/task/15247/stat : 15247 (java) S 15242 15242 6043 0 -1 1077944384 2457 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889583979024 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15248] ppid=15242 vsize=28769364 memory=4832 CPUtime=0.07 cores=0-7 /proc/15244/task/15248/stat : 15248 (java) S 15242 15242 6043 0 -1 1077944384 3080 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889582926224 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15249] ppid=15242 vsize=28769364 memory=4112 CPUtime=0.07 cores=0-7 /proc/15244/task/15249/stat : 15249 (java) S 15242 15242 6043 0 -1 1077944384 2081 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889581873424 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15250] ppid=15242 vsize=28769364 memory=1412 CPUtime=0.07 cores=0-7 /proc/15244/task/15250/stat : 15250 (java) S 15242 15242 6043 0 -1 1077944384 1943 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889580821648 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15251] ppid=15242 vsize=28769364 memory=3492 CPUtime=0.07 cores=0-7 /proc/15244/task/15251/stat : 15251 (java) S 15242 15242 6043 0 -1 1077944384 2148 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889579768848 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15252] ppid=15242 vsize=28769364 memory=1452 CPUtime=0.07 cores=0-7 /proc/15244/task/15252/stat : 15252 (java) S 15242 15242 6043 0 -1 1077944384 2431 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889578716048 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15253] ppid=15242 vsize=28769364 memory=226644 CPUtime=0.06 cores=0-7 /proc/15244/task/15253/stat : 15253 (java) S 15242 15242 6043 0 -1 1077944384 1782 0 0 0 5 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889577663248 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15254] ppid=15242 vsize=28769364 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/15244/task/15254/stat : 15254 (java) S 15242 15242 6043 0 -1 1077944384 6356 0 0 0 6 2 0 0 20 0 28 0 476697479 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888681482608 139889632422530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15255] ppid=15242 vsize=28769364 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/15244/task/15255/stat : 15255 (java) S 15242 15242 6043 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 476697479 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888680428640 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15256] ppid=15242 vsize=28769364 memory=1056 CPUtime=0 cores=0-7 /proc/15244/task/15256/stat : 15256 (java) S 15242 15242 6043 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 476697480 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888679375744 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15257] ppid=15242 vsize=28769364 memory=1540 CPUtime=0 cores=0-7 /proc/15244/task/15257/stat : 15257 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888678324048 139889632429979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15258] ppid=15242 vsize=28769364 memory=728 CPUtime=2.73 cores=0-7 /proc/15244/task/15258/stat : 15258 (java) S 15242 15242 6043 0 -1 1077944384 21693 0 0 0 267 6 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888677272432 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15259] ppid=15242 vsize=28769364 memory=3612 CPUtime=2.94 cores=0-7 /proc/15244/task/15259/stat : 15259 (java) S 15242 15242 6043 0 -1 1077944384 17416 0 0 0 290 4 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888676219632 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15260] ppid=15242 vsize=28769364 memory=1212 CPUtime=2.51 cores=0-7 /proc/15244/task/15260/stat : 15260 (java) S 15242 15242 6043 0 -1 1077944384 21090 0 0 0 247 4 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888675166832 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15261] ppid=15242 vsize=28769364 memory=1036 CPUtime=0.89 cores=0-7 /proc/15244/task/15261/stat : 15261 (java) S 15242 15242 6043 0 -1 1077944384 12159 0 0 0 86 3 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888674114032 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15262] ppid=15242 vsize=28769364 memory=13996 CPUtime=0 cores=0-7 /proc/15244/task/15262/stat : 15262 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888673061472 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15263] ppid=15242 vsize=28769364 memory=12024 CPUtime=0.02 cores=0-7 /proc/15244/task/15263/stat : 15263 (java) S 15242 15242 6043 0 -1 1077944384 838 0 0 0 0 2 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888672008752 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15320] ppid=15242 vsize=28769364 memory=2116 CPUtime=136.14 cores=0-7 /proc/15244/task/15320/stat : 15320 (java) R 15242 15242 6043 0 -1 4202560 1523 0 0 0 13614 0 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888652270424 139889255364384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15321] ppid=15242 vsize=28769364 memory=29468 CPUtime=135.7 cores=0-7 /proc/15244/task/15321/stat : 15321 (java) R 15242 15242 6043 0 -1 4202560 1432 0 0 0 13569 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888659640200 139889255366321 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15322] ppid=15242 vsize=28769364 memory=496 CPUtime=135.83 cores=0-7 /proc/15244/task/15322/stat : 15322 (java) R 15242 15242 6043 0 -1 4202560 3919 0 0 0 13581 2 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888656483432 139889257280981 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15323] ppid=15242 vsize=28769364 memory=1564 CPUtime=136.07 cores=0-7 /proc/15244/task/15323/stat : 15323 (java) R 15242 15242 6043 0 -1 4202560 3800 0 0 0 13604 3 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888660693016 139889254373940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15324] ppid=15242 vsize=28769364 memory=928 CPUtime=136.26 cores=0-7 /proc/15244/task/15324/stat : 15324 (java) R 15242 15242 6043 0 -1 4202560 2802 0 0 0 13625 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888657534768 139889256884736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15325] ppid=15242 vsize=28769364 memory=1744 CPUtime=136.1 cores=0-7 /proc/15244/task/15325/stat : 15325 (java) R 15242 15242 6043 0 -1 4202560 2456 0 0 0 13610 0 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888658588040 139889255366579 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15326] ppid=15242 vsize=28769364 memory=780 CPUtime=135.81 cores=0-7 /proc/15244/task/15326/stat : 15326 (java) R 15242 15242 6043 0 -1 4202560 2466 0 0 0 13580 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888655432624 139889255872996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15327] ppid=15242 vsize=28769364 memory=1440 CPUtime=136.31 cores=0-7 /proc/15244/task/15327/stat : 15327 (java) R 15242 15242 6043 0 -1 4202560 2305 0 0 0 13630 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888653324152 139889254341175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 Current children cumulated CPU time: 1139.27 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 228096 KiB [startup+143.805 s] /proc/loadavg: 8.13 8.27 8.27 9/224 15338 /proc/meminfo: memFree=24266412/32770624 swapFree=67001936/67108860 [pid=15242] ppid=15239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15242/stat : 15242 (xcsp3-exec) S 15239 15242 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476697476 115843072 363 33554432000 4194304 5098028 140729129615712 140729129613816 139957351793276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33193984 140729129620313 140729129620570 140729129620570 140729129623494 0 /proc/15242/statm: 28282 363 304 221 0 87 0 [pid=15244] ppid=15242 vsize=28769364 memory=226644 CPUtime=1140.9 cores=0-7 /proc/15244/stat : 15244 (java) S 15242 15242 6043 0 -1 1077944320 132353 0 0 0 114033 57 0 0 20 0 28 0 476697476 29459828736 56661 33554432000 4194304 4196468 140737153395120 140737153377664 139889632411383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 /proc/15244/statm: 7192341 56661 3524 1 0 7153441 0 [pid=15244/tid=15245] ppid=15242 vsize=28769364 memory=1768 CPUtime=0.72 cores=0-7 /proc/15244/task/15245/stat : 15245 (java) S 15242 15242 6043 0 -1 1077944384 9556 0 0 0 68 4 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889636652160 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15246] ppid=15242 vsize=28769364 memory=111628 CPUtime=0.07 cores=0-7 /proc/15244/task/15246/stat : 15246 (java) S 15242 15242 6043 0 -1 1077944384 2212 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889585031824 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15247] ppid=15242 vsize=28769364 memory=6791534058613427641 CPUtime=0.07 cores=0-7 /proc/15244/task/15247/stat : 15247 (java) S 15242 15242 6043 0 -1 1077944384 2457 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889583979024 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15248] ppid=15242 vsize=28769364 memory=288230596050944315 CPUtime=0.07 cores=0-7 /proc/15244/task/15248/stat : 15248 (java) S 15242 15242 6043 0 -1 1077944384 3080 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889582926224 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15249] ppid=15242 vsize=28769364 memory=15825486429292335 CPUtime=0.07 cores=0-7 /proc/15244/task/15249/stat : 15249 (java) S 15242 15242 6043 0 -1 1077944384 2081 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889581873424 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15250] ppid=15242 vsize=28769364 memory=1452 CPUtime=0.07 cores=0-7 /proc/15244/task/15250/stat : 15250 (java) S 15242 15242 6043 0 -1 1077944384 1943 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889580821648 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15251] ppid=15242 vsize=28769364 memory=224592 CPUtime=0.07 cores=0-7 /proc/15244/task/15251/stat : 15251 (java) S 15242 15242 6043 0 -1 1077944384 2148 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889579768848 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15252] ppid=15242 vsize=28769364 memory=804 CPUtime=0.07 cores=0-7 /proc/15244/task/15252/stat : 15252 (java) S 15242 15242 6043 0 -1 1077944384 2431 0 0 0 6 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889578716048 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15253] ppid=15242 vsize=28769364 memory=1660 CPUtime=0.06 cores=0-7 /proc/15244/task/15253/stat : 15253 (java) S 15242 15242 6043 0 -1 1077944384 1782 0 0 0 5 1 0 0 20 0 28 0 476697477 29459828736 56661 33554432000 4194304 4196468 140737153395120 139889577663248 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15254] ppid=15242 vsize=28769364 memory=1036 CPUtime=0.08 cores=0-7 /proc/15244/task/15254/stat : 15254 (java) S 15242 15242 6043 0 -1 1077944384 6356 0 0 0 6 2 0 0 20 0 28 0 476697479 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888681482608 139889632422530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15255] ppid=15242 vsize=28769364 memory=13996 CPUtime=0 cores=0-7 /proc/15244/task/15255/stat : 15255 (java) S 15242 15242 6043 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 476697479 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888680428640 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15256] ppid=15242 vsize=28769364 memory=12024 CPUtime=0 cores=0-7 /proc/15244/task/15256/stat : 15256 (java) S 15242 15242 6043 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 476697480 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888679375744 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15257] ppid=15242 vsize=28769364 memory=2116 CPUtime=0 cores=0-7 /proc/15244/task/15257/stat : 15257 (java) S 15242 15242 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888678324048 139889632429979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15258] ppid=15242 vsize=28769364 memory=29468 CPUtime=2.73 cores=0-7 /proc/15244/task/15258/stat : 15258 (java) S 15242 15242 6043 0 -1 1077944384 21693 0 0 0 267 6 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888677272432 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15259] ppid=15242 vsize=28769364 memory=496 CPUtime=2.94 cores=0-7 /proc/15244/task/15259/stat : 15259 (java) S 15242 15242 6043 0 -1 1077944384 17416 0 0 0 290 4 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888676219632 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15260] ppid=15242 vsize=28769364 memory=1564 CPUtime=2.51 cores=0-7 /proc/15244/task/15260/stat : 15260 (java) S 15242 15242 6043 0 -1 1077944384 21090 0 0 0 247 4 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888675166832 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15261] ppid=15242 vsize=28769364 memory=928 CPUtime=0.89 cores=0-7 /proc/15244/task/15261/stat : 15261 (java) S 15242 15242 6043 0 -1 1077944384 12159 0 0 0 86 3 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888674114032 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15262] ppid=15242 vsize=28769364 memory=1744 CPUtime=0 cores=0-7 /proc/15244/task/15262/stat : 15262 (java) S 15242 15242 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888673061472 139889632421589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15263] ppid=15242 vsize=28769364 memory=780 CPUtime=0.02 cores=0-7 /proc/15244/task/15263/stat : 15263 (java) S 15242 15242 6043 0 -1 1077944384 838 0 0 0 0 2 0 0 20 0 28 0 476697482 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888672008752 139889632422530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15320] ppid=15242 vsize=28769364 memory=1440 CPUtime=136.34 cores=0-7 /proc/15244/task/15320/stat : 15320 (java) R 15242 15242 6043 0 -1 4202560 1523 0 0 0 13634 0 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888652270424 139889258149950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15321] ppid=15242 vsize=28769364 memory=1984 CPUtime=135.9 cores=0-7 /proc/15244/task/15321/stat : 15321 (java) R 15242 15242 6043 0 -1 4202560 1432 0 0 0 13589 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888659640200 139889258063602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15322] ppid=15242 vsize=28769364 memory=2376 CPUtime=136.04 cores=0-7 /proc/15244/task/15322/stat : 15322 (java) R 15242 15242 6043 0 -1 4202560 3919 0 0 0 13602 2 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888656483432 140737153505494 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15323] ppid=15242 vsize=28769364 memory=1768 CPUtime=136.28 cores=0-7 /proc/15244/task/15323/stat : 15323 (java) R 15242 15242 6043 0 -1 4202560 3800 0 0 0 13625 3 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888660693016 139889257055697 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15324] ppid=15242 vsize=28769364 memory=54888 CPUtime=136.47 cores=0-7 /proc/15244/task/15324/stat : 15324 (java) R 15242 15242 6043 0 -1 4202560 2802 0 0 0 13646 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888657534768 139889256865408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15325] ppid=15242 vsize=28769364 memory=988 CPUtime=136.3 cores=0-7 /proc/15244/task/15325/stat : 15325 (java) R 15242 15242 6043 0 -1 4202560 2456 0 0 0 13630 0 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888658588040 139889253291916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15326] ppid=15242 vsize=28769364 memory=2052 CPUtime=136.01 cores=0-7 /proc/15244/task/15326/stat : 15326 (java) R 15242 15242 6043 0 -1 4202560 2466 0 0 0 13600 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888655432624 139889257057207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 [pid=15244/tid=15327] ppid=15242 vsize=28769364 memory=1428 CPUtime=136.51 cores=0-7 /proc/15244/task/15327/stat : 15327 (java) R 15242 15242 6043 0 -1 4202560 2305 0 0 0 13650 1 0 0 20 0 28 0 476698154 29459828736 56661 33554432000 4194304 4196468 140737153395120 139888653324152 139889259790655 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36487168 140737153397724 140737153397899 140737153397899 140737153400783 0 Current children cumulated CPU time: 1140.9 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 228096 KiB Child status: 0 Real time (s): 143.856 CPU time (s): 1141.25 CPU user time (s): 1140.66 CPU system time (s): 0.585375 CPU usage (%): 793.326 Max. virtual memory (cumulated for all children) (KiB): 28885480 Max. memory (cumulated for all children) (KiB): 279708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1140.66 system time used= 0.585375 maximum resident set size= 278256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134020 page faults= 0 swaps= 0 block input operations= 0 block output operations= 296 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13809 involuntary context switches= 15280 # summary of solver processes directly reported to runsolver: # pid: 15242 # total CPU time (s): 1141.25 # total CPU user time (s): 1140.66 # total CPU system time (s): 0.585375 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.20284 second user time and 1.7449 second system time The end
Begin job on node133 at 2019-09-20 20:35:39 IDJOB=4404995 IDBENCH=129880 IDSOLVER=2866 FILE ID=node133/4404995-1569004579 RUNJOBID= node133-1568994386-6070 PBS_JOBID= 21704723 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-41-06.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-4404995-1569004579/watcher-4404995-1569004579 -o /var/tmp/evaluation-result-4404995-1569004579/solver-4404995-1569004579 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 96806746 HOME/instance-4404995-1569004579.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9c0419560fe3c6efa350d2101b8d9fdb RANDOM SEED=96806746 node133.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.18 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.18 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.18 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.18 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: 24481664 kB MemAvailable: 31849816 kB Buffers: 90892 kB Cached: 7336736 kB SwapCached: 5348 kB Active: 3657212 kB Inactive: 3775328 kB Active(anon): 1996 kB Inactive(anon): 49308 kB Active(file): 3655216 kB Inactive(file): 3726020 kB Unevictable: 111416 kB Mlocked: 111416 kB SwapTotal: 67108860 kB SwapFree: 67001936 kB Dirty: 26292 kB Writeback: 0 kB AnonPages: 112568 kB Mapped: 51736 kB Shmem: 37772 kB Slab: 444228 kB SReclaimable: 415376 kB SUnreclaim: 28852 kB KernelStack: 3408 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13464 MiB End job on node133 at 2019-09-20 20:38:03