Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-06-15 | SAT (TO) | 3188 | 2400.02 | 2400.01 |
| Name | TravelingTournament/ TravelingTournament-a2-galaxy08_c18.xml |
| MD5SUM | 909adc3d6f12c1302971d5fd30a3af0f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3179 |
| Best CPU time to get the best result obtained on this benchmark | 2520.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 456 |
| Number of constraints | 1111 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 24 |
| Distribution of domain sizes | [{"size":2,"count":224},{"size":8,"count":112},{"size":24,"count":120}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 26 |
| Distribution of variable degrees | [{"degree":2,"count":232},{"degree":23,"count":96},{"degree":24,"count":112},{"degree":25,"count":14},{"degree":26,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 14 |
| Distribution of constraint arities | [{"arity":2,"count":113},{"arity":3,"count":16},{"arity":4,"count":624},{"arity":5,"count":104},{"arity":8,"count":126},{"arity":10,"count":112},{"arity":14,"count":16}] |
| Number of extensional constraints | 120 |
| Number of intensional constraints | 737 |
| Distribution of constraint types | [{"type":"extension","count":120},{"type":"intension","count":737},{"type":"regular","count":8},{"type":"allDifferent","count":14},{"type":"cardinality","count":8},{"type":"element","count":224}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 0.40/0.48 o 3812 0.40/0.50 o 3769 0.50/0.52 o 3752 0.50/0.52 o 3728 0.50/0.54 o 3682 0.50/0.56 o 3678 0.50/0.57 o 3658 0.50/0.57 o 3604 0.50/0.57 o 3599 0.59/0.68 o 3583 0.59/0.68 o 3564 0.59/0.68 o 3549 0.68/0.70 o 3457 0.68/0.75 o 3445 0.78/0.81 o 3432 0.88/0.95 o 3352 4.58/4.61 o 3306 6.99/7.08 o 3296 7.09/7.13 o 3291 24.77/24.81 o 3285 29.37/29.40 o 3283 41.77/41.85 o 3277 55.67/55.78 o 3245 75.36/75.41 o 3228 79.07/79.16 o 3206 134.36/134.42 o 3201 641.17/641.28 o 3188 2400.01/2400.00 s SATISFIABLE 2400.01/2400.00 v <instantiation type="solution"> 2400.01/2400.00 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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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] </list> 2400.01/2400.00 v <values> 3 6 2 1 2 4 7 3 6 1 5 7 5 4 2 7 6 0 3 2 3 6 4 0 7 5 4 5 1 5 0 5 0 1 4 7 3 6 4 6 7 3 0 4 5 7 1 5 1 0 2 7 6 4 6 2 7 3 7 6 6 0 2 5 1 5 2 3 1 0 6 2 3 2 7 3 6 4 7 4 0 1 0 1 5 0 1 4 4 7 5 1 0 2 3 2 3 7 4 1 4 3 5 6 0 2 5 3 1 0 2 6 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 34 47 44 0 15 15 44 44 0 10 10 0 39 35 36 22 22 0 10 34 32 0 39 18 31 44 44 0 40 40 0 0 15 39 50 22 22 56 14 47 45 18 56 0 0 0 0 41 48 14 0 32 10 34 0 47 18 51 47 47 64 14 51 18 18 36 15 45 0 35 35 0 31 31 0 27 56 50 0 48 14 41 35 35 0 39 10 40 0 0 0 0 39 39 18 18 27 27 44 15 56 0 47 14 59 0 44 31 64 0 59 59 0 48 41 14 44 15 56 0 </values> 2400.01/2400.00 v </instantiation>
OK 3188
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 (8825 MiB free)
memory of node 1: 16384 MiB (10997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289644-1532202895/watcher-4289644-1532202895 -o /tmp/evaluation-result-4289644-1532202895/solver-4289644-1532202895 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532190502-26182 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2128340872 HOME/instance-4289644-1532202895.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=27892, runsolver pid=27889
[startup+0.100838 s]*
/proc/loadavg: 2.32 2.10 2.07 3/188 27893
/proc/meminfo: memFree=20292696/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=34340 memory=9064 CPUtime=0.1 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 2481 0 0 0 10 0 0 0 20 0 1 0 37852653 35164160 2266 33554432000 4194304 7498468 140723604518688 140723604509688 140118896906688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 8585 2266 730 807 0 1576 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34340 KiB
Current children cumulated memory: 9064 KiB
[startup+0.209486 s]*
/proc/loadavg: 2.32 2.10 2.07 3/188 27893
/proc/meminfo: memFree=20288264/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=38404 memory=12948 CPUtime=0.2 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 3522 0 0 0 20 0 0 0 20 0 1 0 37852653 39325696 3237 33554432000 4194304 7498468 140723604518688 140723604509592 5887963 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 9601 3237 730 807 0 2592 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38404 KiB
Current children cumulated memory: 12948 KiB
[startup+0.309255 s]*
/proc/loadavg: 2.32 2.10 2.07 3/188 27893
/proc/meminfo: memFree=20286032/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=41088 memory=15848 CPUtime=0.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 4209 0 0 0 30 0 0 0 20 0 1 0 37852653 42074112 3962 33554432000 4194304 7498468 140723604518688 140723604509592 4564424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 10272 3962 730 807 0 3263 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41088 KiB
Current children cumulated memory: 15848 KiB
[startup+0.700281 s]
/proc/loadavg: 2.32 2.10 2.07 3/188 27893
/proc/meminfo: memFree=20269848/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=57364 memory=32216 CPUtime=0.68 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 8341 0 0 0 68 0 0 0 20 0 1 0 37852653 58740736 8054 33554432000 4194304 7498468 140723604518688 140723604509592 4249682 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14341 8054 781 807 0 7332 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57364 KiB
Current children cumulated memory: 32216 KiB
[startup+1.50024 s]
/proc/loadavg: 2.32 2.10 2.07 3/188 27893
/proc/meminfo: memFree=20269104/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=57960 memory=32744 CPUtime=1.48 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 8473 0 0 0 148 0 0 0 20 0 1 0 37852653 59351040 8186 33554432000 4194304 7498468 140723604518688 140723604513704 5791328 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14490 8186 784 807 0 7481 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57960 KiB
Current children cumulated memory: 32744 KiB
[startup+3.10917 s]
/proc/loadavg: 2.32 2.10 2.07 3/188 27893
/proc/meminfo: memFree=20267004/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=57960 memory=32916 CPUtime=3.09 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 12866 0 0 0 309 0 0 0 20 0 1 0 37852653 59351040 8229 33554432000 4194304 7498468 140723604518688 140723604513704 4542219 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14490 8229 784 807 0 7481 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57960 KiB
Current children cumulated memory: 32916 KiB
[startup+6.30022 s]
/proc/loadavg: 2.38 2.11 2.07 3/188 27893
/proc/meminfo: memFree=20266920/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=57960 memory=33016 CPUtime=6.28 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 15970 0 0 0 627 1 0 0 20 0 1 0 37852653 59351040 8254 33554432000 4194304 7498468 140723604518688 140723604513704 4581049 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14490 8254 784 807 0 7481 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 57960 KiB
Current children cumulated memory: 33016 KiB
[startup+12.7002 s]
/proc/loadavg: 2.35 2.11 2.07 3/187 27894
/proc/meminfo: memFree=20266688/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=57960 memory=33032 CPUtime=12.68 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 19028 0 0 0 1267 1 0 0 20 0 1 0 37852653 59351040 8258 33554432000 4194304 7498468 140723604518688 140723604513704 5575383 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14490 8258 784 807 0 7481 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 57960 KiB
Current children cumulated memory: 33032 KiB
[startup+25.5002 s]
/proc/loadavg: 2.27 2.10 2.07 3/187 27894
/proc/meminfo: memFree=20266840/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33048 CPUtime=25.47 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 20299 0 0 0 2546 1 0 0 20 0 1 0 37852653 59486208 8262 33554432000 4194304 7498468 140723604518688 140723604513704 5585459 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8262 784 807 0 7514 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33048 KiB
[startup+51.1091 s]
/proc/loadavg: 2.18 2.10 2.07 3/187 27894
/proc/meminfo: memFree=20268336/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33072 CPUtime=51.08 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 20771 0 0 0 5107 1 0 0 20 0 1 0 37852653 59486208 8268 33554432000 4194304 7498468 140723604518688 140723604513704 5791328 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8268 784 807 0 7514 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33072 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.08 2.06 3/187 27895
/proc/meminfo: memFree=20268532/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33088 CPUtime=102.26 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 21246 0 0 0 10225 1 0 0 20 0 1 0 37852653 59486208 8272 33554432000 4194304 7498468 140723604518688 140723604513704 4246872 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8272 784 807 0 7514 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33088 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.07 2.06 3/187 27896
/proc/meminfo: memFree=20268040/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33104 CPUtime=162.26 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 21726 0 0 0 16225 1 0 0 20 0 1 0 37852653 59486208 8276 33554432000 4194304 7498468 140723604518688 140723604513704 4405096 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8276 784 807 0 7514 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33104 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 27898
/proc/meminfo: memFree=20267744/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33108 CPUtime=222.27 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 22199 0 0 0 22226 1 0 0 20 0 1 0 37852653 59486208 8277 33554432000 4194304 7498468 140723604518688 140723604513704 5629662 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8277 784 807 0 7514 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33108 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 27899
/proc/meminfo: memFree=20267880/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33108 CPUtime=282.27 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 22201 0 0 0 28226 1 0 0 20 0 1 0 37852653 59486208 8277 33554432000 4194304 7498468 140723604518688 140723604513704 4542238 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8277 784 807 0 7514 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33108 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 27909
/proc/meminfo: memFree=20266052/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33120 CPUtime=342.27 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 22676 0 0 0 34226 1 0 0 20 0 1 0 37852653 59486208 8280 33554432000 4194304 7498468 140723604518688 140723604513704 4545792 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8280 784 807 0 7514 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33120 KiB
[startup+402.3 s]
/proc/loadavg: 1.96 2.02 2.04 3/189 27932
/proc/meminfo: memFree=20264760/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33120 CPUtime=402.27 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 22676 0 0 0 40226 1 0 0 20 0 1 0 37852653 59486208 8280 33554432000 4194304 7498468 140723604518688 140723604513704 5838205 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8280 784 807 0 7514 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33120 KiB
[startup+462.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/189 27996
/proc/meminfo: memFree=20274524/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33120 CPUtime=462.27 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 23149 0 0 0 46226 1 0 0 20 0 1 0 37852653 59486208 8280 33554432000 4194304 7498468 140723604518688 140723604513704 5574712 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8280 784 807 0 7514 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33120 KiB
################
# More data... #
################
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 1602.29 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28031
/proc/meminfo: memFree=20276184/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=1662.29 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 32069 0 0 0 166227 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 4378966 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 1662.29 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28032
/proc/meminfo: memFree=20276384/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=1722.29 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 32512 0 0 0 172227 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 5609718 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28033
/proc/meminfo: memFree=20276332/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=1782.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 32954 0 0 0 178228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 5685153 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28035
/proc/meminfo: memFree=20276084/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=1842.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 33392 0 0 0 184228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 5587455 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28036
/proc/meminfo: memFree=20276228/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=1902.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 33858 0 0 0 190228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 5791484 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28037
/proc/meminfo: memFree=20276428/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=1962.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 34289 0 0 0 196228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 4253248 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28039
/proc/meminfo: memFree=20276088/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=2022.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 34721 0 0 0 202228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 5773659 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 28040
/proc/meminfo: memFree=20276032/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=2082.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 35153 0 0 0 208228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 5585864 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 28048
/proc/meminfo: memFree=20275604/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=2142.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 35585 0 0 0 214228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 4405061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 28049
/proc/meminfo: memFree=20275928/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=2202.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 36016 0 0 0 220228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 4580632 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28050
/proc/meminfo: memFree=20275860/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=2262.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 36447 0 0 0 226228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 5838464 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28051
/proc/meminfo: memFree=20275932/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=2322.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 36880 0 0 0 232228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 5585459 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28052
/proc/meminfo: memFree=20275960/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=2382.3 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 37312 0 0 0 238228 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 5791611 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28053
/proc/meminfo: memFree=20275692/32770624 swapFree=67108860/67108860
[pid=27892] ppid=27889 vsize=58092 memory=33128 CPUtime=2400.01 cores=0,2,4,6
/proc/27892/stat : 27892 (MistralXCSP) R 27889 27892 26151 0 -1 4202496 37742 0 0 0 239999 2 0 0 20 0 1 0 37852653 59486208 8282 33554432000 4194304 7498468 140723604518688 140723604513704 4405076 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 28545024 140723604522093 140723604522243 140723604522243 140723604525001 0
/proc/27892/statm: 14523 8282 784 807 0 7514 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 33128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 27892 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400 s, system=0.023 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.01
CPU time (s): 2400.02
CPU user time (s): 2400
CPU system time (s): 0.023
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 58092
Max. memory (cumulated for all children) (KiB): 33128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.023
maximum resident set size= 33148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37780
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 2908
# summary of solver processes directly reported to runsolver:
# pid: 27892
# total CPU time (s): 2400.02
# total CPU user time (s): 2400
# total CPU system time (s): 0.023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.54988 second user time and 16.3391 second system time
The end
Begin job on node107 at 2018-07-21 21:54:55 IDJOB=4289644 IDBENCH=141554 IDSOLVER=2741 FILE ID=node107/4289644-1532202895 RUNJOBID= node107-1532190502-26182 PBS_JOBID= 21018936 Free space on /tmp= 55160 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a2-galaxy08_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289644-1532202895/watcher-4289644-1532202895 -o /tmp/evaluation-result-4289644-1532202895/solver-4289644-1532202895 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532190502-26182 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2128340872 HOME/instance-4289644-1532202895.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 909adc3d6f12c1302971d5fd30a3af0f RANDOM SEED=2128340872 node107.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.40 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.40 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.40 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.40 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: 20299308 kB MemAvailable: 31930644 kB Buffers: 223200 kB Cached: 11561732 kB SwapCached: 0 kB Active: 1446272 kB Inactive: 10404944 kB Active(anon): 69112 kB Inactive(anon): 16864 kB Active(file): 1377160 kB Inactive(file): 10388080 kB Unevictable: 7152 kB Mlocked: 7152 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9108 kB Writeback: 0 kB AnonPages: 142968 kB Mapped: 36932 kB Shmem: 17036 kB Slab: 321344 kB SReclaimable: 294556 kB SUnreclaim: 26788 kB KernelStack: 3584 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 354420 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 55152 MiB End job on node107 at 2018-07-21 22:34:55