Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 38 | 4839.79 | 609.749 |
Name | StillLife/StillLife-m1-s1/ StillLife-06-12.xml |
MD5SUM | 7162d4a2bfb4649e5ff01c254dbd946c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 38 |
Best CPU time to get the best result obtained on this benchmark | 41.7674 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 144 |
Number of constraints | 172 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":72},{"size":9,"count":72}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":72},{"degree":7,"count":4},{"degree":8,"count":28},{"degree":10,"count":40}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":72},{"arity":3,"count":28},{"arity":4,"count":4},{"arity":6,"count":28},{"arity":9,"count":40}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":72}] |
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-4407081-1569343664.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4407081-1569343664.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.72/0.74 c solve instance... 1.72/0.78 o 0 2.26/0.80 o 4 2.26/0.81 o 6 2.26/0.81 o 8 2.26/0.83 o 10 2.26/0.84 o 11 2.26/0.84 o 12 2.26/0.85 o 13 2.26/0.86 o 15 2.26/0.87 o 17 2.90/0.93 o 33 5.19/1.28 o 34 11.51/2.10 o 35 13.84/2.34 o 36 16.20/2.66 o 37 922.59/116.90 o 38 4839.57/609.72 s OPTIMUM FOUND 4839.57/609.72 v <instantiation> 4839.57/609.72 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[0][9] x[0][10] x[0][11] 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[1][9] x[1][10] x[1][11] 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[2][9] x[2][10] x[2][11] 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] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] 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[0][9] s[0][10] s[0][11] 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[1][9] s[1][10] s[1][11] 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[2][9] s[2][10] s[2][11] 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] s[3][9] s[3][10] s[3][11] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] </list> 4839.57/609.72 v <values>1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 2 4 3 2 4 2 2 2 2 2 2 2 2 3 5 3 5 3 5 4 3 5 6 3 4 5 5 3 5 4 3 3 4 3 3 2 2 3 3 4 3 3 4 5 3 5 5 4 3 6 5 3 4 5 3 5 3 5 3 2 2 2 2 2 2 2 2 4 2 3 4 2 </values> 4839.57/609.72 v </instantiation>
OK 38
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 (13519 MiB free) memory of node 1: 16384 MiB (12068 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407081-1569343664/watcher-4407081-1569343664 -o /var/tmp/evaluation-result-4407081-1569343664/solver-4407081-1569343664 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1292990470 HOME/instance-4407081-1569343664.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=698, runsolver pid=695 [startup+0.100159 s]* /proc/loadavg: 8.29 7.99 7.87 3/211 719 /proc/meminfo: memFree=26186088/32770624 swapFree=66956840/67108860 [pid=698] ppid=695 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/698/stat : 698 (xcsp3-exec) S 695 698 29338 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510624196 115843072 363 33554432000 4194304 5098028 140720755418608 140720755416712 140010141221500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31313920 140720755422033 140720755422293 140720755422293 140720755425222 0 /proc/698/statm: 28282 363 304 221 0 87 0 [pid=700] ppid=698 vsize=28227396 memory=28804 CPUtime=0.11 cores=0-7 /proc/700/stat : 700 (java) S 698 698 29338 0 -1 1077944320 5689 0 0 0 10 1 0 0 20 0 20 0 510624196 28904853504 7201 33554432000 4194304 4196468 140723742275120 140723742257664 140387461807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 /proc/700/statm: 7056849 7201 3119 1 0 7019032 0 [pid=700/tid=701] ppid=698 vsize=28227396 memory=8390339637985935414 CPUtime=0.08 cores=0-7 /proc/700/task/701/stat : 701 (java) R 698 698 29338 0 -1 4202560 3599 0 0 0 8 0 0 0 20 0 20 0 510624196 28904853504 7201 33554432000 4194304 4196468 140723742275120 140387466035888 140387461819798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=702] ppid=698 vsize=28227396 memory=288230604707987479 CPUtime=0 cores=0-7 /proc/700/task/702/stat : 702 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 7201 33554432000 4194304 4196468 140723742275120 140387013483152 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=703] ppid=698 vsize=28227396 memory=3978846531854886560 CPUtime=0 cores=0-7 /proc/700/task/703/stat : 703 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 7201 33554432000 4194304 4196468 140723742275120 140387012430352 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=704] ppid=698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/704/stat : 704 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 7201 33554432000 4194304 4196468 140723742275120 140387011377552 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=705] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/705/stat : 705 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 7201 33554432000 4194304 4196468 140723742275120 140387010324752 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=706] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/706/stat : 706 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 7201 33554432000 4194304 4196468 140723742275120 140387009272976 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=707] ppid=698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/707/stat : 707 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 7201 33554432000 4194304 4196468 140723742275120 140387008220176 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=708] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/708/stat : 708 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 7201 33554432000 4194304 4196468 140723742275120 140387007167376 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=709] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/709/stat : 709 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 7201 33554432000 4194304 4196468 140723742275120 140387006114576 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=710] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/710/stat : 710 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624199 28904853504 7201 33554432000 4194304 4196468 140723742275120 140386176395632 140387461819010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=711] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/711/stat : 711 (java) S 698 698 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510624199 28904853504 7201 33554432000 4194304 4196468 140723742275120 140386175341600 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=712] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/712/stat : 712 (java) S 698 698 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510624199 28904853504 7201 33554432000 4194304 4196468 140723742275120 140385922966384 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=713] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/713/stat : 713 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 7201 33554432000 4194304 4196468 140723742275120 140385921914704 140387461826459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=714] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/714/stat : 714 (java) S 698 698 29338 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 7201 33554432000 4194304 4196468 140723742275120 140385920863088 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=715] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/715/stat : 715 (java) S 698 698 29338 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 7201 33554432000 4194304 4196468 140723742275120 140385919810288 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=716] ppid=698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/716/stat : 716 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 7201 33554432000 4194304 4196468 140723742275120 140385918757488 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=717] ppid=698 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/700/task/717/stat : 717 (java) R 698 698 29338 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 510624202 28904853504 7201 33554432000 4194304 4196468 140723742275120 140385917704688 140387447288143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=718] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/718/stat : 718 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 7201 33554432000 4194304 4196468 140723742275120 140385916652128 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=719] ppid=698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/719/stat : 719 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 7201 33554432000 4194304 4196468 140723742275120 140385915599408 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30256 KiB [startup+0.210541 s]* /proc/loadavg: 8.29 7.99 7.87 3/211 719 /proc/meminfo: memFree=26173304/32770624 swapFree=66956840/67108860 [pid=698] ppid=695 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/698/stat : 698 (xcsp3-exec) S 695 698 29338 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510624196 115843072 363 33554432000 4194304 5098028 140720755418608 140720755416712 140010141221500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31313920 140720755422033 140720755422293 140720755422293 140720755425222 0 /proc/698/statm: 28282 363 304 221 0 87 0 [pid=700] ppid=698 vsize=28227396 memory=41088 CPUtime=0.33 cores=0-7 /proc/700/stat : 700 (java) S 698 698 29338 0 -1 1077944320 9536 0 0 0 30 3 0 0 20 0 20 0 510624196 28904853504 10272 33554432000 4194304 4196468 140723742275120 140723742257664 140387461807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 /proc/700/statm: 7056849 10272 3306 1 0 7019032 0 [pid=700/tid=701] ppid=698 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/700/task/701/stat : 701 (java) R 698 698 29338 0 -1 4202560 6637 0 0 0 17 2 0 0 20 0 20 0 510624196 28904853504 10272 33554432000 4194304 4196468 140723742275120 140387466039136 140387461819798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=702] ppid=698 vsize=28227396 memory=288230604707987479 CPUtime=0 cores=0-7 /proc/700/task/702/stat : 702 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 10272 33554432000 4194304 4196468 140723742275120 140387013483152 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=703] ppid=698 vsize=28227396 memory=3978846531854886560 CPUtime=0 cores=0-7 /proc/700/task/703/stat : 703 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 10272 33554432000 4194304 4196468 140723742275120 140387012430352 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=704] ppid=698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/704/stat : 704 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 10272 33554432000 4194304 4196468 140723742275120 140387011377552 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=705] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/705/stat : 705 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 10272 33554432000 4194304 4196468 140723742275120 140387010324752 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=706] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/706/stat : 706 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 10272 33554432000 4194304 4196468 140723742275120 140387009272976 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=707] ppid=698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/707/stat : 707 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 10272 33554432000 4194304 4196468 140723742275120 140387008220176 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=708] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/708/stat : 708 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 10272 33554432000 4194304 4196468 140723742275120 140387007167376 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=709] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/709/stat : 709 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28904853504 10272 33554432000 4194304 4196468 140723742275120 140387006114576 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=710] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/710/stat : 710 (java) S 698 698 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510624199 28904853504 10272 33554432000 4194304 4196468 140723742275120 140386176395632 140387461819010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=711] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/711/stat : 711 (java) S 698 698 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510624199 28904853504 10272 33554432000 4194304 4196468 140723742275120 140386175341600 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=712] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/712/stat : 712 (java) S 698 698 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510624199 28904853504 10272 33554432000 4194304 4196468 140723742275120 140385922966384 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=713] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/713/stat : 713 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 10272 33554432000 4194304 4196468 140723742275120 140385921914704 140387461826459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=714] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/714/stat : 714 (java) S 698 698 29338 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 10272 33554432000 4194304 4196468 140723742275120 140385920863088 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=715] ppid=698 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/700/task/715/stat : 715 (java) S 698 698 29338 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 510624202 28904853504 10272 33554432000 4194304 4196468 140723742275120 140385919810288 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=716] ppid=698 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/700/task/716/stat : 716 (java) R 698 698 29338 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 510624202 28904853504 10272 33554432000 4194304 4196468 140723742275120 140385918757488 140387461819010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=717] ppid=698 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/700/task/717/stat : 717 (java) R 698 698 29338 0 -1 4202560 755 0 0 0 8 0 0 0 20 0 20 0 510624202 28904853504 10272 33554432000 4194304 4196468 140723742275120 140385917704688 140387461819798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=718] ppid=698 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/700/task/718/stat : 718 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 10272 33554432000 4194304 4196468 140723742275120 140385916652128 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=719] ppid=698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/719/stat : 719 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624202 28904853504 10272 33554432000 4194304 4196468 140723742275120 140385915599408 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42540 KiB [startup+0.310366 s]* /proc/loadavg: 8.29 7.99 7.87 3/211 719 /proc/meminfo: memFree=26165660/32770624 swapFree=66956840/67108860 [pid=698] ppid=695 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/698/stat : 698 (xcsp3-exec) S 695 698 29338 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510624196 115843072 363 33554432000 4194304 5098028 140720755418608 140720755416712 140010141221500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31313920 140720755422033 140720755422293 140720755422293 140720755425222 0 /proc/698/statm: 28282 363 304 221 0 87 0 [pid=700] ppid=698 vsize=28231652 memory=49904 CPUtime=0.52 cores=0-7 /proc/700/stat : 700 (java) S 698 698 29338 0 -1 1077944320 10865 0 0 0 47 5 0 0 20 0 20 0 510624196 28909211648 12476 33554432000 4194304 4196468 140723742275120 140723742257664 140387461807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 /proc/700/statm: 7057913 12476 3361 1 0 7019032 0 [pid=700/tid=701] ppid=698 vsize=28231652 memory=4 CPUtime=0.29 cores=0-7 /proc/700/task/701/stat : 701 (java) R 698 698 29338 0 -1 4202560 7784 0 0 0 26 3 0 0 20 0 20 0 510624196 28909211648 12504 33554432000 4194304 4196468 140723742275120 140387466038976 140387445888350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=702] ppid=698 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/702/stat : 702 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28909211648 12504 33554432000 4194304 4196468 140723742275120 140387013483152 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=703] ppid=698 vsize=28231652 memory=140320092932491 CPUtime=0 cores=0-7 /proc/700/task/703/stat : 703 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28909211648 12504 33554432000 4194304 4196468 140723742275120 140387012430352 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=704] ppid=698 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/704/stat : 704 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510624197 28909211648 12504 33554432000 4194304 4196468 140723742275120 140387011377552 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=705] ppid=698 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/700/task/705/stat : 705 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28909211648 12504 33554432000 4194304 4196468 140723742275120 140387010324752 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=706] ppid=698 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/700/task/706/stat : 706 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28909211648 12504 33554432000 4194304 4196468 140723742275120 140387009272976 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=707] ppid=698 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/700/task/707/stat : 707 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28909211648 12504 33554432000 4194304 4196468 140723742275120 140387008220176 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=708] ppid=698 vsize=28231652 memory=3832902165241004064 CPUtime=0 cores=0-7 /proc/700/task/708/stat : 708 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28909211648 12504 33554432000 4194304 4196468 140723742275120 140387007167376 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=709] ppid=698 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/700/task/709/stat : 709 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28909211648 12504 33554432000 4194304 4196468 140723742275120 140387006114576 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=710] ppid=698 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/700/task/710/stat : 710 (java) S 698 698 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510624199 28909211648 12504 33554432000 4194304 4196468 140723742275120 140386176395632 140387461819010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=711] ppid=698 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/700/task/711/stat : 711 (java) S 698 698 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510624199 28909211648 12504 33554432000 4194304 4196468 140723742275120 140386175341600 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=712] ppid=698 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/700/task/712/stat : 712 (java) S 698 698 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510624199 28909211648 12504 33554432000 4194304 4196468 140723742275120 140385922966384 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=713] ppid=698 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/700/task/713/stat : 713 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624202 28909211648 12504 33554432000 4194304 4196468 140723742275120 140385921914704 140387461826459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=714] ppid=698 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/700/task/714/stat : 714 (java) R 698 698 29338 0 -1 4202560 440 0 0 0 3 0 0 0 20 0 20 0 510624202 28909211648 12504 33554432000 4194304 4196468 140723742275120 140385920853472 140387445194757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=715] ppid=698 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/700/task/715/stat : 715 (java) S 698 698 29338 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 20 0 510624202 28909211648 12504 33554432000 4194304 4196468 140723742275120 140385919810288 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=716] ppid=698 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/700/task/716/stat : 716 (java) S 698 698 29338 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 20 0 510624202 28909211648 12504 33554432000 4194304 4196468 140723742275120 140385918757488 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=717] ppid=698 vsize=28231652 memory=0 CPUtime=0.13 cores=0-7 /proc/700/task/717/stat : 717 (java) S 698 698 29338 0 -1 1077944384 825 0 0 0 13 0 0 0 20 0 20 0 510624202 28909211648 12504 33554432000 4194304 4196468 140723742275120 140385917704688 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=718] ppid=698 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/700/task/718/stat : 718 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510624202 28909211648 12504 33554432000 4194304 4196468 140723742275120 140385916652128 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=719] ppid=698 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/700/task/719/stat : 719 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624202 28909211648 12504 33554432000 4194304 4196468 140723742275120 140385915599408 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51356 KiB [startup+0.700998 s] /proc/loadavg: 8.29 7.99 7.87 4/211 719 /proc/meminfo: memFree=26155788/32770624 swapFree=66956840/67108860 [pid=698] ppid=695 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/698/stat : 698 (xcsp3-exec) S 695 698 29338 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510624196 115843072 363 33554432000 4194304 5098028 140720755418608 140720755416712 140010141221500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31313920 140720755422033 140720755422293 140720755422293 140720755425222 0 /proc/698/statm: 28282 363 304 221 0 87 0 [pid=700] ppid=698 vsize=28233776 memory=91620 CPUtime=1.72 cores=0-7 /proc/700/stat : 700 (java) S 698 698 29338 0 -1 1077944320 16208 0 0 0 163 9 0 0 20 0 20 0 510624196 28911386624 22839 33554432000 4194304 4196468 140723742275120 140723742257664 140387461807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 /proc/700/statm: 7058444 22905 3458 1 0 7019544 0 [pid=700/tid=701] ppid=698 vsize=28233776 memory=3624 CPUtime=0.67 cores=0-7 /proc/700/task/701/stat : 701 (java) R 698 698 29338 0 -1 4202560 9292 0 0 0 62 5 0 0 20 0 20 0 510624196 28911386624 22905 33554432000 4194304 4196468 140723742275120 140387466046208 140387062787497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=702] ppid=698 vsize=28233776 memory=53500 CPUtime=0 cores=0-7 /proc/700/task/702/stat : 702 (java) S 698 698 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510624197 28911386624 22905 33554432000 4194304 4196468 140723742275120 140387013483152 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=703] ppid=698 vsize=28233776 memory=984 CPUtime=0 cores=0-7 /proc/700/task/703/stat : 703 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510624197 28911386624 22905 33554432000 4194304 4196468 140723742275120 140387012430352 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=704] ppid=698 vsize=28233776 memory=2016 CPUtime=0 cores=0-7 /proc/700/task/704/stat : 704 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510624197 28911386624 22905 33554432000 4194304 4196468 140723742275120 140387011377552 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 ################ # More data... # ################ [pid=700/tid=717] ppid=698 vsize=28769364 memory=1452 CPUtime=0.8 cores=0-7 /proc/700/task/717/stat : 717 (java) S 698 698 29338 0 -1 1077944384 8367 0 0 0 79 1 0 0 20 0 28 0 510624202 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385917704688 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=718] ppid=698 vsize=28769364 memory=2421680 CPUtime=0 cores=0-7 /proc/700/task/718/stat : 718 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510624202 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385916652128 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=719] ppid=698 vsize=28769364 memory=14977758669309671 CPUtime=0.15 cores=0-7 /proc/700/task/719/stat : 719 (java) S 698 698 29338 0 -1 1077944384 2912 0 0 0 2 13 0 0 20 0 28 0 510624202 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385915599408 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=854] ppid=698 vsize=28769364 memory=2016 CPUtime=486.89 cores=0-7 /proc/700/task/854/stat : 854 (java) R 698 698 29338 0 -1 4202560 10195 0 0 0 48680 9 0 0 20 0 28 0 510635886 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385833687536 140387068823475 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=855] ppid=698 vsize=28769364 memory=1408 CPUtime=485.95 cores=0-7 /proc/700/task/855/stat : 855 (java) R 698 698 29338 0 -1 4202560 8907 0 0 0 48586 9 0 0 20 0 28 0 510635886 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385832636456 140387068279235 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=856] ppid=698 vsize=28769364 memory=288230574492221466 CPUtime=486.61 cores=0-7 /proc/700/task/856/stat : 856 (java) R 698 698 29338 0 -1 4202560 10019 0 0 0 48653 8 0 0 20 0 28 0 510635886 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385834742696 140387070485657 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=857] ppid=698 vsize=28769364 memory=288230621803970871 CPUtime=486.52 cores=0-7 /proc/700/task/857/stat : 857 (java) R 698 698 29338 0 -1 4202560 63466 0 0 0 48583 69 0 0 20 0 28 0 510635886 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385835794736 140387063689350 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=858] ppid=698 vsize=28769364 memory=14977758669309671 CPUtime=485.94 cores=0-7 /proc/700/task/858/stat : 858 (java) R 698 698 29338 0 -1 4202560 38643 0 0 0 48550 44 0 0 20 0 28 0 510635886 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385836847296 140387068399696 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=859] ppid=698 vsize=28769364 memory=616 CPUtime=486.3 cores=0-7 /proc/700/task/859/stat : 859 (java) R 698 698 29338 0 -1 4202560 30246 0 0 0 48600 30 0 0 20 0 28 0 510635886 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385830527624 140387071688641 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=860] ppid=698 vsize=28769364 memory=2832 CPUtime=485.75 cores=0-7 /proc/700/task/860/stat : 860 (java) R 698 698 29338 0 -1 4202560 21223 0 0 0 48564 11 0 0 20 0 28 0 510635886 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385837899712 140387447019109 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=861] ppid=698 vsize=28769364 memory=1620 CPUtime=485.97 cores=0-7 /proc/700/task/861/stat : 861 (java) R 698 698 29338 0 -1 4202560 71117 0 0 0 48530 67 0 0 20 0 28 0 510635886 29459828736 605416 33554432000 4194304 4196468 140723742275120 140385906622760 140387069088396 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 Current children cumulated CPU time: 4835.58 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 2423116 KiB [startup+609.602 s] /proc/loadavg: 8.27 8.10 7.98 9/218 903 /proc/meminfo: memFree=23789980/32770624 swapFree=66956840/67108860 [pid=698] ppid=695 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/698/stat : 698 (xcsp3-exec) S 695 698 29338 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510624196 115843072 363 33554432000 4194304 5098028 140720755418608 140720755416712 140010141221500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31313920 140720755422033 140720755422293 140720755422293 140720755425222 0 /proc/698/statm: 28282 363 304 221 0 87 0 [pid=700] ppid=698 vsize=28769364 memory=2419612 CPUtime=4838.77 cores=0-7 /proc/700/stat : 700 (java) S 698 698 29338 0 -1 1077944320 531273 0 0 0 483366 511 0 0 20 0 28 0 510624196 29459828736 604903 33554432000 4194304 4196468 140723742275120 140723742257664 140387461807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 /proc/700/statm: 7192341 604903 3550 1 0 7153441 0 [pid=700/tid=701] ppid=698 vsize=28769364 memory=2419628 CPUtime=0.73 cores=0-7 /proc/700/task/701/stat : 701 (java) S 698 698 29338 0 -1 1077944384 9590 0 0 0 68 5 0 0 20 0 28 0 510624196 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387466048640 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=702] ppid=698 vsize=28769364 memory=804 CPUtime=3.16 cores=0-7 /proc/700/task/702/stat : 702 (java) S 698 698 29338 0 -1 1077944384 11261 0 0 0 292 24 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387013483152 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=703] ppid=698 vsize=28769364 memory=140324382795391 CPUtime=3.14 cores=0-7 /proc/700/task/703/stat : 703 (java) S 698 698 29338 0 -1 1077944384 12829 0 0 0 289 25 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387012430352 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=704] ppid=698 vsize=28769364 memory=-7745171290612670121 CPUtime=3.15 cores=0-7 /proc/700/task/704/stat : 704 (java) S 698 698 29338 0 -1 1077944384 14258 0 0 0 289 26 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387011377552 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=705] ppid=698 vsize=28769364 memory=218796064 CPUtime=3.17 cores=0-7 /proc/700/task/705/stat : 705 (java) S 698 698 29338 0 -1 1077944384 10992 0 0 0 291 26 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387010324752 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=706] ppid=698 vsize=28769364 memory=6947385649911455296 CPUtime=3.17 cores=0-7 /proc/700/task/706/stat : 706 (java) S 698 698 29338 0 -1 1077944384 14277 0 0 0 293 24 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387009272976 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=707] ppid=698 vsize=28769364 memory=2423248 CPUtime=3.17 cores=0-7 /proc/700/task/707/stat : 707 (java) S 698 698 29338 0 -1 1077944384 12347 0 0 0 294 23 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387008220176 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=708] ppid=698 vsize=28769364 memory=2016 CPUtime=3.12 cores=0-7 /proc/700/task/708/stat : 708 (java) S 698 698 29338 0 -1 1077944384 11476 0 0 0 288 24 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387007167376 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=709] ppid=698 vsize=28769364 memory=1452 CPUtime=3.16 cores=0-7 /proc/700/task/709/stat : 709 (java) S 698 698 29338 0 -1 1077944384 10842 0 0 0 291 25 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387006114576 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=710] ppid=698 vsize=28769364 memory=1548 CPUtime=1.18 cores=0-7 /proc/700/task/710/stat : 710 (java) S 698 698 29338 0 -1 1077944384 86364 0 0 0 91 27 0 0 20 0 28 0 510624199 29459828736 604903 33554432000 4194304 4196468 140723742275120 140386176395632 140387461819010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=711] ppid=698 vsize=28769364 memory=7552 CPUtime=0 cores=0-7 /proc/700/task/711/stat : 711 (java) S 698 698 29338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510624199 29459828736 604903 33554432000 4194304 4196468 140723742275120 140386175341664 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=712] ppid=698 vsize=28769364 memory=3608 CPUtime=0 cores=0-7 /proc/700/task/712/stat : 712 (java) S 698 698 29338 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510624199 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385922966384 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=713] ppid=698 vsize=28769364 memory=616 CPUtime=0 cores=0-7 /proc/700/task/713/stat : 713 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385921914704 140387461826459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=714] ppid=698 vsize=28769364 memory=2832 CPUtime=1.61 cores=0-7 /proc/700/task/714/stat : 714 (java) S 698 698 29338 0 -1 1077944384 8212 0 0 0 158 3 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385920863088 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=715] ppid=698 vsize=28769364 memory=14012 CPUtime=1.44 cores=0-7 /proc/700/task/715/stat : 715 (java) S 698 698 29338 0 -1 1077944384 11227 0 0 0 141 3 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385919810288 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=716] ppid=698 vsize=28769364 memory=1412 CPUtime=1.62 cores=0-7 /proc/700/task/716/stat : 716 (java) S 698 698 29338 0 -1 1077944384 10063 0 0 0 160 2 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385918757488 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=717] ppid=698 vsize=28769364 memory=3624 CPUtime=0.8 cores=0-7 /proc/700/task/717/stat : 717 (java) S 698 698 29338 0 -1 1077944384 8367 0 0 0 79 1 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385917704688 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=718] ppid=698 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/700/task/718/stat : 718 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385916652128 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=719] ppid=698 vsize=28769364 memory=2421680 CPUtime=0.15 cores=0-7 /proc/700/task/719/stat : 719 (java) S 698 698 29338 0 -1 1077944384 2912 0 0 0 2 13 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385915599408 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=854] ppid=698 vsize=28769364 memory=25104 CPUtime=487.28 cores=0-7 /proc/700/task/854/stat : 854 (java) R 698 698 29338 0 -1 4202560 10197 0 0 0 48719 9 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385833683968 140387069088396 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=855] ppid=698 vsize=28769364 memory=14056 CPUtime=486.34 cores=0-7 /proc/700/task/855/stat : 855 (java) R 698 698 29338 0 -1 4202560 8910 0 0 0 48625 9 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385832632456 140387070112605 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=856] ppid=698 vsize=28769364 memory=2116 CPUtime=487 cores=0-7 /proc/700/task/856/stat : 856 (java) R 698 698 29338 0 -1 4202560 10023 0 0 0 48692 8 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385834738464 140387068823395 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=857] ppid=698 vsize=28769364 memory=6947385649911455296 CPUtime=486.92 cores=0-7 /proc/700/task/857/stat : 857 (java) R 698 698 29338 0 -1 4202560 63470 0 0 0 48623 69 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385835793776 140387070810079 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=858] ppid=698 vsize=28769364 memory=916 CPUtime=486.33 cores=0-7 /proc/700/task/858/stat : 858 (java) R 698 698 29338 0 -1 4202560 38646 0 0 0 48589 44 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385836843584 140387068399670 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=859] ppid=698 vsize=28769364 memory=4764 CPUtime=486.7 cores=0-7 /proc/700/task/859/stat : 859 (java) R 698 698 29338 0 -1 4202560 30247 0 0 0 48640 30 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385830527488 140387066087639 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=860] ppid=698 vsize=28769364 memory=4112 CPUtime=486.15 cores=0-7 /proc/700/task/860/stat : 860 (java) R 698 698 29338 0 -1 4202560 21227 0 0 0 48604 11 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385837896064 140387071235175 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=861] ppid=698 vsize=28769364 memory=1160 CPUtime=486.37 cores=0-7 /proc/700/task/861/stat : 861 (java) R 698 698 29338 0 -1 4202560 71119 0 0 0 48570 67 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385906618584 140387447875968 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 Current children cumulated CPU time: 4838.77 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 2421064 KiB [startup+609.702 s] /proc/loadavg: 8.27 8.10 7.98 9/218 903 /proc/meminfo: memFree=23789980/32770624 swapFree=66956840/67108860 [pid=698] ppid=695 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/698/stat : 698 (xcsp3-exec) S 695 698 29338 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510624196 115843072 363 33554432000 4194304 5098028 140720755418608 140720755416712 140010141221500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31313920 140720755422033 140720755422293 140720755422293 140720755425222 0 /proc/698/statm: 28282 363 304 221 0 87 0 [pid=700] ppid=698 vsize=28769364 memory=2419612 CPUtime=4839.57 cores=0-7 /proc/700/stat : 700 (java) S 698 698 29338 0 -1 1077944320 531275 0 0 0 483446 511 0 0 20 0 28 0 510624196 29459828736 604903 33554432000 4194304 4196468 140723742275120 140723742257664 140387461807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 /proc/700/statm: 7192341 604903 3550 1 0 7153441 0 [pid=700/tid=701] ppid=698 vsize=28769364 memory=1452 CPUtime=0.73 cores=0-7 /proc/700/task/701/stat : 701 (java) S 698 698 29338 0 -1 1077944384 9590 0 0 0 68 5 0 0 20 0 28 0 510624196 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387466048640 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=702] ppid=698 vsize=28769364 memory=1452 CPUtime=3.16 cores=0-7 /proc/700/task/702/stat : 702 (java) S 698 698 29338 0 -1 1077944384 11261 0 0 0 292 24 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387013483152 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=703] ppid=698 vsize=28769364 memory=2419612 CPUtime=3.14 cores=0-7 /proc/700/task/703/stat : 703 (java) S 698 698 29338 0 -1 1077944384 12829 0 0 0 289 25 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387012430352 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=704] ppid=698 vsize=28769364 memory=2419108 CPUtime=3.15 cores=0-7 /proc/700/task/704/stat : 704 (java) S 698 698 29338 0 -1 1077944384 14258 0 0 0 289 26 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387011377552 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=705] ppid=698 vsize=28769364 memory=2420692 CPUtime=3.17 cores=0-7 /proc/700/task/705/stat : 705 (java) S 698 698 29338 0 -1 1077944384 10992 0 0 0 291 26 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387010324752 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=706] ppid=698 vsize=28769364 memory=2419612 CPUtime=3.17 cores=0-7 /proc/700/task/706/stat : 706 (java) S 698 698 29338 0 -1 1077944384 14277 0 0 0 293 24 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387009272976 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=707] ppid=698 vsize=28769364 memory=1452 CPUtime=3.17 cores=0-7 /proc/700/task/707/stat : 707 (java) S 698 698 29338 0 -1 1077944384 12347 0 0 0 294 23 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387008220176 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=708] ppid=698 vsize=28769364 memory=2419116 CPUtime=3.12 cores=0-7 /proc/700/task/708/stat : 708 (java) S 698 698 29338 0 -1 1077944384 11476 0 0 0 288 24 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387007167376 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=709] ppid=698 vsize=28769364 memory=2326416 CPUtime=3.16 cores=0-7 /proc/700/task/709/stat : 709 (java) S 698 698 29338 0 -1 1077944384 10842 0 0 0 291 25 0 0 20 0 28 0 510624197 29459828736 604903 33554432000 4194304 4196468 140723742275120 140387006114576 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=710] ppid=698 vsize=28769364 memory=1452 CPUtime=1.18 cores=0-7 /proc/700/task/710/stat : 710 (java) S 698 698 29338 0 -1 1077944384 86364 0 0 0 91 27 0 0 20 0 28 0 510624199 29459828736 604903 33554432000 4194304 4196468 140723742275120 140386176395632 140387461819010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=711] ppid=698 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/700/task/711/stat : 711 (java) S 698 698 29338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510624199 29459828736 604903 33554432000 4194304 4196468 140723742275120 140386175341664 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=712] ppid=698 vsize=28769364 memory=2420692 CPUtime=0 cores=0-7 /proc/700/task/712/stat : 712 (java) S 698 698 29338 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510624199 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385922966384 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=713] ppid=698 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/700/task/713/stat : 713 (java) S 698 698 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385921914704 140387461826459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=714] ppid=698 vsize=28769364 memory=1452 CPUtime=1.61 cores=0-7 /proc/700/task/714/stat : 714 (java) S 698 698 29338 0 -1 1077944384 8212 0 0 0 158 3 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385920863088 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=715] ppid=698 vsize=28769364 memory=1452 CPUtime=1.44 cores=0-7 /proc/700/task/715/stat : 715 (java) S 698 698 29338 0 -1 1077944384 11227 0 0 0 141 3 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385919810288 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=716] ppid=698 vsize=28769364 memory=1452 CPUtime=1.62 cores=0-7 /proc/700/task/716/stat : 716 (java) S 698 698 29338 0 -1 1077944384 10063 0 0 0 160 2 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385918757488 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=717] ppid=698 vsize=28769364 memory=2398952 CPUtime=0.8 cores=0-7 /proc/700/task/717/stat : 717 (java) S 698 698 29338 0 -1 1077944384 8367 0 0 0 79 1 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385917704688 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=718] ppid=698 vsize=28769364 memory=6947385649911455296 CPUtime=0 cores=0-7 /proc/700/task/718/stat : 718 (java) S 698 698 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385916652128 140387461818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=719] ppid=698 vsize=28769364 memory=2423236 CPUtime=0.15 cores=0-7 /proc/700/task/719/stat : 719 (java) S 698 698 29338 0 -1 1077944384 2912 0 0 0 2 13 0 0 20 0 28 0 510624202 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385915599408 140387461819010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=854] ppid=698 vsize=28769364 memory=1452 CPUtime=487.38 cores=0-7 /proc/700/task/854/stat : 854 (java) R 698 698 29338 0 -1 4202560 10197 0 0 0 48729 9 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385833683968 140387442650809 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=855] ppid=698 vsize=28769364 memory=2421672 CPUtime=486.44 cores=0-7 /proc/700/task/855/stat : 855 (java) R 698 698 29338 0 -1 4202560 8910 0 0 0 48635 9 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385832632456 140387069182419 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=856] ppid=698 vsize=28769364 memory=2421684 CPUtime=487.1 cores=0-7 /proc/700/task/856/stat : 856 (java) R 698 698 29338 0 -1 4202560 10023 0 0 0 48702 8 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385834738464 140387069088103 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=857] ppid=698 vsize=28769364 memory=1452 CPUtime=487.02 cores=0-7 /proc/700/task/857/stat : 857 (java) R 698 698 29338 0 -1 4202560 63472 0 0 0 48633 69 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385835793776 140387070809693 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=858] ppid=698 vsize=28769364 memory=3624 CPUtime=486.43 cores=0-7 /proc/700/task/858/stat : 858 (java) R 698 698 29338 0 -1 4202560 38646 0 0 0 48599 44 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385836843720 140387068399952 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=859] ppid=698 vsize=28769364 memory=53516 CPUtime=486.8 cores=0-7 /proc/700/task/859/stat : 859 (java) R 698 698 29338 0 -1 4202560 30247 0 0 0 48650 30 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385830527488 140387069983223 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=860] ppid=698 vsize=28769364 memory=3624 CPUtime=486.24 cores=0-7 /proc/700/task/860/stat : 860 (java) R 698 698 29338 0 -1 4202560 21227 0 0 0 48613 11 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385837896064 140387071112517 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 [pid=700/tid=861] ppid=698 vsize=28769364 memory=53516 CPUtime=486.47 cores=0-7 /proc/700/task/861/stat : 861 (java) R 698 698 29338 0 -1 4202560 71119 0 0 0 48580 67 0 0 20 0 28 0 510635886 29459828736 604903 33554432000 4194304 4196468 140723742275120 140385906618584 140387070810137 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35794944 140723742282710 140723742282886 140723742282886 140723742285775 0 Current children cumulated CPU time: 4839.57 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 2421064 KiB Child status: 0 Real time (s): 609.749 CPU time (s): 4839.79 CPU user time (s): 4834.66 CPU system time (s): 5.13696 CPU usage (%): 793.735 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 2440736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4834.66 system time used= 5.13696 maximum resident set size= 2439284 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 532963 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1272 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 81726 involuntary context switches= 56842 # summary of solver processes directly reported to runsolver: # pid: 698 # total CPU time (s): 4839.79 # total CPU user time (s): 4834.66 # total CPU system time (s): 5.13696 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.43637 second user time and 7.09343 second system time The end
Begin job on node105 at 2019-09-24 17:46:03 IDJOB=4407081 IDBENCH=115953 IDSOLVER=2871 FILE ID=node105/4407081-1569343664 RUNJOBID= node105-1569332278-29365 PBS_JOBID= 21705070 Free space on /var/tmp= 13180 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-06-12.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-4407081-1569343664/watcher-4407081-1569343664 -o /var/tmp/evaluation-result-4407081-1569343664/solver-4407081-1569343664 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1292990470 HOME/instance-4407081-1569343664.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7162d4a2bfb4649e5ff01c254dbd946c RANDOM SEED=1292990470 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26202740 kB MemAvailable: 31798788 kB Buffers: 115416 kB Cached: 5611836 kB SwapCached: 48348 kB Active: 2860028 kB Inactive: 2917804 kB Active(anon): 5028 kB Inactive(anon): 99568 kB Active(file): 2855000 kB Inactive(file): 2818236 kB Unevictable: 110928 kB Mlocked: 110928 kB SwapTotal: 67108860 kB SwapFree: 66956840 kB Dirty: 26112 kB Writeback: 0 kB AnonPages: 112996 kB Mapped: 54528 kB Shmem: 45916 kB Slab: 380264 kB SReclaimable: 351272 kB SUnreclaim: 28992 kB KernelStack: 3824 kB PageTables: 5728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506792 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13152 MiB End job on node105 at 2019-09-24 17:56:13