Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 20 | 4.78212 | 1.14391 |
Name | StillLife/StillLife-m1-s1/ StillLife-04-09.xml |
MD5SUM | e25e9e3192808473b45d33bf4350e517 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 1.82915 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 90 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":36},{"size":9,"count":36}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":36},{"degree":7,"count":4},{"degree":8,"count":18},{"degree":10,"count":14}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":36},{"arity":3,"count":18},{"arity":4,"count":4},{"arity":6,"count":18},{"arity":9,"count":14}] |
Number of extensional constraints | 54 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":54},{"type":"sum","count":36}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406923-1569343742.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406923-1569343742.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.25/0.68 c solve instance... 1.61/0.73 o 0 1.61/0.74 o 4 1.61/0.75 o 6 1.61/0.76 o 12 1.61/0.79 o 16 2.28/0.87 o 18 2.28/0.88 o 19 3.86/1.02 o 20 4.67/1.12 s OPTIMUM FOUND 4.67/1.12 v <instantiation> 4.67/1.12 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] </list> 4.67/1.12 v <values>1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 2 2 4 2 3 2 2 2 2 4 3 5 3 6 2 4 4 3 3 4 4 2 6 3 5 3 4 2 2 2 2 3 2 4 2 2 </values> 4.67/1.12 v </instantiation>
OK 20
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 (9632 MiB free) memory of node 1: 16384 MiB (15014 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406923-1569343742/watcher-4406923-1569343742 -o /tmp/evaluation-result-4406923-1569343742/solver-4406923-1569343742 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1292990470 HOME/instance-4406923-1569343742.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=2635, runsolver pid=2632 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 5.47 2.63 1.93 2/210 2656 /proc/meminfo: memFree=25223712/32770624 swapFree=66999744/67108860 [pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510628183 115843072 363 33554432000 4194304 5098028 140729713492240 140729713490344 140378427339388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23285760 140729713496949 140729713497193 140729713497193 140729713500106 0 /proc/2635/statm: 28282 363 304 221 0 87 0 [pid=2637] ppid=2635 vsize=28227396 memory=26812 CPUtime=0.12 cores=0-7 /proc/2637/stat : 2637 (java) S 2635 2635 31481 0 -1 1077944320 5742 0 0 0 11 1 0 0 20 0 20 0 510628184 28904853504 6703 33554432000 4194304 4196468 140735416676320 140735416658864 139952214712055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 /proc/2637/statm: 7056849 6703 3120 1 0 7019032 0 [pid=2637/tid=2638] ppid=2635 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/2637/task/2638/stat : 2638 (java) R 2635 2635 31481 0 -1 4202560 3633 0 0 0 8 1 0 0 20 0 20 0 510628184 28904853504 6703 33554432000 4194304 4196468 140735416676320 139952218940080 139952214733981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2639] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2639/stat : 2639 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 6703 33554432000 4194304 4196468 140735416676320 139952182270480 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2640] ppid=2635 vsize=28227396 memory=288370654711367296 CPUtime=0 cores=0-7 /proc/2637/task/2640/stat : 2640 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 6703 33554432000 4194304 4196468 140735416676320 139951764794000 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2641] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2641/stat : 2641 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 6703 33554432000 4194304 4196468 140735416676320 139951763740944 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2642] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2642/stat : 2642 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 6703 33554432000 4194304 4196468 140735416676320 139951762688400 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2643] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2643/stat : 2643 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 6703 33554432000 4194304 4196468 140735416676320 139951761636368 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2644] ppid=2635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2637/task/2644/stat : 2644 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 6703 33554432000 4194304 4196468 140735416676320 139951760583824 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2645] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2645/stat : 2645 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 6703 33554432000 4194304 4196468 140735416676320 139951759530768 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2646] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2646/stat : 2646 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 6703 33554432000 4194304 4196468 140735416676320 139951758478224 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2647] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2647/stat : 2647 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628186 28904853504 6703 33554432000 4194304 4196468 140735416676320 139950544652528 139952214723202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2648] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2648/stat : 2648 (java) S 2635 2635 31481 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 510628187 28904853504 6703 33554432000 4194304 4196468 140735416676320 139950543598752 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2649] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2649/stat : 2649 (java) S 2635 2635 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510628187 28904853504 6703 33554432000 4194304 4196468 140735416676320 139950542545648 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2650] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2650/stat : 2650 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628189 28904853504 6703 33554432000 4194304 4196468 140735416676320 139950541494224 139952214730651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2651] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2651/stat : 2651 (java) S 2635 2635 31481 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 510628189 28904853504 6769 33554432000 4194304 4196468 140735416676320 139950540442352 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2652] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2652/stat : 2652 (java) R 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510628189 28904853504 6769 33554432000 4194304 4196468 140735416676320 139950539389808 139952214723202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2653] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2653/stat : 2653 (java) S 2635 2635 31481 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 510628189 28904853504 6769 33554432000 4194304 4196468 140735416676320 139950538336752 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2654] ppid=2635 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2637/task/2654/stat : 2654 (java) R 2635 2635 31481 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 20 0 510628189 28904853504 6769 33554432000 4194304 4196468 140735416676320 139950537284208 139952198792542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2655] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2655/stat : 2655 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510628189 28904853504 6769 33554432000 4194304 4196468 140735416676320 139950536231392 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2656] ppid=2635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2637/task/2656/stat : 2656 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628190 28904853504 6769 33554432000 4194304 4196468 140735416676320 139950535178928 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28264 KiB [startup+0.210559 s]* /proc/loadavg: 5.47 2.63 1.93 2/210 2656 /proc/meminfo: memFree=25209140/32770624 swapFree=66999744/67108860 [pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510628183 115843072 363 33554432000 4194304 5098028 140729713492240 140729713490344 140378427339388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23285760 140729713496949 140729713497193 140729713497193 140729713500106 0 /proc/2635/statm: 28282 363 304 221 0 87 0 [pid=2637] ppid=2635 vsize=28227396 memory=40048 CPUtime=0.33 cores=0-7 /proc/2637/stat : 2637 (java) S 2635 2635 31481 0 -1 1077944320 9736 0 0 0 30 3 0 0 20 0 20 0 510628184 28904853504 10012 33554432000 4194304 4196468 140735416676320 140735416658864 139952214712055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 /proc/2637/statm: 7056849 10012 3319 1 0 7019032 0 [pid=2637/tid=2638] ppid=2635 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2637/task/2638/stat : 2638 (java) R 2635 2635 31481 0 -1 4202560 6666 0 0 0 17 2 0 0 20 0 20 0 510628184 28904853504 10012 33554432000 4194304 4196468 140735416676320 139952218944784 139952214723990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2639] ppid=2635 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7 /proc/2637/task/2639/stat : 2639 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 10012 33554432000 4194304 4196468 140735416676320 139952182270480 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2640] ppid=2635 vsize=28227396 memory=140278559678983 CPUtime=0 cores=0-7 /proc/2637/task/2640/stat : 2640 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 10012 33554432000 4194304 4196468 140735416676320 139951764794000 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2641] ppid=2635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2637/task/2641/stat : 2641 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 10012 33554432000 4194304 4196468 140735416676320 139951763740944 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2642] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2642/stat : 2642 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 10012 33554432000 4194304 4196468 140735416676320 139951762688400 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2643] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2643/stat : 2643 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 10012 33554432000 4194304 4196468 140735416676320 139951761636368 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2644] ppid=2635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2637/task/2644/stat : 2644 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 10012 33554432000 4194304 4196468 140735416676320 139951760583824 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2645] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2645/stat : 2645 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 10012 33554432000 4194304 4196468 140735416676320 139951759530768 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2646] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2646/stat : 2646 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628185 28904853504 10012 33554432000 4194304 4196468 140735416676320 139951758478224 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2647] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2647/stat : 2647 (java) S 2635 2635 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510628186 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950544652528 139952214723202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2648] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2648/stat : 2648 (java) S 2635 2635 31481 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 510628187 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950543598752 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2649] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2649/stat : 2649 (java) S 2635 2635 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510628187 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950542545648 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2650] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2650/stat : 2650 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628189 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950541494224 139952214730651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2651] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2651/stat : 2651 (java) S 2635 2635 31481 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 510628189 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950540442352 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2652] ppid=2635 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2637/task/2652/stat : 2652 (java) S 2635 2635 31481 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 20 0 510628189 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950539389808 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2653] ppid=2635 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/2637/task/2653/stat : 2653 (java) S 2635 2635 31481 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 20 0 510628189 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950538336752 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2654] ppid=2635 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/2637/task/2654/stat : 2654 (java) R 2635 2635 31481 0 -1 4202560 929 0 0 0 8 0 0 0 20 0 20 0 510628189 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950537284208 139952214733402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2655] ppid=2635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2655/stat : 2655 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510628189 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950536231392 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2656] ppid=2635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2637/task/2656/stat : 2656 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628190 28904853504 10012 33554432000 4194304 4196468 140735416676320 139950535178928 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41500 KiB [startup+0.310267 s]* /proc/loadavg: 5.47 2.63 1.93 3/210 2656 /proc/meminfo: memFree=25201732/32770624 swapFree=66999744/67108860 [pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510628183 115843072 363 33554432000 4194304 5098028 140729713492240 140729713490344 140378427339388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23285760 140729713496949 140729713497193 140729713497193 140729713500106 0 /proc/2635/statm: 28282 363 304 221 0 87 0 [pid=2637] ppid=2635 vsize=28231652 memory=48852 CPUtime=0.52 cores=0-7 /proc/2637/stat : 2637 (java) S 2635 2635 31481 0 -1 1077944320 11091 0 0 0 48 4 0 0 20 0 20 0 510628184 28909211648 12213 33554432000 4194304 4196468 140735416676320 140735416658864 139952214712055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 /proc/2637/statm: 7057913 12213 3357 1 0 7019032 0 [pid=2637/tid=2638] ppid=2635 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/2637/task/2638/stat : 2638 (java) R 2635 2635 31481 0 -1 4202560 7768 0 0 0 27 3 0 0 20 0 20 0 510628184 28909211648 12315 33554432000 4194304 4196468 140735416676320 139952218943168 139952198792542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2639] ppid=2635 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/2637/task/2639/stat : 2639 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28909211648 12315 33554432000 4194304 4196468 140735416676320 139952182270480 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2640] ppid=2635 vsize=28231652 memory=23968 CPUtime=0 cores=0-7 /proc/2637/task/2640/stat : 2640 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628185 28909211648 12315 33554432000 4194304 4196468 140735416676320 139951764794000 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2641] ppid=2635 vsize=28231652 memory=12024 CPUtime=0 cores=0-7 /proc/2637/task/2641/stat : 2641 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28909211648 12315 33554432000 4194304 4196468 140735416676320 139951763740944 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2642] ppid=2635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2642/stat : 2642 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510628185 28909211648 12315 33554432000 4194304 4196468 140735416676320 139951762688400 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2643] ppid=2635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2643/stat : 2643 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28909211648 12315 33554432000 4194304 4196468 140735416676320 139951761636368 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2644] ppid=2635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2644/stat : 2644 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628185 28909211648 12315 33554432000 4194304 4196468 140735416676320 139951760583824 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2645] ppid=2635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2645/stat : 2645 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510628185 28909211648 12315 33554432000 4194304 4196468 140735416676320 139951759530768 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2646] ppid=2635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2646/stat : 2646 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628185 28909211648 12315 33554432000 4194304 4196468 140735416676320 139951758478224 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2647] ppid=2635 vsize=28231652 memory=140278396709600 CPUtime=0 cores=0-7 /proc/2637/task/2647/stat : 2647 (java) S 2635 2635 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510628186 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950544652528 139952214723202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2648] ppid=2635 vsize=28231652 memory=280556793423744 CPUtime=0 cores=0-7 /proc/2637/task/2648/stat : 2648 (java) S 2635 2635 31481 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 510628187 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950543598752 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2649] ppid=2635 vsize=28231652 memory=280556793428352 CPUtime=0 cores=0-7 /proc/2637/task/2649/stat : 2649 (java) S 2635 2635 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510628187 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950542545648 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2650] ppid=2635 vsize=28231652 memory=280556793432960 CPUtime=0 cores=0-7 /proc/2637/task/2650/stat : 2650 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628189 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950541494224 139952214730651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2651] ppid=2635 vsize=28231652 memory=280556793437568 CPUtime=0.01 cores=0-7 /proc/2637/task/2651/stat : 2651 (java) S 2635 2635 31481 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 510628189 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950540442352 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2652] ppid=2635 vsize=28231652 memory=280556793442176 CPUtime=0.04 cores=0-7 /proc/2637/task/2652/stat : 2652 (java) R 2635 2635 31481 0 -1 4202560 266 0 0 0 4 0 0 0 20 0 20 0 510628189 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950539381456 139952199609500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2653] ppid=2635 vsize=28231652 memory=280556793446784 CPUtime=0.03 cores=0-7 /proc/2637/task/2653/stat : 2653 (java) S 2635 2635 31481 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 20 0 510628189 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950538336752 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2654] ppid=2635 vsize=28231652 memory=280556793451392 CPUtime=0.12 cores=0-7 /proc/2637/task/2654/stat : 2654 (java) S 2635 2635 31481 0 -1 1077944384 1109 0 0 0 12 0 0 0 20 0 20 0 510628189 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950537284208 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2655] ppid=2635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2655/stat : 2655 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510628189 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950536231392 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2656] ppid=2635 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/2637/task/2656/stat : 2656 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510628190 28909211648 12315 33554432000 4194304 4196468 140735416676320 139950535178928 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50304 KiB [startup+0.700953 s] /proc/loadavg: 5.47 2.63 1.93 3/210 2656 /proc/meminfo: memFree=25188884/32770624 swapFree=66999744/67108860 [pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510628183 115843072 363 33554432000 4194304 5098028 140729713492240 140729713490344 140378427339388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23285760 140729713496949 140729713497193 140729713497193 140729713500106 0 /proc/2635/statm: 28282 363 304 221 0 87 0 [pid=2637] ppid=2635 vsize=28699724 memory=94160 CPUtime=1.61 cores=0-7 /proc/2637/stat : 2637 (java) S 2635 2635 31481 0 -1 1077944320 15921 0 0 0 154 7 0 0 20 0 27 0 510628184 29388517376 23540 33554432000 4194304 4196468 140735416676320 140735416658864 139952214712055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 /proc/2637/statm: 7174931 23540 3453 1 0 7136031 0 [pid=2637/tid=2638] ppid=2635 vsize=28699724 memory=6226036854824212137 CPUtime=0.67 cores=0-7 /proc/2637/task/2638/stat : 2638 (java) S 2635 2635 31481 0 -1 1077944384 9371 0 0 0 63 4 0 0 20 0 27 0 510628184 29388517376 23540 33554432000 4194304 4196468 140735416676320 139952218952832 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2639] ppid=2635 vsize=28699724 memory=22746146804910 CPUtime=0 cores=0-7 /proc/2637/task/2639/stat : 2639 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 27 0 510628185 29388517376 23540 33554432000 4194304 4196468 140735416676320 139952182270480 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2640] ppid=2635 vsize=28699724 memory=140278396825312 CPUtime=0 cores=0-7 /proc/2637/task/2640/stat : 2640 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 510628185 29388517376 23540 33554432000 4194304 4196468 140735416676320 139951764794000 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2641] ppid=2635 vsize=28699724 memory=9588 CPUtime=0 cores=0-7 /proc/2637/task/2641/stat : 2641 (java) S 2635 2635 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 27 0 510628185 29388517376 23540 33554432000 4194304 4196468 140735416676320 139951763740944 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 ################ # More data... # ################ [pid=2637/tid=2638] ppid=2635 vsize=28767316 memory=0 CPUtime=0.67 cores=0-7 /proc/2637/task/2638/stat : 2638 (java) S 2635 2635 31481 0 -1 1077944384 9388 0 0 0 63 4 0 0 20 0 28 0 510628184 29457731584 43457 33554432000 4194304 4196468 140735416676320 139952218952832 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2639] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2639/stat : 2639 (java) S 2635 2635 31481 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 510628185 29457731584 43457 33554432000 4194304 4196468 140735416676320 139952182270480 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2640] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2640/stat : 2640 (java) S 2635 2635 31481 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510628185 29457731584 43457 33554432000 4194304 4196468 140735416676320 139951764794000 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2641] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2641/stat : 2641 (java) S 2635 2635 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510628185 29457731584 43457 33554432000 4194304 4196468 140735416676320 139951763740944 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2642] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2642/stat : 2642 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510628185 29457731584 43457 33554432000 4194304 4196468 140735416676320 139951762688400 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2643] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2643/stat : 2643 (java) S 2635 2635 31481 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 510628185 29457731584 43457 33554432000 4194304 4196468 140735416676320 139951761636368 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2644] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2644/stat : 2644 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628185 29457731584 43457 33554432000 4194304 4196468 140735416676320 139951760583824 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2645] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2645/stat : 2645 (java) S 2635 2635 31481 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 510628185 29457731584 43457 33554432000 4194304 4196468 140735416676320 139951759530768 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2646] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2646/stat : 2646 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628185 29457731584 43457 33554432000 4194304 4196468 140735416676320 139951758478224 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2647] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2647/stat : 2647 (java) S 2635 2635 31481 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 510628186 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950544652528 139952214723202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2648] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2648/stat : 2648 (java) S 2635 2635 31481 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510628187 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950543598752 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2649] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2649/stat : 2649 (java) S 2635 2635 31481 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 510628187 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950542545648 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2650] ppid=2635 vsize=28767316 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2650/stat : 2650 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628189 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950541494224 139952214730651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2651] ppid=2635 vsize=28767316 memory=0 CPUtime=0.2 cores=0-7 /proc/2637/task/2651/stat : 2651 (java) R 2635 2635 31481 0 -1 4202560 1217 0 0 0 20 0 0 0 20 0 28 0 510628189 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950540429904 139952214733402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2652] ppid=2635 vsize=28767316 memory=0 CPUtime=0.28 cores=0-7 /proc/2637/task/2652/stat : 2652 (java) R 2635 2635 31481 0 -1 4202560 1134 0 0 0 28 0 0 0 20 0 28 0 510628189 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950539381456 139952214733402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2653] ppid=2635 vsize=28767316 memory=6944656592455359580 CPUtime=0.23 cores=0-7 /proc/2637/task/2653/stat : 2653 (java) R 2635 2635 31481 0 -1 4202560 1419 0 0 0 23 0 0 0 20 0 28 0 510628189 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950538327344 139952214733402 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2654] ppid=2635 vsize=28767316 memory=6655300316396806240 CPUtime=0.48 cores=0-7 /proc/2637/task/2654/stat : 2654 (java) R 2635 2635 31481 0 -1 4202560 2484 0 0 0 48 0 0 0 20 0 28 0 510628189 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950537283392 139952214733402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2655] ppid=2635 vsize=28767316 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/2637/task/2655/stat : 2655 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510628189 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950536231392 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2656] ppid=2635 vsize=28767316 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/2637/task/2656/stat : 2656 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628190 29457731584 43457 33554432000 4194304 4196468 140735416676320 139950535178928 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 Current children cumulated CPU time: 2.28 s Current children cumulated vsize: 28880444 KiB Current children cumulated memory: 175280 KiB [startup+1.00085 s]* /proc/loadavg: 5.47 2.63 1.93 12/218 2720 /proc/meminfo: memFree=25066588/32770624 swapFree=66999744/67108860 [pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510628183 115843072 363 33554432000 4194304 5098028 140729713492240 140729713490344 140378427339388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23285760 140729713496949 140729713497193 140729713497193 140729713500106 0 /proc/2635/statm: 28282 363 304 221 0 87 0 [pid=2637] ppid=2635 vsize=28769364 memory=185800 CPUtime=3.86 cores=0-7 /proc/2637/stat : 2637 (java) S 2635 2635 31481 0 -1 1077944320 20942 0 0 0 375 11 0 0 20 0 28 0 510628184 29459828736 46450 33554432000 4194304 4196468 140735416676320 140735416658864 139952214712055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 /proc/2637/statm: 7192341 46450 3482 1 0 7153441 0 [pid=2637/tid=2638] ppid=2635 vsize=28769364 memory=1412 CPUtime=0.68 cores=0-7 /proc/2637/task/2638/stat : 2638 (java) S 2635 2635 31481 0 -1 1077944384 9388 0 0 0 64 4 0 0 20 0 28 0 510628184 29459828736 46450 33554432000 4194304 4196468 140735416676320 139952218952832 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2639] ppid=2635 vsize=28769364 memory=5787495379064864864 CPUtime=0 cores=0-7 /proc/2637/task/2639/stat : 2639 (java) S 2635 2635 31481 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 46450 33554432000 4194304 4196468 140735416676320 139952182270480 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2640] ppid=2635 vsize=28769364 memory=3834170448210818996 CPUtime=0 cores=0-7 /proc/2637/task/2640/stat : 2640 (java) S 2635 2635 31481 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 46450 33554432000 4194304 4196468 140735416676320 139951764794000 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2641] ppid=2635 vsize=28769364 memory=3976735856566612790 CPUtime=0 cores=0-7 /proc/2637/task/2641/stat : 2641 (java) S 2635 2635 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 46450 33554432000 4194304 4196468 140735416676320 139951763740944 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2642] ppid=2635 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2642/stat : 2642 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 46450 33554432000 4194304 4196468 140735416676320 139951762688400 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2643] ppid=2635 vsize=28769364 memory=140278559666321 CPUtime=0 cores=0-7 /proc/2637/task/2643/stat : 2643 (java) S 2635 2635 31481 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 46450 33554432000 4194304 4196468 140735416676320 139951761636368 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2644] ppid=2635 vsize=28769364 memory=5787136753319358770 CPUtime=0 cores=0-7 /proc/2637/task/2644/stat : 2644 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 46450 33554432000 4194304 4196468 140735416676320 139951760583824 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2645] ppid=2635 vsize=28769364 memory=288363917221298210 CPUtime=0 cores=0-7 /proc/2637/task/2645/stat : 2645 (java) S 2635 2635 31481 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 46450 33554432000 4194304 4196468 140735416676320 139951759530768 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2646] ppid=2635 vsize=28769364 memory=301741382064931139 CPUtime=0 cores=0-7 /proc/2637/task/2646/stat : 2646 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 46450 33554432000 4194304 4196468 140735416676320 139951758478224 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2647] ppid=2635 vsize=28769364 memory=15542903367797058 CPUtime=0 cores=0-7 /proc/2637/task/2647/stat : 2647 (java) S 2635 2635 31481 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 510628186 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950544652528 139952214723202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2648] ppid=2635 vsize=28769364 memory=6944656592455360569 CPUtime=0 cores=0-7 /proc/2637/task/2648/stat : 2648 (java) S 2635 2635 31481 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510628187 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950543598752 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2649] ppid=2635 vsize=28769364 memory=8475934422144292502 CPUtime=0 cores=0-7 /proc/2637/task/2649/stat : 2649 (java) S 2635 2635 31481 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 510628187 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950542545648 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2650] ppid=2635 vsize=28769364 memory=-6876588452865875872 CPUtime=0 cores=0-7 /proc/2637/task/2650/stat : 2650 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628189 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950541494224 139952214730651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2651] ppid=2635 vsize=28769364 memory=-3775572685057999774 CPUtime=0.4 cores=0-7 /proc/2637/task/2651/stat : 2651 (java) R 2635 2635 31481 0 -1 1077944384 2047 0 0 0 40 0 0 0 20 0 28 0 510628189 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950540441536 139952214722261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2652] ppid=2635 vsize=28769364 memory=8475934422144423578 CPUtime=0.45 cores=0-7 /proc/2637/task/2652/stat : 2652 (java) R 2635 2635 31481 0 -1 4202560 1486 0 0 0 45 0 0 0 20 0 28 0 510628189 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950539375904 139952193927408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2653] ppid=2635 vsize=28769364 memory=0 CPUtime=0.43 cores=0-7 /proc/2637/task/2653/stat : 2653 (java) R 2635 2635 31481 0 -1 4202560 2549 0 0 0 43 0 0 0 20 0 28 0 510628189 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950538327584 139952194068485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2654] ppid=2635 vsize=28769364 memory=0 CPUtime=0.55 cores=0-7 /proc/2637/task/2654/stat : 2654 (java) R 2635 2635 31481 0 -1 1077944384 2632 0 0 0 54 1 0 0 20 0 28 0 510628189 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950537284336 139952214722261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2655] ppid=2635 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2655/stat : 2655 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510628189 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950536231392 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2656] ppid=2635 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2656/stat : 2656 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628190 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950535178928 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2713] ppid=2635 vsize=28769364 memory=0 CPUtime=0.11 cores=0-7 /proc/2637/task/2713/stat : 2713 (java) R 2635 2635 31481 0 -1 4202560 18 0 0 0 11 0 0 0 20 0 28 0 510628271 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950525958456 139951850768303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2714] ppid=2635 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7 /proc/2637/task/2714/stat : 2714 (java) R 2635 2635 31481 0 -1 4202560 17 0 0 0 9 0 0 0 20 0 28 0 510628271 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950517539904 139951851687265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2715] ppid=2635 vsize=28769364 memory=140282854622847 CPUtime=0.08 cores=0-7 /proc/2637/task/2715/stat : 2715 (java) R 2635 2635 31481 0 -1 4202560 18 0 0 0 8 0 0 0 20 0 28 0 510628271 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950518591920 139951856117732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2716] ppid=2635 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/2637/task/2716/stat : 2716 (java) R 2635 2635 31481 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 28 0 510628271 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950519644176 139951856311463 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2717] ppid=2635 vsize=28769364 memory=0 CPUtime=0.08 cores=0-7 /proc/2637/task/2717/stat : 2717 (java) R 2635 2635 31481 0 -1 4202560 25 0 0 0 8 0 0 0 20 0 28 0 510628271 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950521749032 139951855642392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2718] ppid=2635 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/2637/task/2718/stat : 2718 (java) R 2635 2635 31481 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 28 0 510628271 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950524908952 139951856078638 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2719] ppid=2635 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/2637/task/2719/stat : 2719 (java) R 2635 2635 31481 0 -1 1077944384 18 0 0 0 6 0 0 0 20 0 28 0 510628273 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950523847856 139952214722261 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2720] ppid=2635 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/2637/task/2720/stat : 2720 (java) R 2635 2635 31481 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 28 0 510628273 29459828736 46450 33554432000 4194304 4196468 140735416676320 139950520696536 139951855626176 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 Current children cumulated CPU time: 3.86 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 187252 KiB [startup+1.11299 s] /proc/loadavg: 5.47 2.63 1.93 12/218 2720 /proc/meminfo: memFree=25066588/32770624 swapFree=66999744/67108860 [pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510628183 115843072 363 33554432000 4194304 5098028 140729713492240 140729713490344 140378427339388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23285760 140729713496949 140729713497193 140729713497193 140729713500106 0 /proc/2635/statm: 28282 363 304 221 0 87 0 [pid=2637] ppid=2635 vsize=28769364 memory=188256 CPUtime=4.67 cores=0-7 /proc/2637/stat : 2637 (java) S 2635 2635 31481 0 -1 1077944320 21186 0 0 0 456 11 0 0 20 0 28 0 510628184 29459828736 47064 33554432000 4194304 4196468 140735416676320 140735416658864 139952214712055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 /proc/2637/statm: 7192341 47064 3504 1 0 7153441 0 [pid=2637/tid=2638] ppid=2635 vsize=28769364 memory=1452 CPUtime=0.68 cores=0-7 /proc/2637/task/2638/stat : 2638 (java) S 2635 2635 31481 0 -1 1077944384 9388 0 0 0 64 4 0 0 20 0 28 0 510628184 29459828736 47064 33554432000 4194304 4196468 140735416676320 139952218952832 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2639] ppid=2635 vsize=28769364 memory=94160 CPUtime=0 cores=0-7 /proc/2637/task/2639/stat : 2639 (java) S 2635 2635 31481 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 47064 33554432000 4194304 4196468 140735416676320 139952182270480 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2640] ppid=2635 vsize=28769364 memory=4580 CPUtime=0 cores=0-7 /proc/2637/task/2640/stat : 2640 (java) S 2635 2635 31481 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 47064 33554432000 4194304 4196468 140735416676320 139951764794000 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2641] ppid=2635 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2641/stat : 2641 (java) S 2635 2635 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 47064 33554432000 4194304 4196468 140735416676320 139951763740944 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2642] ppid=2635 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2642/stat : 2642 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 47064 33554432000 4194304 4196468 140735416676320 139951762688400 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2643] ppid=2635 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2643/stat : 2643 (java) S 2635 2635 31481 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 47064 33554432000 4194304 4196468 140735416676320 139951761636368 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2644] ppid=2635 vsize=28769364 memory=30 CPUtime=0 cores=0-7 /proc/2637/task/2644/stat : 2644 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 47064 33554432000 4194304 4196468 140735416676320 139951760583824 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2645] ppid=2635 vsize=28769364 memory=37 CPUtime=0 cores=0-7 /proc/2637/task/2645/stat : 2645 (java) S 2635 2635 31481 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 47064 33554432000 4194304 4196468 140735416676320 139951759530768 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2646] ppid=2635 vsize=28769364 memory=33 CPUtime=0 cores=0-7 /proc/2637/task/2646/stat : 2646 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628185 29459828736 47064 33554432000 4194304 4196468 140735416676320 139951758478224 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2647] ppid=2635 vsize=28769364 memory=53 CPUtime=0 cores=0-7 /proc/2637/task/2647/stat : 2647 (java) S 2635 2635 31481 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 510628186 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950544652528 139952214723202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2648] ppid=2635 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2648/stat : 2648 (java) S 2635 2635 31481 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510628187 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950543598752 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2649] ppid=2635 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2649/stat : 2649 (java) S 2635 2635 31481 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 510628187 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950542545648 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2650] ppid=2635 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2637/task/2650/stat : 2650 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628189 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950541494224 139952214730651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2651] ppid=2635 vsize=28769364 memory=11317238830246 CPUtime=0.5 cores=0-7 /proc/2637/task/2651/stat : 2651 (java) R 2635 2635 31481 0 -1 4202560 2067 0 0 0 50 0 0 0 20 0 28 0 510628189 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950540435328 139952198268359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2652] ppid=2635 vsize=28769364 memory=11317238830247 CPUtime=0.55 cores=0-7 /proc/2637/task/2652/stat : 2652 (java) R 2635 2635 31481 0 -1 4202560 1517 0 0 0 55 0 0 0 20 0 28 0 510628189 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950539376352 139952214723990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2653] ppid=2635 vsize=28769364 memory=11317238830248 CPUtime=0.54 cores=0-7 /proc/2637/task/2653/stat : 2653 (java) R 2635 2635 31481 0 -1 4202560 2572 0 0 0 54 0 0 0 20 0 28 0 510628189 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950538329776 139952196026698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2654] ppid=2635 vsize=28769364 memory=11317238830249 CPUtime=0.57 cores=0-7 /proc/2637/task/2654/stat : 2654 (java) S 2635 2635 31481 0 -1 1077944384 2661 0 0 0 56 1 0 0 20 0 28 0 510628189 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950537284208 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2655] ppid=2635 vsize=28769364 memory=11317238830250 CPUtime=0 cores=0-7 /proc/2637/task/2655/stat : 2655 (java) S 2635 2635 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510628189 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950536231392 139952214722261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 [pid=2637/tid=2656] ppid=2635 vsize=28769364 memory=11317238830251 CPUtime=0 cores=0-7 /proc/2637/task/2656/stat : 2656 (java) S 2635 2635 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510628190 29459828736 47064 33554432000 4194304 4196468 140735416676320 139950535178928 139952214723202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36212736 140735416681450 140735416681622 140735416681622 140735416684495 0 Current children cumulated CPU time: 4.67 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 189708 KiB Child status: 0 Real time (s): 1.14391 CPU time (s): 4.78212 CPU user time (s): 4.66299 CPU system time (s): 0.119131 CPU usage (%): 418.05 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 189708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.66299 system time used= 0.119131 maximum resident set size= 189456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21778 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3804 involuntary context switches= 85 # summary of solver processes directly reported to runsolver: # pid: 2635 # total CPU time (s): 4.78212 # total CPU user time (s): 4.66299 # total CPU system time (s): 0.119131 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.029994 second user time and 0.057988 second system time The end
Begin job on node106 at 2019-09-24 17:47:38 IDJOB=4406923 IDBENCH=115996 IDSOLVER=2871 FILE ID=node106/4406923-1569343742 RUNJOBID= node106-1569332296-31508 PBS_JOBID= 21705069 Free space on /tmp= 23488 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-04-09.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406923-1569343742/watcher-4406923-1569343742 -o /tmp/evaluation-result-4406923-1569343742/solver-4406923-1569343742 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1292990470 HOME/instance-4406923-1569343742.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e25e9e3192808473b45d33bf4350e517 RANDOM SEED=1292990470 node106.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: 25238360 kB MemAvailable: 31843116 kB Buffers: 92152 kB Cached: 6683776 kB SwapCached: 4556 kB Active: 3395572 kB Inactive: 3389680 kB Active(anon): 4032 kB Inactive(anon): 57724 kB Active(file): 3391540 kB Inactive(file): 3331956 kB Unevictable: 107728 kB Mlocked: 107728 kB SwapTotal: 67108860 kB SwapFree: 66999744 kB Dirty: 26404 kB Writeback: 0 kB AnonPages: 139772 kB Mapped: 54356 kB Shmem: 43700 kB Slab: 338980 kB SReclaimable: 309720 kB SUnreclaim: 29260 kB KernelStack: 3232 kB PageTables: 5460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506236 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 23464 MiB End job on node106 at 2019-09-24 17:47:39