Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7 seq (493a269) | SAT (TO) | 5686 | 2400.11 | 2388.51 |
| 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 | 2520.03 |
| 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-4292262-1532551366.xml" -tl '2400s' -p 1 -x 0 0.12/0.17 c Choco 493a269 0.12/0.18 c [HOME/instance-4292262-1532551366.xml, -tl, 2400s, -p, 1, -x, 0] 0.12/0.22 c simple solver 0.34/0.28 c parse instance... 3.94/1.48 c solve instance... 11.45/4.04 o 6226 11.45/4.05 o 6189 12.16/4.31 o 6152 12.16/4.31 o 6122 12.16/4.31 o 6040 19.04/9.90 o 5882 45.47/35.86 o 5876 45.47/35.88 o 5860 45.57/36.00 o 5849 46.17/36.56 o 5842 46.17/36.56 o 5809 101.92/92.18 o 5738 104.92/95.18 o 5686 2400.08/2388.50 s SATISFIABLE 2400.08/2388.50 v <instantiation> 2400.08/2388.50 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> 2400.08/2388.50 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> 2400.08/2388.50 v </instantiation> 2400.08/2388.50 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 (9693 MiB free)
memory of node 1: 16384 MiB (10005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292262-1532551366/watcher-4292262-1532551366 -o /tmp/evaluation-result-4292262-1532551366/solver-4292262-1532551366 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27753 --watchdog 2560 HOME/xcsp3-exec -seed 1677777446 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292262-1532551366.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32635, runsolver pid=32632
[startup+0.100175 s]*
/proc/loadavg: 1.98 2.01 2.00 3/218 32651
/proc/meminfo: memFree=20155836/32770624 swapFree=67108860/67108860
[pid=32635] ppid=32632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32635/stat : 32635 (xcsp3-exec) S 32632 32635 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72699767 115843072 363 33554432000 4194304 5098028 140728160007088 140728160005192 140074312843900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140728160015418 140728160015620 140728160015620 140728160018378 0
/proc/32635/statm: 28282 363 305 221 0 87 0
[pid=32637] ppid=32635 vsize=14082840 memory=27636 CPUtime=0.12 cores=0,2,4,6
/proc/32637/stat : 32637 (java) S 32635 32635 27722 0 -1 1077944320 5316 0 0 0 11 1 0 0 20 0 15 0 72699768 14420828160 6909 33554432000 4194304 4196468 140735729775744 140735729758288 140474653392631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
/proc/32637/statm: 3520710 6909 2989 1 0 3483008 0
[pid=32637/tid=32638] ppid=32635 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=0,2,4,6
/proc/32637/task/32638/stat : 32638 (java) R 32635 32635 27722 0 -1 4202560 3291 0 0 0 9 0 0 0 20 0 15 0 72699768 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474657625904 140474646489467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32639] ppid=32635 vsize=14082840 memory=3472468659461981392 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32639/stat : 32639 (java) S 32635 32635 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72699769 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474249517584 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32640] ppid=32635 vsize=14082840 memory=140530566829696 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32640/stat : 32640 (java) S 32635 32635 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72699769 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474248465040 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32641] ppid=32635 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32641/stat : 32641 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699769 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474247411984 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32642] ppid=32635 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32642/stat : 32642 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699769 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474246359440 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32643] ppid=32635 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32643/stat : 32643 (java) S 32635 32635 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72699770 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474127698672 140474653403778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32644] ppid=32635 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32644/stat : 32644 (java) S 32635 32635 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72699771 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474126644896 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32645] ppid=32635 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32645/stat : 32645 (java) S 32635 32635 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72699771 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474125591792 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32646] ppid=32635 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32646/stat : 32646 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474124540368 140474653411227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32647] ppid=32635 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32647/stat : 32647 (java) S 32635 32635 27722 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 72699773 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474123487472 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32648] ppid=32635 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32648/stat : 32648 (java) S 32635 32635 27722 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 72699773 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474122434928 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32649] ppid=32635 vsize=14082840 memory=140530566829696 CPUtime=0.01 cores=0,2,4,6
/proc/32637/task/32649/stat : 32649 (java) R 32635 32635 27722 0 -1 4202560 286 0 0 0 1 0 0 0 20 0 15 0 72699773 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474121381872 140474653413978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32650] ppid=32635 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32650/stat : 32650 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474120329568 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32651] ppid=32635 vsize=14082840 memory=140530566829696 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32651/stat : 32651 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699774 14420828160 6909 33554432000 4194304 4196468 140735729775744 140474119277616 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29088 KiB
[startup+0.211502 s]*
/proc/loadavg: 1.98 2.01 2.00 3/218 32651
/proc/meminfo: memFree=20145260/32770624 swapFree=67108860/67108860
[pid=32635] ppid=32632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32635/stat : 32635 (xcsp3-exec) S 32632 32635 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72699767 115843072 363 33554432000 4194304 5098028 140728160007088 140728160005192 140074312843900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140728160015418 140728160015620 140728160015620 140728160018378 0
/proc/32635/statm: 28282 363 305 221 0 87 0
[pid=32637] ppid=32635 vsize=14082840 memory=39216 CPUtime=0.34 cores=0,2,4,6
/proc/32637/stat : 32637 (java) S 32635 32635 27722 0 -1 1077944320 7897 0 0 0 32 2 0 0 20 0 15 0 72699768 14420828160 9804 33554432000 4194304 4196468 140735729775744 140735729758288 140474653392631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
/proc/32637/statm: 3520710 9804 3151 1 0 3483008 0
[pid=32637/tid=32638] ppid=32635 vsize=14082840 memory=5852833021473685665 CPUtime=0.2 cores=0,2,4,6
/proc/32637/task/32638/stat : 32638 (java) R 32635 32635 27722 0 -1 4202560 4984 0 0 0 19 1 0 0 20 0 15 0 72699768 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474657627616 140474653414557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32639] ppid=32635 vsize=14082840 memory=3472468659461981392 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32639/stat : 32639 (java) S 32635 32635 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72699769 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474249517584 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32640] ppid=32635 vsize=14082840 memory=140530566829696 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32640/stat : 32640 (java) S 32635 32635 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72699769 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474248465040 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32641] ppid=32635 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32641/stat : 32641 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699769 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474247411984 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32642] ppid=32635 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32642/stat : 32642 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699769 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474246359440 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32643] ppid=32635 vsize=14082840 memory=140530566829696 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32643/stat : 32643 (java) S 32635 32635 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72699770 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474127698672 140474653403778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32644] ppid=32635 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32644/stat : 32644 (java) S 32635 32635 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72699771 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474126644896 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32645] ppid=32635 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32645/stat : 32645 (java) S 32635 32635 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72699771 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474125591792 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32646] ppid=32635 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32646/stat : 32646 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474124540368 140474653411227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32647] ppid=32635 vsize=14082840 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32637/task/32647/stat : 32647 (java) S 32635 32635 27722 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 72699773 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474123487472 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32648] ppid=32635 vsize=14082840 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32637/task/32648/stat : 32648 (java) S 32635 32635 27722 0 -1 1077944384 328 0 0 0 3 0 0 0 20 0 15 0 72699773 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474122434928 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32649] ppid=32635 vsize=14082840 memory=140530566829696 CPUtime=0.08 cores=0,2,4,6
/proc/32637/task/32649/stat : 32649 (java) S 32635 32635 27722 0 -1 1077944384 847 0 0 0 8 0 0 0 20 0 15 0 72699773 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474121381872 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32650] ppid=32635 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32650/stat : 32650 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474120329568 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32651] ppid=32635 vsize=14082840 memory=140530566829696 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32651/stat : 32651 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699774 14420828160 9804 33554432000 4194304 4196468 140735729775744 140474119277616 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 40668 KiB
[startup+0.31058 s]*
/proc/loadavg: 1.98 2.01 2.00 5/218 32651
/proc/meminfo: memFree=20138436/32770624 swapFree=67108860/67108860
[pid=32635] ppid=32632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32635/stat : 32635 (xcsp3-exec) S 32632 32635 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72699767 115843072 363 33554432000 4194304 5098028 140728160007088 140728160005192 140074312843900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140728160015418 140728160015620 140728160015620 140728160018378 0
/proc/32635/statm: 28282 363 305 221 0 87 0
[pid=32637] ppid=32635 vsize=14087096 memory=46464 CPUtime=0.51 cores=0,2,4,6
/proc/32637/stat : 32637 (java) S 32635 32635 27722 0 -1 1077944320 8811 0 0 0 48 3 0 0 20 0 15 0 72699768 14425186304 11616 33554432000 4194304 4196468 140735729775744 140735729758288 140474653392631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
/proc/32637/statm: 3521774 11616 3225 1 0 3483008 0
[pid=32637/tid=32638] ppid=32635 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=0,2,4,6
/proc/32637/task/32638/stat : 32638 (java) R 32635 32635 27722 0 -1 4202560 5672 0 0 0 27 2 0 0 20 0 15 0 72699768 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474657623744 140474637473118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32639] ppid=32635 vsize=14087096 memory=3472468659461981392 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32639/stat : 32639 (java) S 32635 32635 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72699769 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474249517584 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32640] ppid=32635 vsize=14087096 memory=140530566829696 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32640/stat : 32640 (java) S 32635 32635 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72699769 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474248465040 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32641] ppid=32635 vsize=14087096 memory=17 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32641/stat : 32641 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699769 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474247411984 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32642] ppid=32635 vsize=14087096 memory=140530457651231 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32642/stat : 32642 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699769 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474246359440 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32643] ppid=32635 vsize=14087096 memory=281060915281696 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32643/stat : 32643 (java) S 32635 32635 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72699770 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474127698672 140474653403778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32644] ppid=32635 vsize=14087096 memory=140530457628175 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32644/stat : 32644 (java) S 32635 32635 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72699771 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474126644896 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32645] ppid=32635 vsize=14087096 memory=281061024341000 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32645/stat : 32645 (java) S 32635 32635 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72699771 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474125591792 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32646] ppid=32635 vsize=14087096 memory=140530457651231 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32646/stat : 32646 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474124540368 140474653411227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32647] ppid=32635 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32637/task/32647/stat : 32647 (java) S 32635 32635 27722 0 -1 1077944384 453 0 0 0 3 0 0 0 20 0 15 0 72699773 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474123487472 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32648] ppid=32635 vsize=14087096 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/32637/task/32648/stat : 32648 (java) S 32635 32635 27722 0 -1 1077944384 342 0 0 0 4 0 0 0 20 0 15 0 72699773 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474122434928 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32649] ppid=32635 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32637/task/32649/stat : 32649 (java) S 32635 32635 27722 0 -1 1077944384 1040 0 0 0 12 0 0 0 20 0 15 0 72699773 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474121381872 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32650] ppid=32635 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32650/stat : 32650 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474120329568 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32651] ppid=32635 vsize=14087096 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32651/stat : 32651 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699774 14425186304 11616 33554432000 4194304 4196468 140735729775744 140474119277616 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 47916 KiB
[startup+0.700739 s]
/proc/loadavg: 1.98 2.01 2.00 3/218 32651
/proc/meminfo: memFree=20114740/32770624 swapFree=67108860/67108860
[pid=32635] ppid=32632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32635/stat : 32635 (xcsp3-exec) S 32632 32635 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72699767 115843072 363 33554432000 4194304 5098028 140728160007088 140728160005192 140074312843900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140728160015418 140728160015620 140728160015620 140728160018378 0
/proc/32635/statm: 28282 363 305 221 0 87 0
[pid=32637] ppid=32635 vsize=14089220 memory=95860 CPUtime=1.76 cores=0,2,4,6
/proc/32637/stat : 32637 (java) S 32635 32635 27722 0 -1 1077944320 13031 0 0 0 172 4 0 0 20 0 15 0 72699768 14427361280 23965 33554432000 4194304 4196468 140735729775744 140735729758288 140474653392631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
/proc/32637/statm: 3522305 23965 3334 1 0 3483520 0
[pid=32637/tid=32638] ppid=32635 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=0,2,4,6
/proc/32637/task/32638/stat : 32638 (java) R 32635 32635 27722 0 -1 4202560 6460 0 0 0 64 3 0 0 20 0 15 0 72699768 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474657627072 140474639072784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32639] ppid=32635 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32639/stat : 32639 (java) S 32635 32635 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72699769 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474249517584 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32640] ppid=32635 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32640/stat : 32640 (java) S 32635 32635 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72699769 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474248465040 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32641] ppid=32635 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32641/stat : 32641 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699769 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474247411984 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32642] ppid=32635 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32642/stat : 32642 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699769 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474246359440 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32643] ppid=32635 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32643/stat : 32643 (java) S 32635 32635 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72699770 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474127698672 140474653403778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32644] ppid=32635 vsize=14089220 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32644/stat : 32644 (java) S 32635 32635 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72699771 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474126644896 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32645] ppid=32635 vsize=14089220 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32645/stat : 32645 (java) S 32635 32635 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72699771 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474125591792 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32646] ppid=32635 vsize=14089220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32646/stat : 32646 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474124540368 140474653411227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32647] ppid=32635 vsize=14089220 memory=21888 CPUtime=0.34 cores=0,2,4,6
/proc/32637/task/32647/stat : 32647 (java) R 32635 32635 27722 0 -1 4202560 1524 0 0 0 34 0 0 0 20 0 15 0 72699773 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474123480496 140474636762272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32648] ppid=32635 vsize=14089220 memory=1296 CPUtime=0.35 cores=0,2,4,6
/proc/32637/task/32648/stat : 32648 (java) R 32635 32635 27722 0 -1 4202560 1341 0 0 0 35 0 0 0 20 0 15 0 72699773 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474122422304 140474638322053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32649] ppid=32635 vsize=14089220 memory=2412 CPUtime=0.38 cores=0,2,4,6
/proc/32637/task/32649/stat : 32649 (java) S 32635 32635 27722 0 -1 1077944384 2398 0 0 0 38 0 0 0 20 0 15 0 72699773 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474121381872 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32650] ppid=32635 vsize=14089220 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32650/stat : 32650 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474120329568 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32651] ppid=32635 vsize=14089220 memory=7589803909226524263 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32651/stat : 32651 (java) S 32635 32635 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72699774 14427361280 23965 33554432000 4194304 4196468 140735729775744 140474119277616 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 97312 KiB
[startup+1.50162 s]
/proc/loadavg: 1.98 2.01 2.00 5/218 32651
/proc/meminfo: memFree=20053184/32770624 swapFree=67108860/67108860
[pid=32635] ppid=32632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32635/stat : 32635 (xcsp3-exec) S 32632 32635 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72699767 115843072 363 33554432000 4194304 5098028 140728160007088 140728160005192 140074312843900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140728160015418 140728160015620 140728160015620 140728160018378 0
/proc/32635/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/32637/task/32645/stat : 32645 (java) S 32635 32635 27722 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 72699771 14429458432 66247 33554432000 4194304 4196468 140735729775744 140474125591792 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32646] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32646/stat : 32646 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14429458432 66247 33554432000 4194304 4196468 140735729775744 140474124540368 140474653411227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32647] ppid=32635 vsize=14091268 memory=281060915673480 CPUtime=4.57 cores=0,2,4,6
/proc/32637/task/32647/stat : 32647 (java) S 32635 32635 27722 0 -1 1077944384 22239 0 0 0 453 4 0 0 20 0 15 0 72699773 14429458432 66247 33554432000 4194304 4196468 140735729775744 140474123487472 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32648] ppid=32635 vsize=14091268 memory=281060915673512 CPUtime=4.6 cores=0,2,4,6
/proc/32637/task/32648/stat : 32648 (java) S 32635 32635 27722 0 -1 1077944384 17830 0 0 0 459 1 0 0 20 0 15 0 72699773 14429458432 66247 33554432000 4194304 4196468 140735729775744 140474122434928 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32649] ppid=32635 vsize=14091268 memory=4140 CPUtime=0.97 cores=0,2,4,6
/proc/32637/task/32649/stat : 32649 (java) S 32635 32635 27722 0 -1 1077944384 12829 0 0 0 94 3 0 0 20 0 15 0 72699773 14429458432 66247 33554432000 4194304 4196468 140735729775744 140474121381872 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32650] ppid=32635 vsize=14091268 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32650/stat : 32650 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14429458432 66247 33554432000 4194304 4196468 140735729775744 140474120329568 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32651] ppid=32635 vsize=14091268 memory=1452 CPUtime=1.03 cores=0,2,4,6
/proc/32637/task/32651/stat : 32651 (java) S 32635 32635 27722 0 -1 1077944384 1106 0 0 0 53 50 0 0 20 0 15 0 72699774 14429458432 66247 33554432000 4194304 4196468 140735729775744 140474119277616 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
Current children cumulated CPU time: 2333.85 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 266440 KiB
[startup+2382.3 s]
/proc/loadavg: 2.12 2.12 2.08 3/217 362
/proc/meminfo: memFree=19177544/32770624 swapFree=67108860/67108860
[pid=32635] ppid=32632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32635/stat : 32635 (xcsp3-exec) S 32632 32635 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72699767 115843072 363 33554432000 4194304 5098028 140728160007088 140728160005192 140074312843900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140728160015418 140728160015620 140728160015620 140728160018378 0
/proc/32635/statm: 28282 363 305 221 0 87 0
[pid=32637] ppid=32635 vsize=14091268 memory=258832 CPUtime=2393.88 cores=0,2,4,6
/proc/32637/stat : 32637 (java) S 32635 32635 27722 0 -1 1077944320 105066 0 0 0 239316 72 0 0 20 0 15 0 72699768 14429458432 64708 33554432000 4194304 4196468 140735729775744 140735729758288 140474653392631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
/proc/32637/statm: 3522817 64708 3404 1 0 3484032 0
[pid=32637/tid=32638] ppid=32635 vsize=14091268 memory=258832 CPUtime=2381.98 cores=0,2,4,6
/proc/32637/task/32638/stat : 32638 (java) R 32635 32635 27722 0 -1 4202560 31896 0 0 0 238189 9 0 0 20 0 15 0 72699768 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474657632016 140474298775195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32639] ppid=32635 vsize=14091268 memory=258832 CPUtime=0.14 cores=0,2,4,6
/proc/32637/task/32639/stat : 32639 (java) S 32635 32635 27722 0 -1 1077944384 4510 0 0 0 11 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474249517584 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32640] ppid=32635 vsize=14091268 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/32637/task/32640/stat : 32640 (java) S 32635 32635 27722 0 -1 1077944384 3174 0 0 0 10 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474248465040 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32641] ppid=32635 vsize=14091268 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/32637/task/32641/stat : 32641 (java) S 32635 32635 27722 0 -1 1077944384 3435 0 0 0 9 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474247411984 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32642] ppid=32635 vsize=14091268 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/32637/task/32642/stat : 32642 (java) S 32635 32635 27722 0 -1 1077944384 3640 0 0 0 10 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474246359440 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32643] ppid=32635 vsize=14091268 memory=258832 CPUtime=0.08 cores=0,2,4,6
/proc/32637/task/32643/stat : 32643 (java) S 32635 32635 27722 0 -1 1077944384 3033 0 0 0 4 4 0 0 20 0 15 0 72699770 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474127698672 140474653403778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32644] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32644/stat : 32644 (java) S 32635 32635 27722 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 72699771 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474126644896 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32645] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32645/stat : 32645 (java) S 32635 32635 27722 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 72699771 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474125591792 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32646] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32646/stat : 32646 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474124540368 140474653411227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32647] ppid=32635 vsize=14091268 memory=4140 CPUtime=4.57 cores=0,2,4,6
/proc/32637/task/32647/stat : 32647 (java) S 32635 32635 27722 0 -1 1077944384 22241 0 0 0 453 4 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474123487472 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32648] ppid=32635 vsize=14091268 memory=1408 CPUtime=4.6 cores=0,2,4,6
/proc/32637/task/32648/stat : 32648 (java) S 32635 32635 27722 0 -1 1077944384 17832 0 0 0 459 1 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474122434928 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32649] ppid=32635 vsize=14091268 memory=1788 CPUtime=0.97 cores=0,2,4,6
/proc/32637/task/32649/stat : 32649 (java) S 32635 32635 27722 0 -1 1077944384 12831 0 0 0 94 3 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474121381872 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32650] ppid=32635 vsize=14091268 memory=952 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32650/stat : 32650 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474120329568 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32651] ppid=32635 vsize=14091268 memory=1240 CPUtime=1.06 cores=0,2,4,6
/proc/32637/task/32651/stat : 32651 (java) S 32635 32635 27722 0 -1 1077944384 1127 0 0 0 54 52 0 0 20 0 15 0 72699774 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474119277616 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
Current children cumulated CPU time: 2393.88 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 260284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2388.5 s]
/proc/loadavg: 2.11 2.12 2.08 3/217 362
/proc/meminfo: memFree=19177544/32770624 swapFree=67108860/67108860
[pid=32635] ppid=32632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32635/stat : 32635 (xcsp3-exec) S 32632 32635 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72699767 115843072 363 33554432000 4194304 5098028 140728160007088 140728160005192 140074312843900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140728160015418 140728160015620 140728160015620 140728160018378 0
/proc/32635/statm: 28282 363 305 221 0 87 0
[pid=32637] ppid=32635 vsize=14091268 memory=258832 CPUtime=2400.08 cores=0,2,4,6
/proc/32637/stat : 32637 (java) S 32635 32635 27722 0 -1 1077944320 105073 0 0 0 239936 72 0 0 20 0 15 0 72699768 14429458432 64708 33554432000 4194304 4196468 140735729775744 140735729758288 140474653392631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
/proc/32637/statm: 3522817 64708 3404 1 0 3484032 0
[pid=32637/tid=32638] ppid=32635 vsize=14091268 memory=258832 CPUtime=2388.18 cores=0,2,4,6
/proc/32637/task/32638/stat : 32638 (java) R 32635 32635 27722 0 -1 4202560 31903 0 0 0 238809 9 0 0 20 0 15 0 72699768 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474657632016 140474294665227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32639] ppid=32635 vsize=14091268 memory=1452 CPUtime=0.14 cores=0,2,4,6
/proc/32637/task/32639/stat : 32639 (java) S 32635 32635 27722 0 -1 1077944384 4510 0 0 0 11 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474249517584 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32640] ppid=32635 vsize=14091268 memory=6083344310745916518 CPUtime=0.13 cores=0,2,4,6
/proc/32637/task/32640/stat : 32640 (java) S 32635 32635 27722 0 -1 1077944384 3174 0 0 0 10 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474248465040 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32641] ppid=32635 vsize=14091268 memory=7089606344197563731 CPUtime=0.12 cores=0,2,4,6
/proc/32637/task/32641/stat : 32641 (java) S 32635 32635 27722 0 -1 1077944384 3435 0 0 0 9 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474247411984 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32642] ppid=32635 vsize=14091268 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/32637/task/32642/stat : 32642 (java) S 32635 32635 27722 0 -1 1077944384 3640 0 0 0 10 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474246359440 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32643] ppid=32635 vsize=14091268 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/32637/task/32643/stat : 32643 (java) S 32635 32635 27722 0 -1 1077944384 3033 0 0 0 4 4 0 0 20 0 15 0 72699770 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474127698672 140474653403778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32644] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32644/stat : 32644 (java) S 32635 32635 27722 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 72699771 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474126644896 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32645] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32645/stat : 32645 (java) S 32635 32635 27722 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 72699771 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474125591792 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32646] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32646/stat : 32646 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474124540368 140474653411227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32647] ppid=32635 vsize=14091268 memory=1452 CPUtime=4.57 cores=0,2,4,6
/proc/32637/task/32647/stat : 32647 (java) S 32635 32635 27722 0 -1 1077944384 22241 0 0 0 453 4 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474123487472 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32648] ppid=32635 vsize=14091268 memory=1452 CPUtime=4.6 cores=0,2,4,6
/proc/32637/task/32648/stat : 32648 (java) S 32635 32635 27722 0 -1 1077944384 17832 0 0 0 459 1 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474122434928 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32649] ppid=32635 vsize=14091268 memory=4140 CPUtime=0.97 cores=0,2,4,6
/proc/32637/task/32649/stat : 32649 (java) S 32635 32635 27722 0 -1 1077944384 12831 0 0 0 94 3 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474121381872 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32650] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32650/stat : 32650 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474120329568 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32651] ppid=32635 vsize=14091268 memory=1452 CPUtime=1.07 cores=0,2,4,6
/proc/32637/task/32651/stat : 32651 (java) S 32635 32635 27722 0 -1 1077944384 1127 0 0 0 55 52 0 0 20 0 15 0 72699774 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474119277616 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 260284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2388.51 s]
# the end of solver process 32635 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001157 s, system=0.001157 s
[startup+2388.51 s]
# the end of solver process 32637 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.38 s, system=0.728278 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2388.5 s]
/proc/loadavg: 2.11 2.12 2.08 3/217 362
/proc/meminfo: memFree=19177544/32770624 swapFree=67108860/67108860
[pid=32635] ppid=32632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32635/stat : 32635 (xcsp3-exec) S 32632 32635 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72699767 115843072 363 33554432000 4194304 5098028 140728160007088 140728160005192 140074312843900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140728160015418 140728160015620 140728160015620 140728160018378 0
/proc/32635/statm: 28282 363 305 221 0 87 0
[pid=32637] ppid=32635 vsize=14091268 memory=258832 CPUtime=2400.08 cores=0,2,4,6
/proc/32637/stat : 32637 (java) S 32635 32635 27722 0 -1 1077944320 105073 0 0 0 239936 72 0 0 20 0 15 0 72699768 14429458432 64708 33554432000 4194304 4196468 140735729775744 140735729758288 140474653392631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
/proc/32637/statm: 3522817 64708 3404 1 0 3484032 0
[pid=32637/tid=32638] ppid=32635 vsize=14091268 memory=258832 CPUtime=2388.18 cores=0,2,4,6
/proc/32637/task/32638/stat : 32638 (java) R 32635 32635 27722 0 -1 4202560 31903 0 0 0 238809 9 0 0 20 0 15 0 72699768 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474657632016 140474294665227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32639] ppid=32635 vsize=14091268 memory=1452 CPUtime=0.14 cores=0,2,4,6
/proc/32637/task/32639/stat : 32639 (java) S 32635 32635 27722 0 -1 1077944384 4510 0 0 0 11 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474249517584 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32640] ppid=32635 vsize=14091268 memory=6083344310745916518 CPUtime=0.13 cores=0,2,4,6
/proc/32637/task/32640/stat : 32640 (java) S 32635 32635 27722 0 -1 1077944384 3174 0 0 0 10 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474248465040 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32641] ppid=32635 vsize=14091268 memory=7089606344197563731 CPUtime=0.12 cores=0,2,4,6
/proc/32637/task/32641/stat : 32641 (java) S 32635 32635 27722 0 -1 1077944384 3435 0 0 0 9 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474247411984 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32642] ppid=32635 vsize=14091268 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/32637/task/32642/stat : 32642 (java) S 32635 32635 27722 0 -1 1077944384 3640 0 0 0 10 3 0 0 20 0 15 0 72699769 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474246359440 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32643] ppid=32635 vsize=14091268 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/32637/task/32643/stat : 32643 (java) S 32635 32635 27722 0 -1 1077944384 3033 0 0 0 4 4 0 0 20 0 15 0 72699770 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474127698672 140474653403778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32644] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32644/stat : 32644 (java) S 32635 32635 27722 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 72699771 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474126644896 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32645] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32645/stat : 32645 (java) S 32635 32635 27722 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 72699771 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474125591792 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32646] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32646/stat : 32646 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474124540368 140474653411227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32647] ppid=32635 vsize=14091268 memory=1452 CPUtime=4.57 cores=0,2,4,6
/proc/32637/task/32647/stat : 32647 (java) S 32635 32635 27722 0 -1 1077944384 22241 0 0 0 453 4 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474123487472 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32648] ppid=32635 vsize=14091268 memory=1452 CPUtime=4.6 cores=0,2,4,6
/proc/32637/task/32648/stat : 32648 (java) S 32635 32635 27722 0 -1 1077944384 17832 0 0 0 459 1 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474122434928 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32649] ppid=32635 vsize=14091268 memory=4140 CPUtime=0.97 cores=0,2,4,6
/proc/32637/task/32649/stat : 32649 (java) S 32635 32635 27722 0 -1 1077944384 12831 0 0 0 94 3 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474121381872 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32650] ppid=32635 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32637/task/32650/stat : 32650 (java) S 32635 32635 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72699773 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474120329568 140474653402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
[pid=32637/tid=32651] ppid=32635 vsize=14091268 memory=1452 CPUtime=1.07 cores=0,2,4,6
/proc/32637/task/32651/stat : 32651 (java) S 32635 32635 27722 0 -1 1077944384 1127 0 0 0 55 52 0 0 20 0 15 0 72699774 14429458432 64708 33554432000 4194304 4196468 140735729775744 140474119277616 140474653403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140735729783937 140735729784113 140735729784113 140735729786831 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 260284 KiB
Child status: 143
Real time (s): 2388.51
CPU time (s): 2400.11
CPU user time (s): 2399.38
CPU system time (s): 0.728278
CPU usage (%): 100.485
Max. virtual memory (cumulated for all children) (KiB): 14208124
Max. memory (cumulated for all children) (KiB): 443944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.38
system time used= 0.728278
maximum resident set size= 442492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105848
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55768
involuntary context switches= 2862
# summary of solver processes directly reported to runsolver:
# pid: 32635,32637
# total CPU time (s): 2400.11
# total CPU user time (s): 2399.38
# total CPU system time (s): 0.728278
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2486 second user time and 22.8608 second system time
The end
Begin job on node103 at 2018-07-25 22:42:46 IDJOB=4292262 IDBENCH=141547 IDSOLVER=2747 FILE ID=node103/4292262-1532551366 RUNJOBID= node103-1532523806-27753 PBS_JOBID= 21021595 Free space on /tmp= 56524 MiB SOLVER NAME= Choco-solver 4.0.7 seq (493a269) 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-4292262-1532551366/watcher-4292262-1532551366 -o /tmp/evaluation-result-4292262-1532551366/solver-4292262-1532551366 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27753 --watchdog 2560 HOME/xcsp3-exec -seed 1677777446 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292262-1532551366.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d3c3240a58914eaf530b4ae554743d11 RANDOM SEED=1677777446 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 20171984 kB MemAvailable: 31696964 kB Buffers: 280724 kB Cached: 11433732 kB SwapCached: 0 kB Active: 4007620 kB Inactive: 7996136 kB Active(anon): 291636 kB Inactive(anon): 25188 kB Active(file): 3715984 kB Inactive(file): 7970948 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 20608 kB Writeback: 0 kB AnonPages: 410136 kB Mapped: 52800 kB Shmem: 25228 kB Slab: 294428 kB SReclaimable: 266508 kB SUnreclaim: 27920 kB KernelStack: 3824 kB PageTables: 5808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1283136 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 294912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56504 MiB End job on node103 at 2018-07-25 23:22:34