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) | 5686 | 252.12 | 241.715 |
| Name | TravelingTournament/ TravelingTournament-a3-galaxy10_c18.xml |
| MD5SUM | d3c3240a58914eaf530b4ae554743d11 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5686 |
| Best CPU time to get the best result obtained on this benchmark | 252.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 730 |
| Number of constraints | 2129 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 36 |
| Distribution of domain sizes | [{"size":2,"count":360},{"size":10,"count":180},{"size":36,"count":190}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":2,"count":370},{"degree":29,"count":160},{"degree":30,"count":180},{"degree":31,"count":18},{"degree":32,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":2,"count":181},{"arity":3,"count":20},{"arity":4,"count":1360},{"arity":5,"count":170},{"arity":10,"count":198},{"arity":12,"count":180},{"arity":18,"count":20}] |
| Number of extensional constraints | 190 |
| Number of intensional constraints | 1541 |
| Distribution of constraint types | [{"type":"extension","count":190},{"type":"intension","count":1541},{"type":"regular","count":10},{"type":"allDifferent","count":18},{"type":"cardinality","count":10},{"type":"element","count":360}] |
| 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-4302068-1532888041.xml" -tl '252s' -p 1 0.12/0.17 c Choco e747e1e 0.12/0.17 c [HOME/instance-4302068-1532888041.xml, -tl, 252s, -p, 1] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 4.00/1.46 c solve instance... 11.19/4.00 o 6226 11.31/4.01 o 6189 11.31/4.01 o 6152 11.31/4.01 o 6122 11.31/4.04 o 6040 19.15/9.93 o 5882 46.02/36.16 o 5876 46.02/36.18 o 5860 46.21/36.30 o 5849 46.71/36.86 o 5842 46.71/36.86 o 5809 103.11/93.05 o 5738 106.11/96.07 o 5686 252.09/241.70 s SATISFIABLE 252.09/241.70 v <instantiation> 252.09/241.70 v <list>o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] </list> 252.09/241.70 v <values>3 6 7 3 6 4 2 2 5 7 9 1 1 5 8 4 8 9 6 4 8 6 2 2 4 9 9 8 5 0 0 3 7 3 7 5 5 7 6 4 1 1 0 0 6 9 8 5 3 8 3 7 9 4 0 9 9 0 8 5 6 6 8 4 7 4 2 1 2 1 5 7 9 1 5 2 5 0 1 8 7 3 6 3 8 7 9 0 6 2 2 8 4 8 4 3 7 7 0 6 1 2 9 0 6 9 3 1 1 0 2 1 0 9 3 3 2 5 4 7 7 9 5 8 4 8 8 2 0 9 9 8 5 5 4 0 3 6 6 4 1 2 1 3 7 5 1 5 3 7 9 4 3 1 2 9 4 2 0 6 0 6 4 3 3 7 7 6 8 1 1 2 0 8 5 6 4 5 2 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 34 47 44 0 15 50 48 44 10 10 0 0 36 21 68 51 39 18 21 46 0 22 22 0 43 43 40 40 10 10 0 32 14 44 0 50 50 0 45 31 22 15 15 56 56 53 53 0 0 47 14 79 49 0 34 51 67 0 0 41 41 47 31 68 0 51 45 22 32 0 0 14 14 55 55 0 0 35 39 10 31 64 14 51 0 21 21 0 0 18 56 45 0 42 21 35 0 0 48 48 0 27 27 50 50 39 39 81 67 32 40 0 44 15 22 39 69 67 47 0 0 18 64 59 0 27 42 31 0 0 81 53 15 44 79 79 0 48 48 0 14 14 59 18 31 44 0 0 0 0 0 0 42 41 14 81 21 21 46 46 68 68 53 15 48 0 31 31 0 0 67 14 79 0 68 46 43 49 15 51 81 27 18 55 0 0 0 </values> 252.09/241.70 v </instantiation> 252.09/241.70 c Unexpected resolution interruption!
OK 5686
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 (14822 MiB free)
memory of node 1: 16384 MiB (11649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302068-1532888041/watcher-4302068-1532888041 -o /tmp/evaluation-result-4302068-1532888041/solver-4302068-1532888041 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 1307992409 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302068-1532888041.xml
running on 4 cores: 1,3,5,7
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
solver pid=14699, runsolver pid=14696
Current StackSize limit: 8192 KiB
[startup+0.1003 s]*
/proc/loadavg: 1.38 1.49 1.74 4/217 14715
/proc/meminfo: memFree=27090448/32770624 swapFree=67108496/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106367265 115843072 363 33554432000 4194304 5098028 140720599413328 140720599411432 140015793758844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28008448 140720599422016 140720599422217 140720599422217 140720599424970 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=14082940 memory=29128 CPUtime=0.12 cores=1,3,5,7
/proc/14701/stat : 14701 (java) S 14699 14699 7585 0 -1 1077944320 5563 0 0 0 11 1 0 0 20 0 15 0 106367265 14420930560 7282 33554432000 4194304 4196468 140735324571840 140735324554384 139810168807159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
/proc/14701/statm: 3520735 7282 3059 1 0 3483012 0
[pid=14701/tid=14702] ppid=14699 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 7585 0 -1 4202560 3588 0 0 0 8 1 0 0 20 0 15 0 106367265 14420930560 7282 33554432000 4194304 4196468 140735324571840 139810173039264 139810168819094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14703] ppid=14699 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14420930560 7282 33554432000 4194304 4196468 140735324571840 139810121427472 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14704] ppid=14699 vsize=14082940 memory=140646151988864 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14420930560 7282 33554432000 4194304 4196468 140735324571840 139810120374928 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14705] ppid=14699 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14420930560 7282 33554432000 4194304 4196468 140735324571840 139810119321872 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14706] ppid=14699 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106367266 14420930560 7282 33554432000 4194304 4196468 140735324571840 139810118269328 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14707] ppid=14699 vsize=14082940 memory=140646151988864 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106367267 14420930560 7282 33554432000 4194304 4196468 140735324571840 139809710037744 139810168818306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14708] ppid=14699 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106367268 14420930560 7282 33554432000 4194304 4196468 140735324571840 139809641195168 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14709] ppid=14699 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106367268 14420930560 7282 33554432000 4194304 4196468 140735324571840 139809640142064 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14710] ppid=14699 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367270 14420930560 7282 33554432000 4194304 4196468 140735324571840 139809639090640 139810168825755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14711] ppid=14699 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 7585 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 106367270 14420930560 7282 33554432000 4194304 4196468 140735324571840 139809638037744 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14712] ppid=14699 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367270 14420930560 7282 33554432000 4194304 4196468 140735324571840 139809636985200 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14713] ppid=14699 vsize=14082940 memory=140646151988864 CPUtime=0.01 cores=1,3,5,7
/proc/14701/task/14713/stat : 14713 (java) R 14699 14699 7585 0 -1 4202560 306 0 0 0 1 0 0 0 20 0 15 0 106367270 14420930560 7282 33554432000 4194304 4196468 140735324571840 139809635932144 139810147774056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14714] ppid=14699 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367271 14420930560 7282 33554432000 4194304 4196468 140735324571840 139809634879840 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14715] ppid=14699 vsize=14082940 memory=140646151988864 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367271 14420930560 7282 33554432000 4194304 4196468 140735324571840 139809633827888 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30580 KiB
[startup+0.210773 s]*
/proc/loadavg: 1.38 1.49 1.74 4/217 14715
/proc/meminfo: memFree=27078664/32770624 swapFree=67108496/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106367265 115843072 363 33554432000 4194304 5098028 140720599413328 140720599411432 140015793758844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28008448 140720599422016 140720599422217 140720599422217 140720599424970 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=14082940 memory=41204 CPUtime=0.34 cores=1,3,5,7
/proc/14701/stat : 14701 (java) S 14699 14699 7585 0 -1 1077944320 8338 0 0 0 31 3 0 0 20 0 15 0 106367265 14420930560 10301 33554432000 4194304 4196468 140735324571840 140735324554384 139810168807159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
/proc/14701/statm: 3520735 10301 3215 1 0 3483012 0
[pid=14701/tid=14702] ppid=14699 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14701/task/14702/stat : 14702 (java) D 14699 14699 7585 0 -1 1077944384 5450 0 0 0 18 2 0 0 20 0 15 0 106367265 14420930560 10365 33554432000 4194304 4196468 140735324571840 139810173031328 139810161486381 0 4 0 16800975 18446744072101756452 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14703] ppid=14699 vsize=14082940 memory=8950 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14420930560 10365 33554432000 4194304 4196468 140735324571840 139810121427472 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14704] ppid=14699 vsize=14082940 memory=288371022303700608 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14420930560 10365 33554432000 4194304 4196468 140735324571840 139810120374928 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14705] ppid=14699 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14420930560 10365 33554432000 4194304 4196468 140735324571840 139810119321872 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14706] ppid=14699 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106367266 14420930560 10365 33554432000 4194304 4196468 140735324571840 139810118269328 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14707] ppid=14699 vsize=14082940 memory=140646151988864 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106367267 14420930560 10365 33554432000 4194304 4196468 140735324571840 139809710037744 139810168818306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14708] ppid=14699 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106367268 14420930560 10365 33554432000 4194304 4196468 140735324571840 139809641195168 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14709] ppid=14699 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106367268 14420930560 10365 33554432000 4194304 4196468 140735324571840 139809640142064 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14710] ppid=14699 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367270 14420930560 10365 33554432000 4194304 4196468 140735324571840 139809639090640 139810168825755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14711] ppid=14699 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 7585 0 -1 1077944384 731 0 0 0 3 0 0 0 20 0 15 0 106367270 14420930560 10365 33554432000 4194304 4196468 140735324571840 139809638037744 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14712] ppid=14699 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 7585 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 106367270 14420930560 10365 33554432000 4194304 4196468 140735324571840 139809636985200 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14713] ppid=14699 vsize=14082972 memory=140646151988864 CPUtime=0.08 cores=1,3,5,7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 7585 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 106367270 14420963328 10365 33554432000 4194304 4196468 140735324571840 139809635932144 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14714] ppid=14699 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367271 14420963328 10365 33554432000 4194304 4196468 140735324571840 139809634879840 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14715] ppid=14699 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367271 14420963328 10365 33554432000 4194304 4196468 140735324571840 139809633827888 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42656 KiB
[startup+0.310563 s]*
/proc/loadavg: 1.38 1.49 1.74 4/217 14715
/proc/meminfo: memFree=27072336/32770624 swapFree=67108496/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106367265 115843072 363 33554432000 4194304 5098028 140720599413328 140720599411432 140015793758844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28008448 140720599422016 140720599422217 140720599422217 140720599424970 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=14087196 memory=48456 CPUtime=0.52 cores=1,3,5,7
/proc/14701/stat : 14701 (java) S 14699 14699 7585 0 -1 1077944320 9263 0 0 0 49 3 0 0 20 0 15 0 106367265 14425288704 12114 33554432000 4194304 4196468 140735324571840 140735324554384 139810168807159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
/proc/14701/statm: 3521799 12114 3269 1 0 3483012 0
[pid=14701/tid=14702] ppid=14699 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 7585 0 -1 4202560 6162 0 0 0 27 2 0 0 20 0 15 0 106367265 14425288704 12179 33554432000 4194304 4196468 140735324571840 139810173041552 139810168829085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14703] ppid=14699 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14425288704 12179 33554432000 4194304 4196468 140735324571840 139810121427472 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14704] ppid=14699 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14425288704 12179 33554432000 4194304 4196468 140735324571840 139810120374928 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14705] ppid=14699 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14425288704 12179 33554432000 4194304 4196468 140735324571840 139810119321872 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14706] ppid=14699 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106367266 14425288704 12179 33554432000 4194304 4196468 140735324571840 139810118269328 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14707] ppid=14699 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106367267 14425288704 12179 33554432000 4194304 4196468 140735324571840 139809710037744 139810168818306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14708] ppid=14699 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106367268 14425288704 12179 33554432000 4194304 4196468 140735324571840 139809641195168 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14709] ppid=14699 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106367268 14425288704 12179 33554432000 4194304 4196468 140735324571840 139809640142064 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14710] ppid=14699 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367270 14425288704 12179 33554432000 4194304 4196468 140735324571840 139809639090640 139810168825755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14711] ppid=14699 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 7585 0 -1 1077944384 738 0 0 0 5 0 0 0 20 0 15 0 106367270 14425288704 12179 33554432000 4194304 4196468 140735324571840 139809638037744 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14712] ppid=14699 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 7585 0 -1 1077944384 209 0 0 0 4 0 0 0 20 0 15 0 106367270 14425288704 12179 33554432000 4194304 4196468 140735324571840 139809636985200 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14713] ppid=14699 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 7585 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 15 0 106367270 14425288704 12179 33554432000 4194304 4196468 140735324571840 139809635932144 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14714] ppid=14699 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367271 14425288704 12179 33554432000 4194304 4196468 140735324571840 139809634879840 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14715] ppid=14699 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367271 14425288704 12179 33554432000 4194304 4196468 140735324571840 139809633827888 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49908 KiB
[startup+0.703746 s]
/proc/loadavg: 1.38 1.49 1.74 6/217 14715
/proc/meminfo: memFree=27048756/32770624 swapFree=67108496/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106367265 115843072 363 33554432000 4194304 5098028 140720599413328 140720599411432 140015793758844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28008448 140720599422016 140720599422217 140720599422217 140720599424970 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=14089320 memory=98816 CPUtime=1.82 cores=1,3,5,7
/proc/14701/stat : 14701 (java) S 14699 14699 7585 0 -1 1077944320 13762 0 0 0 176 6 0 0 20 0 15 0 106367265 14427463680 24704 33554432000 4194304 4196468 140735324571840 140735324554384 139810168807159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
/proc/14701/statm: 3522330 24704 3354 1 0 3483524 0
[pid=14701/tid=14702] ppid=14699 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 7585 0 -1 4202560 6943 0 0 0 63 4 0 0 20 0 15 0 106367265 14427463680 24704 33554432000 4194304 4196468 140735324571840 139810173034272 139810152887646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14703] ppid=14699 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14427463680 24704 33554432000 4194304 4196468 140735324571840 139810121427472 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14704] ppid=14699 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14427463680 24704 33554432000 4194304 4196468 140735324571840 139810120374928 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14705] ppid=14699 vsize=14089320 memory=30284 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367266 14427463680 24704 33554432000 4194304 4196468 140735324571840 139810119321872 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14706] ppid=14699 vsize=14089320 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106367266 14427463680 24704 33554432000 4194304 4196468 140735324571840 139810118269328 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14707] ppid=14699 vsize=14089320 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106367267 14427463680 24704 33554432000 4194304 4196468 140735324571840 139809710037744 139810168818306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14708] ppid=14699 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106367268 14427463680 24704 33554432000 4194304 4196468 140735324571840 139809641195168 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14709] ppid=14699 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106367268 14427463680 24704 33554432000 4194304 4196468 140735324571840 139809640142064 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14710] ppid=14699 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367270 14427463680 24704 33554432000 4194304 4196468 140735324571840 139809639090640 139810168825755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14711] ppid=14699 vsize=14089320 memory=756 CPUtime=0.35 cores=1,3,5,7
/proc/14701/task/14711/stat : 14711 (java) R 14699 14699 7585 0 -1 4202560 2004 0 0 0 35 0 0 0 20 0 15 0 106367270 14427463680 24704 33554432000 4194304 4196468 140735324571840 139809638022576 139810153932557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14712] ppid=14699 vsize=14089320 memory=1616 CPUtime=0.37 cores=1,3,5,7
/proc/14701/task/14712/stat : 14712 (java) R 14699 14699 7585 0 -1 4202560 1207 0 0 0 37 0 0 0 20 0 15 0 106367270 14427463680 24704 33554432000 4194304 4196468 140735324571840 139809636972048 139810148022319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14713] ppid=14699 vsize=14089320 memory=1836 CPUtime=0.4 cores=1,3,5,7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 7585 0 -1 1077944384 2301 0 0 0 39 1 0 0 20 0 15 0 106367270 14427463680 24704 33554432000 4194304 4196468 140735324571840 139809635932144 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14714] ppid=14699 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367271 14427463680 24704 33554432000 4194304 4196468 140735324571840 139809634879840 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14715] ppid=14699 vsize=14089320 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106367271 14427463680 24704 33554432000 4194304 4196468 140735324571840 139809633827888 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 100268 KiB
[startup+1.50169 s]
/proc/loadavg: 1.38 1.49 1.74 5/217 14715
/proc/meminfo: memFree=26982032/32770624 swapFree=67108496/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106367265 115843072 363 33554432000 4194304 5098028 140720599413328 140720599411432 140015793758844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28008448 140720599422016 140720599422217 140720599422217 140720599424970 0
/proc/14699/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
[pid=14701/tid=14707] ppid=14699 vsize=14091368 memory=274072 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 7585 0 -1 1077944384 648 0 0 0 0 0 0 0 20 0 15 0 106367267 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809710037744 139810168818306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14708] ppid=14699 vsize=14091368 memory=274072 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 106367268 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809641195232 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14709] ppid=14699 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 7585 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 106367268 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809640142064 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14710] ppid=14699 vsize=14091368 memory=274072 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367270 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809639090640 139810168825755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14711] ppid=14699 vsize=14091368 memory=274072 CPUtime=4.59 cores=1,3,5,7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 7585 0 -1 1077944384 19267 0 0 0 457 2 0 0 20 0 15 0 106367270 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809638037744 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14712] ppid=14699 vsize=14091368 memory=1452 CPUtime=4.54 cores=1,3,5,7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 7585 0 -1 1077944384 16088 0 0 0 452 2 0 0 20 0 15 0 106367270 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809636985200 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14713] ppid=14699 vsize=14091368 memory=274072 CPUtime=0.93 cores=1,3,5,7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 7585 0 -1 1077944384 8262 0 0 0 91 2 0 0 20 0 15 0 106367270 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809635932144 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14714] ppid=14699 vsize=14091368 memory=454 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367271 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809634879840 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14715] ppid=14699 vsize=14091368 memory=93 CPUtime=0.06 cores=1,3,5,7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 7585 0 -1 1077944384 1017 0 0 0 3 3 0 0 20 0 15 0 106367271 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809633827888 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
Current children cumulated CPU time: 172.58 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275524 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.79 1.81 3/217 14795
/proc/meminfo: memFree=26399964/32770624 swapFree=67108496/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106367265 115843072 363 33554432000 4194304 5098028 140720599413328 140720599411432 140015793758844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28008448 140720599422016 140720599422217 140720599422217 140720599424970 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=14091368 memory=274072 CPUtime=232.61 cores=1,3,5,7
/proc/14701/stat : 14701 (java) S 14699 14699 7585 0 -1 1077944320 63717 0 0 0 23234 27 0 0 20 0 15 0 106367265 14429560832 68518 33554432000 4194304 4196468 140735324571840 140735324554384 139810168807159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
/proc/14701/statm: 3522842 68518 3430 1 0 3484036 0
[pid=14701/tid=14702] ppid=14699 vsize=14091368 memory=274072 CPUtime=222.22 cores=1,3,5,7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 7585 0 -1 4202560 14740 0 0 0 22216 6 0 0 20 0 15 0 106367265 14429560832 68518 33554432000 4194304 4196468 140735324571840 139810173045992 139809799900375 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14703] ppid=14699 vsize=14091368 memory=274072 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 7585 0 -1 1077944384 367 0 0 0 2 1 0 0 20 0 15 0 106367266 14429560832 68518 33554432000 4194304 4196468 140735324571840 139810121427472 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14704] ppid=14699 vsize=14091368 memory=274072 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 7585 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 15 0 106367266 14429560832 68518 33554432000 4194304 4196468 140735324571840 139810120374928 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14705] ppid=14699 vsize=14091368 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 7585 0 -1 1077944384 1243 0 0 0 2 1 0 0 20 0 15 0 106367266 14429560832 68518 33554432000 4194304 4196468 140735324571840 139810119321872 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14706] ppid=14699 vsize=14091368 memory=274072 CPUtime=0.04 cores=1,3,5,7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 7585 0 -1 1077944384 607 0 0 0 3 1 0 0 20 0 15 0 106367266 14429560832 68518 33554432000 4194304 4196468 140735324571840 139810118269328 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14707] ppid=14699 vsize=14091368 memory=274072 CPUtime=0.01 cores=1,3,5,7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 7585 0 -1 1077944384 648 0 0 0 1 0 0 0 20 0 15 0 106367267 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809710037744 139810168818306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14708] ppid=14699 vsize=14091368 memory=274072 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 106367268 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809641195232 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14709] ppid=14699 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 7585 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 106367268 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809640142064 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14710] ppid=14699 vsize=14091368 memory=274072 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367270 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809639090640 139810168825755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14711] ppid=14699 vsize=14091368 memory=274072 CPUtime=4.59 cores=1,3,5,7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 7585 0 -1 1077944384 19267 0 0 0 457 2 0 0 20 0 15 0 106367270 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809638037744 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14712] ppid=14699 vsize=14091368 memory=274072 CPUtime=4.54 cores=1,3,5,7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 7585 0 -1 1077944384 16088 0 0 0 452 2 0 0 20 0 15 0 106367270 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809636985200 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14713] ppid=14699 vsize=14091368 memory=1452 CPUtime=0.93 cores=1,3,5,7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 7585 0 -1 1077944384 8262 0 0 0 91 2 0 0 20 0 15 0 106367270 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809635932144 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14714] ppid=14699 vsize=14091368 memory=33 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367271 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809634879840 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14715] ppid=14699 vsize=14091368 memory=19802 CPUtime=0.09 cores=1,3,5,7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 7585 0 -1 1077944384 1043 0 0 0 4 5 0 0 20 0 15 0 106367271 14429560832 68518 33554432000 4194304 4196468 140735324571840 139809633827888 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
Current children cumulated CPU time: 232.61 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+241.701 s]
/proc/loadavg: 2.00 1.81 1.81 3/217 14796
/proc/meminfo: memFree=26350588/32770624 swapFree=67108496/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106367265 115843072 363 33554432000 4194304 5098028 140720599413328 140720599411432 140015793758844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28008448 140720599422016 140720599422217 140720599422217 140720599424970 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=14091368 memory=274084 CPUtime=252.09 cores=1,3,5,7
/proc/14701/stat : 14701 (java) S 14699 14699 7585 0 -1 1077944320 66624 0 0 0 25182 27 0 0 20 0 15 0 106367265 14429560832 68521 33554432000 4194304 4196468 140735324571840 140735324554384 139810168807159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
/proc/14701/statm: 3522842 68521 3433 1 0 3484036 0
[pid=14701/tid=14702] ppid=14699 vsize=14091368 memory=274084 CPUtime=241.62 cores=1,3,5,7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 7585 0 -1 4202560 15092 0 0 0 24156 6 0 0 20 0 15 0 106367265 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810173043944 139809799899595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14703] ppid=14699 vsize=14091368 memory=274084 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 7585 0 -1 1077944384 367 0 0 0 2 1 0 0 20 0 15 0 106367266 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810121427472 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14704] ppid=14699 vsize=14091368 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 7585 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 15 0 106367266 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810120374928 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14705] ppid=14699 vsize=14091368 memory=274084 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 7585 0 -1 1077944384 1243 0 0 0 2 1 0 0 20 0 15 0 106367266 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810119321872 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14706] ppid=14699 vsize=14091368 memory=1788 CPUtime=0.04 cores=1,3,5,7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 7585 0 -1 1077944384 607 0 0 0 3 1 0 0 20 0 15 0 106367266 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810118269328 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14707] ppid=14699 vsize=14091368 memory=860 CPUtime=0.01 cores=1,3,5,7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 7585 0 -1 1077944384 657 0 0 0 1 0 0 0 20 0 15 0 106367267 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809710037744 139810168818306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14708] ppid=14699 vsize=14091368 memory=504 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 106367268 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809641195232 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14709] ppid=14699 vsize=14091368 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 7585 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 106367268 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809640142064 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14710] ppid=14699 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367270 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809639090640 139810168825755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14711] ppid=14699 vsize=14091368 memory=274084 CPUtime=4.59 cores=1,3,5,7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 7585 0 -1 1077944384 19862 0 0 0 457 2 0 0 20 0 15 0 106367270 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809638037744 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14712] ppid=14699 vsize=14091368 memory=30284 CPUtime=4.61 cores=1,3,5,7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 7585 0 -1 1077944384 18023 0 0 0 459 2 0 0 20 0 15 0 106367270 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809636985200 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14713] ppid=14699 vsize=14091368 memory=1224 CPUtime=0.93 cores=1,3,5,7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 7585 0 -1 1077944384 8266 0 0 0 91 2 0 0 20 0 15 0 106367270 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809635932144 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14714] ppid=14699 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367271 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809634879840 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14715] ppid=14699 vsize=14091368 memory=274084 CPUtime=0.1 cores=1,3,5,7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 7585 0 -1 1077944384 1055 0 0 0 5 5 0 0 20 0 15 0 106367271 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809633827888 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+241.715 s]
# the end of solver process 14699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.837 s, system=0.282252 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+241.701 s]
/proc/loadavg: 2.00 1.81 1.81 3/217 14796
/proc/meminfo: memFree=26350588/32770624 swapFree=67108496/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106367265 115843072 363 33554432000 4194304 5098028 140720599413328 140720599411432 140015793758844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28008448 140720599422016 140720599422217 140720599422217 140720599424970 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=14091368 memory=274084 CPUtime=252.09 cores=1,3,5,7
/proc/14701/stat : 14701 (java) S 14699 14699 7585 0 -1 1077944320 66624 0 0 0 25182 27 0 0 20 0 15 0 106367265 14429560832 68521 33554432000 4194304 4196468 140735324571840 140735324554384 139810168807159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
/proc/14701/statm: 3522842 68521 3433 1 0 3484036 0
[pid=14701/tid=14702] ppid=14699 vsize=14091368 memory=274084 CPUtime=241.62 cores=1,3,5,7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 7585 0 -1 4202560 15092 0 0 0 24156 6 0 0 20 0 15 0 106367265 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810173043944 139809799899595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14703] ppid=14699 vsize=14091368 memory=274084 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 7585 0 -1 1077944384 367 0 0 0 2 1 0 0 20 0 15 0 106367266 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810121427472 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14704] ppid=14699 vsize=14091368 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 7585 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 15 0 106367266 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810120374928 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14705] ppid=14699 vsize=14091368 memory=274084 CPUtime=0.03 cores=1,3,5,7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 7585 0 -1 1077944384 1243 0 0 0 2 1 0 0 20 0 15 0 106367266 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810119321872 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14706] ppid=14699 vsize=14091368 memory=1788 CPUtime=0.04 cores=1,3,5,7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 7585 0 -1 1077944384 607 0 0 0 3 1 0 0 20 0 15 0 106367266 14429560832 68521 33554432000 4194304 4196468 140735324571840 139810118269328 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14707] ppid=14699 vsize=14091368 memory=860 CPUtime=0.01 cores=1,3,5,7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 7585 0 -1 1077944384 657 0 0 0 1 0 0 0 20 0 15 0 106367267 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809710037744 139810168818306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14708] ppid=14699 vsize=14091368 memory=504 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 106367268 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809641195232 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14709] ppid=14699 vsize=14091368 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 7585 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 106367268 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809640142064 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14710] ppid=14699 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367270 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809639090640 139810168825755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14711] ppid=14699 vsize=14091368 memory=274084 CPUtime=4.59 cores=1,3,5,7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 7585 0 -1 1077944384 19862 0 0 0 457 2 0 0 20 0 15 0 106367270 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809638037744 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14712] ppid=14699 vsize=14091368 memory=30284 CPUtime=4.61 cores=1,3,5,7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 7585 0 -1 1077944384 18023 0 0 0 459 2 0 0 20 0 15 0 106367270 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809636985200 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14713] ppid=14699 vsize=14091368 memory=1224 CPUtime=0.93 cores=1,3,5,7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 7585 0 -1 1077944384 8266 0 0 0 91 2 0 0 20 0 15 0 106367270 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809635932144 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14714] ppid=14699 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106367271 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809634879840 139810168817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
[pid=14701/tid=14715] ppid=14699 vsize=14091368 memory=274084 CPUtime=0.1 cores=1,3,5,7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 7585 0 -1 1077944384 1055 0 0 0 5 5 0 0 20 0 15 0 106367271 14429560832 68521 33554432000 4194304 4196468 140735324571840 139809633827888 139810168818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735324578956 140735324579126 140735324579126 140735324581839 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275536 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 241.715
CPU time (s): 252.12
CPU user time (s): 251.837
CPU system time (s): 0.282252
CPU usage (%): 104.304
Max. virtual memory (cumulated for all children) (KiB): 14206576
Max. memory (cumulated for all children) (KiB): 275536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.837
system time used= 0.282252
maximum resident set size= 274704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8324
involuntary context switches= 126
# summary of solver processes directly reported to runsolver:
# pid: 14699
# total CPU time (s): 252.12
# total CPU user time (s): 251.837
# total CPU system time (s): 0.282252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42616 second user time and 2.4073 second system time
The end
Begin job on node149 at 2018-07-29 20:14:01 IDJOB=4302068 IDBENCH=141547 IDSOLVER=2772 FILE ID=node149/4302068-1532888041 RUNJOBID= node149-1532880125-7617 PBS_JOBID= 21022517 Free space on /tmp= 45724 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy10_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-4302068-1532888041/watcher-4302068-1532888041 -o /tmp/evaluation-result-4302068-1532888041/solver-4302068-1532888041 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 1307992409 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302068-1532888041.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d3c3240a58914eaf530b4ae554743d11 RANDOM SEED=1307992409 node149.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.60 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.60 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.60 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.60 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: 27108452 kB MemAvailable: 31649488 kB Buffers: 167248 kB Cached: 4596896 kB SwapCached: 60 kB Active: 1921848 kB Inactive: 3176252 kB Active(anon): 283264 kB Inactive(anon): 78000 kB Active(file): 1638584 kB Inactive(file): 3098252 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 21784 kB Writeback: 0 kB AnonPages: 341224 kB Mapped: 49524 kB Shmem: 25040 kB Slab: 261228 kB SReclaimable: 232660 kB SUnreclaim: 28568 kB KernelStack: 3872 kB PageTables: 6100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1309176 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 45700 MiB End job on node149 at 2018-07-29 20:18:03