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 | 252.085 | 247.816 |
| 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 | 151.521 |
| 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-4301873-1532886502.xml" -tl '252s' -p 1 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4301873-1532886502.xml, -tl, 252s, -p, 1] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 1.27/0.66 c solve instance... 1.53/0.71 o 127 1.53/0.78 o 95 1.85/0.86 o 79 2.50/1.06 o 63 7.39/3.71 o 39 252.05/247.80 s SATISFIABLE 252.05/247.80 v <instantiation> 252.05/247.80 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> 252.05/247.80 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> 252.05/247.80 v </instantiation> 252.05/247.80 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 (10916 MiB free)
memory of node 1: 16384 MiB (13881 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301873-1532886502/watcher-4301873-1532886502 -o /tmp/evaluation-result-4301873-1532886502/solver-4301873-1532886502 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6815 --watchdog 312 HOME/xcsp3-exec -seed 1262629214 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301873-1532886502.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=9044, runsolver pid=9041
[startup+0.100121 s]*
/proc/loadavg: 2.11 1.95 1.94 3/217 9060
/proc/meminfo: memFree=25375212/32770624 swapFree=67108688/67108860
[pid=9044] ppid=9041 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9044/stat : 9044 (xcsp3-exec) S 9041 9044 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106213064 115843072 364 33554432000 4194304 5098028 140727124138160 140727124136264 140344260510332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23044096 140727124145216 140727124145417 140727124145417 140727124148170 0
/proc/9044/statm: 28282 364 306 221 0 87 0
[pid=9046] ppid=9044 vsize=14082940 memory=29776 CPUtime=0.12 cores=0,2,4,6
/proc/9046/stat : 9046 (java) S 9044 9044 6529 0 -1 1077944320 5743 0 0 0 11 1 0 0 20 0 15 0 106213065 14420930560 7444 33554432000 4194304 4196468 140721287606272 140721287588816 140643956096759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
/proc/9046/statm: 3520735 7444 3051 1 0 3483012 0
[pid=9046/tid=9047] ppid=9044 vsize=14082940 memory=8188571750956766043 CPUtime=0.08 cores=0,2,4,6
/proc/9046/task/9047/stat : 9047 (java) R 9044 9044 6529 0 -1 4202560 3752 0 0 0 8 0 0 0 20 0 15 0 106213065 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643960330032 140643956108694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9048] ppid=9044 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9048/stat : 9048 (java) S 9044 9044 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106213066 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643886184848 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9049] ppid=9044 vsize=14082940 memory=140475670599296 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9049/stat : 9049 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643885132048 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9050] ppid=9044 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9050/stat : 9050 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643884079760 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9051] ppid=9044 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9051/stat : 9051 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643883026960 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9052] ppid=9044 vsize=14082940 memory=140475670599296 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9052/stat : 9052 (java) S 9044 9044 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106213067 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643429628528 140643956107906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9053] ppid=9044 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9053/stat : 9053 (java) S 9044 9044 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106213067 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643428574496 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9054] ppid=9044 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9054/stat : 9054 (java) S 9044 9044 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106213068 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643427522160 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9055] ppid=9044 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9055/stat : 9055 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643426470480 140643956115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9056] ppid=9044 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9056/stat : 9056 (java) S 9044 9044 6529 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 106213070 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643425417328 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9057] ppid=9044 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9057/stat : 9057 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643424364528 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9058] ppid=9044 vsize=14082940 memory=140475670599296 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9058/stat : 9058 (java) R 9044 9044 6529 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 106213070 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643423312240 140643956108694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9059] ppid=9044 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9059/stat : 9059 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643422259680 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9060] ppid=9044 vsize=14082940 memory=140475670599296 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9060/stat : 9060 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213070 14420930560 7444 33554432000 4194304 4196468 140721287606272 140643421207472 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31232 KiB
[startup+0.210582 s]*
/proc/loadavg: 2.11 1.95 1.94 5/217 9060
/proc/meminfo: memFree=25365280/32770624 swapFree=67108688/67108860
[pid=9044] ppid=9041 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9044/stat : 9044 (xcsp3-exec) S 9041 9044 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106213064 115843072 364 33554432000 4194304 5098028 140727124138160 140727124136264 140344260510332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23044096 140727124145216 140727124145417 140727124145417 140727124148170 0
/proc/9044/statm: 28282 364 306 221 0 87 0
[pid=9046] ppid=9044 vsize=14082940 memory=40796 CPUtime=0.34 cores=0,2,4,6
/proc/9046/stat : 9046 (java) S 9044 9044 6529 0 -1 1077944320 8247 0 0 0 32 2 0 0 20 0 15 0 106213065 14420930560 10199 33554432000 4194304 4196468 140721287606272 140721287588816 140643956096759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
/proc/9046/statm: 3520735 10199 3216 1 0 3483012 0
[pid=9046/tid=9047] ppid=9044 vsize=14082972 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9046/task/9047/stat : 9047 (java) R 9044 9044 6529 0 -1 4202560 5489 0 0 0 19 1 0 0 20 0 15 0 106213065 14420963328 10199 33554432000 4194304 4196468 140721287606272 140643960320928 140643948776477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9048] ppid=9044 vsize=14082972 memory=12627 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9048/stat : 9048 (java) S 9044 9044 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106213066 14420963328 10199 33554432000 4194304 4196468 140721287606272 140643886184848 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9049] ppid=9044 vsize=14082972 memory=3762957549242291872 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9049/stat : 9049 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14420963328 10245 33554432000 4194304 4196468 140721287606272 140643885132048 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9050] ppid=9044 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9050/stat : 9050 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14420930560 10245 33554432000 4194304 4196468 140721287606272 140643884079760 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9051] ppid=9044 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9051/stat : 9051 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14420930560 10245 33554432000 4194304 4196468 140721287606272 140643883026960 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9052] ppid=9044 vsize=14082940 memory=140475670599296 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9052/stat : 9052 (java) S 9044 9044 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106213067 14420930560 10245 33554432000 4194304 4196468 140721287606272 140643429628528 140643956107906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9053] ppid=9044 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9053/stat : 9053 (java) S 9044 9044 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106213067 14420930560 10245 33554432000 4194304 4196468 140721287606272 140643428574496 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9054] ppid=9044 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9054/stat : 9054 (java) S 9044 9044 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106213068 14423097344 10245 33554432000 4194304 4196468 140721287606272 140643427522160 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9055] ppid=9044 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9055/stat : 9055 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14423097344 10245 33554432000 4194304 4196468 140721287606272 140643426470480 140643956115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9056] ppid=9044 vsize=14085056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9046/task/9056/stat : 9056 (java) S 9044 9044 6529 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 106213070 14423097344 10245 33554432000 4194304 4196468 140721287606272 140643425417328 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9057] ppid=9044 vsize=14085056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9046/task/9057/stat : 9057 (java) S 9044 9044 6529 0 -1 1077944384 186 0 0 0 2 0 0 0 20 0 15 0 106213070 14423097344 10245 33554432000 4194304 4196468 140721287606272 140643424364528 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9058] ppid=9044 vsize=14085056 memory=140475670599296 CPUtime=0.08 cores=0,2,4,6
/proc/9046/task/9058/stat : 9058 (java) S 9044 9044 6529 0 -1 1077944384 774 0 0 0 8 0 0 0 20 0 15 0 106213070 14423097344 10245 33554432000 4194304 4196468 140721287606272 140643423312240 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9059] ppid=9044 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9059/stat : 9059 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14423097344 10245 33554432000 4194304 4196468 140721287606272 140643422259680 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9060] ppid=9044 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9060/stat : 9060 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213070 14423097344 10245 33554432000 4194304 4196468 140721287606272 140643421207472 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42252 KiB
[startup+0.310575 s]*
/proc/loadavg: 2.11 1.95 1.94 4/217 9060
/proc/meminfo: memFree=25358580/32770624 swapFree=67108688/67108860
[pid=9044] ppid=9041 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9044/stat : 9044 (xcsp3-exec) S 9041 9044 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106213064 115843072 364 33554432000 4194304 5098028 140727124138160 140727124136264 140344260510332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23044096 140727124145216 140727124145417 140727124145417 140727124148170 0
/proc/9044/statm: 28282 364 306 221 0 87 0
[pid=9046] ppid=9044 vsize=14087196 memory=48236 CPUtime=0.52 cores=0,2,4,6
/proc/9046/stat : 9046 (java) S 9044 9044 6529 0 -1 1077944320 9216 0 0 0 50 2 0 0 20 0 15 0 106213065 14425288704 12059 33554432000 4194304 4196468 140721287606272 140721287588816 140643956096759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
/proc/9046/statm: 3521799 12059 3256 1 0 3483012 0
[pid=9046/tid=9047] ppid=9044 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/9046/task/9047/stat : 9047 (java) R 9044 9044 6529 0 -1 4202560 6216 0 0 0 28 1 0 0 20 0 15 0 106213065 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643960331152 140643940177246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9048] ppid=9044 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9048/stat : 9048 (java) S 9044 9044 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106213066 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643886184848 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9049] ppid=9044 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9049/stat : 9049 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643885132048 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9050] ppid=9044 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9050/stat : 9050 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643884079760 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9051] ppid=9044 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9051/stat : 9051 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643883026960 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9052] ppid=9044 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9052/stat : 9052 (java) S 9044 9044 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106213067 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643429628528 140643956107906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9053] ppid=9044 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9053/stat : 9053 (java) S 9044 9044 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106213067 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643428574496 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9054] ppid=9044 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9054/stat : 9054 (java) S 9044 9044 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106213068 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643427522160 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9055] ppid=9044 vsize=14087196 memory=-6372718397967082684 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9055/stat : 9055 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643426470480 140643956115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9056] ppid=9044 vsize=14087196 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/9046/task/9056/stat : 9056 (java) S 9044 9044 6529 0 -1 1077944384 510 0 0 0 4 0 0 0 20 0 15 0 106213070 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643425417328 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9057] ppid=9044 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/9046/task/9057/stat : 9057 (java) S 9044 9044 6529 0 -1 1077944384 274 0 0 0 5 0 0 0 20 0 15 0 106213070 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643424364528 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9058] ppid=9044 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9046/task/9058/stat : 9058 (java) S 9044 9044 6529 0 -1 1077944384 914 0 0 0 12 0 0 0 20 0 15 0 106213070 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643423312240 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9059] ppid=9044 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9059/stat : 9059 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643422259680 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9060] ppid=9044 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9060/stat : 9060 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213070 14425288704 12067 33554432000 4194304 4196468 140721287606272 140643421207472 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49692 KiB
[startup+0.700843 s]
/proc/loadavg: 2.11 1.95 1.94 5/217 9060
/proc/meminfo: memFree=25344932/32770624 swapFree=67108688/67108860
[pid=9044] ppid=9041 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9044/stat : 9044 (xcsp3-exec) S 9041 9044 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106213064 115843072 364 33554432000 4194304 5098028 140727124138160 140727124136264 140344260510332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23044096 140727124145216 140727124145417 140727124145417 140727124148170 0
/proc/9044/statm: 28282 364 306 221 0 87 0
[pid=9046] ppid=9044 vsize=14089320 memory=78488 CPUtime=1.53 cores=0,2,4,6
/proc/9046/stat : 9046 (java) S 9044 9044 6529 0 -1 1077944320 12252 0 0 0 148 5 0 0 20 0 15 0 106213065 14427463680 19622 33554432000 4194304 4196468 140721287606272 140721287588816 140643956096759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
/proc/9046/statm: 3522330 19622 3360 1 0 3483524 0
[pid=9046/tid=9047] ppid=9044 vsize=14089320 memory=30372 CPUtime=0.67 cores=0,2,4,6
/proc/9046/task/9047/stat : 9047 (java) R 9044 9044 6529 0 -1 4202560 7195 0 0 0 65 2 0 0 20 0 15 0 106213065 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643960335552 140643940140389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9048] ppid=9044 vsize=14089320 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9048/stat : 9048 (java) S 9044 9044 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106213066 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643886184848 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9049] ppid=9044 vsize=14089320 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9049/stat : 9049 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643885132048 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9050] ppid=9044 vsize=14089320 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9050/stat : 9050 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643884079760 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9051] ppid=9044 vsize=14089320 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9051/stat : 9051 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213066 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643883026960 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9052] ppid=9044 vsize=14089320 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9052/stat : 9052 (java) S 9044 9044 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106213067 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643429628528 140643956107906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9053] ppid=9044 vsize=14089320 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9053/stat : 9053 (java) S 9044 9044 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106213067 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643428574496 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9054] ppid=9044 vsize=14089320 memory=792 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9054/stat : 9054 (java) S 9044 9044 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106213068 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643427522160 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9055] ppid=9044 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9055/stat : 9055 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643426470480 140643956115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9056] ppid=9044 vsize=14089320 memory=8556 CPUtime=0.22 cores=0,2,4,6
/proc/9046/task/9056/stat : 9056 (java) R 9044 9044 6529 0 -1 1077944384 1094 0 0 0 22 0 0 0 20 0 15 0 106213070 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643425410352 140643956106965 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9057] ppid=9044 vsize=14089320 memory=1444 CPUtime=0.18 cores=0,2,4,6
/proc/9046/task/9057/stat : 9057 (java) R 9044 9044 6529 0 -1 4202560 586 0 0 0 18 0 0 0 20 0 15 0 106213070 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643424364656 140643935813895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9058] ppid=9044 vsize=14089320 memory=5668 CPUtime=0.42 cores=0,2,4,6
/proc/9046/task/9058/stat : 9058 (java) R 9044 9044 6529 0 -1 4202560 2068 0 0 0 42 0 0 0 20 0 15 0 106213070 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643423310032 140643956108694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9059] ppid=9044 vsize=14089320 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9059/stat : 9059 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643422259680 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9060] ppid=9044 vsize=14089320 memory=14076 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9060/stat : 9060 (java) S 9044 9044 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106213070 14427463680 19622 33554432000 4194304 4196468 140721287606272 140643421207472 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 79944 KiB
[startup+1.50081 s]
/proc/loadavg: 2.11 1.95 1.94 5/217 9060
/proc/meminfo: memFree=25314976/32770624 swapFree=67108688/67108860
[pid=9044] ppid=9041 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9044/stat : 9044 (xcsp3-exec) S 9041 9044 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106213064 115843072 364 33554432000 4194304 5098028 140727124138160 140727124136264 140344260510332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23044096 140727124145216 140727124145417 140727124145417 140727124148170 0
/proc/9044/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/9046/task/9054/stat : 9054 (java) S 9044 9044 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106213068 14429560832 56790 33554432000 4194304 4196468 140721287606272 140643427522160 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9055] ppid=9044 vsize=14091368 memory=280951125144552 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9055/stat : 9055 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14429560832 56790 33554432000 4194304 4196468 140721287606272 140643426470480 140643956115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9056] ppid=9044 vsize=14091368 memory=0 CPUtime=1.77 cores=0,2,4,6
/proc/9046/task/9056/stat : 9056 (java) S 9044 9044 6529 0 -1 1077944384 12282 0 0 0 175 2 0 0 20 0 15 0 106213070 14429560832 56790 33554432000 4194304 4196468 140721287606272 140643425417328 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9057] ppid=9044 vsize=14091368 memory=1456 CPUtime=1.76 cores=0,2,4,6
/proc/9046/task/9057/stat : 9057 (java) S 9044 9044 6529 0 -1 1077944384 14045 0 0 0 175 1 0 0 20 0 15 0 106213070 14429560832 56790 33554432000 4194304 4196468 140721287606272 140643424364528 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9058] ppid=9044 vsize=14091368 memory=1456 CPUtime=0.61 cores=0,2,4,6
/proc/9046/task/9058/stat : 9058 (java) S 9044 9044 6529 0 -1 1077944384 7165 0 0 0 60 1 0 0 20 0 15 0 106213070 14429560832 56790 33554432000 4194304 4196468 140721287606272 140643423312240 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9059] ppid=9044 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9059/stat : 9059 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14429560832 56790 33554432000 4194304 4196468 140721287606272 140643422259680 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9060] ppid=9044 vsize=14091368 memory=1724 CPUtime=0.02 cores=0,2,4,6
/proc/9046/task/9060/stat : 9060 (java) S 9044 9044 6529 0 -1 1077944384 1236 0 0 0 1 1 0 0 20 0 15 0 106213070 14429560832 56790 33554432000 4194304 4196468 140721287606272 140643421207472 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
Current children cumulated CPU time: 106.48 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 228616 KiB
[startup+162.301 s]
/proc/loadavg: 1.88 1.92 1.94 3/217 9147
/proc/meminfo: memFree=25252752/32770624 swapFree=67108688/67108860
[pid=9044] ppid=9041 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9044/stat : 9044 (xcsp3-exec) S 9041 9044 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106213064 115843072 364 33554432000 4194304 5098028 140727124138160 140727124136264 140344260510332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23044096 140727124145216 140727124145417 140727124145417 140727124148170 0
/proc/9044/statm: 28282 364 306 221 0 87 0
[pid=9046] ppid=9044 vsize=14091368 memory=227652 CPUtime=166.52 cores=0,2,4,6
/proc/9046/stat : 9046 (java) S 9044 9044 6529 0 -1 1077944320 52291 0 0 0 16638 14 0 0 20 0 15 0 106213065 14429560832 56913 33554432000 4194304 4196468 140721287606272 140721287588816 140643956096759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
/proc/9046/statm: 3522842 56913 3404 1 0 3484036 0
[pid=9046/tid=9047] ppid=9044 vsize=14091368 memory=227652 CPUtime=162.19 cores=0,2,4,6
/proc/9046/task/9047/stat : 9047 (java) R 9044 9044 6529 0 -1 4202560 11752 0 0 0 16215 4 0 0 20 0 15 0 106213065 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643960335376 140643558698588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9048] ppid=9044 vsize=14091368 memory=227652 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9048/stat : 9048 (java) S 9044 9044 6529 0 -1 1077944384 1742 0 0 0 1 0 0 0 20 0 15 0 106213066 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643886184848 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9049] ppid=9044 vsize=14091368 memory=227652 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9049/stat : 9049 (java) S 9044 9044 6529 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 15 0 106213066 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643885132048 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9050] ppid=9044 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9050/stat : 9050 (java) S 9044 9044 6529 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 106213066 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643884079760 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9051] ppid=9044 vsize=14091368 memory=227652 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9051/stat : 9051 (java) S 9044 9044 6529 0 -1 1077944384 886 0 0 0 1 0 0 0 20 0 15 0 106213066 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643883026960 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9052] ppid=9044 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9052/stat : 9052 (java) S 9044 9044 6529 0 -1 1077944384 983 0 0 0 1 0 0 0 20 0 15 0 106213067 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643429628528 140643956107906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9053] ppid=9044 vsize=14091368 memory=228648 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9053/stat : 9053 (java) S 9044 9044 6529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 106213067 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643428574496 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9054] ppid=9044 vsize=14091368 memory=223536 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9054/stat : 9054 (java) S 9044 9044 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106213068 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643427522160 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9055] ppid=9044 vsize=14091368 memory=228648 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9055/stat : 9055 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643426470480 140643956115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9056] ppid=9044 vsize=14091368 memory=227652 CPUtime=1.77 cores=0,2,4,6
/proc/9046/task/9056/stat : 9056 (java) S 9044 9044 6529 0 -1 1077944384 12285 0 0 0 175 2 0 0 20 0 15 0 106213070 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643425417328 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9057] ppid=9044 vsize=14091368 memory=1456 CPUtime=1.76 cores=0,2,4,6
/proc/9046/task/9057/stat : 9057 (java) S 9044 9044 6529 0 -1 1077944384 14053 0 0 0 175 1 0 0 20 0 15 0 106213070 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643424364528 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9058] ppid=9044 vsize=14091368 memory=1456 CPUtime=0.62 cores=0,2,4,6
/proc/9046/task/9058/stat : 9058 (java) S 9044 9044 6529 0 -1 1077944384 7309 0 0 0 61 1 0 0 20 0 15 0 106213070 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643423312240 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9059] ppid=9044 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9059/stat : 9059 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643422259680 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9060] ppid=9044 vsize=14091368 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/9046/task/9060/stat : 9060 (java) S 9044 9044 6529 0 -1 1077944384 1260 0 0 0 2 1 0 0 20 0 15 0 106213070 14429560832 56913 33554432000 4194304 4196468 140721287606272 140643421207472 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
Current children cumulated CPU time: 166.52 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 229108 KiB
[startup+222.301 s]
/proc/loadavg: 1.95 1.93 1.95 3/217 9148
/proc/meminfo: memFree=25199152/32770624 swapFree=67108688/67108860
[pid=9044] ppid=9041 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9044/stat : 9044 (xcsp3-exec) S 9041 9044 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106213064 115843072 364 33554432000 4194304 5098028 140727124138160 140727124136264 140344260510332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23044096 140727124145216 140727124145417 140727124145417 140727124148170 0
/proc/9044/statm: 28282 364 306 221 0 87 0
[pid=9046] ppid=9044 vsize=14091368 memory=212768 CPUtime=226.54 cores=0,2,4,6
/proc/9046/stat : 9046 (java) S 9044 9044 6529 0 -1 1077944320 52649 0 0 0 22638 16 0 0 20 0 15 0 106213065 14429560832 53192 33554432000 4194304 4196468 140721287606272 140721287588816 140643956096759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
/proc/9046/statm: 3522842 53192 3404 1 0 3484036 0
[pid=9046/tid=9047] ppid=9044 vsize=14091368 memory=212768 CPUtime=222.17 cores=0,2,4,6
/proc/9046/task/9047/stat : 9047 (java) R 9044 9044 6529 0 -1 4202560 11831 0 0 0 22213 4 0 0 20 0 15 0 106213065 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643960335440 140643558554812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9048] ppid=9044 vsize=14091368 memory=212768 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9048/stat : 9048 (java) S 9044 9044 6529 0 -1 1077944384 1749 0 0 0 1 0 0 0 20 0 15 0 106213066 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643886184848 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9049] ppid=9044 vsize=14091368 memory=212768 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9049/stat : 9049 (java) S 9044 9044 6529 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 15 0 106213066 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643885132048 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9050] ppid=9044 vsize=14091368 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/9046/task/9050/stat : 9050 (java) S 9044 9044 6529 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 106213066 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643884079760 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9051] ppid=9044 vsize=14091368 memory=280951125881632 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9051/stat : 9051 (java) S 9044 9044 6529 0 -1 1077944384 891 0 0 0 1 0 0 0 20 0 15 0 106213066 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643883026960 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9052] ppid=9044 vsize=14091368 memory=4140 CPUtime=0.01 cores=0,2,4,6
/proc/9046/task/9052/stat : 9052 (java) S 9044 9044 6529 0 -1 1077944384 1004 0 0 0 1 0 0 0 20 0 15 0 106213067 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643429628528 140643956107906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9053] ppid=9044 vsize=14091368 memory=30380 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9053/stat : 9053 (java) S 9044 9044 6529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 106213067 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643428574496 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9054] ppid=9044 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9054/stat : 9054 (java) S 9044 9044 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106213068 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643427522160 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9055] ppid=9044 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9055/stat : 9055 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643426470480 140643956115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9056] ppid=9044 vsize=14091368 memory=4140 CPUtime=1.77 cores=0,2,4,6
/proc/9046/task/9056/stat : 9056 (java) S 9044 9044 6529 0 -1 1077944384 12285 0 0 0 175 2 0 0 20 0 15 0 106213070 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643425417328 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9057] ppid=9044 vsize=14091368 memory=30380 CPUtime=1.76 cores=0,2,4,6
/proc/9046/task/9057/stat : 9057 (java) S 9044 9044 6529 0 -1 1077944384 14053 0 0 0 175 1 0 0 20 0 15 0 106213070 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643424364528 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9058] ppid=9044 vsize=14091368 memory=1456 CPUtime=0.62 cores=0,2,4,6
/proc/9046/task/9058/stat : 9058 (java) S 9044 9044 6529 0 -1 1077944384 7548 0 0 0 61 1 0 0 20 0 15 0 106213070 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643423312240 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9059] ppid=9044 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9059/stat : 9059 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643422259680 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9060] ppid=9044 vsize=14091368 memory=4140 CPUtime=0.04 cores=0,2,4,6
/proc/9046/task/9060/stat : 9060 (java) S 9044 9044 6529 0 -1 1077944384 1264 0 0 0 2 2 0 0 20 0 15 0 106213070 14429560832 53192 33554432000 4194304 4196468 140721287606272 140643421207472 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
Current children cumulated CPU time: 226.54 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 214224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+247.801 s]
/proc/loadavg: 1.97 1.94 1.95 3/217 9148
/proc/meminfo: memFree=25206720/32770624 swapFree=67108688/67108860
[pid=9044] ppid=9041 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9044/stat : 9044 (xcsp3-exec) S 9041 9044 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106213064 115843072 364 33554432000 4194304 5098028 140727124138160 140727124136264 140344260510332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23044096 140727124145216 140727124145417 140727124145417 140727124148170 0
/proc/9044/statm: 28282 364 306 221 0 87 0
[pid=9046] ppid=9044 vsize=14091368 memory=203024 CPUtime=252.05 cores=0,2,4,6
/proc/9046/stat : 9046 (java) S 9044 9044 6529 0 -1 1077944320 52659 0 0 0 25189 16 0 0 20 0 15 0 106213065 14429560832 50756 33554432000 4194304 4196468 140721287606272 140721287588816 140643956096759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
/proc/9046/statm: 3522842 50756 3404 1 0 3484036 0
[pid=9046/tid=9047] ppid=9044 vsize=14091368 memory=2424 CPUtime=247.66 cores=0,2,4,6
/proc/9046/task/9047/stat : 9047 (java) R 9044 9044 6529 0 -1 4202560 11835 0 0 0 24762 4 0 0 20 0 15 0 106213065 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643960335872 140643558553533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9048] ppid=9044 vsize=14091368 memory=1576 CPUtime=0.02 cores=0,2,4,6
/proc/9046/task/9048/stat : 9048 (java) S 9044 9044 6529 0 -1 1077944384 1750 0 0 0 1 1 0 0 20 0 15 0 106213066 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643886184848 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9049] ppid=9044 vsize=14091368 memory=928 CPUtime=0.02 cores=0,2,4,6
/proc/9046/task/9049/stat : 9049 (java) S 9044 9044 6529 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 15 0 106213066 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643885132048 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9050] ppid=9044 vsize=14091368 memory=2240 CPUtime=0.02 cores=0,2,4,6
/proc/9046/task/9050/stat : 9050 (java) S 9044 9044 6529 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 106213066 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643884079760 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9051] ppid=9044 vsize=14091368 memory=4124 CPUtime=0.02 cores=0,2,4,6
/proc/9046/task/9051/stat : 9051 (java) S 9044 9044 6529 0 -1 1077944384 891 0 0 0 2 0 0 0 20 0 15 0 106213066 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643883026960 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9052] ppid=9044 vsize=14091368 memory=2200 CPUtime=0.02 cores=0,2,4,6
/proc/9046/task/9052/stat : 9052 (java) S 9044 9044 6529 0 -1 1077944384 1006 0 0 0 2 0 0 0 20 0 15 0 106213067 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643429628528 140643956107906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9053] ppid=9044 vsize=14091368 memory=7284 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9053/stat : 9053 (java) S 9044 9044 6529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 106213067 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643428574496 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9054] ppid=9044 vsize=14091368 memory=840 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9054/stat : 9054 (java) S 9044 9044 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106213068 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643427522160 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9055] ppid=9044 vsize=14091368 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9055/stat : 9055 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643426470480 140643956115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9056] ppid=9044 vsize=14091368 memory=1696 CPUtime=1.77 cores=0,2,4,6
/proc/9046/task/9056/stat : 9056 (java) S 9044 9044 6529 0 -1 1077944384 12285 0 0 0 175 2 0 0 20 0 15 0 106213070 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643425417328 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9057] ppid=9044 vsize=14091368 memory=916 CPUtime=1.76 cores=0,2,4,6
/proc/9046/task/9057/stat : 9057 (java) S 9044 9044 6529 0 -1 1077944384 14053 0 0 0 175 1 0 0 20 0 15 0 106213070 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643424364528 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9058] ppid=9044 vsize=14091368 memory=3848 CPUtime=0.62 cores=0,2,4,6
/proc/9046/task/9058/stat : 9058 (java) S 9044 9044 6529 0 -1 1077944384 7548 0 0 0 61 1 0 0 20 0 15 0 106213070 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643423312240 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9059] ppid=9044 vsize=14091368 memory=2684 CPUtime=0 cores=0,2,4,6
/proc/9046/task/9059/stat : 9059 (java) S 9044 9044 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106213070 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643422259680 140643956106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
[pid=9046/tid=9060] ppid=9044 vsize=14091368 memory=2700 CPUtime=0.05 cores=0,2,4,6
/proc/9046/task/9060/stat : 9060 (java) S 9044 9044 6529 0 -1 1077944384 1266 0 0 0 2 3 0 0 20 0 15 0 106213070 14429560832 50756 33554432000 4194304 4196468 140721287606272 140643421207472 140643956107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 18046976 140721287611532 140721287611702 140721287611702 140721287614415 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 204480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+247.81 s]
# the end of solver process 9044 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002415 s, system=0 s
[startup+247.816 s]
# the end of solver process 9046 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.911 s, system=0.174031 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): 247.816
CPU time (s): 252.085
CPU user time (s): 251.911
CPU system time (s): 0.174031
CPU usage (%): 101.723
Max. virtual memory (cumulated for all children) (KiB): 14204584
Max. memory (cumulated for all children) (KiB): 230104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.911
system time used= 0.174031
maximum resident set size= 231724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8554
involuntary context switches= 263
# summary of solver processes directly reported to runsolver:
# pid: 9044,9046
# total CPU time (s): 252.085
# total CPU user time (s): 251.911
# total CPU system time (s): 0.174031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27334 second user time and 2.37667 second system time
The end
Begin job on node106 at 2018-07-29 19:48:22 IDJOB=4301873 IDBENCH=141428 IDSOLVER=2772 FILE ID=node106/4301873-1532886502 RUNJOBID= node106-1532884072-6815 PBS_JOBID= 21022522 Free space on /tmp= 54704 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-4301873-1532886502/watcher-4301873-1532886502 -o /tmp/evaluation-result-4301873-1532886502/solver-4301873-1532886502 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6815 --watchdog 312 HOME/xcsp3-exec -seed 1262629214 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301873-1532886502.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b48d66af5485fbce0cacf02a4c90472 RANDOM SEED=1262629214 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 25394288 kB MemAvailable: 31720344 kB Buffers: 244852 kB Cached: 6314420 kB SwapCached: 0 kB Active: 2607472 kB Inactive: 4222720 kB Active(anon): 217740 kB Inactive(anon): 80476 kB Active(file): 2389732 kB Inactive(file): 4142244 kB Unevictable: 6960 kB Mlocked: 6960 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 21916 kB Writeback: 0 kB AnonPages: 277732 kB Mapped: 57432 kB Shmem: 25056 kB Slab: 247664 kB SReclaimable: 219832 kB SUnreclaim: 27832 kB KernelStack: 3584 kB PageTables: 5872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1296448 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 54684 MiB End job on node106 at 2018-07-29 19:52:30