Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 16.6106 | 2.9982 |
Name | QRandom/ QRandom-geometric-rw/geometric-50-20-d4-75-08.xml |
MD5SUM | ee1da6b537c1ecd46a877bd70c24ae39 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.402036 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 477 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":50}] |
Minimum variable degree | 8 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":22,"count":5},{"degree":23,"count":2},{"degree":24,"count":5},{"degree":25,"count":1},{"degree":26,"count":1},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":30,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":477}] |
Number of extensional constraints | 477 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":477}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406631-1569348041.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406631-1569348041.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.32/1.42 c solve instance... 15.90/2.98 s SATISFIABLE 15.90/2.98 v <instantiation> 15.90/2.98 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list> 15.90/2.98 v <values>10 20 10 20 12 3 5 8 14 15 11 8 9 1 2 6 19 20 2 17 20 15 5 13 10 5 14 5 19 16 15 19 18 6 20 12 2 18 14 1 2 13 8 6 9 15 17 14 8 14 </values> 15.90/2.98 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12371 MiB free) memory of node 1: 16384 MiB (12769 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406631-1569348041/watcher-4406631-1569348041 -o /var/tmp/evaluation-result-4406631-1569348041/solver-4406631-1569348041 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569347784-6732 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1286967475 HOME/instance-4406631-1569348041.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=7241, runsolver pid=7238 [startup+0.100149 s]* /proc/loadavg: 5.73 6.47 7.48 2/211 7262 /proc/meminfo: memFree=25727720/32770624 swapFree=66966880/67108860 [pid=7241] ppid=7238 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7241/stat : 7241 (xcsp3-exec) S 7238 7241 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510740552 115843072 362 33554432000 4194304 5098028 140732665909536 140732665907640 139968061235836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140732665914193 140732665914453 140732665914453 140732665917382 0 /proc/7241/statm: 28282 362 304 221 0 87 0 [pid=7243] ppid=7241 vsize=28227396 memory=28920 CPUtime=0.12 cores=0-7 /proc/7243/stat : 7243 (java) S 7241 7241 6705 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 510740552 28904853504 7230 33554432000 4194304 4196468 140737290291360 140737290273904 140076739710711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 /proc/7243/statm: 7056849 7230 3125 1 0 7019032 0 [pid=7243/tid=7244] ppid=7241 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/7243/task/7244/stat : 7244 (java) R 7241 7241 6705 0 -1 4202560 3607 0 0 0 8 0 0 0 20 0 20 0 510740553 28904853504 7230 33554432000 4194304 4196468 140737290291360 140076743947056 140076739732637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7245] ppid=7241 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/7243/task/7245/stat : 7245 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 7230 33554432000 4194304 4196468 140737290291360 140076692331280 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7246] ppid=7241 vsize=28227396 memory=140385959544448 CPUtime=0 cores=0-7 /proc/7243/task/7246/stat : 7246 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 7230 33554432000 4194304 4196468 140737290291360 140076691278736 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7247] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7247/stat : 7247 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 7230 33554432000 4194304 4196468 140737290291360 140076690226192 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7248] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7248/stat : 7248 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 7230 33554432000 4194304 4196468 140737290291360 140076689173648 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7249] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7249/stat : 7249 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 7230 33554432000 4194304 4196468 140737290291360 140076688120080 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7250] ppid=7241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7243/task/7250/stat : 7250 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 7230 33554432000 4194304 4196468 140737290291360 140076687067536 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7251] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7251/stat : 7251 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 7230 33554432000 4194304 4196468 140737290291360 140076686014992 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7252] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7252/stat : 7252 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 7230 33554432000 4194304 4196468 140737290291360 140076684962448 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7253] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7253/stat : 7253 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740555 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075922852336 140076739721858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7254] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7254/stat : 7254 (java) S 7241 7241 6705 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510740555 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075921798560 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7255] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7255/stat : 7255 (java) S 7241 7241 6705 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510740556 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075920745968 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7256] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7256/stat : 7256 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740558 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075919694544 140076739729307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7257] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7257/stat : 7257 (java) S 7241 7241 6705 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 510740558 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075918641136 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7258] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7258/stat : 7258 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740558 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075917588592 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7259] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7259/stat : 7259 (java) S 7241 7241 6705 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 510740558 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075916536048 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7260] ppid=7241 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/7243/task/7260/stat : 7260 (java) R 7241 7241 6705 0 -1 4202560 372 0 0 0 1 0 0 0 20 0 20 0 510740558 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075915483504 140076739732058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7261] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7261/stat : 7261 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510740558 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075914431200 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7262] ppid=7241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7243/task/7262/stat : 7262 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740559 28904853504 7230 33554432000 4194304 4196468 140737290291360 140075913378736 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30368 KiB [startup+0.210813 s]* /proc/loadavg: 5.73 6.47 7.48 2/211 7262 /proc/meminfo: memFree=25715656/32770624 swapFree=66966880/67108860 [pid=7241] ppid=7238 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7241/stat : 7241 (xcsp3-exec) S 7238 7241 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510740552 115843072 362 33554432000 4194304 5098028 140732665909536 140732665907640 139968061235836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140732665914193 140732665914453 140732665914453 140732665917382 0 /proc/7241/statm: 28282 362 304 221 0 87 0 [pid=7243] ppid=7241 vsize=28227396 memory=40996 CPUtime=0.34 cores=0-7 /proc/7243/stat : 7243 (java) S 7241 7241 6705 0 -1 1077944320 9515 0 0 0 31 3 0 0 20 0 20 0 510740552 28904853504 10249 33554432000 4194304 4196468 140737290291360 140737290273904 140076739710711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 /proc/7243/statm: 7056849 10249 3274 1 0 7019032 0 [pid=7243/tid=7244] ppid=7241 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/7243/task/7244/stat : 7244 (java) R 7241 7241 6705 0 -1 4202560 6647 0 0 0 18 2 0 0 20 0 20 0 510740553 28904853504 10249 33554432000 4194304 4196468 140737290291360 140076743941952 140076739722646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7245] ppid=7241 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/7243/task/7245/stat : 7245 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 10249 33554432000 4194304 4196468 140737290291360 140076692331280 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7246] ppid=7241 vsize=28227396 memory=3833327333285299872 CPUtime=0 cores=0-7 /proc/7243/task/7246/stat : 7246 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 10249 33554432000 4194304 4196468 140737290291360 140076691278736 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7247] ppid=7241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7243/task/7247/stat : 7247 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 10249 33554432000 4194304 4196468 140737290291360 140076690226192 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7248] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7248/stat : 7248 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 10249 33554432000 4194304 4196468 140737290291360 140076689173648 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7249] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7249/stat : 7249 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 10249 33554432000 4194304 4196468 140737290291360 140076688120080 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7250] ppid=7241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7243/task/7250/stat : 7250 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 10249 33554432000 4194304 4196468 140737290291360 140076687067536 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7251] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7251/stat : 7251 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 10249 33554432000 4194304 4196468 140737290291360 140076686014992 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7252] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7252/stat : 7252 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28904853504 10249 33554432000 4194304 4196468 140737290291360 140076684962448 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7253] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7253/stat : 7253 (java) S 7241 7241 6705 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510740555 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075922852336 140076739721858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7254] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7254/stat : 7254 (java) S 7241 7241 6705 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510740555 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075921798560 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7255] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7255/stat : 7255 (java) S 7241 7241 6705 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510740556 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075920745968 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7256] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7256/stat : 7256 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740558 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075919694544 140076739729307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7257] ppid=7241 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/7243/task/7257/stat : 7257 (java) S 7241 7241 6705 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 20 0 510740558 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075918641136 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7258] ppid=7241 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/7243/task/7258/stat : 7258 (java) S 7241 7241 6705 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 510740558 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075917588592 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7259] ppid=7241 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/7243/task/7259/stat : 7259 (java) S 7241 7241 6705 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 510740558 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075916536048 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7260] ppid=7241 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/7243/task/7260/stat : 7260 (java) R 7241 7241 6705 0 -1 4202560 795 0 0 0 8 0 0 0 20 0 20 0 510740558 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075915483312 140076718635752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7261] ppid=7241 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7261/stat : 7261 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510740558 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075914431200 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7262] ppid=7241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7243/task/7262/stat : 7262 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740559 28904853504 10249 33554432000 4194304 4196468 140737290291360 140075913378736 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42444 KiB [startup+0.311273 s]* /proc/loadavg: 5.73 6.47 7.48 3/211 7262 /proc/meminfo: memFree=25709140/32770624 swapFree=66966880/67108860 [pid=7241] ppid=7238 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7241/stat : 7241 (xcsp3-exec) S 7238 7241 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510740552 115843072 362 33554432000 4194304 5098028 140732665909536 140732665907640 139968061235836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140732665914193 140732665914453 140732665914453 140732665917382 0 /proc/7241/statm: 28282 362 304 221 0 87 0 [pid=7243] ppid=7241 vsize=28231652 memory=49980 CPUtime=0.53 cores=0-7 /proc/7243/stat : 7243 (java) S 7241 7241 6705 0 -1 1077944320 10850 0 0 0 49 4 0 0 20 0 20 0 510740552 28909211648 12495 33554432000 4194304 4196468 140737290291360 140737290273904 140076739710711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 /proc/7243/statm: 7057913 12495 3331 1 0 7019032 0 [pid=7243/tid=7244] ppid=7241 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/7243/task/7244/stat : 7244 (java) R 7241 7241 6705 0 -1 4202560 7788 0 0 0 27 3 0 0 20 0 20 0 510740553 28909211648 12495 33554432000 4194304 4196468 140737290291360 140076743941824 140076723791198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7245] ppid=7241 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7245/stat : 7245 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28909211648 12495 33554432000 4194304 4196468 140737290291360 140076692331280 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7246] ppid=7241 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7246/stat : 7246 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28909211648 12495 33554432000 4194304 4196468 140737290291360 140076691278736 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7247] ppid=7241 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7247/stat : 7247 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28909211648 12495 33554432000 4194304 4196468 140737290291360 140076690226192 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7248] ppid=7241 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7248/stat : 7248 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28909211648 12495 33554432000 4194304 4196468 140737290291360 140076689173648 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7249] ppid=7241 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7249/stat : 7249 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510740554 28909211648 12495 33554432000 4194304 4196468 140737290291360 140076688120080 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7250] ppid=7241 vsize=28231652 memory=140385838000815 CPUtime=0 cores=0-7 /proc/7243/task/7250/stat : 7250 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28909211648 12495 33554432000 4194304 4196468 140737290291360 140076687067536 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7251] ppid=7241 vsize=28231652 memory=140385838003120 CPUtime=0 cores=0-7 /proc/7243/task/7251/stat : 7251 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28909211648 12495 33554432000 4194304 4196468 140737290291360 140076686014992 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7252] ppid=7241 vsize=28231652 memory=140385838005424 CPUtime=0 cores=0-7 /proc/7243/task/7252/stat : 7252 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28909211648 12495 33554432000 4194304 4196468 140737290291360 140076684962448 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7253] ppid=7241 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7253/stat : 7253 (java) S 7241 7241 6705 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510740555 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075922852336 140076739721858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7254] ppid=7241 vsize=28231652 memory=280771676024720 CPUtime=0 cores=0-7 /proc/7243/task/7254/stat : 7254 (java) S 7241 7241 6705 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510740555 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075921798560 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7255] ppid=7241 vsize=28231652 memory=280771676022416 CPUtime=0 cores=0-7 /proc/7243/task/7255/stat : 7255 (java) S 7241 7241 6705 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510740556 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075920745968 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7256] ppid=7241 vsize=28231652 memory=280771676029328 CPUtime=0 cores=0-7 /proc/7243/task/7256/stat : 7256 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740558 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075919694544 140076739729307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7257] ppid=7241 vsize=28231652 memory=280771675970576 CPUtime=0.02 cores=0-7 /proc/7243/task/7257/stat : 7257 (java) S 7241 7241 6705 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 20 0 510740558 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075918641136 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7258] ppid=7241 vsize=28231652 memory=280771676043152 CPUtime=0.03 cores=0-7 /proc/7243/task/7258/stat : 7258 (java) R 7241 7241 6705 0 -1 4202560 155 0 0 0 3 0 0 0 20 0 20 0 510740558 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075917578976 140076724837112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7259] ppid=7241 vsize=28231652 memory=280771676050064 CPUtime=0.02 cores=0-7 /proc/7243/task/7259/stat : 7259 (java) S 7241 7241 6705 0 -1 1077944384 194 0 0 0 2 0 0 0 20 0 20 0 510740558 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075916536048 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7260] ppid=7241 vsize=28231652 memory=280771676047760 CPUtime=0.12 cores=0-7 /proc/7243/task/7260/stat : 7260 (java) S 7241 7241 6705 0 -1 1077944384 887 0 0 0 12 0 0 0 20 0 20 0 510740558 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075915483504 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7261] ppid=7241 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7261/stat : 7261 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510740558 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075914431200 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7262] ppid=7241 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/7243/task/7262/stat : 7262 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740559 28909211648 12495 33554432000 4194304 4196468 140737290291360 140075913378736 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51428 KiB [startup+0.701052 s] /proc/loadavg: 5.73 6.47 7.48 6/211 7262 /proc/meminfo: memFree=25679552/32770624 swapFree=66966880/67108860 [pid=7241] ppid=7238 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7241/stat : 7241 (xcsp3-exec) S 7238 7241 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510740552 115843072 362 33554432000 4194304 5098028 140732665909536 140732665907640 139968061235836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140732665914193 140732665914453 140732665914453 140732665917382 0 /proc/7241/statm: 28282 362 304 221 0 87 0 [pid=7243] ppid=7241 vsize=28233776 memory=131616 CPUtime=2.03 cores=0-7 /proc/7243/stat : 7243 (java) S 7241 7241 6705 0 -1 1077944320 15370 0 0 0 197 6 0 0 20 0 20 0 510740552 28911386624 32904 33554432000 4194304 4196468 140737290291360 140737290273904 140076739710711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 /proc/7243/statm: 7058444 32904 3448 1 0 7019544 0 [pid=7243/tid=7244] ppid=7241 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/7243/task/7244/stat : 7244 (java) R 7241 7241 6705 0 -1 4202560 8469 0 0 0 65 3 0 0 20 0 20 0 510740553 28911386624 32904 33554432000 4194304 4196468 140737290291360 140076743946240 140076739722646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7245] ppid=7241 vsize=28233776 memory=140385838211952 CPUtime=0 cores=0-7 /proc/7243/task/7245/stat : 7245 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28911386624 32904 33554432000 4194304 4196468 140737290291360 140076692331280 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7246] ppid=7241 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7246/stat : 7246 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510740554 28911386624 32904 33554432000 4194304 4196468 140737290291360 140076691278736 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7247] ppid=7241 vsize=28233776 memory=8136 CPUtime=0 cores=0-7 /proc/7243/task/7247/stat : 7247 (java) S 7241 7241 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510740554 28911386624 32904 33554432000 4194304 4196468 140737290291360 140076690226192 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 ################ # More data... # ################ [pid=7243/tid=7260] ppid=7241 vsize=28766288 memory=7739830002910390885 CPUtime=0.66 cores=0-7 /proc/7243/task/7260/stat : 7260 (java) R 7241 7241 6705 0 -1 1077944384 2805 0 0 0 65 1 0 0 20 0 28 0 510740558 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075915483504 140076739721858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7261] ppid=7241 vsize=28766288 memory=6082514196445294695 CPUtime=0 cores=0-7 /proc/7243/task/7261/stat : 7261 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510740558 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075914431200 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7262] ppid=7241 vsize=28766288 memory=7666907110368111208 CPUtime=0 cores=0-7 /proc/7243/task/7262/stat : 7262 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510740559 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075913378736 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7263] ppid=7241 vsize=28766288 memory=140385959544448 CPUtime=0.69 cores=0-7 /proc/7243/task/7263/stat : 7263 (java) R 7241 7241 6705 0 -1 4202560 50 0 0 0 69 0 0 0 20 0 28 0 510740695 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075904159288 140076356685816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7264] ppid=7241 vsize=28766288 memory=1448 CPUtime=0.66 cores=0-7 /proc/7243/task/7264/stat : 7264 (java) R 7241 7241 6705 0 -1 4202560 43 0 0 0 66 0 0 0 20 0 28 0 510740696 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075903108800 140076355301104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7265] ppid=7241 vsize=28766288 memory=370112 CPUtime=0.7 cores=0-7 /proc/7243/task/7265/stat : 7265 (java) R 7241 7241 6705 0 -1 4202560 47 0 0 0 70 0 0 0 20 0 28 0 510740696 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075902055816 140076356032533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7266] ppid=7241 vsize=28766288 memory=-2026666227646604569 CPUtime=0.73 cores=0-7 /proc/7243/task/7266/stat : 7266 (java) R 7241 7241 6705 0 -1 4202560 72 0 0 0 73 0 0 0 20 0 28 0 510740696 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075901001168 140076356687631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7267] ppid=7241 vsize=28766288 memory=-7022074515825631275 CPUtime=0.82 cores=0-7 /proc/7243/task/7267/stat : 7267 (java) R 7241 7241 6705 0 -1 4202560 34 0 0 0 82 0 0 0 20 0 28 0 510740696 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075899951656 140076356511802 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7268] ppid=7241 vsize=28766288 memory=-4695043397844020537 CPUtime=0.79 cores=0-7 /proc/7243/task/7268/stat : 7268 (java) R 7241 7241 6705 0 -1 4202560 38 0 0 0 79 0 0 0 20 0 28 0 510740696 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075898897800 140076355611547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7269] ppid=7241 vsize=28766288 memory=8562125494162282060 CPUtime=0.62 cores=0-7 /proc/7243/task/7269/stat : 7269 (java) R 7241 7241 6705 0 -1 4202560 39 0 0 0 62 0 0 0 20 0 28 0 510740696 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075897844184 140076355611466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7270] ppid=7241 vsize=28766288 memory=-2892745056948402235 CPUtime=0.7 cores=0-7 /proc/7243/task/7270/stat : 7270 (java) R 7241 7241 6705 0 -1 4202560 38 0 0 0 70 0 0 0 20 0 28 0 510740696 29456678912 93255 33554432000 4194304 4196468 140737290291360 140075896791944 140076356032702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 Current children cumulated CPU time: 12 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 374468 KiB [startup+2.80161 s] /proc/loadavg: 5.67 6.45 7.46 15/220 7271 /proc/meminfo: memFree=25374844/32770624 swapFree=66966880/67108860 [pid=7241] ppid=7238 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7241/stat : 7241 (xcsp3-exec) S 7238 7241 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510740552 115843072 362 33554432000 4194304 5098028 140732665909536 140732665907640 139968061235836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140732665914193 140732665914453 140732665914453 140732665917382 0 /proc/7241/statm: 28282 362 304 221 0 87 0 [pid=7243] ppid=7241 vsize=28766288 memory=373640 CPUtime=15.11 cores=0-7 /proc/7243/stat : 7243 (java) S 7241 7241 6705 0 -1 1077944320 20160 0 0 0 1488 23 0 0 20 0 28 0 510740552 29456678912 93410 33554432000 4194304 4196468 140737290291360 140737290273904 140076739710711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 /proc/7243/statm: 7191572 93410 3518 1 0 7152672 0 [pid=7243/tid=7244] ppid=7241 vsize=28766288 memory=0 CPUtime=1.35 cores=0-7 /proc/7243/task/7244/stat : 7244 (java) S 7241 7241 6705 0 -1 1077944384 9253 0 0 0 130 5 0 0 20 0 28 0 510740553 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076743951488 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7245] ppid=7241 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/7243/task/7245/stat : 7245 (java) S 7241 7241 6705 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076692331280 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7246] ppid=7241 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7 /proc/7243/task/7246/stat : 7246 (java) S 7241 7241 6705 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076691278736 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7247] ppid=7241 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/7243/task/7247/stat : 7247 (java) S 7241 7241 6705 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076690226192 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7248] ppid=7241 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7 /proc/7243/task/7248/stat : 7248 (java) S 7241 7241 6705 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076689173648 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7249] ppid=7241 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/7243/task/7249/stat : 7249 (java) S 7241 7241 6705 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076688120080 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7250] ppid=7241 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7 /proc/7243/task/7250/stat : 7250 (java) S 7241 7241 6705 0 -1 1077944384 35 0 0 0 2 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076687067536 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7251] ppid=7241 vsize=28766288 memory=280771676707392 CPUtime=0.03 cores=0-7 /proc/7243/task/7251/stat : 7251 (java) S 7241 7241 6705 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076686014992 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7252] ppid=7241 vsize=28766288 memory=31099858204834 CPUtime=0.02 cores=0-7 /proc/7243/task/7252/stat : 7252 (java) S 7241 7241 6705 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076684962448 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7253] ppid=7241 vsize=28766288 memory=31099858204835 CPUtime=0 cores=0-7 /proc/7243/task/7253/stat : 7253 (java) S 7241 7241 6705 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 510740555 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075922852336 140076739721858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7254] ppid=7241 vsize=28766288 memory=31099858204836 CPUtime=0 cores=0-7 /proc/7243/task/7254/stat : 7254 (java) S 7241 7241 6705 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510740555 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075921798624 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7255] ppid=7241 vsize=28766288 memory=31099858204837 CPUtime=0 cores=0-7 /proc/7243/task/7255/stat : 7255 (java) S 7241 7241 6705 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510740556 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075920745984 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7256] ppid=7241 vsize=28766288 memory=31099858204838 CPUtime=0 cores=0-7 /proc/7243/task/7256/stat : 7256 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075919694544 140076739729307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7257] ppid=7241 vsize=28766288 memory=31099858204839 CPUtime=1.3 cores=0-7 /proc/7243/task/7257/stat : 7257 (java) S 7241 7241 6705 0 -1 1077944384 2058 0 0 0 130 0 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075918641136 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7258] ppid=7241 vsize=28766288 memory=9825 CPUtime=1.44 cores=0-7 /proc/7243/task/7258/stat : 7258 (java) S 7241 7241 6705 0 -1 1077944384 2094 0 0 0 143 1 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075917588592 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7259] ppid=7241 vsize=28766288 memory=0 CPUtime=1.43 cores=0-7 /proc/7243/task/7259/stat : 7259 (java) R 7241 7241 6705 0 -1 1077944384 1795 0 0 0 141 2 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075916536048 140076739721858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7260] ppid=7241 vsize=28766288 memory=0 CPUtime=0.68 cores=0-7 /proc/7243/task/7260/stat : 7260 (java) S 7241 7241 6705 0 -1 1077944384 2830 0 0 0 67 1 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075915483504 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7261] ppid=7241 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7261/stat : 7261 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075914431200 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7262] ppid=7241 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7262/stat : 7262 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510740559 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075913378736 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7263] ppid=7241 vsize=28766288 memory=8112282956445269571 CPUtime=0.96 cores=0-7 /proc/7243/task/7263/stat : 7263 (java) R 7241 7241 6705 0 -1 4202560 52 0 0 0 96 0 0 0 20 0 28 0 510740695 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075904159512 140076356689316 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7264] ppid=7241 vsize=28766288 memory=0 CPUtime=1.05 cores=0-7 /proc/7243/task/7264/stat : 7264 (java) R 7241 7241 6705 0 -1 4202560 49 0 0 0 105 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075903108616 140076356686508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7265] ppid=7241 vsize=28766288 memory=0 CPUtime=1.08 cores=0-7 /proc/7243/task/7265/stat : 7265 (java) R 7241 7241 6705 0 -1 4202560 55 0 0 0 108 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075902054056 140076356511161 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7266] ppid=7241 vsize=28766288 memory=0 CPUtime=1.11 cores=0-7 /proc/7243/task/7266/stat : 7266 (java) R 7241 7241 6705 0 -1 4202560 83 0 0 0 111 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075901002184 140076356032702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7267] ppid=7241 vsize=28766288 memory=0 CPUtime=1.21 cores=0-7 /proc/7243/task/7267/stat : 7267 (java) R 7241 7241 6705 0 -1 4202560 37 0 0 0 121 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075899950792 140076356032702 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7268] ppid=7241 vsize=28766288 memory=0 CPUtime=1.17 cores=0-7 /proc/7243/task/7268/stat : 7268 (java) R 7241 7241 6705 0 -1 4202560 40 0 0 0 117 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075898897048 140076356510929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7269] ppid=7241 vsize=28766288 memory=0 CPUtime=0.93 cores=0-7 /proc/7243/task/7269/stat : 7269 (java) R 7241 7241 6705 0 -1 4202560 40 0 0 0 93 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075897844184 140076356688145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7270] ppid=7241 vsize=28766288 memory=0 CPUtime=1.02 cores=0-7 /proc/7243/task/7270/stat : 7270 (java) R 7241 7241 6705 0 -1 4202560 40 0 0 0 102 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075896791944 140076356687653 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 Current children cumulated CPU time: 15.11 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 375088 KiB [startup+2.90161 s] /proc/loadavg: 5.67 6.45 7.46 15/220 7271 /proc/meminfo: memFree=25374844/32770624 swapFree=66966880/67108860 [pid=7241] ppid=7238 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7241/stat : 7241 (xcsp3-exec) S 7238 7241 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510740552 115843072 362 33554432000 4194304 5098028 140732665909536 140732665907640 139968061235836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140732665914193 140732665914453 140732665914453 140732665917382 0 /proc/7241/statm: 28282 362 304 221 0 87 0 [pid=7243] ppid=7241 vsize=28766288 memory=373640 CPUtime=15.9 cores=0-7 /proc/7243/stat : 7243 (java) S 7241 7241 6705 0 -1 1077944320 20165 0 0 0 1567 23 0 0 20 0 28 0 510740552 29456678912 93410 33554432000 4194304 4196468 140737290291360 140737290273904 140076739710711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 /proc/7243/statm: 7191572 93410 3518 1 0 7152672 0 [pid=7243/tid=7244] ppid=7241 vsize=28766288 memory=1448 CPUtime=1.35 cores=0-7 /proc/7243/task/7244/stat : 7244 (java) S 7241 7241 6705 0 -1 1077944384 9253 0 0 0 130 5 0 0 20 0 28 0 510740553 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076743951488 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7245] ppid=7241 vsize=28766288 memory=237208 CPUtime=0.01 cores=0-7 /proc/7243/task/7245/stat : 7245 (java) S 7241 7241 6705 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076692331280 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7246] ppid=7241 vsize=28766288 memory=370684 CPUtime=0.03 cores=0-7 /proc/7243/task/7246/stat : 7246 (java) S 7241 7241 6705 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076691278736 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7247] ppid=7241 vsize=28766288 memory=7374200622665457773 CPUtime=0.02 cores=0-7 /proc/7243/task/7247/stat : 7247 (java) S 7241 7241 6705 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076690226192 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7248] ppid=7241 vsize=28766288 memory=7594864858138240616 CPUtime=0.03 cores=0-7 /proc/7243/task/7248/stat : 7248 (java) S 7241 7241 6705 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076689173648 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7249] ppid=7241 vsize=28766288 memory=55 CPUtime=0.02 cores=0-7 /proc/7243/task/7249/stat : 7249 (java) S 7241 7241 6705 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076688120080 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7250] ppid=7241 vsize=28766288 memory=9125 CPUtime=0.03 cores=0-7 /proc/7243/task/7250/stat : 7250 (java) S 7241 7241 6705 0 -1 1077944384 35 0 0 0 2 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076687067536 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7251] ppid=7241 vsize=28766288 memory=22713 CPUtime=0.03 cores=0-7 /proc/7243/task/7251/stat : 7251 (java) S 7241 7241 6705 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076686014992 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7252] ppid=7241 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/7243/task/7252/stat : 7252 (java) S 7241 7241 6705 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 510740554 29456678912 93410 33554432000 4194304 4196468 140737290291360 140076684962448 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7253] ppid=7241 vsize=28766288 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/7243/task/7253/stat : 7253 (java) S 7241 7241 6705 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 28 0 510740555 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075922852336 140076739721858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7254] ppid=7241 vsize=28766288 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/7243/task/7254/stat : 7254 (java) S 7241 7241 6705 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510740555 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075921798624 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7255] ppid=7241 vsize=28766288 memory=15822209369245735 CPUtime=0 cores=0-7 /proc/7243/task/7255/stat : 7255 (java) S 7241 7241 6705 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510740556 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075920745984 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7256] ppid=7241 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7256/stat : 7256 (java) S 7241 7241 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075919694544 140076739729307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7257] ppid=7241 vsize=28766288 memory=0 CPUtime=1.3 cores=0-7 /proc/7243/task/7257/stat : 7257 (java) S 7241 7241 6705 0 -1 1077944384 2058 0 0 0 130 0 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075918641136 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7258] ppid=7241 vsize=28766288 memory=140385838120536 CPUtime=1.44 cores=0-7 /proc/7243/task/7258/stat : 7258 (java) S 7241 7241 6705 0 -1 1077944384 2094 0 0 0 143 1 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075917588592 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7259] ppid=7241 vsize=28766288 memory=7887619824144493131 CPUtime=1.43 cores=0-7 /proc/7243/task/7259/stat : 7259 (java) S 7241 7241 6705 0 -1 1077944384 1795 0 0 0 141 2 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075916536048 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7260] ppid=7241 vsize=28766288 memory=-7812736537705029536 CPUtime=0.68 cores=0-7 /proc/7243/task/7260/stat : 7260 (java) S 7241 7241 6705 0 -1 1077944384 2831 0 0 0 67 1 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075915483504 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7261] ppid=7241 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7261/stat : 7261 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510740558 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075914431200 140076739720917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7262] ppid=7241 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/7243/task/7262/stat : 7262 (java) S 7241 7241 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510740559 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075913378736 140076739721858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7263] ppid=7241 vsize=28766288 memory=0 CPUtime=1.06 cores=0-7 /proc/7243/task/7263/stat : 7263 (java) R 7241 7241 6705 0 -1 4202560 53 0 0 0 106 0 0 0 20 0 28 0 510740695 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075904159304 140076356032697 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7264] ppid=7241 vsize=28766288 memory=280771676494816 CPUtime=1.15 cores=0-7 /proc/7243/task/7264/stat : 7264 (java) R 7241 7241 6705 0 -1 4202560 49 0 0 0 115 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075903107824 140076356687787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7265] ppid=7241 vsize=28766288 memory=7594864858138043755 CPUtime=1.18 cores=0-7 /proc/7243/task/7265/stat : 7265 (java) R 7241 7241 6705 0 -1 4202560 55 0 0 0 118 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075902056584 140076356686049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7266] ppid=7241 vsize=28766288 memory=7661581114999399271 CPUtime=1.21 cores=0-7 /proc/7243/task/7266/stat : 7266 (java) R 7241 7241 6705 0 -1 4202560 84 0 0 0 121 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075901002632 140076356032666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7267] ppid=7241 vsize=28766288 memory=7014751519666952039 CPUtime=1.31 cores=0-7 /proc/7243/task/7267/stat : 7267 (java) R 7241 7241 6705 0 -1 4202560 37 0 0 0 131 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075899948824 140076356687552 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7268] ppid=7241 vsize=28766288 memory=3689913976284524592 CPUtime=1.27 cores=0-7 /proc/7243/task/7268/stat : 7268 (java) R 7241 7241 6705 0 -1 4202560 41 0 0 0 127 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075898896680 140076356687396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7269] ppid=7241 vsize=28766288 memory=2241 CPUtime=1.03 cores=0-7 /proc/7243/task/7269/stat : 7269 (java) R 7241 7241 6705 0 -1 4202560 40 0 0 0 103 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075897846128 140076356073332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 [pid=7243/tid=7270] ppid=7241 vsize=28766288 memory=2244 CPUtime=1.12 cores=0-7 /proc/7243/task/7270/stat : 7270 (java) R 7241 7241 6705 0 -1 4202560 40 0 0 0 112 0 0 0 20 0 28 0 510740696 29456678912 93410 33554432000 4194304 4196468 140737290291360 140075896793472 140076356834220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36012032 140737290294230 140737290294406 140737290294406 140737290297295 0 Current children cumulated CPU time: 15.9 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 375088 KiB Child status: 0 Real time (s): 2.9982 CPU time (s): 16.6106 CPU user time (s): 16.363 CPU system time (s): 0.247531 CPU usage (%): 554.019 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 375088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.363 system time used= 0.247531 maximum resident set size= 374996 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20771 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3348 involuntary context switches= 482 # summary of solver processes directly reported to runsolver: # pid: 7241 # total CPU time (s): 16.6106 # total CPU user time (s): 16.363 # total CPU system time (s): 0.247531 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.045261 second user time and 0.071398 second system time The end
Begin job on node145 at 2019-09-24 19:59:59 IDJOB=4406631 IDBENCH=126157 IDSOLVER=2871 FILE ID=node145/4406631-1569348041 RUNJOBID= node145-1569347784-6732 PBS_JOBID= 21705075 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-08.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-4406631-1569348041/watcher-4406631-1569348041 -o /var/tmp/evaluation-result-4406631-1569348041/solver-4406631-1569348041 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569347784-6732 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1286967475 HOME/instance-4406631-1569348041.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ee1da6b537c1ecd46a877bd70c24ae39 RANDOM SEED=1286967475 node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25744312 kB MemAvailable: 31809844 kB Buffers: 151736 kB Cached: 6066152 kB SwapCached: 32456 kB Active: 3046616 kB Inactive: 3208116 kB Active(anon): 4616 kB Inactive(anon): 89852 kB Active(file): 3042000 kB Inactive(file): 3118264 kB Unevictable: 108772 kB Mlocked: 108772 kB SwapTotal: 67108860 kB SwapFree: 66966880 kB Dirty: 27028 kB Writeback: 0 kB AnonPages: 113376 kB Mapped: 57252 kB Shmem: 48848 kB Slab: 362752 kB SReclaimable: 333728 kB SUnreclaim: 29024 kB KernelStack: 3408 kB PageTables: 5656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514388 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node145 at 2019-09-24 20:00:02