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 seq (e747e1e) | SAT (TO) | 39 | 2520.04 | 2506.62 |
| Name | LowAutocorrelation/ LowAutocorrelation-022_c18.xml |
| MD5SUM | 4b48d66af5485fbce0cacf02a4c90472 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 39 |
| Best CPU time to get the best result obtained on this benchmark | 55.2561 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 505 |
| Number of constraints | 273 |
| Number of domains | 43 |
| Minimum domain size | 2 |
| Maximum domain size | 43 |
| Distribution of domain sizes | [{"size":2,"count":254},{"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":1},{"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":0,"count":210},{"degree":2,"count":273},{"degree":21,"count":22}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 22 |
| Distribution of constraint arities | [{"arity":2,"count":22},{"arity":3,"count":232},{"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 252 |
| Distribution of constraint types | [{"type":"intension","count":252},{"type":"sum","count":21}] |
| 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-4306733-1534109756.xml" -tl '2520s' -p 1 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4306733-1534109756.xml, -tl, 2520s, -p, 1] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 1.30/0.67 c solve instance... 1.56/0.71 o 127 1.56/0.78 o 95 1.87/0.86 o 79 2.54/1.06 o 63 7.65/3.80 o 39 2520.01/2506.60 s SATISFIABLE 2520.01/2506.60 v <instantiation> 2520.01/2506.60 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[17][0] y[17][1] y[17][2] y[17][3] y[18][0] y[18][1] y[18][2] y[19][0] y[19][1] y[20][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] 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] </list> 2520.01/2506.60 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 0 1 0 -1 0 1 2 -1 -2 1 0 -1 0 1 -2 -1 2 -3 2 -1 1 0 1 0 1 0 1 4 1 4 1 0 1 0 1 4 1 4 9 4 1 </values> 2520.01/2506.60 v </instantiation> 2520.01/2506.60 c Unexpected resolution interruption!
OK 39
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 (9116 MiB free)
memory of node 1: 16384 MiB (7427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306733-1534109756/watcher-4306733-1534109756 -o /tmp/evaluation-result-4306733-1534109756/solver-4306733-1534109756 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534098559-28100 --watchdog 2580 HOME/xcsp3-exec -seed 1138871511 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306733-1534109756.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=29652, runsolver pid=29649
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 2.00 1.94 1.89 4/220 29668
/proc/meminfo: memFree=16925044/32770624 swapFree=67108852/67108860
[pid=29652] ppid=29649 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (xcsp3-exec) S 29649 29652 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228538820 115843072 363 33554432000 4194304 5098028 140721305575248 140721305573352 140334837445244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29626368 140721305580602 140721305580804 140721305580804 140721305583562 0
/proc/29652/statm: 28282 363 305 221 0 87 0
[pid=29654] ppid=29652 vsize=14082940 memory=28572 CPUtime=0.12 cores=0,2,4,6
/proc/29654/stat : 29654 (java) S 29652 29652 28069 0 -1 1077944320 5515 0 0 0 11 1 0 0 20 0 15 0 228538820 14420930560 7143 33554432000 4194304 4196468 140733243284224 140733243266768 140470990147319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
/proc/29654/statm: 3520735 7143 3016 1 0 3483012 0
[pid=29654/tid=29655] ppid=29652 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29654/task/29655/stat : 29655 (java) R 29652 29652 28069 0 -1 4202560 3515 0 0 0 8 1 0 0 20 0 15 0 228538820 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470994380592 140470990168666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29656] ppid=29652 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29656/stat : 29656 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470942767504 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29657] ppid=29652 vsize=14082940 memory=140291300148864 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29657/stat : 29657 (java) S 29652 29652 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228538821 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470941714704 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29658] ppid=29652 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29658/stat : 29658 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470940662416 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29659] ppid=29652 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29659/stat : 29659 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470939609616 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29660] ppid=29652 vsize=14082940 memory=140291300148864 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29660/stat : 29660 (java) S 29652 29652 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228538822 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470171085424 140470990158466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29661] ppid=29652 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29661/stat : 29661 (java) S 29652 29652 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228538823 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470170031392 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29662] ppid=29652 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29662/stat : 29662 (java) S 29652 29652 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228538823 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470168979056 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29663] ppid=29652 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29663/stat : 29663 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538825 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470167927376 140470990165915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29664] ppid=29652 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29664/stat : 29664 (java) S 29652 29652 28069 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 228538825 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470166874224 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29665] ppid=29652 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29665/stat : 29665 (java) S 29652 29652 28069 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 228538825 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470165821424 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29666] ppid=29652 vsize=14082940 memory=140291300148864 CPUtime=0.01 cores=0,2,4,6
/proc/29654/task/29666/stat : 29666 (java) R 29652 29652 28069 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 228538825 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470164769136 140470982864471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29667] ppid=29652 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29667/stat : 29667 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538826 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470163716576 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29668] ppid=29652 vsize=14082940 memory=140291300148864 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29668/stat : 29668 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538826 14420930560 7143 33554432000 4194304 4196468 140733243284224 140470162664368 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30024 KiB
[startup+0.210794 s]*
/proc/loadavg: 2.00 1.94 1.89 4/220 29668
/proc/meminfo: memFree=16913492/32770624 swapFree=67108852/67108860
[pid=29652] ppid=29649 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (xcsp3-exec) S 29649 29652 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228538820 115843072 363 33554432000 4194304 5098028 140721305575248 140721305573352 140334837445244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29626368 140721305580602 140721305580804 140721305580804 140721305583562 0
/proc/29652/statm: 28282 363 305 221 0 87 0
[pid=29654] ppid=29652 vsize=14082972 memory=41460 CPUtime=0.34 cores=0,2,4,6
/proc/29654/stat : 29654 (java) S 29652 29652 28069 0 -1 1077944320 8342 0 0 0 32 2 0 0 20 0 15 0 228538820 14420963328 10363 33554432000 4194304 4196468 140733243284224 140733243266768 140470990147319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
/proc/29654/statm: 3520743 10363 3203 1 0 3483020 0
[pid=29654/tid=29655] ppid=29652 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29654/task/29655/stat : 29655 (java) D 29652 29652 28069 0 -1 1077944384 5457 0 0 0 18 2 0 0 20 0 15 0 228538820 14420930560 10365 33554432000 4194304 4196468 140733243284224 140470994369464 140470992422599 0 4 0 16800975 18446744072101641764 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29656] ppid=29652 vsize=14082940 memory=14649 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29656/stat : 29656 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14420930560 10365 33554432000 4194304 4196468 140733243284224 140470942767504 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29657] ppid=29652 vsize=14085056 memory=288370667451860608 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29657/stat : 29657 (java) S 29652 29652 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228538821 14423097344 10365 33554432000 4194304 4196468 140733243284224 140470941714704 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29658] ppid=29652 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29658/stat : 29658 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14423097344 10365 33554432000 4194304 4196468 140733243284224 140470940662416 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29659] ppid=29652 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29659/stat : 29659 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14423097344 10365 33554432000 4194304 4196468 140733243284224 140470939609616 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29660] ppid=29652 vsize=14085056 memory=140291300148864 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29660/stat : 29660 (java) S 29652 29652 28069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228538822 14423097344 10365 33554432000 4194304 4196468 140733243284224 140470171085424 140470990158466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29661] ppid=29652 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29661/stat : 29661 (java) S 29652 29652 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228538823 14423097344 10365 33554432000 4194304 4196468 140733243284224 140470170031392 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29662] ppid=29652 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29662/stat : 29662 (java) S 29652 29652 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228538823 14423097344 10365 33554432000 4194304 4196468 140733243284224 140470168979056 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29663] ppid=29652 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29663/stat : 29663 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538825 14423097344 10365 33554432000 4194304 4196468 140733243284224 140470167927376 140470990165915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29664] ppid=29652 vsize=14085056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29654/task/29664/stat : 29664 (java) S 29652 29652 28069 0 -1 1077944384 619 0 0 0 2 0 0 0 20 0 15 0 228538825 14423097344 10365 33554432000 4194304 4196468 140733243284224 140470166874224 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29665] ppid=29652 vsize=14087196 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29654/task/29665/stat : 29665 (java) S 29652 29652 28069 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 15 0 228538825 14425288704 10368 33554432000 4194304 4196468 140733243284224 140470165821424 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29666] ppid=29652 vsize=14087196 memory=140291300148864 CPUtime=0.08 cores=0,2,4,6
/proc/29654/task/29666/stat : 29666 (java) S 29652 29652 28069 0 -1 1077944384 796 0 0 0 8 0 0 0 20 0 15 0 228538825 14425288704 10368 33554432000 4194304 4196468 140733243284224 140470164769136 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29667] ppid=29652 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29667/stat : 29667 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538826 14425288704 10368 33554432000 4194304 4196468 140733243284224 140470163716576 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29668] ppid=29652 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29668/stat : 29668 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538826 14425288704 10368 33554432000 4194304 4196468 140733243284224 140470162664368 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196100 KiB
Current children cumulated memory: 42912 KiB
[startup+0.31602 s]*
/proc/loadavg: 2.00 1.94 1.89 4/220 29668
/proc/meminfo: memFree=16906716/32770624 swapFree=67108852/67108860
[pid=29652] ppid=29649 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (xcsp3-exec) S 29649 29652 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228538820 115843072 363 33554432000 4194304 5098028 140721305575248 140721305573352 140334837445244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29626368 140721305580602 140721305580804 140721305580804 140721305583562 0
/proc/29652/statm: 28282 363 305 221 0 87 0
[pid=29654] ppid=29652 vsize=14087196 memory=48472 CPUtime=0.54 cores=0,2,4,6
/proc/29654/stat : 29654 (java) S 29652 29652 28069 0 -1 1077944320 9289 0 0 0 51 3 0 0 20 0 15 0 228538820 14425288704 12118 33554432000 4194304 4196468 140733243284224 140733243266768 140470990147319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
/proc/29654/statm: 3521799 12118 3244 1 0 3483012 0
[pid=29654/tid=29655] ppid=29652 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/29654/task/29655/stat : 29655 (java) R 29652 29652 28069 0 -1 4202560 6232 0 0 0 28 2 0 0 20 0 15 0 228538820 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470994384096 140470974227806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29656] ppid=29652 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29656/stat : 29656 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470942767504 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29657] ppid=29652 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29657/stat : 29657 (java) S 29652 29652 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228538821 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470941714704 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29658] ppid=29652 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29658/stat : 29658 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470940662416 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29659] ppid=29652 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29659/stat : 29659 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470939609616 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29660] ppid=29652 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29660/stat : 29660 (java) S 29652 29652 28069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228538822 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470171085424 140470990158466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29661] ppid=29652 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29661/stat : 29661 (java) S 29652 29652 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228538823 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470170031392 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29662] ppid=29652 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29662/stat : 29662 (java) S 29652 29652 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228538823 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470168979056 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29663] ppid=29652 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29663/stat : 29663 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538825 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470167927376 140470990165915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29664] ppid=29652 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/29654/task/29664/stat : 29664 (java) S 29652 29652 28069 0 -1 1077944384 634 0 0 0 4 0 0 0 20 0 15 0 228538825 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470166874224 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29665] ppid=29652 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29654/task/29665/stat : 29665 (java) S 29652 29652 28069 0 -1 1077944384 257 0 0 0 5 0 0 0 20 0 15 0 228538825 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470165821424 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29666] ppid=29652 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29654/task/29666/stat : 29666 (java) S 29652 29652 28069 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 228538825 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470164769136 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29667] ppid=29652 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29667/stat : 29667 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538826 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470163716576 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29668] ppid=29652 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29668/stat : 29668 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538826 14425288704 12118 33554432000 4194304 4196468 140733243284224 140470162664368 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49924 KiB
[startup+0.704355 s]
/proc/loadavg: 2.00 1.94 1.89 3/220 29668
/proc/meminfo: memFree=16893488/32770624 swapFree=67108852/67108860
[pid=29652] ppid=29649 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (xcsp3-exec) S 29649 29652 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228538820 115843072 363 33554432000 4194304 5098028 140721305575248 140721305573352 140334837445244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29626368 140721305580602 140721305580804 140721305580804 140721305583562 0
/proc/29652/statm: 28282 363 305 221 0 87 0
[pid=29654] ppid=29652 vsize=14089320 memory=80596 CPUtime=1.56 cores=0,2,4,6
/proc/29654/stat : 29654 (java) S 29652 29652 28069 0 -1 1077944320 12816 0 0 0 151 5 0 0 20 0 15 0 228538820 14427463680 20149 33554432000 4194304 4196468 140733243284224 140733243266768 140470990147319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
/proc/29654/statm: 3522330 20149 3360 1 0 3483524 0
[pid=29654/tid=29655] ppid=29652 vsize=14089320 memory=1828 CPUtime=0.67 cores=0,2,4,6
/proc/29654/task/29655/stat : 29655 (java) R 29652 29652 28069 0 -1 4202560 7136 0 0 0 64 3 0 0 20 0 15 0 228538820 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470994386256 140470990159254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29656] ppid=29652 vsize=14089320 memory=792 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29656/stat : 29656 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470942767504 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29657] ppid=29652 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29657/stat : 29657 (java) S 29652 29652 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228538821 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470941714704 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29658] ppid=29652 vsize=14089320 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29658/stat : 29658 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470940662416 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29659] ppid=29652 vsize=14089320 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29659/stat : 29659 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538821 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470939609616 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29660] ppid=29652 vsize=14089320 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29660/stat : 29660 (java) S 29652 29652 28069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228538822 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470171085424 140470990158466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29661] ppid=29652 vsize=14089320 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29661/stat : 29661 (java) S 29652 29652 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228538823 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470170031392 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29662] ppid=29652 vsize=14089320 memory=968 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29662/stat : 29662 (java) S 29652 29652 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228538823 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470168979056 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29663] ppid=29652 vsize=14089320 memory=12144 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29663/stat : 29663 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538825 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470167927376 140470990165915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29664] ppid=29652 vsize=14089320 memory=1712 CPUtime=0.22 cores=0,2,4,6
/proc/29654/task/29664/stat : 29664 (java) S 29652 29652 28069 0 -1 1077944384 1299 0 0 0 22 0 0 0 20 0 15 0 228538825 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470166874224 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29665] ppid=29652 vsize=14089320 memory=8812 CPUtime=0.22 cores=0,2,4,6
/proc/29654/task/29665/stat : 29665 (java) R 29652 29652 28069 0 -1 4202560 886 0 0 0 22 0 0 0 20 0 15 0 228538825 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470165821424 140470973533856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29666] ppid=29652 vsize=14089320 memory=4576 CPUtime=0.4 cores=0,2,4,6
/proc/29654/task/29666/stat : 29666 (java) R 29652 29652 28069 0 -1 1077944384 2187 0 0 0 40 0 0 0 20 0 15 0 228538825 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470164763520 140470990157525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29667] ppid=29652 vsize=14089320 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29667/stat : 29667 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538826 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470163716576 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29668] ppid=29652 vsize=14089320 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29668/stat : 29668 (java) S 29652 29652 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228538826 14427463680 20149 33554432000 4194304 4196468 140733243284224 140470162664368 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 82048 KiB
[startup+1.5009 s]
/proc/loadavg: 2.00 1.94 1.89 5/220 29668
/proc/meminfo: memFree=16863224/32770624 swapFree=67108852/67108860
[pid=29652] ppid=29649 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (xcsp3-exec) S 29649 29652 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228538820 115843072 363 33554432000 4194304 5098028 140721305575248 140721305573352 140334837445244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29626368 140721305580602 140721305580804 140721305580804 140721305583562 0
/proc/29652/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/29654/task/29662/stat : 29662 (java) S 29652 29652 28069 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 228538823 14429560832 714969 33554432000 4194304 4196468 140733243284224 140470168979056 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29663] ppid=29652 vsize=14091368 memory=2681992 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29663/stat : 29663 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538825 14429560832 714969 33554432000 4194304 4196468 140733243284224 140470167927376 140470990165915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29664] ppid=29652 vsize=14091368 memory=18220 CPUtime=1.97 cores=0,2,4,6
/proc/29654/task/29664/stat : 29664 (java) S 29652 29652 28069 0 -1 1077944384 17025 0 0 0 195 2 0 0 20 0 15 0 228538825 14429560832 714969 33554432000 4194304 4196468 140733243284224 140470166874224 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29665] ppid=29652 vsize=14091368 memory=1452 CPUtime=1.95 cores=0,2,4,6
/proc/29654/task/29665/stat : 29665 (java) S 29652 29652 28069 0 -1 1077944384 16832 0 0 0 193 2 0 0 20 0 15 0 228538825 14429560832 714969 33554432000 4194304 4196468 140733243284224 140470165821424 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29666] ppid=29652 vsize=14091368 memory=3560 CPUtime=0.63 cores=0,2,4,6
/proc/29654/task/29666/stat : 29666 (java) S 29652 29652 28069 0 -1 1077944384 9712 0 0 0 61 2 0 0 20 0 15 0 228538825 14429560832 714969 33554432000 4194304 4196468 140733243284224 140470164769136 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29667] ppid=29652 vsize=14091368 memory=62232 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29667/stat : 29667 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538826 14429560832 714969 33554432000 4194304 4196468 140733243284224 140470163716576 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29668] ppid=29652 vsize=14091368 memory=1452 CPUtime=0.68 cores=0,2,4,6
/proc/29654/task/29668/stat : 29668 (java) S 29652 29652 28069 0 -1 1077944384 1546 0 0 0 28 40 0 0 20 0 15 0 228538826 14429560832 714969 33554432000 4194304 4196468 140733243284224 140470162664368 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
Current children cumulated CPU time: 2394.63 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2861328 KiB
[startup+2442.3 s]
/proc/loadavg: 1.63 1.72 1.72 3/219 29861
/proc/meminfo: memFree=14731344/32770624 swapFree=67108852/67108860
[pid=29652] ppid=29649 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (xcsp3-exec) S 29649 29652 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228538820 115843072 363 33554432000 4194304 5098028 140721305575248 140721305573352 140334837445244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29626368 140721305580602 140721305580804 140721305580804 140721305583562 0
/proc/29652/statm: 28282 363 305 221 0 87 0
[pid=29654] ppid=29652 vsize=14091368 memory=1646100 CPUtime=2455.24 cores=0,2,4,6
/proc/29654/stat : 29654 (java) S 29652 29652 28069 0 -1 1077944320 143726 0 0 0 245188 336 0 0 20 0 15 0 228538820 14429560832 411525 33554432000 4194304 4196468 140733243284224 140733243266768 140470990147319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
/proc/29654/statm: 3522842 411525 3421 1 0 3484036 0
[pid=29654/tid=29655] ppid=29652 vsize=14091368 memory=1452 CPUtime=2437.62 cores=0,2,4,6
/proc/29654/task/29655/stat : 29655 (java) R 29652 29652 28069 0 -1 4202560 59638 0 0 0 243505 257 0 0 20 0 15 0 228538820 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470994386688 140470619056558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29656] ppid=29652 vsize=14091368 memory=1646100 CPUtime=2.76 cores=0,2,4,6
/proc/29654/task/29656/stat : 29656 (java) S 29652 29652 28069 0 -1 1077944384 5750 0 0 0 270 6 0 0 20 0 15 0 228538821 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470942767504 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29657] ppid=29652 vsize=14091368 memory=1646612 CPUtime=2.79 cores=0,2,4,6
/proc/29654/task/29657/stat : 29657 (java) S 29652 29652 28069 0 -1 1077944384 5141 0 0 0 271 8 0 0 20 0 15 0 228538821 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470941714704 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29658] ppid=29652 vsize=14091368 memory=1646100 CPUtime=2.78 cores=0,2,4,6
/proc/29654/task/29658/stat : 29658 (java) S 29652 29652 28069 0 -1 1077944384 7055 0 0 0 270 8 0 0 20 0 15 0 228538821 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470940662416 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29659] ppid=29652 vsize=14091368 memory=1452 CPUtime=2.75 cores=0,2,4,6
/proc/29654/task/29659/stat : 29659 (java) S 29652 29652 28069 0 -1 1077944384 6925 0 0 0 266 9 0 0 20 0 15 0 228538821 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470939609616 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29660] ppid=29652 vsize=14091368 memory=1444 CPUtime=1.2 cores=0,2,4,6
/proc/29654/task/29660/stat : 29660 (java) S 29652 29652 28069 0 -1 1077944384 12722 0 0 0 105 15 0 0 20 0 15 0 228538822 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470171085424 140470990158466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29661] ppid=29652 vsize=14091368 memory=1611560 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29661/stat : 29661 (java) S 29652 29652 28069 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 228538823 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470170031456 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29662] ppid=29652 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29662/stat : 29662 (java) S 29652 29652 28069 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 228538823 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470168979056 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29663] ppid=29652 vsize=14091368 memory=1617252 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29663/stat : 29663 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538825 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470167927376 140470990165915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29664] ppid=29652 vsize=14091368 memory=1452 CPUtime=1.97 cores=0,2,4,6
/proc/29654/task/29664/stat : 29664 (java) S 29652 29652 28069 0 -1 1077944384 17027 0 0 0 195 2 0 0 20 0 15 0 228538825 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470166874224 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29665] ppid=29652 vsize=14091368 memory=1647640 CPUtime=1.95 cores=0,2,4,6
/proc/29654/task/29665/stat : 29665 (java) S 29652 29652 28069 0 -1 1077944384 16834 0 0 0 193 2 0 0 20 0 15 0 228538825 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470165821424 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29666] ppid=29652 vsize=14091368 memory=7528 CPUtime=0.63 cores=0,2,4,6
/proc/29654/task/29666/stat : 29666 (java) S 29652 29652 28069 0 -1 1077944384 9714 0 0 0 61 2 0 0 20 0 15 0 228538825 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470164769136 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29667] ppid=29652 vsize=14091368 memory=828 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29667/stat : 29667 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538826 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470163716576 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29668] ppid=29652 vsize=14091368 memory=1452 CPUtime=0.7 cores=0,2,4,6
/proc/29654/task/29668/stat : 29668 (java) S 29652 29652 28069 0 -1 1077944384 1561 0 0 0 29 41 0 0 20 0 15 0 228538826 14429560832 411525 33554432000 4194304 4196468 140733243284224 140470162664368 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
Current children cumulated CPU time: 2455.24 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1647552 KiB
[startup+2502.3 s]
/proc/loadavg: 1.67 1.71 1.71 3/220 29863
/proc/meminfo: memFree=14618616/32770624 swapFree=67108852/67108860
[pid=29652] ppid=29649 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (xcsp3-exec) S 29649 29652 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228538820 115843072 363 33554432000 4194304 5098028 140721305575248 140721305573352 140334837445244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29626368 140721305580602 140721305580804 140721305580804 140721305583562 0
/proc/29652/statm: 28282 363 305 221 0 87 0
[pid=29654] ppid=29652 vsize=14091368 memory=1733944 CPUtime=2515.69 cores=0,2,4,6
/proc/29654/stat : 29654 (java) S 29652 29652 28069 0 -1 1077944320 146602 0 0 0 251230 339 0 0 20 0 15 0 228538820 14429560832 433486 33554432000 4194304 4196468 140733243284224 140733243266768 140470990147319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
/proc/29654/statm: 3522842 433486 3421 1 0 3484036 0
[pid=29654/tid=29655] ppid=29652 vsize=14091368 memory=1452 CPUtime=2497.43 cores=0,2,4,6
/proc/29654/task/29655/stat : 29655 (java) R 29652 29652 28069 0 -1 4202560 60191 0 0 0 249485 258 0 0 20 0 15 0 228538820 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470994386800 140470617987069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29656] ppid=29652 vsize=14091368 memory=1704636 CPUtime=2.91 cores=0,2,4,6
/proc/29654/task/29656/stat : 29656 (java) S 29652 29652 28069 0 -1 1077944384 6148 0 0 0 284 7 0 0 20 0 15 0 228538821 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470942767504 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29657] ppid=29652 vsize=14091368 memory=1733944 CPUtime=2.94 cores=0,2,4,6
/proc/29654/task/29657/stat : 29657 (java) S 29652 29652 28069 0 -1 1077944384 5913 0 0 0 286 8 0 0 20 0 15 0 228538821 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470941714704 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29658] ppid=29652 vsize=14091368 memory=1733944 CPUtime=2.93 cores=0,2,4,6
/proc/29654/task/29658/stat : 29658 (java) S 29652 29652 28069 0 -1 1077944384 7410 0 0 0 285 8 0 0 20 0 15 0 228538821 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470940662416 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29659] ppid=29652 vsize=14091368 memory=1452 CPUtime=2.9 cores=0,2,4,6
/proc/29654/task/29659/stat : 29659 (java) S 29652 29652 28069 0 -1 1077944384 7518 0 0 0 280 10 0 0 20 0 15 0 228538821 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470939609616 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29660] ppid=29652 vsize=14091368 memory=968 CPUtime=1.22 cores=0,2,4,6
/proc/29654/task/29660/stat : 29660 (java) S 29652 29652 28069 0 -1 1077944384 12900 0 0 0 107 15 0 0 20 0 15 0 228538822 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470171085424 140470990158466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29661] ppid=29652 vsize=14091368 memory=121 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29661/stat : 29661 (java) S 29652 29652 28069 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 228538823 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470170031456 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29662] ppid=29652 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29662/stat : 29662 (java) S 29652 29652 28069 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 228538823 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470168979056 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29663] ppid=29652 vsize=14091368 memory=1703160 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29663/stat : 29663 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538825 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470167927376 140470990165915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29664] ppid=29652 vsize=14091368 memory=1452 CPUtime=1.97 cores=0,2,4,6
/proc/29654/task/29664/stat : 29664 (java) S 29652 29652 28069 0 -1 1077944384 17029 0 0 0 195 2 0 0 20 0 15 0 228538825 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470166874224 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29665] ppid=29652 vsize=14091368 memory=1703672 CPUtime=1.95 cores=0,2,4,6
/proc/29654/task/29665/stat : 29665 (java) S 29652 29652 28069 0 -1 1077944384 16836 0 0 0 193 2 0 0 20 0 15 0 228538825 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470165821424 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29666] ppid=29652 vsize=14091368 memory=1452 CPUtime=0.63 cores=0,2,4,6
/proc/29654/task/29666/stat : 29666 (java) S 29652 29652 28069 0 -1 1077944384 9716 0 0 0 61 2 0 0 20 0 15 0 228538825 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470164769136 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29667] ppid=29652 vsize=14091368 memory=1704184 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29667/stat : 29667 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538826 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470163716576 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29668] ppid=29652 vsize=14091368 memory=1452 CPUtime=0.72 cores=0,2,4,6
/proc/29654/task/29668/stat : 29668 (java) S 29652 29652 28069 0 -1 1077944384 1582 0 0 0 30 42 0 0 20 0 15 0 228538826 14429560832 433486 33554432000 4194304 4196468 140733243284224 140470162664368 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
Current children cumulated CPU time: 2515.69 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1735396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.6 s]
/proc/loadavg: 1.62 1.70 1.71 3/220 29863
/proc/meminfo: memFree=14619112/32770624 swapFree=67108852/67108860
[pid=29652] ppid=29649 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (xcsp3-exec) S 29649 29652 28069 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228538820 115843072 363 33554432000 4194304 5098028 140721305575248 140721305573352 140334837445244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29626368 140721305580602 140721305580804 140721305580804 140721305583562 0
/proc/29652/statm: 28282 363 305 221 0 87 0
[pid=29654] ppid=29652 vsize=14091368 memory=1733492 CPUtime=2520.01 cores=0,2,4,6
/proc/29654/stat : 29654 (java) S 29652 29652 28069 0 -1 1077944320 146634 0 0 0 251661 340 0 0 20 0 15 0 228538820 14429560832 433373 33554432000 4194304 4196468 140733243284224 140733243266768 140470990147319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
/proc/29654/statm: 3522842 433373 3421 1 0 3484036 0
[pid=29654/tid=29655] ppid=29652 vsize=14091368 memory=792 CPUtime=2501.72 cores=0,2,4,6
/proc/29654/task/29655/stat : 29655 (java) R 29652 29652 28069 0 -1 4202560 60201 0 0 0 249914 258 0 0 20 0 15 0 228538820 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470994386304 140470617676096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29656] ppid=29652 vsize=14091368 memory=1452 CPUtime=2.92 cores=0,2,4,6
/proc/29654/task/29656/stat : 29656 (java) S 29652 29652 28069 0 -1 1077944384 6155 0 0 0 285 7 0 0 20 0 15 0 228538821 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470942767504 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29657] ppid=29652 vsize=14091368 memory=1733428 CPUtime=2.94 cores=0,2,4,6
/proc/29654/task/29657/stat : 29657 (java) S 29652 29652 28069 0 -1 1077944384 5918 0 0 0 286 8 0 0 20 0 15 0 228538821 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470941714704 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29658] ppid=29652 vsize=14091368 memory=3204 CPUtime=2.94 cores=0,2,4,6
/proc/29654/task/29658/stat : 29658 (java) S 29652 29652 28069 0 -1 1077944384 7410 0 0 0 286 8 0 0 20 0 15 0 228538821 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470940662416 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29659] ppid=29652 vsize=14091368 memory=1452 CPUtime=2.91 cores=0,2,4,6
/proc/29654/task/29659/stat : 29659 (java) S 29652 29652 28069 0 -1 1077944384 7527 0 0 0 281 10 0 0 20 0 15 0 228538821 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470939609616 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29660] ppid=29652 vsize=14091368 memory=1703160 CPUtime=1.22 cores=0,2,4,6
/proc/29654/task/29660/stat : 29660 (java) S 29652 29652 28069 0 -1 1077944384 12901 0 0 0 107 15 0 0 20 0 15 0 228538822 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470171085424 140470990158466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29661] ppid=29652 vsize=14091368 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29661/stat : 29661 (java) S 29652 29652 28069 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 228538823 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470170031456 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29662] ppid=29652 vsize=14091368 memory=3092 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29662/stat : 29662 (java) S 29652 29652 28069 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 228538823 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470168979056 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29663] ppid=29652 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29663/stat : 29663 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538825 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470167927376 140470990165915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29664] ppid=29652 vsize=14091368 memory=6791534058613427641 CPUtime=1.97 cores=0,2,4,6
/proc/29654/task/29664/stat : 29664 (java) S 29652 29652 28069 0 -1 1077944384 17029 0 0 0 195 2 0 0 20 0 15 0 228538825 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470166874224 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29665] ppid=29652 vsize=14091368 memory=3096 CPUtime=1.95 cores=0,2,4,6
/proc/29654/task/29665/stat : 29665 (java) S 29652 29652 28069 0 -1 1077944384 16836 0 0 0 193 2 0 0 20 0 15 0 228538825 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470165821424 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29666] ppid=29652 vsize=14091368 memory=1452 CPUtime=0.63 cores=0,2,4,6
/proc/29654/task/29666/stat : 29666 (java) S 29652 29652 28069 0 -1 1077944384 9716 0 0 0 61 2 0 0 20 0 15 0 228538825 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470164769136 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29667] ppid=29652 vsize=14091368 memory=788044 CPUtime=0 cores=0,2,4,6
/proc/29654/task/29667/stat : 29667 (java) S 29652 29652 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228538826 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470163716576 140470990157525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
[pid=29654/tid=29668] ppid=29652 vsize=14091368 memory=4100 CPUtime=0.72 cores=0,2,4,6
/proc/29654/task/29668/stat : 29668 (java) S 29652 29652 28069 0 -1 1077944384 1582 0 0 0 30 42 0 0 20 0 15 0 228538826 14429560832 433373 33554432000 4194304 4196468 140733243284224 140470162664368 140470990158466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 26439680 140733243290758 140733243290929 140733243290929 140733243293647 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1734944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.61 s]
# the end of solver process 29652 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001426 s, system=0.001134 s
[startup+2506.62 s]
# the end of solver process 29654 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.63 s, system=3.41151 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): 2506.62
CPU time (s): 2520.04
CPU user time (s): 2516.63
CPU system time (s): 3.41151
CPU usage (%): 100.535
Max. virtual memory (cumulated for all children) (KiB): 14204588
Max. memory (cumulated for all children) (KiB): 3069572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.63
system time used= 3.41151
maximum resident set size= 3090784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79435
involuntary context switches= 4694
# summary of solver processes directly reported to runsolver:
# pid: 29652,29654
# total CPU time (s): 2520.04
# total CPU user time (s): 2516.63
# total CPU system time (s): 3.41151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0365 second user time and 23.4823 second system time
The end
Begin job on node135 at 2018-08-12 23:35:56 IDJOB=4306733 IDBENCH=141428 IDSOLVER=2787 FILE ID=node135/4306733-1534109756 RUNJOBID= node135-1534098559-28100 PBS_JOBID= 21037004 Free space on /tmp= 42696 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-022_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-4306733-1534109756/watcher-4306733-1534109756 -o /tmp/evaluation-result-4306733-1534109756/solver-4306733-1534109756 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534098559-28100 --watchdog 2580 HOME/xcsp3-exec -seed 1138871511 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306733-1534109756.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b48d66af5485fbce0cacf02a4c90472 RANDOM SEED=1138871511 node135.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.50 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.50 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.50 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.50 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: 16942296 kB MemAvailable: 31718900 kB Buffers: 242040 kB Cached: 14629664 kB SwapCached: 8 kB Active: 7542684 kB Inactive: 7569068 kB Active(anon): 189036 kB Inactive(anon): 103300 kB Active(file): 7353648 kB Inactive(file): 7465768 kB Unevictable: 7244 kB Mlocked: 7244 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 21988 kB Writeback: 0 kB AnonPages: 301952 kB Mapped: 74968 kB Shmem: 49816 kB Slab: 414256 kB SReclaimable: 385648 kB SUnreclaim: 28608 kB KernelStack: 3888 kB PageTables: 6272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1260148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 178176 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 42672 MiB End job on node135 at 2018-08-13 00:17:43