Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 972.873 | 123.348 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-26-080.xml |
MD5SUM | 82f2ba8c739d4bfd8362bd41c1ff224a |
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 | 7.46308 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 52 |
Number of constraints | 325 |
Number of domains | 26 |
Minimum domain size | 55 |
Maximum domain size | 80 |
Distribution of domain sizes | [{"size":55,"count":2},{"size":56,"count":2},{"size":57,"count":2},{"size":58,"count":2},{"size":59,"count":2},{"size":60,"count":2},{"size":61,"count":2},{"size":62,"count":2},{"size":63,"count":2},{"size":64,"count":2},{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2}] |
Minimum variable degree | 25 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":25,"count":52}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":325}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 325 |
Distribution of constraint types | [{"type":"intension","count":325}] |
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-4406626-1569364817.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406626-1569364817.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.61/1.56 c solve instance... 972.82/123.31 s SATISFIABLE 972.82/123.31 v <instantiation> 972.82/123.31 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] </list> 972.82/123.31 v <values>24 24 45 20 46 59 51 58 10 0 19 46 67 19 43 25 26 41 0 26 59 58 57 33 0 0 52 53 53 51 19 43 18 49 51 51 55 26 43 66 38 2 38 0 61 18 0 21 57 56 0 25 </values> 972.82/123.31 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 (13542 MiB free) memory of node 1: 16384 MiB (14261 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406626-1569364817/watcher-4406626-1569364817 -o /var/tmp/evaluation-result-4406626-1569364817/solver-4406626-1569364817 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569359267-27104 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 265119984 HOME/instance-4406626-1569364817.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 solver pid=28638, runsolver pid=28635 Current StackSize limit: 8192 KiB [startup+0.100125 s]* /proc/loadavg: 7.16 6.18 6.48 2/211 28659 /proc/meminfo: memFree=28456064/32770624 swapFree=67023968/67108860 [pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 27077 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512754187 115843072 363 33554432000 4194304 5098028 140721226655200 140721226653304 139966441120380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16093184 140721226662738 140721226662997 140721226662997 140721226665926 0 /proc/28638/statm: 28282 363 304 221 0 87 0 [pid=28640] ppid=28638 vsize=28227396 memory=28676 CPUtime=0.12 cores=0-7 /proc/28640/stat : 28640 (java) S 28638 28638 27077 0 -1 1077944320 5657 0 0 0 11 1 0 0 20 0 20 0 512754188 28904853504 7169 33554432000 4194304 4196468 140726104162368 140726104144912 140441968570103 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 /proc/28640/statm: 7056849 7169 3115 1 0 7019032 0 [pid=28640/tid=28641] ppid=28638 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/28640/task/28641/stat : 28641 (java) R 28638 28638 27077 0 -1 4202560 3596 0 0 0 8 0 0 0 20 0 20 0 512754188 28904853504 7169 33554432000 4194304 4196468 140726104162368 140441972794944 140441968582038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28642] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28642/stat : 28642 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 7169 33554432000 4194304 4196468 140726104162368 140441888423056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28643] ppid=28638 vsize=28227396 memory=140350489482880 CPUtime=0 cores=0-7 /proc/28640/task/28643/stat : 28643 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 7169 33554432000 4194304 4196468 140726104162368 140441887370256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28644] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28644/stat : 28644 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 7169 33554432000 4194304 4196468 140726104162368 140441886317456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28645] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28645/stat : 28645 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 7169 33554432000 4194304 4196468 140726104162368 140441885264656 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28646] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28646/stat : 28646 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 7169 33554432000 4194304 4196468 140726104162368 140441884211856 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28647] ppid=28638 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28640/task/28647/stat : 28647 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 7169 33554432000 4194304 4196468 140726104162368 140441883159056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28648] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28648/stat : 28648 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 7169 33554432000 4194304 4196468 140726104162368 140441882106256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28649] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28649/stat : 28649 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 7169 33554432000 4194304 4196468 140726104162368 140441881053456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28650] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28650/stat : 28650 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754190 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440950131568 140441968581250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28651] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28651/stat : 28651 (java) S 28638 28638 27077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512754191 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440949077536 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28652] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28652/stat : 28652 (java) S 28638 28638 27077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512754191 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440948024688 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28653] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28653/stat : 28653 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754193 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440946973008 140441968588699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28654] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28654/stat : 28654 (java) S 28638 28638 27077 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 512754193 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440945920368 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28655] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28655/stat : 28655 (java) S 28638 28638 27077 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 512754194 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440944867568 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28656] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28656/stat : 28656 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512754194 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440943814768 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28657] ppid=28638 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28640/task/28657/stat : 28657 (java) R 28638 28638 27077 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 20 0 512754194 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440942761968 140441960807230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28658] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28658/stat : 28658 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512754194 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440941710432 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28659] ppid=28638 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28640/task/28659/stat : 28659 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754194 28904853504 7169 33554432000 4194304 4196468 140726104162368 140440940657712 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30128 KiB [startup+0.210329 s]* /proc/loadavg: 7.16 6.18 6.48 2/211 28659 /proc/meminfo: memFree=28432192/32770624 swapFree=67023968/67108860 [pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 27077 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512754187 115843072 363 33554432000 4194304 5098028 140721226655200 140721226653304 139966441120380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16093184 140721226662738 140721226662997 140721226662997 140721226665926 0 /proc/28638/statm: 28282 363 304 221 0 87 0 [pid=28640] ppid=28638 vsize=28227396 memory=41088 CPUtime=0.34 cores=0-7 /proc/28640/stat : 28640 (java) S 28638 28638 27077 0 -1 1077944320 9562 0 0 0 31 3 0 0 20 0 20 0 512754188 28904853504 10272 33554432000 4194304 4196468 140726104162368 140726104144912 140441968570103 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 /proc/28640/statm: 7056849 10272 3289 1 0 7019032 0 [pid=28640/tid=28641] ppid=28638 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/28640/task/28641/stat : 28641 (java) R 28638 28638 27077 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 20 0 512754188 28904853504 10272 33554432000 4194304 4196468 140726104162368 140441972804224 140441968582038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28642] ppid=28638 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/28640/task/28642/stat : 28642 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 10272 33554432000 4194304 4196468 140726104162368 140441888423056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28643] ppid=28638 vsize=28227396 memory=140350489510214 CPUtime=0 cores=0-7 /proc/28640/task/28643/stat : 28643 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 10272 33554432000 4194304 4196468 140726104162368 140441887370256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28644] ppid=28638 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28640/task/28644/stat : 28644 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 10272 33554432000 4194304 4196468 140726104162368 140441886317456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28645] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28645/stat : 28645 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 10272 33554432000 4194304 4196468 140726104162368 140441885264656 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28646] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28646/stat : 28646 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 10272 33554432000 4194304 4196468 140726104162368 140441884211856 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28647] ppid=28638 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28640/task/28647/stat : 28647 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 10272 33554432000 4194304 4196468 140726104162368 140441883159056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28648] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28648/stat : 28648 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 10272 33554432000 4194304 4196468 140726104162368 140441882106256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28649] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28649/stat : 28649 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28904853504 10272 33554432000 4194304 4196468 140726104162368 140441881053456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28650] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28650/stat : 28650 (java) S 28638 28638 27077 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512754190 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440950131568 140441968581250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28651] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28651/stat : 28651 (java) S 28638 28638 27077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512754191 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440949077536 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28652] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28652/stat : 28652 (java) S 28638 28638 27077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512754191 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440948024688 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28653] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28653/stat : 28653 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754193 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440946973008 140441968588699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28654] ppid=28638 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28640/task/28654/stat : 28654 (java) S 28638 28638 27077 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 20 0 512754193 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440945920368 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28655] ppid=28638 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28640/task/28655/stat : 28655 (java) S 28638 28638 27077 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 20 0 512754194 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440944867568 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28656] ppid=28638 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/28640/task/28656/stat : 28656 (java) S 28638 28638 27077 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 512754194 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440943814768 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28657] ppid=28638 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/28640/task/28657/stat : 28657 (java) R 28638 28638 27077 0 -1 4202560 773 0 0 0 8 0 0 0 20 0 20 0 512754194 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440942761968 140441947877548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28658] ppid=28638 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28658/stat : 28658 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512754194 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440941710432 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28659] ppid=28638 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28640/task/28659/stat : 28659 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754194 28904853504 10272 33554432000 4194304 4196468 140726104162368 140440940657712 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42540 KiB [startup+0.309748 s]* /proc/loadavg: 7.16 6.18 6.48 3/211 28659 /proc/meminfo: memFree=28429924/32770624 swapFree=67023968/67108860 [pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 27077 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512754187 115843072 363 33554432000 4194304 5098028 140721226655200 140721226653304 139966441120380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16093184 140721226662738 140721226662997 140721226662997 140721226665926 0 /proc/28638/statm: 28282 363 304 221 0 87 0 [pid=28640] ppid=28638 vsize=28231652 memory=49544 CPUtime=0.52 cores=0-7 /proc/28640/stat : 28640 (java) S 28638 28638 27077 0 -1 1077944320 10781 0 0 0 48 4 0 0 20 0 20 0 512754188 28909211648 12386 33554432000 4194304 4196468 140726104162368 140726104144912 140441968570103 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 /proc/28640/statm: 7057913 12386 3331 1 0 7019032 0 [pid=28640/tid=28641] ppid=28638 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/28640/task/28641/stat : 28641 (java) R 28638 28638 27077 0 -1 4202560 7703 0 0 0 27 3 0 0 20 0 20 0 512754188 28909211648 12386 33554432000 4194304 4196468 140726104162368 140441972803888 140441952650590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28642] ppid=28638 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28642/stat : 28642 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28909211648 12386 33554432000 4194304 4196468 140726104162368 140441888423056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28643] ppid=28638 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28643/stat : 28643 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754189 28909211648 12386 33554432000 4194304 4196468 140726104162368 140441887370256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28644] ppid=28638 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28644/stat : 28644 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28909211648 12386 33554432000 4194304 4196468 140726104162368 140441886317456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28645] ppid=28638 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28645/stat : 28645 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512754189 28909211648 12386 33554432000 4194304 4196468 140726104162368 140441885264656 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28646] ppid=28638 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/28640/task/28646/stat : 28646 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754189 28909211648 12386 33554432000 4194304 4196468 140726104162368 140441884211856 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28647] ppid=28638 vsize=28231652 memory=140350337414063 CPUtime=0 cores=0-7 /proc/28640/task/28647/stat : 28647 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28909211648 12386 33554432000 4194304 4196468 140726104162368 140441883159056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28648] ppid=28638 vsize=28231652 memory=140350337416368 CPUtime=0 cores=0-7 /proc/28640/task/28648/stat : 28648 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28909211648 12386 33554432000 4194304 4196468 140726104162368 140441882106256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28649] ppid=28638 vsize=28231652 memory=140350337418672 CPUtime=0 cores=0-7 /proc/28640/task/28649/stat : 28649 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28909211648 12386 33554432000 4194304 4196468 140726104162368 140441881053456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28650] ppid=28638 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28650/stat : 28650 (java) S 28638 28638 27077 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512754190 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440950131568 140441968581250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28651] ppid=28638 vsize=28231652 memory=280700674844304 CPUtime=0 cores=0-7 /proc/28640/task/28651/stat : 28651 (java) S 28638 28638 27077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512754191 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440949077536 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28652] ppid=28638 vsize=28231652 memory=280700674851216 CPUtime=0 cores=0-7 /proc/28640/task/28652/stat : 28652 (java) S 28638 28638 27077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512754191 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440948024688 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28653] ppid=28638 vsize=28231652 memory=280700674792496 CPUtime=0 cores=0-7 /proc/28640/task/28653/stat : 28653 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754193 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440946973008 140441968588699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28654] ppid=28638 vsize=28231652 memory=280700674865040 CPUtime=0.02 cores=0-7 /proc/28640/task/28654/stat : 28654 (java) S 28638 28638 27077 0 -1 1077944384 492 0 0 0 2 0 0 0 20 0 20 0 512754193 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440945920368 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28655] ppid=28638 vsize=28231652 memory=280700674871952 CPUtime=0.03 cores=0-7 /proc/28640/task/28655/stat : 28655 (java) R 28638 28638 27077 0 -1 4202560 358 0 0 0 3 0 0 0 20 0 20 0 512754194 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440944857952 140441952100133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28656] ppid=28638 vsize=28231652 memory=280700674869648 CPUtime=0.02 cores=0-7 /proc/28640/task/28656/stat : 28656 (java) S 28638 28638 27077 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 20 0 512754194 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440943814768 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28657] ppid=28638 vsize=28231652 memory=280700674885808 CPUtime=0.12 cores=0-7 /proc/28640/task/28657/stat : 28657 (java) S 28638 28638 27077 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 20 0 512754194 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440942761968 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28658] ppid=28638 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28658/stat : 28658 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512754194 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440941710432 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28659] ppid=28638 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/28640/task/28659/stat : 28659 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754194 28909211648 12386 33554432000 4194304 4196468 140726104162368 140440940657712 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50996 KiB [startup+0.700887 s] /proc/loadavg: 7.16 6.18 6.48 2/211 28659 /proc/meminfo: memFree=28430520/32770624 swapFree=67023968/67108860 [pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 27077 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512754187 115843072 363 33554432000 4194304 5098028 140721226655200 140721226653304 139966441120380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16093184 140721226662738 140721226662997 140721226662997 140721226665926 0 /proc/28638/statm: 28282 363 304 221 0 87 0 [pid=28640] ppid=28638 vsize=28233776 memory=73932 CPUtime=1.24 cores=0-7 /proc/28640/stat : 28640 (java) S 28638 28638 27077 0 -1 1077944320 15309 0 0 0 118 6 0 0 20 0 20 0 512754188 28911386624 18483 33554432000 4194304 4196468 140726104162368 140726104144912 140441968570103 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 /proc/28640/statm: 7058444 18483 3444 1 0 7019544 0 [pid=28640/tid=28641] ppid=28638 vsize=28233776 memory=280700675243696 CPUtime=0.54 cores=0-7 /proc/28640/task/28641/stat : 28641 (java) R 28638 28638 27077 0 -1 4202560 9230 0 0 0 50 4 0 0 20 0 20 0 512754188 28911386624 18483 33554432000 4194304 4196468 140726104162368 140441972805728 140441968591450 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28642] ppid=28638 vsize=28233776 memory=140350337622896 CPUtime=0 cores=0-7 /proc/28640/task/28642/stat : 28642 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28911386624 18483 33554432000 4194304 4196468 140726104162368 140441888423056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28643] ppid=28638 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28640/task/28643/stat : 28643 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512754189 28911386624 18483 33554432000 4194304 4196468 140726104162368 140441887370256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28644] ppid=28638 vsize=28233776 memory=1076 CPUtime=0 cores=0-7 /proc/28640/task/28644/stat : 28644 (java) S 28638 28638 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512754189 28911386624 18483 33554432000 4194304 4196468 140726104162368 140441886317456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 ################ # More data... # ################ [pid=28640/tid=28657] ppid=28638 vsize=28768336 memory=2226760 CPUtime=0.89 cores=0-7 /proc/28640/task/28657/stat : 28657 (java) S 28638 28638 27077 0 -1 1077944384 11275 0 0 0 87 2 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440942761968 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28658] ppid=28638 vsize=28768336 memory=2226760 CPUtime=0 cores=0-7 /proc/28640/task/28658/stat : 28658 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440941710432 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28659] ppid=28638 vsize=28768336 memory=1412 CPUtime=0.03 cores=0-7 /proc/28640/task/28659/stat : 28659 (java) S 28638 28638 27077 0 -1 1077944384 666 0 0 0 0 3 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440940657712 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28660] ppid=28638 vsize=28768336 memory=3508 CPUtime=119.78 cores=0-7 /proc/28640/task/28660/stat : 28660 (java) R 28638 28638 27077 0 -1 4202560 1234 0 0 0 11978 0 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440935963736 140441564095111 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28661] ppid=28638 vsize=28768336 memory=1452 CPUtime=120.13 cores=0-7 /proc/28640/task/28661/stat : 28661 (java) R 28638 28638 27077 0 -1 4202560 849 0 0 0 12013 0 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440076443928 140441565095961 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28662] ppid=28638 vsize=28768336 memory=2226760 CPUtime=118.91 cores=0-7 /proc/28640/task/28662/stat : 28662 (java) R 28638 28638 27077 0 -1 4202560 12796 0 0 0 11873 18 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440075390984 140441556545328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28663] ppid=28638 vsize=28768336 memory=6791534058613427641 CPUtime=120.24 cores=0-7 /proc/28640/task/28663/stat : 28663 (java) R 28638 28638 27077 0 -1 4202560 7848 0 0 0 12004 20 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440074338488 140441562487552 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28664] ppid=28638 vsize=28768336 memory=1584 CPUtime=120.28 cores=0-7 /proc/28640/task/28664/stat : 28664 (java) R 28638 28638 27077 0 -1 4202560 1575 0 0 0 12027 1 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440073285960 140441563430873 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28665] ppid=28638 vsize=28768336 memory=1740 CPUtime=120.55 cores=0-7 /proc/28640/task/28665/stat : 28665 (java) R 28638 28638 27077 0 -1 4202560 1564 0 0 0 12053 2 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440072235312 140441564818319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28666] ppid=28638 vsize=28768336 memory=924 CPUtime=119.89 cores=0-7 /proc/28640/task/28666/stat : 28666 (java) R 28638 28638 27077 0 -1 4202560 614 0 0 0 11989 0 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440071180872 140441562861221 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28667] ppid=28638 vsize=28768336 memory=1452 CPUtime=120.24 cores=0-7 /proc/28640/task/28667/stat : 28667 (java) R 28638 28638 27077 0 -1 4202560 2239 0 0 0 12020 4 0 0 20 0 28 0 512754347 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440070127912 140441562861088 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 Current children cumulated CPU time: 971.07 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2228212 KiB [startup+123.201 s] /proc/loadavg: 8.14 6.88 6.70 2/220 28683 /proc/meminfo: memFree=26256244/32770624 swapFree=67023968/67108860 [pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 27077 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512754187 115843072 363 33554432000 4194304 5098028 140721226655200 140721226653304 139966441120380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16093184 140721226662738 140721226662997 140721226662997 140721226665926 0 /proc/28638/statm: 28282 363 304 221 0 87 0 [pid=28640] ppid=28638 vsize=28768336 memory=2226760 CPUtime=972.72 cores=0-7 /proc/28640/stat : 28640 (java) S 28638 28638 27077 0 -1 1077944320 102263 0 0 0 97156 116 0 0 20 0 28 0 512754188 29458776064 556690 33554432000 4194304 4196468 140726104162368 140726104144912 140441968570103 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 /proc/28640/statm: 7192084 556690 3532 1 0 7153184 0 [pid=28640/tid=28641] ppid=28638 vsize=28768336 memory=3648 CPUtime=1.37 cores=0-7 /proc/28640/task/28641/stat : 28641 (java) S 28638 28638 27077 0 -1 1077944384 9844 0 0 0 131 6 0 0 20 0 28 0 512754188 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441972810880 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28642] ppid=28638 vsize=28768336 memory=1452 CPUtime=0.15 cores=0-7 /proc/28640/task/28642/stat : 28642 (java) S 28638 28638 27077 0 -1 1077944384 1237 0 0 0 9 6 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441888423056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28643] ppid=28638 vsize=28768336 memory=52752 CPUtime=0.17 cores=0-7 /proc/28640/task/28643/stat : 28643 (java) S 28638 28638 27077 0 -1 1077944384 343 0 0 0 11 6 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441887370256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28644] ppid=28638 vsize=28768336 memory=1040 CPUtime=0.16 cores=0-7 /proc/28640/task/28644/stat : 28644 (java) S 28638 28638 27077 0 -1 1077944384 335 0 0 0 11 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441886317456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28645] ppid=28638 vsize=28768336 memory=2084 CPUtime=0.15 cores=0-7 /proc/28640/task/28645/stat : 28645 (java) S 28638 28638 27077 0 -1 1077944384 407 0 0 0 9 6 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441885264656 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28646] ppid=28638 vsize=28768336 memory=1480 CPUtime=0.14 cores=0-7 /proc/28640/task/28646/stat : 28646 (java) S 28638 28638 27077 0 -1 1077944384 1259 0 0 0 9 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441884211856 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28647] ppid=28638 vsize=28768336 memory=2226760 CPUtime=0.14 cores=0-7 /proc/28640/task/28647/stat : 28647 (java) S 28638 28638 27077 0 -1 1077944384 525 0 0 0 9 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441883159056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28648] ppid=28638 vsize=28768336 memory=7236229500900889449 CPUtime=0.14 cores=0-7 /proc/28640/task/28648/stat : 28648 (java) S 28638 28638 27077 0 -1 1077944384 1092 0 0 0 9 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441882106256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28649] ppid=28638 vsize=28768336 memory=7454130749351154278 CPUtime=0.14 cores=0-7 /proc/28640/task/28649/stat : 28649 (java) S 28638 28638 27077 0 -1 1077944384 1042 0 0 0 9 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441881053456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28650] ppid=28638 vsize=28768336 memory=7454130749351154278 CPUtime=0.03 cores=0-7 /proc/28640/task/28650/stat : 28650 (java) S 28638 28638 27077 0 -1 1077944384 2996 0 0 0 3 0 0 0 20 0 28 0 512754190 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440950131568 140441968581250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28651] ppid=28638 vsize=28768336 memory=628 CPUtime=0 cores=0-7 /proc/28640/task/28651/stat : 28651 (java) S 28638 28638 27077 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 512754191 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440949077600 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28652] ppid=28638 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/28640/task/28652/stat : 28652 (java) S 28638 28638 27077 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 512754191 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440948024704 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28653] ppid=28638 vsize=28768336 memory=7822038051842261661 CPUtime=0 cores=0-7 /proc/28640/task/28653/stat : 28653 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512754193 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440946973008 140441968588699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28654] ppid=28638 vsize=28768336 memory=4715433313220523562 CPUtime=2.31 cores=0-7 /proc/28640/task/28654/stat : 28654 (java) S 28638 28638 27077 0 -1 1077944384 15491 0 0 0 228 3 0 0 20 0 28 0 512754193 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440945920368 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28655] ppid=28638 vsize=28768336 memory=9047017150487036571 CPUtime=2.49 cores=0-7 /proc/28640/task/28655/stat : 28655 (java) S 28638 28638 27077 0 -1 1077944384 12556 0 0 0 247 2 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440944867568 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28656] ppid=28638 vsize=28768336 memory=3124 CPUtime=2.48 cores=0-7 /proc/28640/task/28656/stat : 28656 (java) S 28638 28638 27077 0 -1 1077944384 12669 0 0 0 246 2 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440943814768 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28657] ppid=28638 vsize=28768336 memory=1244 CPUtime=0.89 cores=0-7 /proc/28640/task/28657/stat : 28657 (java) S 28638 28638 27077 0 -1 1077944384 11275 0 0 0 87 2 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440942761968 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28658] ppid=28638 vsize=28768336 memory=1760 CPUtime=0 cores=0-7 /proc/28640/task/28658/stat : 28658 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440941710432 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28659] ppid=28638 vsize=28768336 memory=1172 CPUtime=0.03 cores=0-7 /proc/28640/task/28659/stat : 28659 (java) S 28638 28638 27077 0 -1 1077944384 666 0 0 0 0 3 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440940657712 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28660] ppid=28638 vsize=28768336 memory=6344 CPUtime=119.96 cores=0-7 /proc/28640/task/28660/stat : 28660 (java) S 28638 28638 27077 0 -1 1077944384 1286 0 0 0 11996 0 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440935968720 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28661] ppid=28638 vsize=28768336 memory=828 CPUtime=120.31 cores=0-7 /proc/28640/task/28661/stat : 28661 (java) S 28638 28638 27077 0 -1 1077944384 876 0 0 0 12031 0 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440076448976 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28662] ppid=28638 vsize=28768336 memory=1452 CPUtime=119.31 cores=0-7 /proc/28640/task/28662/stat : 28662 (java) R 28638 28638 27077 0 -1 4202560 12803 0 0 0 11913 18 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440075390984 140441556545368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28663] ppid=28638 vsize=28768336 memory=2226760 CPUtime=120.42 cores=0-7 /proc/28640/task/28663/stat : 28663 (java) S 28638 28638 27077 0 -1 1077944384 8102 0 0 0 12022 20 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440074343376 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28664] ppid=28638 vsize=28768336 memory=1076 CPUtime=120.46 cores=0-7 /proc/28640/task/28664/stat : 28664 (java) S 28638 28638 27077 0 -1 1077944384 1600 0 0 0 12045 1 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440073290576 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28665] ppid=28638 vsize=28768336 memory=1452 CPUtime=120.73 cores=0-7 /proc/28640/task/28665/stat : 28665 (java) S 28638 28638 27077 0 -1 1077944384 1598 0 0 0 12071 2 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440072237776 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28666] ppid=28638 vsize=28768336 memory=2226760 CPUtime=120.07 cores=0-7 /proc/28640/task/28666/stat : 28666 (java) S 28638 28638 27077 0 -1 1077944384 638 0 0 0 12007 0 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440071186000 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28667] ppid=28638 vsize=28768336 memory=2256 CPUtime=120.42 cores=0-7 /proc/28640/task/28667/stat : 28667 (java) S 28638 28638 27077 0 -1 1077944384 2272 0 0 0 12038 4 0 0 20 0 28 0 512754347 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440070133200 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 Current children cumulated CPU time: 972.72 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2228212 KiB [startup+123.301 s] /proc/loadavg: 8.14 6.88 6.70 2/220 28683 /proc/meminfo: memFree=26256244/32770624 swapFree=67023968/67108860 [pid=28638] ppid=28635 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28638/stat : 28638 (xcsp3-exec) S 28635 28638 27077 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512754187 115843072 363 33554432000 4194304 5098028 140721226655200 140721226653304 139966441120380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16093184 140721226662738 140721226662997 140721226662997 140721226665926 0 /proc/28638/statm: 28282 363 304 221 0 87 0 [pid=28640] ppid=28638 vsize=28768336 memory=2226760 CPUtime=972.82 cores=0-7 /proc/28640/stat : 28640 (java) S 28638 28638 27077 0 -1 1077944320 102265 0 0 0 97166 116 0 0 20 0 28 0 512754188 29458776064 556690 33554432000 4194304 4196468 140726104162368 140726104144912 140441968570103 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 /proc/28640/statm: 7192084 556690 3532 1 0 7153184 0 [pid=28640/tid=28641] ppid=28638 vsize=28768336 memory=1452 CPUtime=1.37 cores=0-7 /proc/28640/task/28641/stat : 28641 (java) S 28638 28638 27077 0 -1 1077944384 9844 0 0 0 131 6 0 0 20 0 28 0 512754188 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441972810880 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28642] ppid=28638 vsize=28768336 memory=2226760 CPUtime=0.15 cores=0-7 /proc/28640/task/28642/stat : 28642 (java) S 28638 28638 27077 0 -1 1077944384 1237 0 0 0 9 6 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441888423056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28643] ppid=28638 vsize=28768336 memory=6944652177228980320 CPUtime=0.17 cores=0-7 /proc/28640/task/28643/stat : 28643 (java) S 28638 28638 27077 0 -1 1077944384 343 0 0 0 11 6 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441887370256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28644] ppid=28638 vsize=28768336 memory=6791534058613427641 CPUtime=0.16 cores=0-7 /proc/28640/task/28644/stat : 28644 (java) S 28638 28638 27077 0 -1 1077944384 335 0 0 0 11 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441886317456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28645] ppid=28638 vsize=28768336 memory=1452 CPUtime=0.15 cores=0-7 /proc/28640/task/28645/stat : 28645 (java) S 28638 28638 27077 0 -1 1077944384 407 0 0 0 9 6 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441885264656 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28646] ppid=28638 vsize=28768336 memory=164 CPUtime=0.14 cores=0-7 /proc/28640/task/28646/stat : 28646 (java) S 28638 28638 27077 0 -1 1077944384 1259 0 0 0 9 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441884211856 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28647] ppid=28638 vsize=28768336 memory=6944656575208382560 CPUtime=0.14 cores=0-7 /proc/28640/task/28647/stat : 28647 (java) S 28638 28638 27077 0 -1 1077944384 525 0 0 0 9 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441883159056 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28648] ppid=28638 vsize=28768336 memory=1452 CPUtime=0.14 cores=0-7 /proc/28640/task/28648/stat : 28648 (java) S 28638 28638 27077 0 -1 1077944384 1092 0 0 0 9 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441882106256 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28649] ppid=28638 vsize=28768336 memory=2226760 CPUtime=0.14 cores=0-7 /proc/28640/task/28649/stat : 28649 (java) S 28638 28638 27077 0 -1 1077944384 1042 0 0 0 9 5 0 0 20 0 28 0 512754189 29458776064 556690 33554432000 4194304 4196468 140726104162368 140441881053456 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28650] ppid=28638 vsize=28768336 memory=2226760 CPUtime=0.03 cores=0-7 /proc/28640/task/28650/stat : 28650 (java) S 28638 28638 27077 0 -1 1077944384 2996 0 0 0 3 0 0 0 20 0 28 0 512754190 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440950131568 140441968581250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28651] ppid=28638 vsize=28768336 memory=2226760 CPUtime=0 cores=0-7 /proc/28640/task/28651/stat : 28651 (java) S 28638 28638 27077 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 512754191 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440949077600 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28652] ppid=28638 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/28640/task/28652/stat : 28652 (java) S 28638 28638 27077 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 512754191 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440948024704 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28653] ppid=28638 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/28640/task/28653/stat : 28653 (java) S 28638 28638 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512754193 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440946973008 140441968588699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28654] ppid=28638 vsize=28768336 memory=2226760 CPUtime=2.31 cores=0-7 /proc/28640/task/28654/stat : 28654 (java) S 28638 28638 27077 0 -1 1077944384 15491 0 0 0 228 3 0 0 20 0 28 0 512754193 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440945920368 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28655] ppid=28638 vsize=28768336 memory=3648 CPUtime=2.49 cores=0-7 /proc/28640/task/28655/stat : 28655 (java) S 28638 28638 27077 0 -1 1077944384 12556 0 0 0 247 2 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440944867568 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28656] ppid=28638 vsize=28768336 memory=52752 CPUtime=2.48 cores=0-7 /proc/28640/task/28656/stat : 28656 (java) S 28638 28638 27077 0 -1 1077944384 12669 0 0 0 246 2 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440943814768 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28657] ppid=28638 vsize=28768336 memory=1040 CPUtime=0.89 cores=0-7 /proc/28640/task/28657/stat : 28657 (java) S 28638 28638 27077 0 -1 1077944384 11275 0 0 0 87 2 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440942761968 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28658] ppid=28638 vsize=28768336 memory=3648 CPUtime=0 cores=0-7 /proc/28640/task/28658/stat : 28658 (java) S 28638 28638 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440941710432 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28659] ppid=28638 vsize=28768336 memory=52752 CPUtime=0.03 cores=0-7 /proc/28640/task/28659/stat : 28659 (java) S 28638 28638 27077 0 -1 1077944384 666 0 0 0 0 3 0 0 20 0 28 0 512754194 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440940657712 140441968581250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28660] ppid=28638 vsize=28768336 memory=1040 CPUtime=119.96 cores=0-7 /proc/28640/task/28660/stat : 28660 (java) S 28638 28638 27077 0 -1 1077944384 1286 0 0 0 11996 0 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440935968720 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28661] ppid=28638 vsize=28768336 memory=2226760 CPUtime=120.31 cores=0-7 /proc/28640/task/28661/stat : 28661 (java) S 28638 28638 27077 0 -1 1077944384 876 0 0 0 12031 0 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440076448976 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28662] ppid=28638 vsize=28768336 memory=2226760 CPUtime=119.41 cores=0-7 /proc/28640/task/28662/stat : 28662 (java) R 28638 28638 27077 0 -1 4202560 12805 0 0 0 11923 18 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440075390984 140441556545371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28663] ppid=28638 vsize=28768336 memory=1452 CPUtime=120.42 cores=0-7 /proc/28640/task/28663/stat : 28663 (java) S 28638 28638 27077 0 -1 1077944384 8102 0 0 0 12022 20 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440074343376 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28664] ppid=28638 vsize=28768336 memory=6791534058613427641 CPUtime=120.46 cores=0-7 /proc/28640/task/28664/stat : 28664 (java) S 28638 28638 27077 0 -1 1077944384 1600 0 0 0 12045 1 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440073290576 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28665] ppid=28638 vsize=28768336 memory=2226760 CPUtime=120.73 cores=0-7 /proc/28640/task/28665/stat : 28665 (java) S 28638 28638 27077 0 -1 1077944384 1598 0 0 0 12071 2 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440072237776 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28666] ppid=28638 vsize=28768336 memory=6344 CPUtime=120.07 cores=0-7 /proc/28640/task/28666/stat : 28666 (java) S 28638 28638 27077 0 -1 1077944384 638 0 0 0 12007 0 0 0 20 0 28 0 512754346 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440071186000 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 [pid=28640/tid=28667] ppid=28638 vsize=28768336 memory=3648 CPUtime=120.42 cores=0-7 /proc/28640/task/28667/stat : 28667 (java) S 28638 28638 27077 0 -1 1077944384 2272 0 0 0 12038 4 0 0 20 0 28 0 512754347 29458776064 556690 33554432000 4194304 4196468 140726104162368 140440070133200 140441968580309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13320192 140726104167382 140726104167558 140726104167558 140726104170447 0 Current children cumulated CPU time: 972.82 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2228212 KiB Child status: 0 Real time (s): 123.348 CPU time (s): 972.873 CPU user time (s): 971.686 CPU system time (s): 1.18701 CPU usage (%): 788.724 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 2228212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 971.686 system time used= 1.18701 maximum resident set size= 2234968 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104361 page faults= 0 swaps= 0 block input operations= 0 block output operations= 304 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7701 involuntary context switches= 11557 # summary of solver processes directly reported to runsolver: # pid: 28638 # total CPU time (s): 972.873 # total CPU user time (s): 971.686 # total CPU system time (s): 1.18701 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.03831 second user time and 1.53396 second system time The end
Begin job on node150 at 2019-09-25 00:39:36 IDJOB=4406626 IDBENCH=141714 IDSOLVER=2871 FILE ID=node150/4406626-1569364817 RUNJOBID= node150-1569359267-27104 PBS_JOBID= 21705120 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-26-080.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-4406626-1569364817/watcher-4406626-1569364817 -o /var/tmp/evaluation-result-4406626-1569364817/solver-4406626-1569364817 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569359267-27104 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 265119984 HOME/instance-4406626-1569364817.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 82f2ba8c739d4bfd8362bd41c1ff224a RANDOM SEED=265119984 node150.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.79 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.79 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.79 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.79 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: 28472184 kB MemAvailable: 31818028 kB Buffers: 115000 kB Cached: 3340444 kB SwapCached: 8084 kB Active: 3364012 kB Inactive: 126872 kB Active(anon): 3912 kB Inactive(anon): 82644 kB Active(file): 3360100 kB Inactive(file): 44228 kB Unevictable: 109060 kB Mlocked: 109060 kB SwapTotal: 67108860 kB SwapFree: 67023968 kB Dirty: 26232 kB Writeback: 8 kB AnonPages: 136544 kB Mapped: 54188 kB Shmem: 42788 kB Slab: 398620 kB SReclaimable: 369976 kB SUnreclaim: 28644 kB KernelStack: 3424 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515080 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: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-25 00:41:40