Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 2709 | 19333 | 2520.13 |
| Name | SumColoring/ SumColoring-dsjc-125-9_c18.xml |
| MD5SUM | fde90c264558af66570e1c8b29991738 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2709 |
| Best CPU time to get the best result obtained on this benchmark | 19333 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 125 |
| Number of constraints | 6961 |
| Number of domains | 1 |
| Minimum domain size | 125 |
| Maximum domain size | 125 |
| Distribution of domain sizes | [{"size":125,"count":125}] |
| Minimum variable degree | 104 |
| Maximum variable degree | 121 |
| Distribution of variable degrees | [{"degree":104,"count":2},{"degree":105,"count":1},{"degree":106,"count":1},{"degree":107,"count":3},{"degree":108,"count":8},{"degree":109,"count":10},{"degree":110,"count":9},{"degree":111,"count":16},{"degree":112,"count":13},{"degree":113,"count":18},{"degree":114,"count":11},{"degree":115,"count":8},{"degree":116,"count":12},{"degree":117,"count":7},{"degree":118,"count":4},{"degree":119,"count":1},{"degree":121,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":6961}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 6961 |
| Distribution of constraint types | [{"type":"intension","count":6961}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297585-1532708832.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297585-1532708832.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.34/0.28 c parse instance... 9.23/2.73 c solve instance... 9.69/2.83 o 3030 9.69/2.89 o 3027 10.34/2.91 o 3026 10.34/2.92 o 3017 10.34/2.96 o 3004 10.34/2.96 o 2998 11.31/3.05 o 2987 12.09/3.19 o 2939 12.09/3.20 o 2935 12.58/3.20 o 2892 60.26/9.27 o 2891 61.04/9.31 o 2888 61.04/9.32 o 2884 61.04/9.32 o 2881 70.68/10.75 o 2867 70.68/10.76 o 2833 236.67/31.66 o 2821 1153.42/147.61 o 2804 1153.42/147.68 o 2791 10426.14/1349.77 o 2714 10426.43/1349.82 o 2709 19332.12/2520.09 s SATISFIABLE 19332.12/2520.09 v <instantiation> 19332.12/2520.09 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] </list> 19332.12/2520.09 v <values>28 7 23 8 11 35 3 3 25 31 21 26 9 43 8 1 10 5 6 4 6 38 6 20 25 18 11 13 15 12 29 29 29 37 36 22 32 26 30 44 8 7 30 28 11 24 34 44 48 3 12 18 9 49 25 27 39 14 5 46 26 13 10 7 40 51 38 35 32 17 39 0 1 32 16 36 39 24 40 21 20 37 47 0 4 16 19 23 20 12 24 17 7 14 42 14 33 17 21 31 41 15 19 33 2 1 0 2 4 2 43 27 16 45 0 46 13 34 22 15 47 50 10 9 12 </values> 19332.12/2520.09 v </instantiation> 19332.12/2520.09 c Unexpected resolution interruption!
OK 2709
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 (6646 MiB free)
memory of node 1: 16384 MiB (10426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297585-1532708832/watcher-4297585-1532708832 -o /tmp/evaluation-result-4297585-1532708832/solver-4297585-1532708832 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532703789-17537 --watchdog 2580 HOME/xcsp3-exec -seed 1010069141 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297585-1532708832.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=18812, runsolver pid=18809
[startup+0.100143 s]*
/proc/loadavg: 8.16 8.25 8.25 3/199 18833
/proc/meminfo: memFree=17467348/32770624 swapFree=67108796/67108860
[pid=18812] ppid=18809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18812/stat : 18812 (xcsp3-exec) S 18809 18812 17510 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88446373 115843072 364 33554432000 4194304 5098028 140725319743920 140725319742024 140270607659644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140725319746613 140725319746816 140725319746816 140725319749578 0
/proc/18812/statm: 28282 364 306 221 0 87 0
[pid=18814] ppid=18812 vsize=26104152 memory=27568 CPUtime=0.11 cores=0-7
/proc/18814/stat : 18814 (java) S 18812 18812 17510 0 -1 1077944320 5828 0 0 0 10 1 0 0 20 0 20 0 88446373 26730651648 6892 33554432000 4194304 4196468 140736111335552 140736111318096 139749527318263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
/proc/18814/statm: 6526038 6892 2996 1 0 6488315 0
[pid=18814/tid=18815] ppid=18812 vsize=26104152 memory=8258645624806612376 CPUtime=0.09 cores=0-7
/proc/18814/task/18815/stat : 18815 (java) R 18812 18812 17510 0 -1 4202560 3833 0 0 0 8 1 0 0 20 0 20 0 88446374 26730651648 6892 33554432000 4194304 4196468 140736111335552 139749531544608 139749511533280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18816] ppid=18812 vsize=26104152 memory=732370010678635493 CPUtime=0 cores=0-7
/proc/18814/task/18816/stat : 18816 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 6892 33554432000 4194304 4196468 140736111335552 139749449898384 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18817] ppid=18812 vsize=26104152 memory=139872341182080 CPUtime=0 cores=0-7
/proc/18814/task/18817/stat : 18817 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 6892 33554432000 4194304 4196468 140736111335552 139749448845584 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18818] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18818/stat : 18818 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 6892 33554432000 4194304 4196468 140736111335552 139749447793296 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18819] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18819/stat : 18819 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 6892 33554432000 4194304 4196468 140736111335552 139749446740496 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18820] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18820/stat : 18820 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 6892 33554432000 4194304 4196468 140736111335552 139749445688208 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18821] ppid=18812 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18814/task/18821/stat : 18821 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 6892 33554432000 4194304 4196468 140736111335552 139749080718096 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18822] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18822/stat : 18822 (java) S 18812 18812 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 6892 33554432000 4194304 4196468 140736111335552 139749079665808 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18823] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18823/stat : 18823 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 6892 33554432000 4194304 4196468 140736111335552 139749078613008 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18824] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18824/stat : 18824 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446376 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748922357872 139749527329410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18825] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18825/stat : 18825 (java) S 18812 18812 17510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88446376 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748921303840 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18826] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18826/stat : 18826 (java) S 18812 18812 17510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88446377 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748920251504 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18827] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18827/stat : 18827 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446379 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748919199824 139749527336859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18828] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18828/stat : 18828 (java) R 18812 18812 17510 0 -1 4202560 309 0 0 0 0 0 0 0 20 0 20 0 88446379 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748918147696 139749527330198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18829] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18829/stat : 18829 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446379 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748917094896 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18830] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18830/stat : 18830 (java) R 18812 18812 17510 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 88446379 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748916042608 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18831] ppid=18812 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18814/task/18831/stat : 18831 (java) R 18812 18812 17510 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 88446379 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748914989808 139749513000058 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18832] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18832/stat : 18832 (java) S 18812 18812 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88446379 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748913936736 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18833] ppid=18812 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18814/task/18833/stat : 18833 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446380 26730651648 6892 33554432000 4194304 4196468 140736111335552 139748912884016 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29024 KiB
[startup+0.210322 s]*
/proc/loadavg: 8.16 8.25 8.25 3/199 18833
/proc/meminfo: memFree=17456804/32770624 swapFree=67108796/67108860
[pid=18812] ppid=18809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18812/stat : 18812 (xcsp3-exec) S 18809 18812 17510 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88446373 115843072 364 33554432000 4194304 5098028 140725319743920 140725319742024 140270607659644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140725319746613 140725319746816 140725319746816 140725319749578 0
/proc/18812/statm: 28282 364 306 221 0 87 0
[pid=18814] ppid=18812 vsize=26104152 memory=39348 CPUtime=0.34 cores=0-7
/proc/18814/stat : 18814 (java) S 18812 18812 17510 0 -1 1077944320 8483 0 0 0 31 3 0 0 20 0 20 0 88446373 26730651648 9837 33554432000 4194304 4196468 140736111335552 140736111318096 139749527318263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
/proc/18814/statm: 6526038 9837 3151 1 0 6488315 0
[pid=18814/tid=18815] ppid=18812 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/18814/task/18815/stat : 18815 (java) R 18812 18812 17510 0 -1 4202560 5604 0 0 0 18 2 0 0 20 0 20 0 88446374 26730651648 9837 33554432000 4194304 4196468 140736111335552 139749531556416 139749527340189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18816] ppid=18812 vsize=26104152 memory=279744527845112 CPUtime=0 cores=0-7
/proc/18814/task/18816/stat : 18816 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 9837 33554432000 4194304 4196468 140736111335552 139749449898384 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18817] ppid=18812 vsize=26104152 memory=139872341182080 CPUtime=0 cores=0-7
/proc/18814/task/18817/stat : 18817 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 9837 33554432000 4194304 4196468 140736111335552 139749448845584 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18818] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18818/stat : 18818 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 9837 33554432000 4194304 4196468 140736111335552 139749447793296 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18819] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18819/stat : 18819 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 9837 33554432000 4194304 4196468 140736111335552 139749446740496 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18820] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18820/stat : 18820 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 9837 33554432000 4194304 4196468 140736111335552 139749445688208 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18821] ppid=18812 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18814/task/18821/stat : 18821 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 9837 33554432000 4194304 4196468 140736111335552 139749080718096 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18822] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18822/stat : 18822 (java) S 18812 18812 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 9837 33554432000 4194304 4196468 140736111335552 139749079665808 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18823] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18823/stat : 18823 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26730651648 9837 33554432000 4194304 4196468 140736111335552 139749078613008 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18824] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18824/stat : 18824 (java) S 18812 18812 17510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88446376 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748922357872 139749527329410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18825] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18825/stat : 18825 (java) S 18812 18812 17510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88446376 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748921303840 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18826] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18826/stat : 18826 (java) S 18812 18812 17510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88446377 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748920251504 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18827] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18827/stat : 18827 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446379 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748919199824 139749527336859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18828] ppid=18812 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18814/task/18828/stat : 18828 (java) S 18812 18812 17510 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 88446379 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748918147696 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18829] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18829/stat : 18829 (java) S 18812 18812 17510 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 88446379 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748917094896 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18830] ppid=18812 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/18814/task/18830/stat : 18830 (java) S 18812 18812 17510 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 88446379 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748916042608 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18831] ppid=18812 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/18814/task/18831/stat : 18831 (java) S 18812 18812 17510 0 -1 1077944384 697 0 0 0 8 0 0 0 20 0 20 0 88446379 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748914989808 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18832] ppid=18812 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18832/stat : 18832 (java) S 18812 18812 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88446379 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748913936736 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18833] ppid=18812 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18814/task/18833/stat : 18833 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446380 26730651648 9837 33554432000 4194304 4196468 140736111335552 139748912884016 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40804 KiB
[startup+0.310181 s]*
/proc/loadavg: 8.16 8.25 8.25 3/199 18833
/proc/meminfo: memFree=17451096/32770624 swapFree=67108796/67108860
[pid=18812] ppid=18809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18812/stat : 18812 (xcsp3-exec) S 18809 18812 17510 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88446373 115843072 364 33554432000 4194304 5098028 140725319743920 140725319742024 140270607659644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140725319746613 140725319746816 140725319746816 140725319749578 0
/proc/18812/statm: 28282 364 306 221 0 87 0
[pid=18814] ppid=18812 vsize=26108408 memory=46416 CPUtime=0.52 cores=0-7
/proc/18814/stat : 18814 (java) S 18812 18812 17510 0 -1 1077944320 9385 0 0 0 48 4 0 0 20 0 20 0 88446373 26735009792 11604 33554432000 4194304 4196468 140736111335552 140736111318096 139749527318263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
/proc/18814/statm: 6527102 11604 3232 1 0 6488315 0
[pid=18814/tid=18815] ppid=18812 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18814/task/18815/stat : 18815 (java) R 18812 18812 17510 0 -1 4202560 6333 0 0 0 27 2 0 0 20 0 20 0 88446374 26735009792 11604 33554432000 4194304 4196468 140736111335552 139749531552048 139749527340189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18816] ppid=18812 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18816/stat : 18816 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26735009792 11604 33554432000 4194304 4196468 140736111335552 139749449898384 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18817] ppid=18812 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18817/stat : 18817 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26735009792 11604 33554432000 4194304 4196468 140736111335552 139749448845584 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18818] ppid=18812 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18818/stat : 18818 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26735009792 11604 33554432000 4194304 4196468 140736111335552 139749447793296 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18819] ppid=18812 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18819/stat : 18819 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26735009792 11604 33554432000 4194304 4196468 140736111335552 139749446740496 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18820] ppid=18812 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18814/task/18820/stat : 18820 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446375 26735009792 11604 33554432000 4194304 4196468 140736111335552 139749445688208 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18821] ppid=18812 vsize=26108408 memory=139872186758063 CPUtime=0 cores=0-7
/proc/18814/task/18821/stat : 18821 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26735009792 11604 33554432000 4194304 4196468 140736111335552 139749080718096 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18822] ppid=18812 vsize=26108408 memory=139872186760368 CPUtime=0 cores=0-7
/proc/18814/task/18822/stat : 18822 (java) S 18812 18812 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88446375 26735009792 11604 33554432000 4194304 4196468 140736111335552 139749079665808 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18823] ppid=18812 vsize=26108408 memory=139872186762672 CPUtime=0 cores=0-7
/proc/18814/task/18823/stat : 18823 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26735009792 11604 33554432000 4194304 4196468 140736111335552 139749078613008 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18824] ppid=18812 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18824/stat : 18824 (java) S 18812 18812 17510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88446376 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748922357872 139749527329410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18825] ppid=18812 vsize=26108408 memory=279744373532304 CPUtime=0 cores=0-7
/proc/18814/task/18825/stat : 18825 (java) S 18812 18812 17510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88446376 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748921303840 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18826] ppid=18812 vsize=26108408 memory=279744373539216 CPUtime=0 cores=0-7
/proc/18814/task/18826/stat : 18826 (java) S 18812 18812 17510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88446377 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748920251504 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18827] ppid=18812 vsize=26108408 memory=279744373480496 CPUtime=0 cores=0-7
/proc/18814/task/18827/stat : 18827 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446379 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748919199824 139749527336859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18828] ppid=18812 vsize=26108408 memory=279744373553040 CPUtime=0.02 cores=0-7
/proc/18814/task/18828/stat : 18828 (java) S 18812 18812 17510 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 20 0 88446379 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748918147696 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18829] ppid=18812 vsize=26108408 memory=279744373559952 CPUtime=0.01 cores=0-7
/proc/18814/task/18829/stat : 18829 (java) S 18812 18812 17510 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 88446379 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748917094896 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18830] ppid=18812 vsize=26108408 memory=279744373557648 CPUtime=0.04 cores=0-7
/proc/18814/task/18830/stat : 18830 (java) S 18812 18812 17510 0 -1 1077944384 545 0 0 0 4 0 0 0 20 0 20 0 88446379 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748916042608 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18831] ppid=18812 vsize=26108408 memory=279744373573808 CPUtime=0.12 cores=0-7
/proc/18814/task/18831/stat : 18831 (java) S 18812 18812 17510 0 -1 1077944384 760 0 0 0 12 0 0 0 20 0 20 0 88446379 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748914989808 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18832] ppid=18812 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18814/task/18832/stat : 18832 (java) S 18812 18812 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88446379 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748913936736 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18833] ppid=18812 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18814/task/18833/stat : 18833 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88446380 26735009792 11604 33554432000 4194304 4196468 140736111335552 139748912884016 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47872 KiB
[startup+0.700992 s]
/proc/loadavg: 8.16 8.25 8.25 3/199 18833
/proc/meminfo: memFree=17428084/32770624 swapFree=67108796/67108860
[pid=18812] ppid=18809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18812/stat : 18812 (xcsp3-exec) S 18809 18812 17510 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88446373 115843072 364 33554432000 4194304 5098028 140725319743920 140725319742024 140270607659644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140725319746613 140725319746816 140725319746816 140725319749578 0
/proc/18812/statm: 28282 364 306 221 0 87 0
[pid=18814] ppid=18812 vsize=26110532 memory=109708 CPUtime=1.96 cores=0-7
/proc/18814/stat : 18814 (java) S 18812 18812 17510 0 -1 1077944320 13881 0 0 0 191 5 0 0 20 0 20 0 88446373 26737184768 27427 33554432000 4194304 4196468 140736111335552 140736111318096 139749527318263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
/proc/18814/statm: 6527633 27427 3353 1 0 6488827 0
[pid=18814/tid=18815] ppid=18812 vsize=26110532 memory=279744373868672 CPUtime=0.67 cores=0-7
/proc/18814/task/18815/stat : 18815 (java) R 18812 18812 17510 0 -1 4202560 6869 0 0 0 64 3 0 0 20 0 20 0 88446374 26737184768 27427 33554432000 4194304 4196468 140736111335552 139749531553360 139749527339610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18816] ppid=18812 vsize=26110532 memory=8876 CPUtime=0 cores=0-7
/proc/18814/task/18816/stat : 18816 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26737184768 27427 33554432000 4194304 4196468 140736111335552 139749449898384 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18817] ppid=18812 vsize=26110532 memory=1120 CPUtime=0 cores=0-7
/proc/18814/task/18817/stat : 18817 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26737184768 27427 33554432000 4194304 4196468 140736111335552 139749448845584 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18818] ppid=18812 vsize=26110532 memory=792 CPUtime=0 cores=0-7
/proc/18814/task/18818/stat : 18818 (java) S 18812 18812 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88446375 26737184768 27427 33554432000 4194304 4196468 140736111335552 139749447793296 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
################
# More data... #
################
[pid=18814/tid=19025] ppid=18812 vsize=26711656 memory=1456 CPUtime=1024.12 cores=0-7
/proc/18814/task/19025/stat : 19025 (java) R 18812 18812 17510 0 -1 4202560 64928 0 0 0 102386 26 0 0 20 0 28 0 88581355 27352735744 796787 33554432000 4194304 4196468 140736111335552 139748834165064 139749129933538 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
Current children cumulated CPU time: 18747.2 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 3188604 KiB
[startup+2502.3 s]
/proc/loadavg: 7.62 7.69 7.83 9/207 19066
/proc/meminfo: memFree=14300624/32770624 swapFree=67108796/67108860
[pid=18812] ppid=18809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18812/stat : 18812 (xcsp3-exec) S 18809 18812 17510 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88446373 115843072 364 33554432000 4194304 5098028 140725319743920 140725319742024 140270607659644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140725319746613 140725319746816 140725319746816 140725319749578 0
/proc/18812/statm: 28282 364 306 221 0 87 0
[pid=18814] ppid=18812 vsize=26711656 memory=3189284 CPUtime=19198.9 cores=0-7
/proc/18814/stat : 18814 (java) S 18812 18812 17510 0 -1 1077944320 1554360 0 0 0 1913166 6725 0 0 20 0 28 0 88446373 27352735744 797321 33554432000 4194304 4196468 140736111335552 140736111318096 139749527318263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
/proc/18814/statm: 6677914 797321 3465 1 0 6639108 0
[pid=18814/tid=18815] ppid=18812 vsize=26711656 memory=3189280 CPUtime=2.66 cores=0-7
/proc/18814/task/18815/stat : 18815 (java) S 18812 18812 17510 0 -1 1077944384 10588 0 0 0 257 9 0 0 20 0 28 0 88446374 27352735744 797321 33554432000 4194304 4196468 140736111335552 139749531559040 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18816] ppid=18812 vsize=26711656 memory=3189280 CPUtime=7.6 cores=0-7
/proc/18814/task/18816/stat : 18816 (java) S 18812 18812 17510 0 -1 1077944384 70820 0 0 0 716 44 0 0 20 0 28 0 88446375 27352735744 797321 33554432000 4194304 4196468 140736111335552 139749449898384 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18817] ppid=18812 vsize=26711656 memory=1456 CPUtime=7.58 cores=0-7
/proc/18814/task/18817/stat : 18817 (java) S 18812 18812 17510 0 -1 1077944384 63413 0 0 0 711 47 0 0 20 0 28 0 88446375 27352735744 797321 33554432000 4194304 4196468 140736111335552 139749448845584 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18818] ppid=18812 vsize=26711656 memory=1456 CPUtime=7.61 cores=0-7
/proc/18814/task/18818/stat : 18818 (java) S 18812 18812 17510 0 -1 1077944384 71244 0 0 0 716 45 0 0 20 0 28 0 88446375 27352735744 797321 33554432000 4194304 4196468 140736111335552 139749447793296 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18819] ppid=18812 vsize=26711656 memory=3170164 CPUtime=7.61 cores=0-7
/proc/18814/task/18819/stat : 18819 (java) S 18812 18812 17510 0 -1 1077944384 69926 0 0 0 712 49 0 0 20 0 28 0 88446375 27352735744 797321 33554432000 4194304 4196468 140736111335552 139749446740496 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18820] ppid=18812 vsize=26711656 memory=3708 CPUtime=7.65 cores=0-7
/proc/18814/task/18820/stat : 18820 (java) S 18812 18812 17510 0 -1 1077944384 70378 0 0 0 715 50 0 0 20 0 28 0 88446375 27352735744 797321 33554432000 4194304 4196468 140736111335552 139749445688208 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18821] ppid=18812 vsize=26711656 memory=1456 CPUtime=7.53 cores=0-7
/proc/18814/task/18821/stat : 18821 (java) S 18812 18812 17510 0 -1 1077944384 73025 0 0 0 702 51 0 0 20 0 28 0 88446375 27352735744 797321 33554432000 4194304 4196468 140736111335552 139749080718096 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18822] ppid=18812 vsize=26711656 memory=3189256 CPUtime=7.62 cores=0-7
/proc/18814/task/18822/stat : 18822 (java) S 18812 18812 17510 0 -1 1077944384 67886 0 0 0 713 49 0 0 20 0 28 0 88446375 27352735744 797321 33554432000 4194304 4196468 140736111335552 139749079665808 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18823] ppid=18812 vsize=26711656 memory=3189208 CPUtime=7.58 cores=0-7
/proc/18814/task/18823/stat : 18823 (java) S 18812 18812 17510 0 -1 1077944384 70835 0 0 0 711 47 0 0 20 0 28 0 88446375 27352735744 797321 33554432000 4194304 4196468 140736111335552 139749078613008 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18824] ppid=18812 vsize=26711656 memory=4136 CPUtime=91.05 cores=0-7
/proc/18814/task/18824/stat : 18824 (java) S 18812 18812 17510 0 -1 1077944384 225972 0 0 0 3364 5741 0 0 20 0 28 0 88446376 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748922357872 139749527329410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18825] ppid=18812 vsize=26711656 memory=1456 CPUtime=0 cores=0-7
/proc/18814/task/18825/stat : 18825 (java) S 18812 18812 17510 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88446376 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748921303904 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18826] ppid=18812 vsize=26711656 memory=3166928 CPUtime=0 cores=0-7
/proc/18814/task/18826/stat : 18826 (java) S 18812 18812 17510 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 88446377 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748920251520 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18827] ppid=18812 vsize=26711656 memory=920 CPUtime=0 cores=0-7
/proc/18814/task/18827/stat : 18827 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88446379 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748919199824 139749527336859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18828] ppid=18812 vsize=26711656 memory=4136 CPUtime=3.68 cores=0-7
/proc/18814/task/18828/stat : 18828 (java) S 18812 18812 17510 0 -1 1077944384 20427 0 0 0 365 3 0 0 20 0 28 0 88446379 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748918147696 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18829] ppid=18812 vsize=26711656 memory=920 CPUtime=3.81 cores=0-7
/proc/18814/task/18829/stat : 18829 (java) S 18812 18812 17510 0 -1 1077944384 20624 0 0 0 378 3 0 0 20 0 28 0 88446379 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748917094896 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18830] ppid=18812 vsize=26711656 memory=4136 CPUtime=3.65 cores=0-7
/proc/18814/task/18830/stat : 18830 (java) S 18812 18812 17510 0 -1 1077944384 20568 0 0 0 361 4 0 0 20 0 28 0 88446379 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748916042608 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18831] ppid=18812 vsize=26711656 memory=4100 CPUtime=1.01 cores=0-7
/proc/18814/task/18831/stat : 18831 (java) S 18812 18812 17510 0 -1 1077944384 22990 0 0 0 97 4 0 0 20 0 28 0 88446379 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748914989808 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18832] ppid=18812 vsize=26711656 memory=3189284 CPUtime=0 cores=0-7
/proc/18814/task/18832/stat : 18832 (java) S 18812 18812 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88446379 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748913936736 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18833] ppid=18812 vsize=26711656 memory=1456 CPUtime=0.94 cores=0-7
/proc/18814/task/18833/stat : 18833 (java) S 18812 18812 17510 0 -1 1077944384 13217 0 0 0 36 58 0 0 20 0 28 0 88446380 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748912884016 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19018] ppid=18812 vsize=26711656 memory=3189280 CPUtime=1080.23 cores=0-7
/proc/18814/task/19018/stat : 19018 (java) R 18812 18812 17510 0 -1 4202560 17859 0 0 0 108004 19 0 0 20 0 28 0 88581355 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748831005808 139749133888809 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19019] ppid=18812 vsize=26711656 memory=3708 CPUtime=1079.86 cores=0-7
/proc/18814/task/19019/stat : 19019 (java) R 18812 18812 17510 0 -1 4202560 23369 0 0 0 107968 18 0 0 20 0 28 0 88581355 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748835217312 139749133888987 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19020] ppid=18812 vsize=26711656 memory=25528 CPUtime=1077.34 cores=0-7
/proc/18814/task/19020/stat : 19020 (java) R 18812 18812 17510 0 -1 4202560 22722 0 0 0 107717 17 0 0 20 0 28 0 88581355 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748828901632 139749133888987 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19021] ppid=18812 vsize=26711656 memory=3189272 CPUtime=1078.74 cores=0-7
/proc/18814/task/19021/stat : 19021 (java) R 18812 18812 17510 0 -1 4202560 63826 0 0 0 107841 33 0 0 20 0 28 0 88581355 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748836270208 139749134798243 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19022] ppid=18812 vsize=26711656 memory=1456 CPUtime=1124.62 cores=0-7
/proc/18814/task/19022/stat : 19022 (java) R 18812 18812 17510 0 -1 4202560 26865 0 0 0 112419 43 0 0 20 0 28 0 88581355 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748832059728 139749129721555 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19023] ppid=18812 vsize=26711656 memory=1456 CPUtime=1079.52 cores=0-7
/proc/18814/task/19023/stat : 19023 (java) R 18812 18812 17510 0 -1 4202560 20466 0 0 0 107935 17 0 0 20 0 28 0 88581355 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748829957424 139749511657139 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19024] ppid=18812 vsize=26711656 memory=1456 CPUtime=1077.08 cores=0-7
/proc/18814/task/19024/stat : 19024 (java) R 18812 18812 17510 0 -1 4202560 76949 0 0 0 107673 35 0 0 20 0 28 0 88581355 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748833111504 139749133888658 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19025] ppid=18812 vsize=26711656 memory=1456 CPUtime=1079.35 cores=0-7
/proc/18814/task/19025/stat : 19025 (java) R 18812 18812 17510 0 -1 4202560 66273 0 0 0 107908 27 0 0 20 0 28 0 88581355 27352735744 797321 33554432000 4194304 4196468 140736111335552 139748834164488 139749126917844 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
Current children cumulated CPU time: 19198.9 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 3190740 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 7.94 7.76 7.85 9/207 19066
/proc/meminfo: memFree=14301124/32770624 swapFree=67108796/67108860
[pid=18812] ppid=18809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18812/stat : 18812 (xcsp3-exec) S 18809 18812 17510 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88446373 115843072 364 33554432000 4194304 5098028 140725319743920 140725319742024 140270607659644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140725319746613 140725319746816 140725319746816 140725319749578 0
/proc/18812/statm: 28282 364 306 221 0 87 0
[pid=18814] ppid=18812 vsize=26711656 memory=3189304 CPUtime=19332.1 cores=0-7
/proc/18814/stat : 18814 (java) S 18812 18812 17510 0 -1 1077944320 1571991 0 0 0 1926401 6811 0 0 20 0 28 0 88446373 27352735744 797326 33554432000 4194304 4196468 140736111335552 140736111318096 139749527318263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
/proc/18814/statm: 6677914 797326 3465 1 0 6639108 0
[pid=18814/tid=18815] ppid=18812 vsize=26711656 memory=17804 CPUtime=2.66 cores=0-7
/proc/18814/task/18815/stat : 18815 (java) S 18812 18812 17510 0 -1 1077944384 10588 0 0 0 257 9 0 0 20 0 28 0 88446374 27352735744 797326 33554432000 4194304 4196468 140736111335552 139749531559040 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18816] ppid=18812 vsize=26711656 memory=4016 CPUtime=7.65 cores=0-7
/proc/18814/task/18816/stat : 18816 (java) S 18812 18812 17510 0 -1 1077944384 71679 0 0 0 721 44 0 0 20 0 28 0 88446375 27352735744 797326 33554432000 4194304 4196468 140736111335552 139749449898384 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18817] ppid=18812 vsize=26711656 memory=-7003737579269690708 CPUtime=7.63 cores=0-7
/proc/18814/task/18817/stat : 18817 (java) S 18812 18812 17510 0 -1 1077944384 64353 0 0 0 716 47 0 0 20 0 28 0 88446375 27352735744 797326 33554432000 4194304 4196468 140736111335552 139749448845584 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18818] ppid=18812 vsize=26711656 memory=1676 CPUtime=7.67 cores=0-7
/proc/18814/task/18818/stat : 18818 (java) S 18812 18812 17510 0 -1 1077944384 72315 0 0 0 721 46 0 0 20 0 28 0 88446375 27352735744 797326 33554432000 4194304 4196468 140736111335552 139749447793296 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18819] ppid=18812 vsize=26711656 memory=960 CPUtime=7.66 cores=0-7
/proc/18814/task/18819/stat : 18819 (java) S 18812 18812 17510 0 -1 1077944384 70609 0 0 0 717 49 0 0 20 0 28 0 88446375 27352735744 797326 33554432000 4194304 4196468 140736111335552 139749446740496 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18820] ppid=18812 vsize=26711656 memory=1232 CPUtime=7.7 cores=0-7
/proc/18814/task/18820/stat : 18820 (java) S 18812 18812 17510 0 -1 1077944384 71221 0 0 0 720 50 0 0 20 0 28 0 88446375 27352735744 797326 33554432000 4194304 4196468 140736111335552 139749445688208 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18821] ppid=18812 vsize=26711656 memory=4072 CPUtime=7.58 cores=0-7
/proc/18814/task/18821/stat : 18821 (java) S 18812 18812 17510 0 -1 1077944384 73520 0 0 0 707 51 0 0 20 0 28 0 88446375 27352735744 797326 33554432000 4194304 4196468 140736111335552 139749080718096 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18822] ppid=18812 vsize=26711656 memory=2244 CPUtime=7.68 cores=0-7
/proc/18814/task/18822/stat : 18822 (java) S 18812 18812 17510 0 -1 1077944384 68995 0 0 0 718 50 0 0 20 0 28 0 88446375 27352735744 797326 33554432000 4194304 4196468 140736111335552 139749079665808 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18823] ppid=18812 vsize=26711656 memory=4124 CPUtime=7.63 cores=0-7
/proc/18814/task/18823/stat : 18823 (java) S 18812 18812 17510 0 -1 1077944384 71582 0 0 0 716 47 0 0 20 0 28 0 88446375 27352735744 797326 33554432000 4194304 4196468 140736111335552 139749078613008 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18824] ppid=18812 vsize=26711656 memory=924 CPUtime=92.25 cores=0-7
/proc/18814/task/18824/stat : 18824 (java) S 18812 18812 17510 0 -1 1077944384 228364 0 0 0 3402 5823 0 0 20 0 28 0 88446376 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748922357872 139749527329410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18825] ppid=18812 vsize=26711656 memory=1572 CPUtime=0 cores=0-7
/proc/18814/task/18825/stat : 18825 (java) S 18812 18812 17510 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88446376 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748921303904 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18826] ppid=18812 vsize=26711656 memory=2092 CPUtime=0 cores=0-7
/proc/18814/task/18826/stat : 18826 (java) S 18812 18812 17510 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 88446377 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748920251520 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18827] ppid=18812 vsize=26711656 memory=2088 CPUtime=0 cores=0-7
/proc/18814/task/18827/stat : 18827 (java) S 18812 18812 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88446379 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748919199824 139749527336859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18828] ppid=18812 vsize=26711656 memory=1040 CPUtime=3.68 cores=0-7
/proc/18814/task/18828/stat : 18828 (java) S 18812 18812 17510 0 -1 1077944384 20435 0 0 0 365 3 0 0 20 0 28 0 88446379 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748918147696 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18829] ppid=18812 vsize=26711656 memory=1628 CPUtime=3.81 cores=0-7
/proc/18814/task/18829/stat : 18829 (java) S 18812 18812 17510 0 -1 1077944384 20632 0 0 0 378 3 0 0 20 0 28 0 88446379 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748917094896 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18830] ppid=18812 vsize=26711656 memory=8876 CPUtime=3.65 cores=0-7
/proc/18814/task/18830/stat : 18830 (java) S 18812 18812 17510 0 -1 1077944384 20577 0 0 0 361 4 0 0 20 0 28 0 88446379 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748916042608 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18831] ppid=18812 vsize=26711656 memory=1120 CPUtime=1.01 cores=0-7
/proc/18814/task/18831/stat : 18831 (java) S 18812 18812 17510 0 -1 1077944384 22998 0 0 0 97 4 0 0 20 0 28 0 88446379 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748914989808 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18832] ppid=18812 vsize=26711656 memory=792 CPUtime=0 cores=0-7
/proc/18814/task/18832/stat : 18832 (java) S 18812 18812 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88446379 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748913936736 139749527328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=18833] ppid=18812 vsize=26711656 memory=832 CPUtime=0.94 cores=0-7
/proc/18814/task/18833/stat : 18833 (java) S 18812 18812 17510 0 -1 1077944384 13336 0 0 0 36 58 0 0 20 0 28 0 88446380 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748912884016 139749527329410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19018] ppid=18812 vsize=26711656 memory=1608 CPUtime=1096.62 cores=0-7
/proc/18814/task/19018/stat : 19018 (java) R 18812 18812 17510 0 -1 4202560 18387 0 0 0 109643 19 0 0 20 0 28 0 88581355 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748831005720 139749133888658 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19019] ppid=18812 vsize=26711656 memory=5024 CPUtime=1096.24 cores=0-7
/proc/18814/task/19019/stat : 19019 (java) R 18812 18812 17510 0 -1 4202560 24037 0 0 0 109606 18 0 0 20 0 28 0 88581355 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748835217416 139749135862058 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19020] ppid=18812 vsize=26711656 memory=4032 CPUtime=1093.65 cores=0-7
/proc/18814/task/19020/stat : 19020 (java) R 18812 18812 17510 0 -1 4202560 23286 0 0 0 109348 17 0 0 20 0 28 0 88581355 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748828901768 139749133888633 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19021] ppid=18812 vsize=26711656 memory=1284 CPUtime=1095.03 cores=0-7
/proc/18814/task/19021/stat : 19021 (java) R 18812 18812 17510 0 -1 4202560 65608 0 0 0 109470 33 0 0 20 0 28 0 88581355 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748836273136 139749133888690 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19022] ppid=18812 vsize=26711656 memory=1088 CPUtime=1141.89 cores=0-7
/proc/18814/task/19022/stat : 19022 (java) R 18812 18812 17510 0 -1 4202560 27459 0 0 0 114146 43 0 0 20 0 28 0 88581355 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748832059728 139749137267862 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19023] ppid=18812 vsize=26711656 memory=1456 CPUtime=1095.87 cores=0-7
/proc/18814/task/19023/stat : 19023 (java) R 18812 18812 17510 0 -1 4202560 21002 0 0 0 109570 17 0 0 20 0 28 0 88581355 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748829954632 139749133888444 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19024] ppid=18812 vsize=26711656 memory=3189296 CPUtime=1093.41 cores=0-7
/proc/18814/task/19024/stat : 19024 (java) R 18812 18812 17510 0 -1 4202560 79013 0 0 0 109306 35 0 0 20 0 28 0 88581355 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748833112216 139749134798258 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
[pid=18814/tid=19025] ppid=18812 vsize=26711656 memory=6791534058613427641 CPUtime=1095.59 cores=0-7
/proc/18814/task/19025/stat : 19025 (java) R 18812 18812 17510 0 -1 4202560 67878 0 0 0 109531 28 0 0 20 0 28 0 88581355 27352735744 797326 33554432000 4194304 4196468 140736111335552 139748834165128 139749137140909 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 28811264 140736111342721 140736111342893 140736111342893 140736111345615 0
Current children cumulated CPU time: 19332.1 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 3190760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 18812 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002399 s
[startup+2520.13 s]
# the end of solver process 18814 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19264.9 s, system=68.1359 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.13
CPU time (s): 19333
CPU user time (s): 19264.9
CPU system time (s): 68.1359
CPU usage (%): 767.142
Max. virtual memory (cumulated for all children) (KiB): 26824784
Max. memory (cumulated for all children) (KiB): 3440628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19264.9
system time used= 68.1359
maximum resident set size= 3442676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1572917
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 473903
involuntary context switches= 215402
# summary of solver processes directly reported to runsolver:
# pid: 18812,18814
# total CPU time (s): 19333
# total CPU user time (s): 19264.9
# total CPU system time (s): 68.1359
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.1268 second user time and 22.4318 second system time
The end
Begin job on node138 at 2018-07-27 18:27:12 IDJOB=4297585 IDBENCH=141224 IDSOLVER=2760 FILE ID=node138/4297585-1532708832 RUNJOBID= node138-1532703789-17537 PBS_JOBID= 21022304 Free space on /tmp= 53800 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-9_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297585-1532708832/watcher-4297585-1532708832 -o /tmp/evaluation-result-4297585-1532708832/solver-4297585-1532708832 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532703789-17537 --watchdog 2580 HOME/xcsp3-exec -seed 1010069141 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297585-1532708832.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fde90c264558af66570e1c8b29991738 RANDOM SEED=1010069141 node138.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.71 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.71 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.71 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.71 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: 17484504 kB MemAvailable: 31922644 kB Buffers: 216972 kB Cached: 14364288 kB SwapCached: 44 kB Active: 2482616 kB Inactive: 12157776 kB Active(anon): 9820 kB Inactive(anon): 77276 kB Active(file): 2472796 kB Inactive(file): 12080500 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 21996 kB Writeback: 8 kB AnonPages: 61928 kB Mapped: 36656 kB Shmem: 25164 kB Slab: 341364 kB SReclaimable: 313304 kB SUnreclaim: 28060 kB KernelStack: 3296 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 53780 MiB End job on node138 at 2018-07-27 19:09:12