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.7 seq (493a269) | SAT (TO) | 51 | 2400.13 | 2385.92 |
| Name | LowAutocorrelation/ LowAutocorrelation-023_c18.xml |
| MD5SUM | 1fc64e237e2e479d6d3c5a9de2910321 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 47 |
| Best CPU time to get the best result obtained on this benchmark | 117.237 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 551 |
| Number of constraints | 297 |
| Number of domains | 45 |
| Minimum domain size | 2 |
| Maximum domain size | 45 |
| Distribution of domain sizes | [{"size":2,"count":277},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 22 |
| Distribution of variable degrees | [{"degree":0,"count":231},{"degree":2,"count":297},{"degree":22,"count":23}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 23 |
| Distribution of constraint arities | [{"arity":2,"count":23},{"arity":3,"count":254},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 275 |
| Distribution of constraint types | [{"type":"intension","count":275},{"type":"sum","count":22}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292440-1532478464.xml" -tl '2400s' -p 1 -x 0 0.12/0.17 c Choco 493a269 0.12/0.18 c [HOME/instance-4292440-1532478464.xml, -tl, 2400s, -p, 1, -x, 0] 0.12/0.21 c simple solver 0.33/0.28 c parse instance... 1.31/0.68 c solve instance... 1.57/0.75 o 247 1.57/0.76 o 223 1.57/0.77 o 199 1.57/0.78 o 179 1.90/0.80 o 131 1.90/0.81 o 119 1.90/0.84 o 91 2.55/1.07 o 63 21.28/17.23 o 59 200.25/195.87 o 55 242.19/237.75 o 51 2400.07/2385.91 s SATISFIABLE 2400.07/2385.91 v <instantiation> 2400.07/2385.91 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[18][0] y[18][1] y[18][2] y[18][3] y[19][0] y[19][1] y[19][2] y[20][0] y[20][1] y[21][0] 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] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] </list> 2400.07/2385.91 v <values>-1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 0 -1 0 -3 2 1 -2 1 2 1 -2 1 2 1 2 1 -2 1 -2 -1 0 -1 0 1 0 9 4 1 4 1 4 1 4 1 4 1 4 1 4 1 4 1 0 1 </values> 2400.07/2385.91 v </instantiation> 2400.07/2385.91 c Unexpected resolution interruption!
OK 51
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 (9664 MiB free)
memory of node 1: 16384 MiB (10356 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292440-1532478464/watcher-4292440-1532478464 -o /tmp/evaluation-result-4292440-1532478464/solver-4292440-1532478464 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22097 --watchdog 2560 HOME/xcsp3-exec -seed 1592352907 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292440-1532478464.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Starting watchdog threadCurrent StackSize limit: 8192 KiB
solver pid=25716, runsolver pid=25713
[startup+0.10014 s]*
/proc/loadavg: 1.85 1.81 1.77 3/217 25732
/proc/meminfo: memFree=20483796/32770624 swapFree=67108860/67108860
[pid=25716] ppid=25713 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25716/stat : 25716 (xcsp3-exec) S 25713 25716 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65409545 115843072 363 33554432000 4194304 5098028 140727047005184 140727047003288 139980898140796 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7958528 140727047013434 140727047013636 140727047013636 140727047016394 0
/proc/25716/statm: 28282 363 305 221 0 87 0
[pid=25718] ppid=25716 vsize=14082840 memory=28828 CPUtime=0.12 cores=1,3,5,7
/proc/25718/stat : 25718 (java) S 25716 25716 22065 0 -1 1077944320 5625 0 0 0 11 1 0 0 20 0 15 0 65409545 14420828160 7207 33554432000 4194304 4196468 140736419843264 140736419825808 140658743729911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
/proc/25718/statm: 3520710 7207 2971 1 0 3483008 0
[pid=25718/tid=25719] ppid=25716 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=1,3,5,7
/proc/25718/task/25719/stat : 25719 (java) R 25716 25716 22065 0 -1 4202560 3641 0 0 0 8 0 0 0 20 0 15 0 65409545 14420828160 7207 33554432000 4194304 4196468 140736419843264 140658747963184 140658727773541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25720] ppid=25716 vsize=14082840 memory=3472468724706743504 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25720/stat : 25720 (java) S 25716 25716 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65409546 14420828160 7207 33554432000 4194304 4196468 140736419843264 140658704689552 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25721] ppid=25716 vsize=14082840 memory=140595811591808 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25721/stat : 25721 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409546 14420828160 7207 33554432000 4194304 4196468 140736419843264 140658703636752 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25722] ppid=25716 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25722/stat : 25722 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409546 14420828160 7207 33554432000 4194304 4196468 140736419843264 140658337884816 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25723] ppid=25716 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25723/stat : 25723 (java) S 25716 25716 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65409546 14420828160 7207 33554432000 4194304 4196468 140736419843264 140658336832016 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25724] ppid=25716 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25724/stat : 25724 (java) S 25716 25716 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65409548 14420828160 7207 33554432000 4194304 4196468 140736419843264 140657857493616 140658743741058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25725] ppid=25716 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25725/stat : 25725 (java) S 25716 25716 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65409548 14420828160 7207 33554432000 4194304 4196468 140736419843264 140657856439584 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25726] ppid=25716 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25726/stat : 25726 (java) S 25716 25716 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65409548 14420828160 7207 33554432000 4194304 4196468 140736419843264 140657855387248 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25727] ppid=25716 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25727/stat : 25727 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14420828160 7207 33554432000 4194304 4196468 140736419843264 140657854335568 140658743748507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25728] ppid=25716 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25728/stat : 25728 (java) S 25716 25716 22065 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 65409551 14420828160 7207 33554432000 4194304 4196468 140736419843264 140657853282416 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25729] ppid=25716 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25729/stat : 25729 (java) S 25716 25716 22065 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 65409551 14420828160 7207 33554432000 4194304 4196468 140736419843264 140657852229616 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25730] ppid=25716 vsize=14082840 memory=140595811591808 CPUtime=0.01 cores=1,3,5,7
/proc/25718/task/25730/stat : 25730 (java) S 25716 25716 22065 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 65409551 14420828160 7207 33554432000 4194304 4196468 140736419843264 140657851177328 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25731] ppid=25716 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25731/stat : 25731 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14420828160 7207 33554432000 4194304 4196468 140736419843264 140657850124768 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25732] ppid=25716 vsize=14082840 memory=140595811591808 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25732/stat : 25732 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409551 14420828160 7207 33554432000 4194304 4196468 140736419843264 140657849072560 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30280 KiB
[startup+0.210558 s]*
/proc/loadavg: 1.85 1.81 1.77 3/217 25732
/proc/meminfo: memFree=20473120/32770624 swapFree=67108860/67108860
[pid=25716] ppid=25713 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25716/stat : 25716 (xcsp3-exec) S 25713 25716 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65409545 115843072 363 33554432000 4194304 5098028 140727047005184 140727047003288 139980898140796 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7958528 140727047013434 140727047013636 140727047013636 140727047016394 0
/proc/25716/statm: 28282 363 305 221 0 87 0
[pid=25718] ppid=25716 vsize=14082840 memory=40456 CPUtime=0.33 cores=1,3,5,7
/proc/25718/stat : 25718 (java) S 25716 25716 22065 0 -1 1077944320 8199 0 0 0 32 1 0 0 20 0 15 0 65409545 14420828160 10114 33554432000 4194304 4196468 140736419843264 140736419825808 140658743729911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
/proc/25718/statm: 3520710 10114 3153 1 0 3483008 0
[pid=25718/tid=25719] ppid=25716 vsize=14082840 memory=5852833021473685665 CPUtime=0.2 cores=1,3,5,7
/proc/25718/task/25719/stat : 25719 (java) R 25716 25716 22065 0 -1 4202560 5433 0 0 0 19 1 0 0 20 0 15 0 65409545 14420828160 10114 33554432000 4194304 4196468 140736419843264 140658747955760 140658743751837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25720] ppid=25716 vsize=14082840 memory=3472468724706743504 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25720/stat : 25720 (java) S 25716 25716 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65409546 14420828160 10114 33554432000 4194304 4196468 140736419843264 140658704689552 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25721] ppid=25716 vsize=14082840 memory=140595811591808 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25721/stat : 25721 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409546 14420828160 10114 33554432000 4194304 4196468 140736419843264 140658703636752 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25722] ppid=25716 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25722/stat : 25722 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409546 14420828160 10114 33554432000 4194304 4196468 140736419843264 140658337884816 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25723] ppid=25716 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25723/stat : 25723 (java) S 25716 25716 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65409546 14420828160 10114 33554432000 4194304 4196468 140736419843264 140658336832016 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25724] ppid=25716 vsize=14082840 memory=140595811591808 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25724/stat : 25724 (java) S 25716 25716 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65409548 14420828160 10114 33554432000 4194304 4196468 140736419843264 140657857493616 140658743741058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25725] ppid=25716 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25725/stat : 25725 (java) S 25716 25716 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65409548 14420828160 10114 33554432000 4194304 4196468 140736419843264 140657856439584 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25726] ppid=25716 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25726/stat : 25726 (java) S 25716 25716 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65409548 14420828160 10114 33554432000 4194304 4196468 140736419843264 140657855387248 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25727] ppid=25716 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25727/stat : 25727 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14420828160 10114 33554432000 4194304 4196468 140736419843264 140657854335568 140658743748507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25728] ppid=25716 vsize=14082840 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25718/task/25728/stat : 25728 (java) S 25716 25716 22065 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 15 0 65409551 14420828160 10114 33554432000 4194304 4196468 140736419843264 140657853282416 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25729] ppid=25716 vsize=14082840 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25718/task/25729/stat : 25729 (java) S 25716 25716 22065 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 65409551 14420828160 10114 33554432000 4194304 4196468 140736419843264 140657852229616 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25730] ppid=25716 vsize=14082840 memory=140595811591808 CPUtime=0.08 cores=1,3,5,7
/proc/25718/task/25730/stat : 25730 (java) S 25716 25716 22065 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 65409551 14420828160 10114 33554432000 4194304 4196468 140736419843264 140657851177328 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25731] ppid=25716 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25731/stat : 25731 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14420828160 10114 33554432000 4194304 4196468 140736419843264 140657850124768 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25732] ppid=25716 vsize=14082840 memory=140595811591808 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25732/stat : 25732 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409551 14420828160 10114 33554432000 4194304 4196468 140736419843264 140657849072560 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41908 KiB
[startup+0.310491 s]*
/proc/loadavg: 1.85 1.81 1.77 4/217 25732
/proc/meminfo: memFree=20466424/32770624 swapFree=67108860/67108860
[pid=25716] ppid=25713 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25716/stat : 25716 (xcsp3-exec) S 25713 25716 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65409545 115843072 363 33554432000 4194304 5098028 140727047005184 140727047003288 139980898140796 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7958528 140727047013434 140727047013636 140727047013636 140727047016394 0
/proc/25716/statm: 28282 363 305 221 0 87 0
[pid=25718] ppid=25716 vsize=14087096 memory=47684 CPUtime=0.5 cores=1,3,5,7
/proc/25718/stat : 25718 (java) S 25716 25716 22065 0 -1 1077944320 9057 0 0 0 48 2 0 0 20 0 15 0 65409545 14425186304 11921 33554432000 4194304 4196468 140736419843264 140736419825808 140658743729911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
/proc/25718/statm: 3521774 11921 3223 1 0 3483008 0
[pid=25718/tid=25719] ppid=25716 vsize=14087096 memory=8514701219881125277 CPUtime=0.3 cores=1,3,5,7
/proc/25718/task/25719/stat : 25719 (java) R 25716 25716 22065 0 -1 4202560 6136 0 0 0 28 2 0 0 20 0 15 0 65409545 14425186304 11921 33554432000 4194304 4196468 140736419843264 140658747961024 140658727810398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25720] ppid=25716 vsize=14087096 memory=3472468724706743504 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25720/stat : 25720 (java) S 25716 25716 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65409546 14425186304 11921 33554432000 4194304 4196468 140736419843264 140658704689552 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25721] ppid=25716 vsize=14087096 memory=140595811591808 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25721/stat : 25721 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409546 14425186304 11921 33554432000 4194304 4196468 140736419843264 140658703636752 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25722] ppid=25716 vsize=14087096 memory=19 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25722/stat : 25722 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409546 14425186304 11921 33554432000 4194304 4196468 140736419843264 140658337884816 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25723] ppid=25716 vsize=14087096 memory=140595687467039 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25723/stat : 25723 (java) S 25716 25716 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65409546 14425186304 11921 33554432000 4194304 4196468 140736419843264 140658336832016 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25724] ppid=25716 vsize=14087096 memory=281191374894848 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25724/stat : 25724 (java) S 25716 25716 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65409548 14425186304 11921 33554432000 4194304 4196468 140736419843264 140657857493616 140658743741058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25725] ppid=25716 vsize=14087096 memory=140595687443983 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25725/stat : 25725 (java) S 25716 25716 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65409548 14425186304 11921 33554432000 4194304 4196468 140736419843264 140657856439584 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25726] ppid=25716 vsize=14087096 memory=281191499044960 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25726/stat : 25726 (java) S 25716 25716 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65409548 14425186304 11921 33554432000 4194304 4196468 140736419843264 140657855387248 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25727] ppid=25716 vsize=14087096 memory=140595687448591 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25727/stat : 25727 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14425186304 11921 33554432000 4194304 4196468 140736419843264 140657854335568 140658743748507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25728] ppid=25716 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25718/task/25728/stat : 25728 (java) S 25716 25716 22065 0 -1 1077944384 433 0 0 0 4 0 0 0 20 0 15 0 65409551 14425186304 11921 33554432000 4194304 4196468 140736419843264 140657853282416 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25729] ppid=25716 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25718/task/25729/stat : 25729 (java) S 25716 25716 22065 0 -1 1077944384 272 0 0 0 3 0 0 0 20 0 15 0 65409551 14425186304 11921 33554432000 4194304 4196468 140736419843264 140657852229616 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25730] ppid=25716 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25718/task/25730/stat : 25730 (java) S 25716 25716 22065 0 -1 1077944384 915 0 0 0 12 0 0 0 20 0 15 0 65409551 14425186304 11921 33554432000 4194304 4196468 140736419843264 140657851177328 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25731] ppid=25716 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25731/stat : 25731 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14425186304 11921 33554432000 4194304 4196468 140736419843264 140657850124768 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25732] ppid=25716 vsize=14087096 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25732/stat : 25732 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409551 14425186304 11921 33554432000 4194304 4196468 140736419843264 140657849072560 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49136 KiB
[startup+0.701927 s]
/proc/loadavg: 1.94 1.83 1.78 3/217 25732
/proc/meminfo: memFree=20452776/32770624 swapFree=67108860/67108860
[pid=25716] ppid=25713 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25716/stat : 25716 (xcsp3-exec) S 25713 25716 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65409545 115843072 363 33554432000 4194304 5098028 140727047005184 140727047003288 139980898140796 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7958528 140727047013434 140727047013636 140727047013636 140727047016394 0
/proc/25716/statm: 28282 363 305 221 0 87 0
[pid=25718] ppid=25716 vsize=14089220 memory=82416 CPUtime=1.57 cores=1,3,5,7
/proc/25718/stat : 25718 (java) S 25716 25716 22065 0 -1 1077944320 12744 0 0 0 152 5 0 0 20 0 15 0 65409545 14427361280 20604 33554432000 4194304 4196468 140736419843264 140736419825808 140658743729911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
/proc/25718/statm: 3522305 20604 3339 1 0 3483520 0
[pid=25718/tid=25719] ppid=25716 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/25718/task/25719/stat : 25719 (java) R 25716 25716 22065 0 -1 4202560 7144 0 0 0 64 3 0 0 20 0 15 0 65409545 14427361280 20604 33554432000 4194304 4196468 140736419843264 140658747968656 140658743741846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25720] ppid=25716 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25720/stat : 25720 (java) S 25716 25716 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65409546 14427361280 20604 33554432000 4194304 4196468 140736419843264 140658704689552 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25721] ppid=25716 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25721/stat : 25721 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409546 14427361280 20604 33554432000 4194304 4196468 140736419843264 140658703636752 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25722] ppid=25716 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25722/stat : 25722 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409546 14427361280 20604 33554432000 4194304 4196468 140736419843264 140658337884816 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25723] ppid=25716 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25723/stat : 25723 (java) S 25716 25716 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65409546 14427361280 20604 33554432000 4194304 4196468 140736419843264 140658336832016 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25724] ppid=25716 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25724/stat : 25724 (java) S 25716 25716 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65409548 14427361280 20604 33554432000 4194304 4196468 140736419843264 140657857493616 140658743741058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25725] ppid=25716 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25725/stat : 25725 (java) S 25716 25716 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65409548 14427361280 20604 33554432000 4194304 4196468 140736419843264 140657856439584 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25726] ppid=25716 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25726/stat : 25726 (java) S 25716 25716 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65409548 14427361280 20604 33554432000 4194304 4196468 140736419843264 140657855387248 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25727] ppid=25716 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25727/stat : 25727 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14427361280 20604 33554432000 4194304 4196468 140736419843264 140657854335568 140658743748507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25728] ppid=25716 vsize=14089220 memory=19904 CPUtime=0.24 cores=1,3,5,7
/proc/25718/task/25728/stat : 25728 (java) S 25716 25716 22065 0 -1 1077944384 1228 0 0 0 24 0 0 0 20 0 15 0 65409551 14427361280 20604 33554432000 4194304 4196468 140736419843264 140657853282416 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25729] ppid=25716 vsize=14089220 memory=1296 CPUtime=0.22 cores=1,3,5,7
/proc/25718/task/25729/stat : 25729 (java) S 25716 25716 22065 0 -1 1077944384 924 0 0 0 22 0 0 0 20 0 15 0 65409551 14427361280 20604 33554432000 4194304 4196468 140736419843264 140657852229616 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25730] ppid=25716 vsize=14089220 memory=2412 CPUtime=0.4 cores=1,3,5,7
/proc/25718/task/25730/stat : 25730 (java) R 25716 25716 22065 0 -1 4202560 2139 0 0 0 40 0 0 0 20 0 15 0 65409551 14427361280 20604 33554432000 4194304 4196468 140736419843264 140657851173088 140658743751258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25731] ppid=25716 vsize=14089220 memory=7668012111147524688 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25731/stat : 25731 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14427361280 20604 33554432000 4194304 4196468 140736419843264 140657850124768 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25732] ppid=25716 vsize=14089220 memory=7451579857426993518 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25732/stat : 25732 (java) S 25716 25716 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65409551 14427361280 20604 33554432000 4194304 4196468 140736419843264 140657849072560 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 83868 KiB
[startup+1.50084 s]
/proc/loadavg: 1.94 1.83 1.78 5/217 25732
/proc/meminfo: memFree=20417796/32770624 swapFree=67108860/67108860
[pid=25716] ppid=25713 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25716/stat : 25716 (xcsp3-exec) S 25713 25716 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65409545 115843072 363 33554432000 4194304 5098028 140727047005184 140727047003288 139980898140796 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7958528 140727047013434 140727047013636 140727047013636 140727047016394 0
/proc/25716/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/25718/task/25726/stat : 25726 (java) S 25716 25716 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 65409548 14429458432 200140 33554432000 4194304 4196468 140736419843264 140657855387248 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25727] ppid=25716 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25727/stat : 25727 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14429458432 200140 33554432000 4194304 4196468 140736419843264 140657854335568 140658743748507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25728] ppid=25716 vsize=14091268 memory=6791534058613427641 CPUtime=1.97 cores=1,3,5,7
/proc/25718/task/25728/stat : 25728 (java) S 25716 25716 22065 0 -1 1077944384 14025 0 0 0 196 1 0 0 20 0 15 0 65409551 14429458432 200140 33554432000 4194304 4196468 140736419843264 140657853282416 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25729] ppid=25716 vsize=14091268 memory=8396 CPUtime=1.96 cores=1,3,5,7
/proc/25718/task/25729/stat : 25729 (java) S 25716 25716 22065 0 -1 1077944384 11738 0 0 0 195 1 0 0 20 0 15 0 65409551 14429458432 200140 33554432000 4194304 4196468 140736419843264 140657852229616 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25730] ppid=25716 vsize=14091268 memory=1452 CPUtime=0.66 cores=1,3,5,7
/proc/25718/task/25730/stat : 25730 (java) S 25716 25716 22065 0 -1 1077944384 9733 0 0 0 63 3 0 0 20 0 15 0 65409551 14429458432 200140 33554432000 4194304 4196468 140736419843264 140657851177328 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25731] ppid=25716 vsize=14091268 memory=788204 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25731/stat : 25731 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14429458432 200140 33554432000 4194304 4196468 140736419843264 140657850124768 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25732] ppid=25716 vsize=14091268 memory=12032 CPUtime=0.51 cores=1,3,5,7
/proc/25718/task/25732/stat : 25732 (java) S 25716 25716 22065 0 -1 1077944384 1347 0 0 0 21 30 0 0 20 0 15 0 65409551 14429458432 200652 33554432000 4194304 4196468 140736419843264 140657849072560 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
Current children cumulated CPU time: 2336.13 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 802012 KiB
[startup+2382.3 s]
/proc/loadavg: 1.83 1.81 1.78 3/218 25985
/proc/meminfo: memFree=18372268/32770624 swapFree=67108860/67108860
[pid=25716] ppid=25713 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25716/stat : 25716 (xcsp3-exec) S 25713 25716 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65409545 115843072 363 33554432000 4194304 5098028 140727047005184 140727047003288 139980898140796 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7958528 140727047013434 140727047013636 140727047013636 140727047016394 0
/proc/25716/statm: 28282 363 305 221 0 87 0
[pid=25718] ppid=25716 vsize=14091268 memory=1525468 CPUtime=2396.44 cores=1,3,5,7
/proc/25718/stat : 25718 (java) S 25716 25716 22065 0 -1 1077944320 160489 0 0 0 239136 508 0 0 20 0 15 0 65409545 14429458432 381367 33554432000 4194304 4196468 140736419843264 140736419825808 140658743729911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
/proc/25718/statm: 3522817 381367 3405 1 0 3484032 0
[pid=25718/tid=25719] ppid=25716 vsize=14091268 memory=1452 CPUtime=2377.69 cores=1,3,5,7
/proc/25718/task/25719/stat : 25719 (java) R 25716 25716 22065 0 -1 4202560 88768 0 0 0 237345 424 0 0 20 0 15 0 65409545 14429458432 381367 33554432000 4194304 4196468 140736419843264 140658747968752 140658385307520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25720] ppid=25716 vsize=14091268 memory=1452 CPUtime=3.08 cores=1,3,5,7
/proc/25718/task/25720/stat : 25720 (java) S 25716 25716 22065 0 -1 1077944384 6204 0 0 0 301 7 0 0 20 0 15 0 65409546 14429458432 381367 33554432000 4194304 4196468 140736419843264 140658704689552 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25721] ppid=25716 vsize=14091268 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/25718/task/25721/stat : 25721 (java) S 25716 25716 22065 0 -1 1077944384 5704 0 0 0 300 7 0 0 20 0 15 0 65409546 14429458432 381367 33554432000 4194304 4196468 140736419843264 140658703636752 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25722] ppid=25716 vsize=14091268 memory=1452 CPUtime=3.08 cores=1,3,5,7
/proc/25718/task/25722/stat : 25722 (java) S 25716 25716 22065 0 -1 1077944384 5736 0 0 0 299 9 0 0 20 0 15 0 65409546 14429458432 381367 33554432000 4194304 4196468 140736419843264 140658337884816 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25723] ppid=25716 vsize=14091268 memory=1525312 CPUtime=3.08 cores=1,3,5,7
/proc/25718/task/25723/stat : 25723 (java) S 25716 25716 22065 0 -1 1077944384 5216 0 0 0 300 8 0 0 20 0 15 0 65409546 14429458432 381367 33554432000 4194304 4196468 140736419843264 140658336832016 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25724] ppid=25716 vsize=14091268 memory=1452 CPUtime=1.23 cores=1,3,5,7
/proc/25718/task/25724/stat : 25724 (java) S 25716 25716 22065 0 -1 1077944384 10599 0 0 0 103 20 0 0 20 0 15 0 65409548 14429458432 381367 33554432000 4194304 4196468 140736419843264 140657857493616 140658743741058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25725] ppid=25716 vsize=14091268 memory=692580 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25725/stat : 25725 (java) S 25716 25716 22065 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 65409548 14429458432 381367 33554432000 4194304 4196468 140736419843264 140657856439584 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25726] ppid=25716 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25726/stat : 25726 (java) S 25716 25716 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 65409548 14429458432 381367 33554432000 4194304 4196468 140736419843264 140657855387248 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25727] ppid=25716 vsize=14091268 memory=1525312 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25727/stat : 25727 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14429458432 381367 33554432000 4194304 4196468 140736419843264 140657854335568 140658743748507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25728] ppid=25716 vsize=14091268 memory=4140 CPUtime=1.97 cores=1,3,5,7
/proc/25718/task/25728/stat : 25728 (java) S 25716 25716 22065 0 -1 1077944384 14027 0 0 0 196 1 0 0 20 0 15 0 65409551 14429458432 381367 33554432000 4194304 4196468 140736419843264 140657853282416 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25729] ppid=25716 vsize=14091268 memory=19984 CPUtime=1.96 cores=1,3,5,7
/proc/25718/task/25729/stat : 25729 (java) S 25716 25716 22065 0 -1 1077944384 11741 0 0 0 195 1 0 0 20 0 15 0 65409551 14429458432 381367 33554432000 4194304 4196468 140736419843264 140657852229616 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25730] ppid=25716 vsize=14091268 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/25718/task/25730/stat : 25730 (java) S 25716 25716 22065 0 -1 1077944384 9735 0 0 0 63 3 0 0 20 0 15 0 65409551 14429458432 381367 33554432000 4194304 4196468 140736419843264 140657851177328 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25731] ppid=25716 vsize=14091268 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25731/stat : 25731 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14429458432 381367 33554432000 4194304 4196468 140736419843264 140657850124768 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25732] ppid=25716 vsize=14091268 memory=1525468 CPUtime=0.53 cores=1,3,5,7
/proc/25718/task/25732/stat : 25732 (java) S 25716 25716 22065 0 -1 1077944384 1368 0 0 0 22 31 0 0 20 0 15 0 65409551 14429458432 381367 33554432000 4194304 4196468 140736419843264 140657849072560 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
Current children cumulated CPU time: 2396.44 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1526920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2385.9 s]
/proc/loadavg: 1.83 1.81 1.78 3/218 25985
/proc/meminfo: memFree=18129116/32770624 swapFree=67108860/67108860
[pid=25716] ppid=25713 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25716/stat : 25716 (xcsp3-exec) S 25713 25716 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65409545 115843072 363 33554432000 4194304 5098028 140727047005184 140727047003288 139980898140796 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7958528 140727047013434 140727047013636 140727047013636 140727047016394 0
/proc/25716/statm: 28282 363 305 221 0 87 0
[pid=25718] ppid=25716 vsize=14091268 memory=1908412 CPUtime=2400.07 cores=1,3,5,7
/proc/25718/stat : 25718 (java) S 25716 25716 22065 0 -1 1077944320 161164 0 0 0 239493 514 0 0 20 0 15 0 65409545 14429458432 477103 33554432000 4194304 4196468 140736419843264 140736419825808 140658743729911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
/proc/25718/statm: 3522817 477103 3405 1 0 3484032 0
[pid=25718/tid=25719] ppid=25716 vsize=14091268 memory=1452 CPUtime=2381.28 cores=1,3,5,7
/proc/25718/task/25719/stat : 25719 (java) R 25716 25716 22065 0 -1 4202560 89332 0 0 0 237698 430 0 0 20 0 15 0 65409545 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658747968864 140658385231638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25720] ppid=25716 vsize=14091268 memory=1452 CPUtime=3.09 cores=1,3,5,7
/proc/25718/task/25720/stat : 25720 (java) S 25716 25716 22065 0 -1 1077944384 6227 0 0 0 302 7 0 0 20 0 15 0 65409546 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658704689552 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25721] ppid=25716 vsize=14091268 memory=1525468 CPUtime=3.08 cores=1,3,5,7
/proc/25718/task/25721/stat : 25721 (java) S 25716 25716 22065 0 -1 1077944384 5756 0 0 0 301 7 0 0 20 0 15 0 65409546 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658703636752 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25722] ppid=25716 vsize=14091268 memory=1630324 CPUtime=3.09 cores=1,3,5,7
/proc/25718/task/25722/stat : 25722 (java) S 25716 25716 22065 0 -1 1077944384 5756 0 0 0 300 9 0 0 20 0 15 0 65409546 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658337884816 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25723] ppid=25716 vsize=14091268 memory=1873460 CPUtime=3.09 cores=1,3,5,7
/proc/25718/task/25723/stat : 25723 (java) S 25716 25716 22065 0 -1 1077944384 5232 0 0 0 301 8 0 0 20 0 15 0 65409546 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658336832016 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25724] ppid=25716 vsize=14091268 memory=1452 CPUtime=1.23 cores=1,3,5,7
/proc/25718/task/25724/stat : 25724 (java) S 25716 25716 22065 0 -1 1077944384 10599 0 0 0 103 20 0 0 20 0 15 0 65409548 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657857493616 140658743741058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25725] ppid=25716 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25725/stat : 25725 (java) S 25716 25716 22065 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 65409548 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657856439584 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25726] ppid=25716 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25726/stat : 25726 (java) S 25716 25716 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 65409548 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657855387248 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25727] ppid=25716 vsize=14091268 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25727/stat : 25727 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657854335568 140658743748507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25728] ppid=25716 vsize=14091268 memory=19984 CPUtime=1.97 cores=1,3,5,7
/proc/25718/task/25728/stat : 25728 (java) S 25716 25716 22065 0 -1 1077944384 14027 0 0 0 196 1 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657853282416 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25729] ppid=25716 vsize=14091268 memory=288230574492221466 CPUtime=1.96 cores=1,3,5,7
/proc/25718/task/25729/stat : 25729 (java) S 25716 25716 22065 0 -1 1077944384 11741 0 0 0 195 1 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657852229616 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25730] ppid=25716 vsize=14091268 memory=288230583166042426 CPUtime=0.66 cores=1,3,5,7
/proc/25718/task/25730/stat : 25730 (java) S 25716 25716 22065 0 -1 1077944384 9735 0 0 0 63 3 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657851177328 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25731] ppid=25716 vsize=14091268 memory=19984 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25731/stat : 25731 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657850124768 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25732] ppid=25716 vsize=14091268 memory=1296 CPUtime=0.53 cores=1,3,5,7
/proc/25718/task/25732/stat : 25732 (java) S 25716 25716 22065 0 -1 1077944384 1368 0 0 0 22 31 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657849072560 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1909864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2385.91 s]
# the end of solver process 25716 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001491 s, system=0.000745 s
[startup+2385.92 s]
# the end of solver process 25718 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2394.98 s, system=5.14986 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
[startup+2385.9 s]
/proc/loadavg: 1.83 1.81 1.78 3/218 25985
/proc/meminfo: memFree=18129116/32770624 swapFree=67108860/67108860
[pid=25716] ppid=25713 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25716/stat : 25716 (xcsp3-exec) S 25713 25716 22065 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65409545 115843072 363 33554432000 4194304 5098028 140727047005184 140727047003288 139980898140796 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7958528 140727047013434 140727047013636 140727047013636 140727047016394 0
/proc/25716/statm: 28282 363 305 221 0 87 0
[pid=25718] ppid=25716 vsize=14091268 memory=1908412 CPUtime=2400.07 cores=1,3,5,7
/proc/25718/stat : 25718 (java) S 25716 25716 22065 0 -1 1077944320 161164 0 0 0 239493 514 0 0 20 0 15 0 65409545 14429458432 477103 33554432000 4194304 4196468 140736419843264 140736419825808 140658743729911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
/proc/25718/statm: 3522817 477103 3405 1 0 3484032 0
[pid=25718/tid=25719] ppid=25716 vsize=14091268 memory=1452 CPUtime=2381.28 cores=1,3,5,7
/proc/25718/task/25719/stat : 25719 (java) R 25716 25716 22065 0 -1 4202560 89332 0 0 0 237698 430 0 0 20 0 15 0 65409545 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658747968864 140658385231638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25720] ppid=25716 vsize=14091268 memory=1452 CPUtime=3.09 cores=1,3,5,7
/proc/25718/task/25720/stat : 25720 (java) S 25716 25716 22065 0 -1 1077944384 6227 0 0 0 302 7 0 0 20 0 15 0 65409546 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658704689552 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25721] ppid=25716 vsize=14091268 memory=1525468 CPUtime=3.08 cores=1,3,5,7
/proc/25718/task/25721/stat : 25721 (java) S 25716 25716 22065 0 -1 1077944384 5756 0 0 0 301 7 0 0 20 0 15 0 65409546 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658703636752 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25722] ppid=25716 vsize=14091268 memory=1630324 CPUtime=3.09 cores=1,3,5,7
/proc/25718/task/25722/stat : 25722 (java) S 25716 25716 22065 0 -1 1077944384 5756 0 0 0 300 9 0 0 20 0 15 0 65409546 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658337884816 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25723] ppid=25716 vsize=14091268 memory=1873460 CPUtime=3.09 cores=1,3,5,7
/proc/25718/task/25723/stat : 25723 (java) S 25716 25716 22065 0 -1 1077944384 5232 0 0 0 301 8 0 0 20 0 15 0 65409546 14429458432 477103 33554432000 4194304 4196468 140736419843264 140658336832016 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25724] ppid=25716 vsize=14091268 memory=1452 CPUtime=1.23 cores=1,3,5,7
/proc/25718/task/25724/stat : 25724 (java) S 25716 25716 22065 0 -1 1077944384 10599 0 0 0 103 20 0 0 20 0 15 0 65409548 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657857493616 140658743741058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25725] ppid=25716 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25725/stat : 25725 (java) S 25716 25716 22065 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 65409548 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657856439584 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25726] ppid=25716 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25726/stat : 25726 (java) S 25716 25716 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 65409548 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657855387248 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25727] ppid=25716 vsize=14091268 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25727/stat : 25727 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657854335568 140658743748507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25728] ppid=25716 vsize=14091268 memory=19984 CPUtime=1.97 cores=1,3,5,7
/proc/25718/task/25728/stat : 25728 (java) S 25716 25716 22065 0 -1 1077944384 14027 0 0 0 196 1 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657853282416 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25729] ppid=25716 vsize=14091268 memory=288230574492221466 CPUtime=1.96 cores=1,3,5,7
/proc/25718/task/25729/stat : 25729 (java) S 25716 25716 22065 0 -1 1077944384 11741 0 0 0 195 1 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657852229616 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25730] ppid=25716 vsize=14091268 memory=288230583166042426 CPUtime=0.66 cores=1,3,5,7
/proc/25718/task/25730/stat : 25730 (java) S 25716 25716 22065 0 -1 1077944384 9735 0 0 0 63 3 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657851177328 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25731] ppid=25716 vsize=14091268 memory=19984 CPUtime=0 cores=1,3,5,7
/proc/25718/task/25731/stat : 25731 (java) S 25716 25716 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657850124768 140658743740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
[pid=25718/tid=25732] ppid=25716 vsize=14091268 memory=1296 CPUtime=0.53 cores=1,3,5,7
/proc/25718/task/25732/stat : 25732 (java) S 25716 25716 22065 0 -1 1077944384 1368 0 0 0 22 31 0 0 20 0 15 0 65409551 14429458432 477103 33554432000 4194304 4196468 140736419843264 140657849072560 140658743741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 11280384 140736419845249 140736419845425 140736419845425 140736419848143 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1909864 KiB
Child status: 143
Real time (s): 2385.92
CPU time (s): 2400.13
CPU user time (s): 2394.98
CPU system time (s): 5.14986
CPU usage (%): 100.595
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 5628228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.98
system time used= 5.14986
maximum resident set size= 5639064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161870
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74512
involuntary context switches= 2417
# summary of solver processes directly reported to runsolver:
# pid: 25716,25718
# total CPU time (s): 2400.13
# total CPU user time (s): 2394.98
# total CPU system time (s): 5.14986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.459 second user time and 21.8387 second system time
The end
Begin job on node103 at 2018-07-25 02:27:44 IDJOB=4292440 IDBENCH=141434 IDSOLVER=2747 FILE ID=node103/4292440-1532478464 RUNJOBID= node103-1532448430-22097 PBS_JOBID= 21021580 Free space on /tmp= 56708 MiB SOLVER NAME= Choco-solver 4.0.7 seq (493a269) BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-023_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292440-1532478464/watcher-4292440-1532478464 -o /tmp/evaluation-result-4292440-1532478464/solver-4292440-1532478464 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22097 --watchdog 2560 HOME/xcsp3-exec -seed 1592352907 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292440-1532478464.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1fc64e237e2e479d6d3c5a9de2910321 RANDOM SEED=1592352907 node103.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.48 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.48 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.48 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.48 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: 20501556 kB MemAvailable: 31775512 kB Buffers: 273692 kB Cached: 11188276 kB SwapCached: 0 kB Active: 3675860 kB Inactive: 8002844 kB Active(anon): 219300 kB Inactive(anon): 16996 kB Active(file): 3456560 kB Inactive(file): 7985848 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 20720 kB Writeback: 0 kB AnonPages: 236212 kB Mapped: 51720 kB Shmem: 17036 kB Slab: 287780 kB SReclaimable: 260008 kB SUnreclaim: 27772 kB KernelStack: 3808 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1184252 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56684 MiB End job on node103 at 2018-07-25 03:07:30